core

Info

Full Name	core
Version	5.0.0
Direct download	.tar.gz
Source	.owl

Graph Statistics

Num Nodes	Num Edges
1323	2752

Edges Statistics

Edge Label	Num Edge Label
type	706
isDefinedBy	387
label	269
comment	238
first	183
rest	183
subClassOf	178
domain	139
range	130
seeAlso	116
onProperty	49
unionOf	35
subPropertyOf	25
distinctMembers	14
onClass	13
allValuesFrom	12
maxQualifiedCardinality	10
disjointWith	8
intersectionOf	8
equivalentClass	8
cardinality	8
qualifiedCardinality	7
someValuesFrom	6
onDataRange	4
inverseOf	4
oneOf	3
hasValue	3
maxCardinality	2
deprecated	2
versionInfo	1
minCardinality	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