univ#
Info#
Full Name |
univ_bench |
Version |
5.0.0 |
Direct download |
|
Source |
Graph Statistics#
Num Nodes |
Num Edges |
|---|---|
179 |
293 |
Edges Statistics#
Edge Label |
Num Edge Label |
|---|---|
type |
84 |
label |
76 |
subClassOf |
36 |
domain |
25 |
range |
18 |
first |
11 |
rest |
11 |
someValuesFrom |
8 |
onProperty |
8 |
intersectionOf |
6 |
subPropertyOf |
5 |
inverseOf |
3 |
versionInfo |
1 |
comment |
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