Skip to main content

Table 1 OWL constructors and DL FOL equivalence.

From: Ontology-based instance data validation for high-quality curated biological pathways

Constructor

DL syntax

FOL syntax

intersectionOf

C1 ∩ ⋯ ∩ C n

C1(x) Λ ⋯ Λ C n (x)

unionOf

C1 ∪ ⋯ ∪ C n

C1(x) V ⋯ V C n (x)

complementOf

¬ C

¬ C(x)

oneOf

{a1 ⋯ a n }

x = a1 V ⋯ V x = a n

allValuesFrom

∀P.C

∀y.(P(x,y) → C(y))

someValuesFrom

ÆŽP.C

Ǝy.(P(x, y) Λ C(y))

minCardinality

≥ nP.C

Ǝ≥ny.(P(x,y) Λ C(y))

maxCardinality

≤ nP.C

Ǝ≤ny.(P(x,y) Λ C(y))