univ

Info

Full Name	univ_bench
Version	4.0.0
Direct download (.csv + .md)	.tar.gz
Origin	.owl

CSV File Structure

Column Number	Column Type	Column Description
1	int	The tail of the edge
2	int	The head of the edge
3	str	The label of the edge

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}\]

Pyformlang CFG:

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}\]

Pyformlang CFG:

S -> subClassOf_r S subClassOf | subClassOf_r subClassOf

---

\[\begin{split}S \, \rightarrow \, \overline{type} \, S \, type \, \mid \, \overline{type} \, type \, \\\end{split}\]

Pyformlang CFG:

S -> type_r S type | type_r type