Warning:
This wiki has been archived and is now read-only.

Quick Reference Guide 2

From OWL
Jump to: navigation, search
  • 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


Retrieved from "https://www.w3.org/2007/OWL/wiki/index.php?title=Quick_Reference_Guide_2&oldid=14042"