AtomGraph

AllDifferent

The class of collections of pairwise different individuals.

Comment: The class of collections of pairwise different individuals.
IsDefinedBy: owl#
Label: AllDifferent
SubClassOf: Resource

AllDisjointClasses

The class of collections of pairwise disjoint classes.

Comment: The class of collections of pairwise disjoint classes.
IsDefinedBy: owl#
Label: AllDisjointClasses
SubClassOf: Resource

AllDisjointProperties

The class of collections of pairwise disjoint properties.

Comment: The class of collections of pairwise disjoint properties.
IsDefinedBy: owl#
Label: AllDisjointProperties
SubClassOf: Resource

allValuesFrom

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

Comment: The property that determines the class that a universal property restriction refers to.
Domain: Restriction
IsDefinedBy: owl#
Label: allValuesFrom
Range: Class

annotatedProperty

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

Comment: The property that determines the predicate of an annotated axiom or annotated annotation.
Domain: Resource
IsDefinedBy: owl#
Label: annotatedProperty
Range: Resource

annotatedSource

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

Comment: The property that determines the subject of an annotated axiom or annotated annotation.
Domain: Resource
IsDefinedBy: owl#
Label: annotatedSource
Range: Resource

annotatedTarget

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

Comment: The property that determines the object of an annotated axiom or annotated annotation.
Domain: Resource
IsDefinedBy: owl#
Label: annotatedTarget
Range: Resource

Annotation

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

Comment: The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object.
IsDefinedBy: owl#
Label: Annotation
SubClassOf: Resource

AnnotationProperty

The class of annotation properties.

Comment: The class of annotation properties.
IsDefinedBy: owl#
Label: AnnotationProperty
SubClassOf: Property

assertionProperty

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

Comment: The property that determines the predicate of a negative property assertion.
Domain: NegativePropertyAssertion
IsDefinedBy: owl#
Label: assertionProperty
Range: Property

AsymmetricProperty

The class of asymmetric properties.

Comment: The class of asymmetric properties.
IsDefinedBy: owl#
Label: AsymmetricProperty
SubClassOf: ObjectProperty

Axiom

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

Comment: The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object.
IsDefinedBy: owl#
Label: Axiom
SubClassOf: Resource

backwardCompatibleWith

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

Comment: The annotation property that indicates that a given ontology is backward compatible with another ontology.
Domain: Ontology
IsDefinedBy: owl#
Label: backwardCompatibleWith
Range: Ontology

bottomDataProperty

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

Comment: The data property that does not relate any individual to any data value.
Domain: Thing
IsDefinedBy: owl#
Label: bottomDataProperty
Range: Literal

bottomObjectProperty

The object property that does not relate any two individuals.

Comment: The object property that does not relate any two individuals.
Domain: Thing
IsDefinedBy: owl#
Label: bottomObjectProperty
Range: Thing

cardinality

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

Comment: The property that determines the cardinality of an exact cardinality restriction.
Domain: Restriction
IsDefinedBy: owl#
Label: cardinality
Range: nonNegativeInteger

Class

The class of OWL classes.

Comment: The class of OWL classes.
IsDefinedBy: owl#
Label: Class
SubClassOf: Class

complementOf

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

Comment: The property that determines that a given class is the complement of another class.
Domain: Class
IsDefinedBy: owl#
Label: complementOf
Range: Class

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.

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.
IsDefinedBy: owl#
Label: DataRange
SubClassOf: Datatype

datatypeComplementOf

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

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
IsDefinedBy: owl#
Label: datatypeComplementOf
Range: Datatype

DatatypeProperty

The class of data properties.

Comment: The class of data properties.
IsDefinedBy: owl#
Label: DatatypeProperty
SubClassOf: Property

deprecated

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

Comment: The annotation property that indicates that a given entity has been deprecated.
Domain: Resource
IsDefinedBy: owl#
Label: deprecated
Range: Resource

DeprecatedClass

The class of deprecated classes.

Comment: The class of deprecated classes.
IsDefinedBy: owl#
Label: DeprecatedClass
SubClassOf: Class

DeprecatedProperty

The class of deprecated properties.

Comment: The class of deprecated properties.
IsDefinedBy: owl#
Label: DeprecatedProperty
SubClassOf: Property

differentFrom

The property that determines that two given individuals are different.

Comment: The property that determines that two given individuals are different.
Domain: Thing
IsDefinedBy: owl#
Label: differentFrom
Range: Thing

disjointUnionOf

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

Comment: The property that determines that a given class is equivalent to the disjoint union of a collection of other classes.
Domain: Class
IsDefinedBy: owl#
Label: disjointUnionOf
Range: List

disjointWith

The property that determines that two given classes are disjoint.

Comment: The property that determines that two given classes are disjoint.
Domain: Class
IsDefinedBy: owl#
Label: disjointWith
Range: Class

distinctMembers

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

Comment: The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom.
Domain: AllDifferent
IsDefinedBy: owl#
Label: distinctMembers
Range: List

equivalentClass

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

Comment: The property that determines that two given classes are equivalent, and that is used to specify datatype definitions.
Domain: Class
IsDefinedBy: owl#
Label: equivalentClass
Range: Class

equivalentProperty

The property that determines that two given properties are equivalent.

Comment: The property that determines that two given properties are equivalent.
Domain: Property
IsDefinedBy: owl#
Label: equivalentProperty
Range: Property

FunctionalProperty

The class of functional properties.

Comment: The class of functional properties.
IsDefinedBy: owl#
Label: FunctionalProperty
SubClassOf: Property

hasKey

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

Comment: The property that determines the collection of properties that jointly build a key.
Domain: Class
IsDefinedBy: owl#
Label: hasKey
Range: List

hasSelf

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

Comment: The property that determines the property that a self restriction refers to.
Domain: Restriction
IsDefinedBy: owl#
Label: hasSelf
Range: Resource

hasValue

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

Comment: The property that determines the individual that a has-value restriction refers to.
Domain: Restriction
IsDefinedBy: owl#
Label: hasValue
Range: Resource

imports

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

Comment: The property that is used for importing other ontologies into a given ontology.
Domain: Ontology
IsDefinedBy: owl#
Label: imports
Range: Ontology

incompatibleWith

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

Comment: The annotation property that indicates that a given ontology is incompatible with another ontology.
Domain: Ontology
IsDefinedBy: owl#
Label: incompatibleWith
Range: Ontology

Instance

The class of named individuals.

Comment: The class of named individuals.
IsDefinedBy: owl#
Label: NamedIndividual
SubClassOf: Thing

intersectionOf

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

Comment: The property that determines the collection of classes or data ranges that build an intersection.
Domain: Class
IsDefinedBy: owl#
Label: intersectionOf
Range: List

InverseFunctionalProperty

The class of inverse-functional properties.

Comment: The class of inverse-functional properties.
IsDefinedBy: owl#
Label: InverseFunctionalProperty
SubClassOf: ObjectProperty

inverseOf

The property that determines that two given properties are inverse.

Comment: The property that determines that two given properties are inverse.
Domain: ObjectProperty
IsDefinedBy: owl#
Label: inverseOf
Range: ObjectProperty

IrreflexiveProperty

The class of irreflexive properties.

Comment: The class of irreflexive properties.
IsDefinedBy: owl#
Label: IrreflexiveProperty
SubClassOf: ObjectProperty

maxCardinality

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

Comment: The property that determines the cardinality of a maximum cardinality restriction.
Domain: Restriction
IsDefinedBy: owl#
Label: maxCardinality
Range: nonNegativeInteger

maxQualifiedCardinality

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

Comment: The property that determines the cardinality of a maximum qualified cardinality restriction.
Domain: Restriction
IsDefinedBy: owl#
Label: maxQualifiedCardinality
Range: nonNegativeInteger

members

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

Comment: The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom.
Domain: Resource
IsDefinedBy: owl#
Label: members
Range: List

minCardinality

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

Comment: The property that determines the cardinality of a minimum cardinality restriction.
Domain: Restriction
IsDefinedBy: owl#
Label: minCardinality
Range: nonNegativeInteger

minQualifiedCardinality

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

Comment: The property that determines the cardinality of a minimum qualified cardinality restriction.
Domain: Restriction
IsDefinedBy: owl#
Label: minQualifiedCardinality
Range: nonNegativeInteger

NegativePropertyAssertion

The class of negative property assertions.

Comment: The class of negative property assertions.
IsDefinedBy: owl#
Label: NegativePropertyAssertion
SubClassOf: Resource

Nothing

This is the empty class.

Comment: This is the empty class.
IsDefinedBy: owl#
Label: Nothing
SubClassOf: Thing

ObjectProperty

The class of object properties.

Comment: The class of object properties.
IsDefinedBy: owl#
Label: ObjectProperty
SubClassOf: Property

onClass

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

Comment: The property that determines the class that a qualified object cardinality restriction refers to.
Domain: Restriction
IsDefinedBy: owl#
Label: onClass
Range: Class

onDataRange

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

Comment: The property that determines the data range that a qualified data cardinality restriction refers to.
Domain: Restriction
IsDefinedBy: owl#
Label: onDataRange
Range: Datatype

onDatatype

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

Comment: The property that determines the datatype that a datatype restriction refers to.
Domain: Datatype
IsDefinedBy: owl#
Label: onDatatype
Range: Datatype

onProperties

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

Comment: The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to.
Domain: Restriction
IsDefinedBy: owl#
Label: onProperties
Range: List

onProperty

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

Comment: The property that determines the property that a property restriction refers to.
Domain: Restriction
IsDefinedBy: owl#
Label: onProperty
Range: Property

oneOf

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

Comment: The property that determines the collection of individuals or data values that build an enumeration.
Domain: Class
IsDefinedBy: owl#
Label: oneOf
Range: List

Ontology

The class of ontologies.

Comment: The class of ontologies.
IsDefinedBy: owl#
Label: Ontology
SubClassOf: Resource

OntologyProperty

The class of ontology properties.

Comment: The class of ontology properties.
IsDefinedBy: owl#
Label: OntologyProperty
SubClassOf: Property

priorVersion

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

Comment: The annotation property that indicates the predecessor ontology of a given ontology.
Domain: Ontology
IsDefinedBy: owl#
Label: priorVersion
Range: Ontology

propertyChainAxiom

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

Comment: The property that determines the n-tuple of properties that build a sub property chain of a given property.
Domain: ObjectProperty
IsDefinedBy: owl#
Label: propertyChainAxiom
Range: List

propertyDisjointWith

The property that determines that two given properties are disjoint.

Comment: The property that determines that two given properties are disjoint.
Domain: Property
IsDefinedBy: owl#
Label: propertyDisjointWith
Range: Property

qualifiedCardinality

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

Comment: The property that determines the cardinality of an exact qualified cardinality restriction.
Domain: Restriction
IsDefinedBy: owl#
Label: qualifiedCardinality
Range: nonNegativeInteger

ReflexiveProperty

The class of reflexive properties.

Comment: The class of reflexive properties.
IsDefinedBy: owl#
Label: ReflexiveProperty
SubClassOf: ObjectProperty

Restriction

The class of property restrictions.

Comment: The class of property restrictions.
IsDefinedBy: owl#
Label: Restriction
SubClassOf: Class

sameAs

The property that determines that two given individuals are equal.

Comment: The property that determines that two given individuals are equal.
Domain: Thing
IsDefinedBy: owl#
Label: sameAs
Range: Thing

someValuesFrom

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

Comment: The property that determines the class that an existential property restriction refers to.
Domain: Restriction
IsDefinedBy: owl#
Label: someValuesFrom
Range: Class

sourceIndividual

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

Comment: The property that determines the subject of a negative property assertion.
Domain: NegativePropertyAssertion
IsDefinedBy: owl#
Label: sourceIndividual
Range: Thing

SymmetricProperty

The class of symmetric properties.

Comment: The class of symmetric properties.
IsDefinedBy: owl#
Label: SymmetricProperty
SubClassOf: ObjectProperty

targetIndividual

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

Comment: The property that determines the object of a negative object property assertion.
Domain: NegativePropertyAssertion
IsDefinedBy: owl#
Label: targetIndividual
Range: Thing

targetValue

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

Comment: The property that determines the value of a negative data property assertion.
Domain: NegativePropertyAssertion
IsDefinedBy: owl#
Label: targetValue
Range: Literal

The OWL 2 Schema vocabulary (OWL 2)

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.

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.
IsDefinedBy: http://www.w3.org/TR/owl2-mapping-to-rdf/; http://www.w3.org/TR/owl2-rdf-based-semantics/; http://www.w3.org/TR/owl2-syntax/
NamespaceTransformation: owx2rdf.xsl
PreferredNamespacePrefix: owl
SeeAlso: table-axiomatic-classes; table-axiomatic-properties
Title: The OWL 2 Schema vocabulary (OWL 2)
VersionInfo: $Date: 2009/11/15 10:54:12 $
VersionIRI: The OWL 2 Schema vocabulary (OWL 2)

Thing

The class of OWL individuals.

Comment: The class of OWL individuals.
IsDefinedBy: owl#
Label: Thing

topDataProperty

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

Comment: The data property that relates every individual to every data value.
Domain: Thing
IsDefinedBy: owl#
Label: topDataProperty
Range: Literal

topObjectProperty

The object property that relates every two individuals.

Comment: The object property that relates every two individuals.
Domain: Thing
IsDefinedBy: owl#
Label: topObjectProperty
Range: Thing

TransitiveProperty

The class of transitive properties.

Comment: The class of transitive properties.
IsDefinedBy: owl#
Label: TransitiveProperty
SubClassOf: ObjectProperty

unionOf

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

Comment: The property that determines the collection of classes or data ranges that build a union.
Domain: Class
IsDefinedBy: owl#
Label: unionOf
Range: List

versionIRI

The property that identifies the version IRI of an ontology.

Comment: The property that identifies the version IRI of an ontology.
Domain: Ontology
IsDefinedBy: owl#
Label: versionIRI
Range: Ontology

versionInfo

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

Comment: The annotation property that provides version information for an ontology or another OWL construct.
Domain: Resource
IsDefinedBy: owl#
Label: versionInfo
Range: Resource

withRestrictions

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

Comment: The property that determines the collection of facet-value pairs that define a datatype restriction.
Domain: Datatype
IsDefinedBy: owl#
Label: withRestrictions
Range: List