OWL

http://www.w3.org/2002/07/owl#

The OWL 2 vocabulary.

Class expressions

• ¬ complementOf

  ---

  The property that determines that a given class is the complement of another class.

• disjointUnionOf

  ---

  The property that determines that a given class is equivalent to the disjoint union of a collection of other classes.

• disjointWith

  ---

  The property that determines that two given classes are disjoint.

• ≡ equivalentClass

  ---

  The property that determines that two given classes are equivalent, and that is used to specify datatype definitions.

• hasKey

  ---

  The property that determines the collection of properties that jointly build a key.

• ⊓ intersectionOf

  ---

  The property that determines the collection of classes or data ranges that build an intersection.

• oneOf

  ---

  The property that determines the collection of individuals or data values that build an enumeration.

• ⊔ unionOf

  ---

  The property that determines the collection of classes or data ranges that build a union.

Property relations

• ⇶ equivalentProperty

  ---

  The property that determines that two given properties are equivalent.

• inverseOf

  ---

  The property that determines that two given properties are inverse.

• ∘ propertyChainAxiom

  ---

  The property that determines the n-tuple of properties that build a sub property chain of a given property.

• propertyDisjointWith

  ---

  The property that determines that two given properties are disjoint.

Cardinality

• cardinality

  ---

  The property that determines the cardinality of an exact cardinality restriction.

• ⩽ maxCardinality

  ---

  The property that determines the cardinality of a maximum cardinality restriction.

• maxQualifiedCardinality

  ---

  The property that determines the cardinality of a maximum qualified cardinality restriction.

• ⩾ minCardinality

  ---

  The property that determines the cardinality of a minimum cardinality restriction.

• minQualifiedCardinality

  ---

  The property that determines the cardinality of a minimum qualified cardinality restriction.

• qualifiedCardinality

  ---

  The property that determines the cardinality of an exact qualified cardinality restriction.

Annotations

• Annotation

  ---

  The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object.

• AnnotationProperty

  ---

  The class of annotation properties.

• annotatedProperty

  ---

  The property that determines the predicate of an annotated axiom or annotated annotation.

• annotatedSource

  ---

  The property that determines the subject of an annotated axiom or annotated annotation.

• annotatedTarget

  ---

  The property that determines the object of an annotated axiom or annotated annotation.

Versions

• ✓ backwardCompatibleWith

  ---

  The annotation property that indicates that a given ontology is backward compatible with another ontology.

• ✗ incompatibleWith

  ---

  The annotation property that indicates that a given ontology is incompatible with another ontology.

• ⎗ priorVersion

  ---

  The annotation property that indicates the predecessor ontology of a given ontology.

• versionIRI

  ---

  The property that identifies the version IRI of an ontology.

• versionInfo

  ---

  The annotation property that provides version information for an ontology or another OWL construct.

Classes

• Class

  ---

  The class of OWL classes.

• ⊥ Nothing

  ---

  This is the empty class.

• ⊤ Thing

  ---

  The class of OWL individuals.

Property characteristics

• AsymmetricProperty

  ---

  The class of asymmetric properties.

• ⇸ FunctionalProperty

  ---

  The class of functional properties.

• ↣ InverseFunctionalProperty

  ---

  The class of inverse-functional properties.

• IrreflexiveProperty

  ---

  The class of irreflexive properties.

• ReflexiveProperty

  ---

  The class of reflexive properties.

• SymmetricProperty

  ---

  The class of symmetric properties.

• TransitiveProperty

  ---

  The class of transitive properties.

Ontologies

• Axiom

  ---

  The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object.

• Ontology

  ---

  The class of ontologies.

• OntologyProperty

  ---

  The class of ontology properties.

• imports

  ---

  The property that is used for importing other ontologies into a given ontology.

Data ranges

• DataRange

  ---

  The class of OWL data ranges, which are special kinds of datatypes. Note: The use of the IRI owl:DataRange has been deprecated as of OWL 2. The IRI rdfs:Datatype SHOULD be used instead.

• ¬ datatypeComplementOf

  ---

  The property that determines that a given data range is the complement of another data range with respect to the data domain.

• withRestrictions

  ---

  The property that determines the collection of facet-value pairs that define a datatype restriction.

Restrictions

• Restriction

  ---

  The class of property restrictions.

• ∀ allValuesFrom

  ---

  The property that determines the class that a universal property restriction refers to.

• hasSelf

  ---

  The property that determines the property that a self restriction refers to.

• hasValue

  ---

  The property that determines the individual that a has-value restriction refers to.

• onClass

  ---

  The property that determines the class that a qualified object cardinality restriction refers to.

• onDataRange

  ---

  The property that determines the data range that a qualified data cardinality restriction refers to.

• onDatatype

  ---

  The property that determines the datatype that a datatype restriction refers to.

• onProperties

  ---

  The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to.

• onProperty

  ---

  The property that determines the property that a property restriction refers to.

• ∃ someValuesFrom

  ---

  The property that determines the class that an existential property restriction refers to.

Deprecated

• 🗑 DeprecatedClass

  ---

  The class of deprecated classes.

• 🗑 DeprecatedProperty

  ---

  The class of deprecated properties.

• 🗑 deprecated

  ---

  The annotation property that indicates that a given entity has been deprecated.

Property classes

• DatatypeProperty

  ---

  The class of data properties.

• ObjectProperty

  ---

  The class of object properties.

• ↥ bottomDataProperty

  ---

  The data property that does not relate any individual to any data value.

• ↥ bottomObjectProperty

  ---

  The object property that does not relate any two individuals.

• ↧ topDataProperty

  ---

  The data property that relates every individual to every data value.

• ↧ topObjectProperty

  ---

  The object property that relates every two individuals.

Individuals

• AllDifferent

  ---

  The class of collections of pairwise different individuals.

• AllDisjointClasses

  ---

  The class of collections of pairwise disjoint classes.

• AllDisjointProperties

  ---

  The class of collections of pairwise disjoint properties.

• NamedIndividual

  ---

  The class of named individuals.

• ≠ differentFrom

  ---

  The property that determines that two given individuals are different.

• distinctMembers

  ---

  The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom.

• members

  ---

  The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom.

• sameAs

  ---

  The property that determines that two given individuals are equal.

Assertions

• NegativePropertyAssertion

  ---

  The class of negative property assertions.

• assertionProperty

  ---

  The property that determines the predicate of a negative property assertion.

• sourceIndividual

  ---

  The property that determines the subject of a negative property assertion.

• targetIndividual

  ---

  The property that determines the object of a negative object property assertion.

• targetValue

  ---

  The property that determines the value of a negative data property assertion.