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)) |