travel

Info

Full Name	travel
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
131	277

Edges Statistics

Edge Label	Num Edge Label
type	90
subClassOf	30
first	24
rest	24
disjointWith	20
onProperty	15
someValuesFrom	10
domain	10
range	10
comment	9
equivalentClass	7
intersectionOf	7
differentFrom	6
hasValue	3
oneOf	2
minCardinality	2
inverseOf	2
hasPart	2
hasAccommodation	1
unionOf	1
complementOf	1
versionInfo	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