univ#
Info#
Full Name |
univ_bench |
Version |
4.0.0 |
Direct download |
|
Origin |
Graph Statistics#
Num Nodes |
Num Edges |
|---|---|
179 |
586 |
Edges Statistics#
Edge Label |
Num Edge Label |
|---|---|
type |
84 |
type_r |
84 |
label |
76 |
label_r |
76 |
subClassOf |
36 |
subClassOf_r |
36 |
domain |
25 |
domain_r |
25 |
range |
18 |
range_r |
18 |
first |
11 |
first_r |
11 |
rest |
11 |
rest_r |
11 |
onProperty |
8 |
onProperty_r |
8 |
someValuesFrom |
8 |
someValuesFrom_r |
8 |
intersectionOf |
6 |
intersectionOf_r |
6 |
subPropertyOf |
5 |
subPropertyOf_r |
5 |
inverseOf |
3 |
inverseOf_r |
3 |
comment |
1 |
comment_r |
1 |
versionInfo |
1 |
versionInfo_r |
1 |
Canonical grammars#
Nested parentheses grammars introduced in "Context-Free Path Queries on RDF Graphs". Template for these grammars is described on the Nested Parentheses page.
\[\begin{split}S \, \rightarrow \, \overline{subClassOf} \, S \, subClassOf \, \mid \, \overline{subClassOf} \, subClassOf \, \\
S \, \rightarrow \, \overline{type} \, S \, type \, \mid \, \overline{type} \, type \, \\\end{split}\]
S -> subClassOf_r S subClassOf | subClassOf_r subClassOf
S -> type_r S type | type_r type
\[\begin{split}S \, \rightarrow \, \overline{subClassOf} \, S \, subClassOf \, \mid \, \overline{subClassOf} \, subClassOf \, \\\end{split}\]
S -> subClassOf_r S subClassOf | subClassOf_r subClassOf
\[\begin{split}S \, \rightarrow \, \overline{type} \, S \, type \, \mid \, \overline{type} \, type \, \\\end{split}\]
S -> type_r S type | type_r type