http://www.w3.org/2002/07/owl
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.
URI | http://www.w3.org/2002/07/owl#AllDifferent |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of collections of pairwise different individuals. |
Super-classes |
rdfs:Resourcec |
In domain of |
owl:distinctMembers |
URI | http://www.w3.org/2002/07/owl#AllDisjointClasses |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of collections of pairwise disjoint classes. |
Super-classes |
rdfs:Resourcec |
URI | http://www.w3.org/2002/07/owl#AllDisjointProperties |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of collections of pairwise disjoint properties. |
Super-classes |
rdfs:Resourcec |
URI | http://www.w3.org/2002/07/owl#Annotation |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object. |
Super-classes |
rdfs:Resourcec |
URI | http://www.w3.org/2002/07/owl#AnnotationProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of annotation properties. |
Super-classes |
rdf:Propertyc |
Members |
owl:versionInfoap owl:priorVersionap owl:deprecatedap owl:incompatibleWithap owl:backwardCompatibleWithap |
URI | http://www.w3.org/2002/07/owl#AsymmetricProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of asymmetric properties. |
Super-classes |
owl:ObjectPropertyc |
URI | http://www.w3.org/2002/07/owl#Axiom |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object. |
Super-classes |
rdfs:Resourcec |
URI | http://www.w3.org/2002/07/owl#Class |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of OWL classes. |
Super-classes |
rdfs:Classc |
Sub-classes |
owl:Restrictionc |
In domain of |
owl:disjointWith owl:disjointUnionOf owl:hasKey owl:complementOf |
In range of |
owl:disjointWith owl:complementOf owl:onClass |
Members |
owl:Nothing owl:Thing |
URI | http://www.w3.org/2002/07/owl#DataRange |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
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. |
Super-classes |
rdfs:Datatypec |
URI | http://www.w3.org/2002/07/owl#DatatypeProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of data properties. |
Super-classes |
rdf:Propertyc |
Members |
owl:bottomDataPropertydp owl:topDataPropertydp |
URI | http://www.w3.org/2002/07/owl#DeprecatedClass |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of deprecated classes. |
Super-classes |
rdfs:Classc |
URI | http://www.w3.org/2002/07/owl#DeprecatedProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of deprecated properties. |
Super-classes |
rdf:Propertyc |
URI | http://www.w3.org/2002/07/owl#FunctionalProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of functional properties. |
Super-classes |
rdf:Propertyc |
URI | http://www.w3.org/2002/07/owl#InverseFunctionalProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of inverse-functional properties. |
Super-classes |
owl:ObjectPropertyc |
URI | http://www.w3.org/2002/07/owl#IrreflexiveProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of irreflexive properties. |
Super-classes |
owl:ObjectPropertyc |
URI | http://www.w3.org/2002/07/owl#NamedIndividual |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of named individuals. |
Super-classes |
owl:Thingc |
URI | http://www.w3.org/2002/07/owl#NegativePropertyAssertion |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of negative property assertions. |
Super-classes |
rdfs:Resourcec |
In domain of |
owl:targetIndividual owl:assertionProperty owl:targetValue owl:sourceIndividual |
URI | http://www.w3.org/2002/07/owl#Nothing |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
This is the empty class. |
Super-classes |
owl:Thingc |
URI | http://www.w3.org/2002/07/owl#ObjectProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of object properties. |
Super-classes |
rdf:Propertyc |
Sub-classes |
owl:InverseFunctionalPropertyc owl:ReflexivePropertyc owl:SymmetricPropertyc owl:IrreflexivePropertyc owl:AsymmetricPropertyc owl:TransitivePropertyc |
In domain of |
owl:propertyChainAxiom owl:inverseOf |
In range of |
owl:inverseOf |
Members |
owl:bottomObjectPropertyop owl:topObjectPropertyop |
URI | http://www.w3.org/2002/07/owl#Ontology |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of ontologies. |
Super-classes |
rdfs:Resourcec |
In domain of |
owl:backwardCompatibleWithap owl:versionIRI owl:imports owl:priorVersionap owl:incompatibleWithap |
In range of |
owl:incompatibleWithap owl:priorVersionap owl:versionIRI owl:imports owl:backwardCompatibleWithap |
Members |
http://www.w3.org/2002/07/owl |
URI | http://www.w3.org/2002/07/owl#OntologyProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of ontology properties. |
Super-classes |
rdf:Propertyc |
Members |
owl:priorVersionap owl:versionIRI owl:incompatibleWithap owl:backwardCompatibleWithap owl:imports |
URI | http://www.w3.org/2002/07/owl#ReflexiveProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of reflexive properties. |
Super-classes |
owl:ObjectPropertyc |
URI | http://www.w3.org/2002/07/owl#Restriction |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of property restrictions. |
Super-classes |
owl:Classc |
In domain of |
owl:onClass owl:someValuesFrom owl:onDataRange owl:maxCardinality owl:maxQualifiedCardinality owl:hasValue owl:onProperties owl:onProperty owl:hasSelf owl:minQualifiedCardinality owl:cardinality owl:minCardinality owl:allValuesFrom owl:qualifiedCardinality |
URI | http://www.w3.org/2002/07/owl#SymmetricProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of symmetric properties. |
Super-classes |
owl:ObjectPropertyc |
URI | http://www.w3.org/2002/07/owl#Thing |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of OWL individuals. |
Sub-classes |
owl:NamedIndividualc owl:Nothingc |
In domain of |
owl:bottomDataPropertydp owl:bottomObjectPropertyop owl:topObjectPropertyop owl:differentFrom owl:sameAs owl:topDataPropertydp |
In range of |
owl:sameAs owl:differentFrom owl:sourceIndividual owl:targetIndividual owl:topObjectPropertyop owl:bottomObjectPropertyop |
URI | http://www.w3.org/2002/07/owl#TransitiveProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description |
The class of transitive properties. |
Super-classes |
owl:ObjectPropertyc |
URI | http://www.w3.org/2002/07/owl#bottomDataProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The data property that does not relate any individual to any data value. |
Domain(s) | owl:Thingc |
Range(s) | rdfs:Literalc |
URI | http://www.w3.org/2002/07/owl#topDataProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The data property that relates every individual to every data value. |
Domain(s) | owl:Thingc |
Range(s) | rdfs:Literalc |
URI | http://www.w3.org/2002/07/owl#backwardCompatibleWith |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The annotation property that indicates that a given ontology is backward compatible with another ontology. |
Domain(s) | owl:Ontologyc |
Range(s) | owl:Ontologyc |
URI | http://www.w3.org/2002/07/owl#deprecated |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The annotation property that indicates that a given entity has been deprecated. |
Domain(s) | rdfs:Resourcec |
Range(s) | rdfs:Resourcec |
URI | http://www.w3.org/2002/07/owl#incompatibleWith |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The annotation property that indicates that a given ontology is incompatible with another ontology. |
Domain(s) | owl:Ontologyc |
Range(s) | owl:Ontologyc |
URI | http://www.w3.org/2002/07/owl#priorVersion |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The annotation property that indicates the predecessor ontology of a given ontology. |
Domain(s) | owl:Ontologyc |
Range(s) | owl:Ontologyc |
URI | http://www.w3.org/2002/07/owl#versionInfo |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The annotation property that provides version information for an ontology or another OWL construct. |
Domain(s) | rdfs:Resourcec |
Range(s) | rdfs:Resourcec |
URI | http://www.w3.org/2002/07/owl#allValuesFrom |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the class that a universal property restriction refers to. |
Domain(s) | owl:Restrictionc |
Range(s) | rdfs:Classc |
URI | http://www.w3.org/2002/07/owl#annotatedProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the predicate of an annotated axiom or annotated annotation. |
Domain(s) | rdfs:Resourcec |
Range(s) | rdfs:Resourcec |
URI | http://www.w3.org/2002/07/owl#annotatedSource |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the subject of an annotated axiom or annotated annotation. |
Domain(s) | rdfs:Resourcec |
Range(s) | rdfs:Resourcec |
URI | http://www.w3.org/2002/07/owl#annotatedTarget |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the object of an annotated axiom or annotated annotation. |
Domain(s) | rdfs:Resourcec |
Range(s) | rdfs:Resourcec |
URI | http://www.w3.org/2002/07/owl#assertionProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the predicate of a negative property assertion. |
Domain(s) | owl:NegativePropertyAssertionc |
Range(s) | rdf:Propertyc |
URI | http://www.w3.org/2002/07/owl#cardinality |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the cardinality of an exact cardinality restriction. |
Domain(s) | owl:Restrictionc |
Range(s) | xsd:nonNegativeIntegerc |
URI | http://www.w3.org/2002/07/owl#complementOf |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines that a given class is the complement of another class. |
Domain(s) | owl:Classc |
Range(s) | owl:Classc |
URI | http://www.w3.org/2002/07/owl#datatypeComplementOf |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines that a given data range is the complement of another data range with respect to the data domain. |
Domain(s) | rdfs:Datatypec |
Range(s) | rdfs:Datatypec |
URI | http://www.w3.org/2002/07/owl#differentFrom |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines that two given individuals are different. |
Domain(s) | owl:Thingc |
Range(s) | owl:Thingc |
URI | http://www.w3.org/2002/07/owl#disjointUnionOf |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines that a given class is equivalent to the disjoint union of a collection of other classes. |
Domain(s) | owl:Classc |
Range(s) | rdf:Listc |
URI | http://www.w3.org/2002/07/owl#disjointWith |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines that two given classes are disjoint. |
Domain(s) | owl:Classc |
Range(s) | owl:Classc |
URI | http://www.w3.org/2002/07/owl#distinctMembers |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom. |
Domain(s) | owl:AllDifferentc |
Range(s) | rdf:Listc |
URI | http://www.w3.org/2002/07/owl#equivalentClass |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines that two given classes are equivalent, and that is used to specify datatype definitions. |
Domain(s) | rdfs:Classc |
Range(s) | rdfs:Classc |
URI | http://www.w3.org/2002/07/owl#equivalentProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines that two given properties are equivalent. |
Domain(s) | rdf:Propertyc |
Range(s) | rdf:Propertyc |
URI | http://www.w3.org/2002/07/owl#hasKey |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the collection of properties that jointly build a key. |
Domain(s) | owl:Classc |
Range(s) | rdf:Listc |
URI | http://www.w3.org/2002/07/owl#hasSelf |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the property that a self restriction refers to. |
Domain(s) | owl:Restrictionc |
Range(s) | rdfs:Resourcec |
URI | http://www.w3.org/2002/07/owl#hasValue |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the individual that a has-value restriction refers to. |
Domain(s) | owl:Restrictionc |
Range(s) | rdfs:Resourcec |
URI | http://www.w3.org/2002/07/owl#intersectionOf |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the collection of classes or data ranges that build an intersection. |
Domain(s) | rdfs:Classc |
Range(s) | rdf:Listc |
URI | http://www.w3.org/2002/07/owl#inverseOf |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines that two given properties are inverse. |
Domain(s) | owl:ObjectPropertyc |
Range(s) | owl:ObjectPropertyc |
URI | http://www.w3.org/2002/07/owl#maxCardinality |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the cardinality of a maximum cardinality restriction. |
Domain(s) | owl:Restrictionc |
Range(s) | xsd:nonNegativeIntegerc |
URI | http://www.w3.org/2002/07/owl#maxQualifiedCardinality |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the cardinality of a maximum qualified cardinality restriction. |
Domain(s) | owl:Restrictionc |
Range(s) | xsd:nonNegativeIntegerc |
URI | http://www.w3.org/2002/07/owl#members |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom. |
Domain(s) | rdfs:Resourcec |
Range(s) | rdf:Listc |
URI | http://www.w3.org/2002/07/owl#minCardinality |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the cardinality of a minimum cardinality restriction. |
Domain(s) | owl:Restrictionc |
Range(s) | xsd:nonNegativeIntegerc |
URI | http://www.w3.org/2002/07/owl#minQualifiedCardinality |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the cardinality of a minimum qualified cardinality restriction. |
Domain(s) | owl:Restrictionc |
Range(s) | xsd:nonNegativeIntegerc |
URI | http://www.w3.org/2002/07/owl#onClass |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the class that a qualified object cardinality restriction refers to. |
Domain(s) | owl:Restrictionc |
Range(s) | owl:Classc |
URI | http://www.w3.org/2002/07/owl#onDataRange |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the data range that a qualified data cardinality restriction refers to. |
Domain(s) | owl:Restrictionc |
Range(s) | rdfs:Datatypec |
URI | http://www.w3.org/2002/07/owl#onDatatype |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the datatype that a datatype restriction refers to. |
Domain(s) | rdfs:Datatypec |
Range(s) | rdfs:Datatypec |
URI | http://www.w3.org/2002/07/owl#onProperties |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to. |
Domain(s) | owl:Restrictionc |
Range(s) | rdf:Listc |
URI | http://www.w3.org/2002/07/owl#onProperty |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the property that a property restriction refers to. |
Domain(s) | owl:Restrictionc |
Range(s) | rdf:Propertyc |
URI | http://www.w3.org/2002/07/owl#oneOf |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the collection of individuals or data values that build an enumeration. |
Domain(s) | rdfs:Classc |
Range(s) | rdf:Listc |
URI | http://www.w3.org/2002/07/owl#propertyChainAxiom |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the n-tuple of properties that build a sub property chain of a given property. |
Domain(s) | owl:ObjectPropertyc |
Range(s) | rdf:Listc |
URI | http://www.w3.org/2002/07/owl#propertyDisjointWith |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines that two given properties are disjoint. |
Domain(s) | rdf:Propertyc |
Range(s) | rdf:Propertyc |
URI | http://www.w3.org/2002/07/owl#qualifiedCardinality |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the cardinality of an exact qualified cardinality restriction. |
Domain(s) | owl:Restrictionc |
Range(s) | xsd:nonNegativeIntegerc |
URI | http://www.w3.org/2002/07/owl#sameAs |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines that two given individuals are equal. |
Domain(s) | owl:Thingc |
Range(s) | owl:Thingc |
URI | http://www.w3.org/2002/07/owl#someValuesFrom |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the class that an existential property restriction refers to. |
Domain(s) | owl:Restrictionc |
Range(s) | rdfs:Classc |
URI | http://www.w3.org/2002/07/owl#sourceIndividual |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the subject of a negative property assertion. |
Domain(s) | owl:NegativePropertyAssertionc |
Range(s) | owl:Thingc |
URI | http://www.w3.org/2002/07/owl#targetIndividual |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the object of a negative object property assertion. |
Domain(s) | owl:NegativePropertyAssertionc |
Range(s) | owl:Thingc |
URI | http://www.w3.org/2002/07/owl#targetValue |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the value of a negative data property assertion. |
Domain(s) | owl:NegativePropertyAssertionc |
Range(s) | rdfs:Literalc |
URI | http://www.w3.org/2002/07/owl#unionOf |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the collection of classes or data ranges that build a union. |
Domain(s) | rdfs:Classc |
Range(s) | rdf:Listc |
URI | http://www.w3.org/2002/07/owl#withRestrictions |
---|---|
Is Defined By | http://www.w3.org/2002/07/owl# |
Description | The property that determines the collection of facet-value pairs that define a datatype restriction. |
Domain(s) | rdfs:Datatypec |
Range(s) | rdf:Listc |
http://purl.org/dc/elements/1.1/
http://purl.org/dc/terms/
http://www.w3.org/2003/g/data-view#
http://www.w3.org/2002/07/owl#
http://www.w3.org/ns/prov#
http://www.w3.org/1999/02/22-rdf-syntax-ns#
http://www.w3.org/2000/01/rdf-schema#
https://schema.org/
http://www.w3.org/2004/02/skos/core#
http://www.w3.org/2001/XMLSchema#
c | Classes |
op | Object Properties |
fp | Functional Properties |
dp | Data Properties |
dp | Annotation Properties |
p | Properties |
ni | Named Individuals |