Warning:
This wiki has been archived and is now read-only.
Quick Reference Guide 2
From OWL
- OWL classes
all OWL individuals owl:Thing owl:Thing empty class owl:Nothing owl:Nothing
- Booleans and Enumeration
intersection intersectionOf(C1 … Cn) _:x owl:intersectionOf [ C1 … Cn ] Cj an OWL class union unionOf(C1 … Cn) _:x owl:unionOf [ C1 … Cn ] Cj an OWL class complement complementOf(C) _:x owl:complementOf C C an OWL class enumeration oneOf(i1 … in) _:x owl:oneOf [ i1 … in ] ij an OWL individual
- Restrictions using Object Properties owl:Restriction
universal allValuesFrom(P C) _:x owl:onProperty P; owl:allValuesFrom C P an object property; C an OWL class existential someValuesFrom(P C) _:x owl:onProperty P; owl:someValuesFrom C P an object property; C an OWL class self ExistsSelf(P) _:x rdf:type owl:SelfRestriction; owl:onProperty P P an object property Cardinality Restrictions exact cardinality cardinality(n P) _:x owl:onProperty P; owl:cardinality n P an object property; n a nonNegativeInteger maximum cardinality maxCardinality(n P) _:x owl:onProperty P; owl:maxCardinality n P an object property; n a nonNegativeInteger minimum cardinality minCardinality(n P) _:x owl:onProperty P; owl:minCardinality n P an object property; n a nonNegativeInteger Qualified Cardinality Restrictions exact cardinality cardinality(n P C) _:x owl:onProperty P; owl:qualifiedCardinality n; owl:onClass C P an object property; n a nonNegativeInteger ; C an OWL class maximum cardinality maxCardinality(n P C) _:x owl:onProperty P; owl:minQualifiedCardinality n; owl:onClass C P an object property; n a nonNegativeInteger ; C an OWL class minimum cardinality minCardinality(n P C) _:x owl:onProperty P; owl:maxQualifiedCardinality n; owl:onClass C P an object property; n a nonNegativeInteger ; C an OWL class
- Restrictions using Data Properties owl:Restriction
universal allValuesFrom(P D) _:x owl:onProperty P; owl:allValuesFrom D P a data property; D a datatype existential someValuesFrom(P D) _:x owl:onProperty P; owl:someValuesFrom D P a data property; D a datatype n-ary universal allValuesFrom(P1 … Pn D) _:x owl:onProperties [ P1 … Pn P ]; owl:allValuesFrom D Pi a data property; D an n-ary datatype n-ary existential someValuesFrom(P1 … Pn D) _:x owl:onProperties [ P1 … Pn P ]; owl:someValuesFrom D Pi a data property; D an n-ary datatype Cardinality Restrictions exact cardinality cardinality(n P) _:x owl:onProperty P; owl:cardinality n P a data property; n a nonNegativeInteger maximum cardinality maxCardinality(n P) _:x owl:onProperty P; owl:maxCardinality n P a data property; n a nonNegativeInteger minimum cardinality minCardinality(n P) _:x owl:onProperty P; owl:minCardinality n P a data property; n a nonNegativeInteger Qualified Cardinality Restrictions exact cardinality cardinality(n P D) _:x owl:onProperty P; owl:qualifiedCardinality n; owl:onDataRange D P a data property; n a nonNegativeInteger ; D a datatype maximum cardinality maxCardinality(n P D) _:x owl:onProperty P; owl:minQualifiedCardinality n; owl:onDataRange D P a data property; n a nonNegativeInteger ; D a datatype minimum cardinality minCardinality(n P D) _:x owl:onProperty P; owl:maxQualifiedCardinality n; owl:onDataRange D P a data property; n a nonNegativeInteger ; D a datatype
- Class Axioms
subclasses C1 rdfs:subClassOf C2 Ci an OWL class equivalent classes C1 owl:equivalentClasses C2 Ci an OWL class disjoint classes C1 owl:disjointWith C2 Ci an OWL class disjoint classes _:x rdf:type owl:AllDisjointClasses; owl:members [ C1 … Cn ] Ci an OWL class disjoint union C owl:disjointUnionOf [ C1 … Cn ] C an OWL class; Ci an OWL class