pizza

Info

Full Name	pizza
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
671	1980

Edges Statistics

Edge Label	Num Edge Label
disjointWith	398
type	365
subClassOf	259
onProperty	188
first	187
rest	187
someValuesFrom	155
label	96
allValuesFrom	26
comment	25
unionOf	25
equivalentClass	15
intersectionOf	15
range	7
domain	6
hasValue	6
distinctMembers	5
subPropertyOf	4
inverseOf	3
complementOf	3
versionInfo	3
minCardinality	1
oneOf	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