language en
The OWL 2 Schema vocabulary (OWL 2)
- This version:
- http://www.w3.org/2002/07/owl
- Latest version:
- http://www.w3.org/2002/07/owl
- Revision:
- $Date: 2009/11/15 10:54:12 $
- Imported Ontologies:
- rdf-schema#
- See also:
- http://www.w3.org/TR/owl2-rdf-based-semantics/#table-axiomatic-classes
- http://www.w3.org/TR/owl2-rdf-based-semantics/#table-axiomatic-properties
- Download serialization:
- License:
- Visualization:
- Cite as:
- The OWL 2 Schema vocabulary (OWL 2). Revision: $Date: 2009/11/15 10:54:12 $. Retrieved from: http://www.w3.org/2002/07/owl
Ontology Specification Draft
Abstract
This is a placeholder text for the abstract. The abstract should contain a couple of sentences summarizing the ontology and its purpose.Introduction back to ToC
This is a place holder text for the introduction. The introduction should briefly describe the ontology, its motivation, state of the art and goals.Namespace declarations
| [Ontology NS Prefix] | <http://www.w3.org/2002/07/owl> |
| dc | <http://purl.org/dc/elements/1.1/> |
| grddl | <http://www.w3.org/2003/g/data-view#> |
| owl | <http://www.w3.org/2002/07/owl#> |
| rdf | <http://www.w3.org/1999/02/22-rdf-syntax-ns#> |
| rdfs | <http://www.w3.org/2000/01/rdf-schema#> |
| xml | <http://www.w3.org/XML/1998/namespace> |
| xsd | <http://www.w3.org/2001/XMLSchema#> |
The OWL 2 Schema vocabulary (OWL 2): Overview back to ToC
This ontology has the following classes and properties.Classes
- AllDifferent
- AllDisjointClasses
- AllDisjointProperties
- Annotation
- AnnotationProperty
- AsymmetricProperty
- Axiom
- Class
- Class
- Container
- ContainerMembershipProperty
- DataRange
- Datatype
- DatatypeProperty
- DeprecatedClass
- DeprecatedProperty
- FunctionalProperty
- InverseFunctionalProperty
- IrreflexiveProperty
- Literal
- NamedIndividual
- NegativePropertyAssertion
- Nothing
- ObjectProperty
- Ontology
- OntologyProperty
- ReflexiveProperty
- Resource
- Restriction
- SymmetricProperty
- Thing
- TransitiveProperty
Object Properties
- allValuesFrom
- annotatedProperty
- annotatedSource
- annotatedTarget
- assertionProperty
- bottomObjectProperty
- complementOf
- datatypeComplementOf
- differentFrom
- disjointUnionOf
- disjointWith
- distinctMembers
- equivalentClass
- equivalentProperty
- hasKey
- hasSelf
- hasValue
- intersectionOf
- inverseOf
- members
- onClass
- onDataRange
- onDatatype
- oneOf
- onProperties
- onProperty
- propertyChainAxiom
- propertyDisjointWith
- sameAs
- someValuesFrom
- sourceIndividual
- targetIndividual
- targetValue
- topObjectProperty
- unionOf
- withRestrictions
Data Properties
- bottomDataProperty
- cardinality
- maxCardinality
- maxQualifiedCardinality
- minCardinality
- minQualifiedCardinality
- qualifiedCardinality
- topDataProperty
Annotation Properties
The OWL 2 Schema vocabulary (OWL 2): Description back to ToC
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.Cross-reference for The OWL 2 Schema vocabulary (OWL 2) classes, object properties and data properties back to ToC
This section provides details for each class and property defined by The OWL 2 Schema vocabulary (OWL 2).Classes
- AllDifferent
- AllDisjointClasses
- AllDisjointProperties
- Annotation
- AnnotationProperty
- AsymmetricProperty
- Axiom
- Class
- Class
- Container
- ContainerMembershipProperty
- DataRange
- Datatype
- DatatypeProperty
- DeprecatedClass
- DeprecatedProperty
- FunctionalProperty
- InverseFunctionalProperty
- IrreflexiveProperty
- Literal
- NamedIndividual
- NegativePropertyAssertion
- Nothing
- ObjectProperty
- Ontology
- OntologyProperty
- ReflexiveProperty
- Resource
- Restriction
- SymmetricProperty
- Thing
- TransitiveProperty
AllDifferentc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#AllDifferent
The class of collections of pairwise different individuals.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Resource c
- is in domain of
- distinctMembers op
AllDisjointClassesc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#AllDisjointClasses
The class of collections of pairwise disjoint classes.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Resource c
AllDisjointPropertiesc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#AllDisjointProperties
The class of collections of pairwise disjoint properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Resource c
Annotationc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#Annotation
The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Resource c
AnnotationPropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#AnnotationProperty
The class of annotation properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- property
AsymmetricPropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#AsymmetricProperty
The class of asymmetric properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- ObjectProperty c
Axiomc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#Axiom
The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Resource c
Classc back to ToC or Class ToC
IRI: http://www.w3.org/2000/01/rdf-schema#Class
The class of classes.
- Is defined by
- http://www.w3.org/2000/01/rdf-schema#
- has super-classes
- Resource c
- has sub-classes
- Class c, Datatype c, DeprecatedClass c
- is in domain of
- equivalentClass op, intersectionOf op, oneOf op, unionOf op
- is in range of
- allValuesFrom op, equivalentClass op, someValuesFrom op
Classc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#Class
The class of OWL classes.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Class c
- has sub-classes
- Restriction c
- is in domain of
- complementOf op, disjointUnionOf op, disjointWith op, hasKey op
- is in range of
- complementOf op, disjointWith op, onClass op
Containerc back to ToC or Class ToC
IRI: http://www.w3.org/2000/01/rdf-schema#Container
The class of RDF containers.
- Is defined by
- http://www.w3.org/2000/01/rdf-schema#
- has super-classes
- Resource c
ContainerMembershipPropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty
The class of container membership properties, rdf:_1, rdf:_2, ...,
all of which are sub-properties of 'member'.
- Is defined by
- http://www.w3.org/2000/01/rdf-schema#
- has super-classes
- property
DataRangec back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#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.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Datatype c
Datatypec back to ToC or Class ToC
IRI: http://www.w3.org/2000/01/rdf-schema#Datatype
The class of RDF datatypes.
- Is defined by
- http://www.w3.org/2000/01/rdf-schema#
- has super-classes
- Class c
- has sub-classes
- DataRange c
- is in domain of
- datatypeComplementOf op, onDatatype op, withRestrictions op
- is in range of
- datatypeComplementOf op, onDataRange op, onDatatype op
DatatypePropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#DatatypeProperty
The class of data properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- property
DeprecatedClassc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#DeprecatedClass
The class of deprecated classes.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Class c
DeprecatedPropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#DeprecatedProperty
The class of deprecated properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- property
FunctionalPropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#FunctionalProperty
The class of functional properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- property
InverseFunctionalPropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#InverseFunctionalProperty
The class of inverse-functional properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- ObjectProperty c
IrreflexivePropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#IrreflexiveProperty
The class of irreflexive properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- ObjectProperty c
Literalc back to ToC or Class ToC
IRI: http://www.w3.org/2000/01/rdf-schema#Literal
- has super-classes
- Resource c
- is in range of
- bottomDataProperty dp, targetValue op, topDataProperty dp
NamedIndividualc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#NamedIndividual
The class of named individuals.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Thing c
NegativePropertyAssertionc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#NegativePropertyAssertion
The class of negative property assertions.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Resource c
- is in domain of
- assertionProperty op, sourceIndividual op, targetIndividual op, targetValue op
Nothingc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#Nothing
This is the empty class.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Thing c
ObjectPropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#ObjectProperty
The class of object properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- property
- has sub-classes
- AsymmetricProperty c, InverseFunctionalProperty c, IrreflexiveProperty c, ReflexiveProperty c, SymmetricProperty c, TransitiveProperty c
- is in domain of
- inverseOf op, propertyChainAxiom op
- is in range of
- inverseOf op
Ontologyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#Ontology
The class of ontologies.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Resource c
- is in domain of
- backwardCompatibleWith, imports, incompatibleWith, priorVersion, versionIRI
- is in range of
- backwardCompatibleWith, imports, incompatibleWith, priorVersion, versionIRI
OntologyPropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#OntologyProperty
The class of ontology properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- property
ReflexivePropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#ReflexiveProperty
The class of reflexive properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- ObjectProperty c
Resourcec back to ToC or Class ToC
IRI: http://www.w3.org/2000/01/rdf-schema#Resource
The class resource, everything.
- Is defined by
- http://www.w3.org/2000/01/rdf-schema#
- has sub-classes
- AllDifferent c, AllDisjointClasses c, AllDisjointProperties c, Annotation c, Axiom c, Class c, Container c, Literal c, NegativePropertyAssertion c, Ontology c
- is in domain of
- annotatedProperty op, annotatedSource op, annotatedTarget op, deprecated, members op, versionInfo
- is in range of
- annotatedProperty op, annotatedSource op, annotatedTarget op, deprecated, hasSelf op, hasValue op, versionInfo
Restrictionc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#Restriction
The class of property restrictions.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- Class c
- is in domain of
- allValuesFrom op, cardinality dp, hasSelf op, hasValue op, maxCardinality dp, maxQualifiedCardinality dp, minCardinality dp, minQualifiedCardinality dp, onClass op, onDataRange op, onProperties op, onProperty op, qualifiedCardinality dp, someValuesFrom op
SymmetricPropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#SymmetricProperty
The class of symmetric properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- ObjectProperty c
Thingc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#Thing
The class of OWL individuals.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has sub-classes
- NamedIndividual c, Nothing c
- is in domain of
- bottomDataProperty dp, bottomObjectProperty op, differentFrom op, sameAs op, topDataProperty dp, topObjectProperty op
- is in range of
- bottomObjectProperty op, differentFrom op, sameAs op, sourceIndividual op, targetIndividual op, topObjectProperty op
TransitivePropertyc back to ToC or Class ToC
IRI: http://www.w3.org/2002/07/owl#TransitiveProperty
The class of transitive properties.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has super-classes
- ObjectProperty c
Object Properties
- allValuesFrom
- annotatedProperty
- annotatedSource
- annotatedTarget
- assertionProperty
- bottomObjectProperty
- complementOf
- datatypeComplementOf
- differentFrom
- disjointUnionOf
- disjointWith
- distinctMembers
- equivalentClass
- equivalentProperty
- hasKey
- hasSelf
- hasValue
- intersectionOf
- inverseOf
- members
- onClass
- onDataRange
- onDatatype
- oneOf
- onProperties
- onProperty
- propertyChainAxiom
- propertyDisjointWith
- sameAs
- someValuesFrom
- sourceIndividual
- targetIndividual
- targetValue
- topObjectProperty
- unionOf
- withRestrictions
allValuesFromop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#allValuesFrom
The property that determines the class that a universal property restriction refers to.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- Class c
annotatedPropertyop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#annotatedProperty
The property that determines the predicate of an annotated axiom or annotated annotation.
- Is defined by
- http://www.w3.org/2002/07/owl#
annotatedSourceop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#annotatedSource
The property that determines the subject of an annotated axiom or annotated annotation.
- Is defined by
- http://www.w3.org/2002/07/owl#
annotatedTargetop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#annotatedTarget
The property that determines the object of an annotated axiom or annotated annotation.
- Is defined by
- http://www.w3.org/2002/07/owl#
assertionPropertyop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#assertionProperty
The property that determines the predicate of a negative property assertion.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- NegativePropertyAssertion c
- has range
- property
bottomObjectPropertyop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#bottomObjectProperty
The object property that does not relate any two individuals.
- Is defined by
- http://www.w3.org/2002/07/owl#
complementOfop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#complementOf
The property that determines that a given class is the complement of another class.
- Is defined by
- http://www.w3.org/2002/07/owl#
datatypeComplementOfop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#datatypeComplementOf
The property that determines that a given data range is the complement of another data range with respect to the data domain.
- Is defined by
- http://www.w3.org/2002/07/owl#
differentFromop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#differentFrom
The property that determines that two given individuals are different.
- Is defined by
- http://www.w3.org/2002/07/owl#
disjointUnionOfop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#disjointUnionOf
The property that determines that a given class is equivalent to the disjoint union of a collection of other classes.
- Is defined by
- http://www.w3.org/2002/07/owl#
disjointWithop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#disjointWith
The property that determines that two given classes are disjoint.
- Is defined by
- http://www.w3.org/2002/07/owl#
distinctMembersop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#distinctMembers
The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- AllDifferent c
- has range
- list c
equivalentClassop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#equivalentClass
The property that determines that two given classes are equivalent, and that is used to specify datatype definitions.
- Is defined by
- http://www.w3.org/2002/07/owl#
equivalentPropertyop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#equivalentProperty
The property that determines that two given properties are equivalent.
- Is defined by
- http://www.w3.org/2002/07/owl#
hasKeyop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#hasKey
The property that determines the collection of properties that jointly build a key.
- Is defined by
- http://www.w3.org/2002/07/owl#
hasSelfop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#hasSelf
The property that determines the property that a self restriction refers to.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- Resource c
hasValueop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#hasValue
The property that determines the individual that a has-value restriction refers to.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- Resource c
intersectionOfop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#intersectionOf
The property that determines the collection of classes or data ranges that build an intersection.
- Is defined by
- http://www.w3.org/2002/07/owl#
inverseOfop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#inverseOf
The property that determines that two given properties are inverse.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- ObjectProperty c
- has range
- ObjectProperty c
membersop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#members
The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom.
- Is defined by
- http://www.w3.org/2002/07/owl#
onClassop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#onClass
The property that determines the class that a qualified object cardinality restriction refers to.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- Class c
onDataRangeop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#onDataRange
The property that determines the data range that a qualified data cardinality restriction refers to.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- Datatype c
onDatatypeop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#onDatatype
The property that determines the datatype that a datatype restriction refers to.
- Is defined by
- http://www.w3.org/2002/07/owl#
oneOfop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#oneOf
The property that determines the collection of individuals or data values that build an enumeration.
- Is defined by
- http://www.w3.org/2002/07/owl#
onPropertiesop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#onProperties
The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- list c
onPropertyop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#onProperty
The property that determines the property that a property restriction refers to.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- property
propertyChainAxiomop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#propertyChainAxiom
The property that determines the n-tuple of properties that build a sub property chain of a given property.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- ObjectProperty c
- has range
- list c
propertyDisjointWithop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#propertyDisjointWith
The property that determines that two given properties are disjoint.
- Is defined by
- http://www.w3.org/2002/07/owl#
sameAsop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#sameAs
The property that determines that two given individuals are equal.
- Is defined by
- http://www.w3.org/2002/07/owl#
someValuesFromop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#someValuesFrom
The property that determines the class that an existential property restriction refers to.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- Class c
sourceIndividualop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#sourceIndividual
The property that determines the subject of a negative property assertion.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- NegativePropertyAssertion c
- has range
- Thing c
targetIndividualop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#targetIndividual
The property that determines the object of a negative object property assertion.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- NegativePropertyAssertion c
- has range
- Thing c
targetValueop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#targetValue
The property that determines the value of a negative data property assertion.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- NegativePropertyAssertion c
- has range
- Literal c
topObjectPropertyop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#topObjectProperty
The object property that relates every two individuals.
- Is defined by
- http://www.w3.org/2002/07/owl#
unionOfop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#unionOf
The property that determines the collection of classes or data ranges that build a union.
- Is defined by
- http://www.w3.org/2002/07/owl#
withRestrictionsop back to ToC or Object Property ToC
IRI: http://www.w3.org/2002/07/owl#withRestrictions
The property that determines the collection of facet-value pairs that define a datatype restriction.
- Is defined by
- http://www.w3.org/2002/07/owl#
Data Properties
- bottomDataProperty
- cardinality
- maxCardinality
- maxQualifiedCardinality
- minCardinality
- minQualifiedCardinality
- qualifiedCardinality
- topDataProperty
bottomDataPropertydp back to ToC or Data Property ToC
IRI: http://www.w3.org/2002/07/owl#bottomDataProperty
The data property that does not relate any individual to any data value.
- Is defined by
- http://www.w3.org/2002/07/owl#
cardinalitydp back to ToC or Data Property ToC
IRI: http://www.w3.org/2002/07/owl#cardinality
The property that determines the cardinality of an exact cardinality restriction.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- non negative integer
maxCardinalitydp back to ToC or Data Property ToC
IRI: http://www.w3.org/2002/07/owl#maxCardinality
The property that determines the cardinality of a maximum cardinality restriction.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- non negative integer
maxQualifiedCardinalitydp back to ToC or Data Property ToC
IRI: http://www.w3.org/2002/07/owl#maxQualifiedCardinality
The property that determines the cardinality of a maximum qualified cardinality restriction.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- non negative integer
minCardinalitydp back to ToC or Data Property ToC
IRI: http://www.w3.org/2002/07/owl#minCardinality
The property that determines the cardinality of a minimum cardinality restriction.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- non negative integer
minQualifiedCardinalitydp back to ToC or Data Property ToC
IRI: http://www.w3.org/2002/07/owl#minQualifiedCardinality
The property that determines the cardinality of a minimum qualified cardinality restriction.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- non negative integer
qualifiedCardinalitydp back to ToC or Data Property ToC
IRI: http://www.w3.org/2002/07/owl#qualifiedCardinality
The property that determines the cardinality of an exact qualified cardinality restriction.
- Is defined by
- http://www.w3.org/2002/07/owl#
- has domain
- Restriction c
- has range
- non negative integer
topDataPropertydp back to ToC or Data Property ToC
IRI: http://www.w3.org/2002/07/owl#topDataProperty
The data property that relates every individual to every data value.
- Is defined by
- http://www.w3.org/2002/07/owl#
Annotation Properties
- backwardCompatibleWith
- deprecated
- imports
- incompatibleWith
- namespace transformation
- priorVersion
- versionInfo
- versionIRI
backwardCompatibleWithap back to ToC or Annotation Property ToC
IRI: http://www.w3.org/2002/07/owl#backwardCompatibleWith
The annotation property that indicates that a given ontology is backward compatible with another ontology.
- Is defined by
- http://www.w3.org/2002/07/owl#
deprecatedap back to ToC or Annotation Property ToC
IRI: http://www.w3.org/2002/07/owl#deprecated
The annotation property that indicates that a given entity has been deprecated.
- Is defined by
- http://www.w3.org/2002/07/owl#
importsap back to ToC or Annotation Property ToC
IRI: http://www.w3.org/2002/07/owl#imports
The property that is used for importing other ontologies into a given ontology.
- Is defined by
- http://www.w3.org/2002/07/owl#
incompatibleWithap back to ToC or Annotation Property ToC
IRI: http://www.w3.org/2002/07/owl#incompatibleWith
The annotation property that indicates that a given ontology is incompatible with another ontology.
- Is defined by
- http://www.w3.org/2002/07/owl#
namespace transformationap back to ToC or Annotation Property ToC
IRI: http://www.w3.org/2003/g/data-view#namespaceTransformation
priorVersionap back to ToC or Annotation Property ToC
IRI: http://www.w3.org/2002/07/owl#priorVersion
The annotation property that indicates the predecessor ontology of a given ontology.
- Is defined by
- http://www.w3.org/2002/07/owl#
versionInfoap back to ToC or Annotation Property ToC
IRI: http://www.w3.org/2002/07/owl#versionInfo
versionIRIap back to ToC or Annotation Property ToC
IRI: http://www.w3.org/2002/07/owl#versionIRI
The property that identifies the version IRI of an ontology.
- Is defined by
- http://www.w3.org/2002/07/owl#
Legend back to ToC
c: Classes
op: Object Properties
dp: Data Properties
op: Object Properties
dp: Data Properties
References back to ToC
Add your references here. It is recommended to have them as a list.Acknowledgments back to ToC
The authors would like to thank Silvio Peroni for developing LODE, a Live OWL Documentation Environment, which is used for representing the Cross Referencing Section of this document and Daniel Garijo for developing Widoco, the program used to create the template used in this documentation.