The OWL 2 Schema vocabulary (OWL 2)
type: Ontology
comment: This ontology partially describes the built-in classes and properties that together form the basis of the RDF/XML syntax of OWL 2. The content of this ontology is based on Tables 6.1 and 6.2 in Section 6.4 of the OWL 2 RDF-Based Semantics specification, available at http://www.w3.org/TR/owl2-rdf-based-semantics/. Please note that those tables do not include the different annotations (labels, comments and rdfs:isDefinedBy links) used in this file. Also note that the descriptions provided in this ontology do not provide a complete and correct formal description of either the syntax or the semantics of the introduced terms (please see the OWL 2 recommendations for the complete and normative specifications). Furthermore, the information provided by this ontology may be misleading if not used with care. This ontology SHOULD NOT be imported into OWL ontologies. Importing this file into an OWL 2 DL ontology will cause it to become an OWL 2 Full ontology and may have other, unexpected, consequences.
imports: rdf-schema#
versionInfo: $Date: 2009/11/15 10:54:12 $

AllDifferent
type: Class
comment: The class of collections of pairwise different individuals.
subclass of: Resource

AllDisjointClasses
type: Class
comment: The class of collections of pairwise disjoint classes.
subclass of: Resource

AllDisjointProperties
type: Class
comment: The class of collections of pairwise disjoint properties.
subclass of: Resource

Annotation
type: Class
comment: The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object.
subclass of: Resource

AnnotationProperty
type: Class
comment: The class of annotation properties.
subclass of: Property

AsymmetricProperty
type: Class
comment: The class of asymmetric properties.
subclass of: ObjectProperty

Axiom
type: Class
comment: The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object.
subclass of: Resource

Class
comment: The class of OWL classes.
subclass of: Class

DataRange
type: Class
comment: 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.
subclass of: Datatype

DatatypeProperty
type: Class
comment: The class of data properties.
subclass of: Property

DeprecatedClass
type: Class
comment: The class of deprecated classes.
subclass of: Class

DeprecatedProperty
type: Class
comment: The class of deprecated properties.
subclass of: Property

FunctionalProperty
type: Class
comment: The class of functional properties.
subclass of: Property

InverseFunctionalProperty
type: Class
comment: The class of inverse-functional properties.
subclass of: ObjectProperty

IrreflexiveProperty
type: Class
comment: The class of irreflexive properties.
subclass of: ObjectProperty

NamedIndividual
type: Class
comment: The class of named individuals.
subclass of: Thing

NegativePropertyAssertion
type: Class
comment: The class of negative property assertions.
subclass of: Resource

Nothing
type: Class
comment: This is the empty class.
subclass of: Thing

ObjectProperty
type: Class
comment: The class of object properties.
subclass of: Property

Ontology
type: Class
comment: The class of ontologies.
subclass of: Resource

OntologyProperty
type: Class
comment: The class of ontology properties.
subclass of: Property

ReflexiveProperty
type: Class
comment: The class of reflexive properties.
subclass of: ObjectProperty

Restriction
type: Class
comment: The class of property restrictions.
subclass of: Class

SymmetricProperty
type: Class
comment: The class of symmetric properties.
subclass of: ObjectProperty

Thing
type: Class
comment: The class of OWL individuals.

TransitiveProperty
type: Class
comment: The class of transitive properties.
subclass of: ObjectProperty

allValuesFrom
type: Property
comment: The property that determines the class that a universal property restriction refers to.
domain: Restriction
range: Class

annotatedProperty
type: Property
comment: The property that determines the predicate of an annotated axiom or annotated annotation.
domain: Resource
range: Resource

annotatedSource
type: Property
comment: The property that determines the subject of an annotated axiom or annotated annotation.
domain: Resource
range: Resource

annotatedTarget
type: Property
comment: The property that determines the object of an annotated axiom or annotated annotation.
domain: Resource
range: Resource

assertionProperty
type: Property
comment: The property that determines the predicate of a negative property assertion.
domain: NegativePropertyAssertion
range: Property

backwardCompatibleWith
type: AnnotationProperty
type: OntologyProperty
comment: The annotation property that indicates that a given ontology is backward compatible with another ontology.
domain: Ontology
range: Ontology

bottomDataProperty
type: DatatypeProperty
comment: The data property that does not relate any individual to any data value.
domain: Thing
range: Literal

bottomObjectProperty
type: ObjectProperty
comment: The object property that does not relate any two individuals.
domain: Thing
range: Thing

cardinality
type: Property
comment: The property that determines the cardinality of an exact cardinality restriction.
domain: Restriction
range: nonNegativeInteger

complementOf
type: Property
comment: The property that determines that a given class is the complement of another class.
domain: Class
range: Class

datatypeComplementOf
type: Property
comment: The property that determines that a given data range is the complement of another data range with respect to the data domain.
domain: Datatype
range: Datatype

deprecated
type: AnnotationProperty
comment: The annotation property that indicates that a given entity has been deprecated.
domain: Resource
range: Resource

differentFrom
type: Property
comment: The property that determines that two given individuals are different.
domain: Thing
range: Thing

disjointUnionOf
type: Property
comment: The property that determines that a given class is equivalent to the disjoint union of a collection of other classes.
domain: Class
range: List

disjointWith
type: Property
comment: The property that determines that two given classes are disjoint.
domain: Class
range: Class

distinctMembers
type: Property
comment: The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom.
domain: AllDifferent
range: List

equivalentClass
type: Property
comment: The property that determines that two given classes are equivalent, and that is used to specify datatype definitions.
domain: Class
range: Class

equivalentProperty
type: Property
comment: The property that determines that two given properties are equivalent.
domain: Property
range: Property

hasKey
type: Property
comment: The property that determines the collection of properties that jointly build a key.
domain: Class
range: List

hasSelf
type: Property
comment: The property that determines the property that a self restriction refers to.
domain: Restriction
range: Resource

hasValue
type: Property
comment: The property that determines the individual that a has-value restriction refers to.
domain: Restriction
range: Resource

imports
type: OntologyProperty
comment: The property that is used for importing other ontologies into a given ontology.
domain: Ontology
range: Ontology

incompatibleWith
type: AnnotationProperty
type: OntologyProperty
comment: The annotation property that indicates that a given ontology is incompatible with another ontology.
domain: Ontology
range: Ontology

intersectionOf
type: Property
comment: The property that determines the collection of classes or data ranges that build an intersection.
domain: Class
range: List

inverseOf
type: Property
comment: The property that determines that two given properties are inverse.
domain: ObjectProperty
range: ObjectProperty

maxCardinality
type: Property
comment: The property that determines the cardinality of a maximum cardinality restriction.
domain: Restriction
range: nonNegativeInteger

maxQualifiedCardinality
type: Property
comment: The property that determines the cardinality of a maximum qualified cardinality restriction.
domain: Restriction
range: nonNegativeInteger

members
type: Property
comment: The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom.
domain: Resource
range: List

minCardinality
type: Property
comment: The property that determines the cardinality of a minimum cardinality restriction.
domain: Restriction
range: nonNegativeInteger

minQualifiedCardinality
type: Property
comment: The property that determines the cardinality of a minimum qualified cardinality restriction.
domain: Restriction
range: nonNegativeInteger

onClass
type: Property
comment: The property that determines the class that a qualified object cardinality restriction refers to.
domain: Restriction
range: Class

onDataRange
type: Property
comment: The property that determines the data range that a qualified data cardinality restriction refers to.
domain: Restriction
range: Datatype

onDatatype
type: Property
comment: The property that determines the datatype that a datatype restriction refers to.
domain: Datatype
range: Datatype

onProperties
type: Property
comment: The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to.
domain: Restriction
range: List

onProperty
type: Property
comment: The property that determines the property that a property restriction refers to.
domain: Restriction
range: Property

oneOf
type: Property
comment: The property that determines the collection of individuals or data values that build an enumeration.
domain: Class
range: List

priorVersion
type: AnnotationProperty
type: OntologyProperty
comment: The annotation property that indicates the predecessor ontology of a given ontology.
domain: Ontology
range: Ontology

propertyChainAxiom
type: Property
comment: The property that determines the n-tuple of properties that build a sub property chain of a given property.
domain: ObjectProperty
range: List

propertyDisjointWith
type: Property
comment: The property that determines that two given properties are disjoint.
domain: Property
range: Property

qualifiedCardinality
type: Property
comment: The property that determines the cardinality of an exact qualified cardinality restriction.
domain: Restriction
range: nonNegativeInteger

sameAs
type: Property
comment: The property that determines that two given individuals are equal.
domain: Thing
range: Thing

someValuesFrom
type: Property
comment: The property that determines the class that an existential property restriction refers to.
domain: Restriction
range: Class

sourceIndividual
type: Property
comment: The property that determines the subject of a negative property assertion.
domain: NegativePropertyAssertion
range: Thing

targetIndividual
type: Property
comment: The property that determines the object of a negative object property assertion.
domain: NegativePropertyAssertion
range: Thing

targetValue
type: Property
comment: The property that determines the value of a negative data property assertion.
domain: NegativePropertyAssertion
range: Literal

topDataProperty
type: DatatypeProperty
comment: The data property that relates every individual to every data value.
domain: Thing
range: Literal

topObjectProperty
type: ObjectProperty
comment: The object property that relates every two individuals.
domain: Thing
range: Thing

unionOf
type: Property
comment: The property that determines the collection of classes or data ranges that build a union.
domain: Class
range: List

versionIRI
type: OntologyProperty
comment: The property that identifies the version IRI of an ontology.
domain: Ontology
range: Ontology

versionInfo
type: AnnotationProperty
comment: The annotation property that provides version information for an ontology or another OWL construct.
domain: Resource
range: Resource

withRestrictions
type: Property
comment: The property that determines the collection of facet-value pairs that define a datatype restriction.
domain: Datatype
range: List