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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

DataRange
subclass of: Resource
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
domain: Resource
domain: Class
range: Resource

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
domain: Resource
domain: Property
range: Resource

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

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

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

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

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

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

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

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

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

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
domain: Class
domain: Resource
range: Class
range: Resource

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

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
domain: Resource
range: Resource

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

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

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

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
range: Resource

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

The OWL 2 Schema vocabulary (OWL 2)
type: Ontology
imports: rdf-schema
namespace transformation: owx2rdf.xsl
versionInfo: $Date: 2009/11/15 10:54:12 $
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.

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

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

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

topDataProperty
type: DatatypeProperty
comment: The data property that relates every individual to every data value.
domain: Thing
range: Literal
type: Property
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
domain: Class
domain: Resource
range: Resource

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

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

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

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

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

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

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

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

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

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

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

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