made by pyLODE 2.8.10

The OWL 2 Schema vocabulary (OWL 2)

Metadata

URI
http://www.w3.org/2002/07/owl
Version Information
$Date: 2009/11/15 10:54:12 $
Version URI
http://www.w3.org/2002/07/owl
Imports
http://www.w3.org/2000/01/rdf-schema
Ontology RDF
RDF (turtle)

Description

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.

Table of Contents

  1. Classes
  2. Object Properties
  3. Datatype Properties
  4. Annotation Properties
  5. Properties
  6. Namespaces
  7. Legend

Overview

Pictures say 1,000 words
Figure 1: Ontology overview

Classes

AllDifferentc

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

AllDisjointClassesc

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

AllDisjointPropertiesc

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

Annotationc

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

AnnotationPropertyc

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

AsymmetricPropertyc

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

Axiomc

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

Classc

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

DataRangec

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

DatatypePropertyc

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

DeprecatedClassc

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

DeprecatedPropertyc

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

FunctionalPropertyc

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

InverseFunctionalPropertyc

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

IrreflexivePropertyc

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

NamedIndividualc

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

NegativePropertyAssertionc

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

Nothingc

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

ObjectPropertyc

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

Ontologyc

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

OntologyPropertyc

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

ReflexivePropertyc

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

Restrictionc

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

SymmetricPropertyc

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

Thingc

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

TransitivePropertyc

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

Object Properties

bottomObjectPropertyop

URI http://www.w3.org/2002/07/owl#bottomObjectProperty
Is Defined By http://www.w3.org/2002/07/owl#
Description The object property that does not relate any two individuals.
Domain(s) owl:Thingc
Range(s) owl:Thingc

topObjectPropertyop

URI http://www.w3.org/2002/07/owl#topObjectProperty
Is Defined By http://www.w3.org/2002/07/owl#
Description The object property that relates every two individuals.
Domain(s) owl:Thingc
Range(s) owl:Thingc

Datatype Properties

bottomDataPropertydp

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

topDataPropertydp

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

Annotation Properties

backwardCompatibleWithap

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

deprecatedap

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

incompatibleWithap

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

priorVersionap

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

versionInfoap

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

Properties

allValuesFromp

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

annotatedPropertyp

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

annotatedSourcep

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

annotatedTargetp

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

assertionPropertyp

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

cardinalityp

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

complementOfp

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

datatypeComplementOfp

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

differentFromp

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

disjointUnionOfp

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

disjointWithp

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

distinctMembersp

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

equivalentClassp

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

equivalentPropertyp

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

hasKeyp

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

hasSelfp

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

hasValuep

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

intersectionOfp

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

inverseOfp

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

maxCardinalityp

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

maxQualifiedCardinalityp

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

membersp

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

minCardinalityp

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

minQualifiedCardinalityp

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

onClassp

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

onDataRangep

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

onDatatypep

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

onPropertiesp

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

onPropertyp

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

oneOfp

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

propertyChainAxiomp

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

propertyDisjointWithp

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

qualifiedCardinalityp

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

sameAsp

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

someValuesFromp

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

sourceIndividualp

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

targetIndividualp

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

targetValuep

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

unionOfp

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

withRestrictionsp

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

Namespaces

dc
http://purl.org/dc/elements/1.1/
dct
http://purl.org/dc/terms/
grddl
http://www.w3.org/2003/g/data-view#
owl
http://www.w3.org/2002/07/owl#
prov
http://www.w3.org/ns/prov#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
sdo
https://schema.org/
skos
http://www.w3.org/2004/02/skos/core#
xsd
http://www.w3.org/2001/XMLSchema#

Legend

cClasses
opObject Properties
fpFunctional Properties
dpData Properties
dpAnnotation Properties
pProperties
niNamed Individuals