This wiki has been archived and is now read-only.


From OWL
Jump to: navigation, search

Development of the owl2.owl ontology document.


  • The treatment for the vocabulary terms is considered complete.
  • The ontology header might need additional discussion.
  • The terms are still single triples. Translation to RDF/XML will be done when everything is finished.

Design Principles

  • Selection of terms:
    • Only the class and property terms from the OWL vocabulary are treated.
    • No RDFS or XSD terms are treated in this OWL namespace document.
  • Selection of "semantic" triples:
    • All semantic triples are covered by Section 6.4 of the OWL 2 RDF-Based Semantics.
    • Each class term has a rdf:type and a rdfs:subClassOf triple.
    • Each property term has rdf:type, rdfs:domain and rdfs:range triple.
    • In general, the classes from RDFS are used as the type, subclass, domain or range of a term. However, if it is plausible, the corresponding OWL terms are used. This strategy follows the original owl.owl. For example, the domain and range of owl:sameAs has been chosen to be owl:Thing, since OWL 2 DL exclusively applies owl:sameAs to OWL individuals. Note that under the OWL 2 RDF-Based Semantics, owl:Thing and rdfs:Resource are equivalent classes, so this decision does not affect OWL 2 Full. On the other side, the domain and range of owl:equivalentProperty has been chosen to be rdf:Property, since this term is used by OWL 2 DL for both object and data properties, so a decision for owl:ObjectProperty would not be plausible.
    • There is no use of OWL terms for "defining" other OWL terms, such as "owl:complementOf".
    • Every term has a rdfs:label, as for the original owl.owl. The same style is used (this is also the same style in rdf.rdf and rdfs.rdfs).
    • Every term has a rdfs:comment describing this term, mostly by a single sentence. This has been practice for rdf.rdf and rdfs.rdfs, and the style used there has also been basically adopted.
    • Every term has a rdfs:isDefinedBy, pointing to the namespace document itself. This practice has been adopted from rdf.rdf and rdfs.rdfs.

Deviations from owl.owl

  • Due to changes in OWL 2 compared to OWL 1:
    • owl:DataRange: now a subclass of rdfs:Datatype (originally a subclass of rdfs:Resource)
    • ontology properties owl:backwardCompatibleWith, owl:incompatibleWith: now additional of type owl:AnnotationProperty
    • owl:equivalentClass: domain/range now rdfs:Class (was: owl:Class): OWL 2 uses owl:equivalentClass to create datatype definitions
    • owl:intersectionOf/owl:unionOf: domain now rdfs:Class (was owl:Class), since usable with data ranges in OWL 2
  • Based on general design decisions:
    • no mentioning of RDFS annotation vocabulary anymore (rdfs:comment, rdfs:label, rdfs:seeAlso, rdfs:isDefinedBy):
    • owl:Nothing, owl:Thing, owl:equivalentProperty: use of OWL vocabulary for "defining" these terms has been replaced by subclass and domain/range triples, as for all other terms
    • all subclasses, domains and ranges are explicitly mentioned (owl.owl originally did not provide triples with rdfs:Resource as their object)
    • ontology properties and annotation properties do not have an explicit rdf:type rdf:Property anymore (redundant)


  • Ontology Header
    • owl.owl had no explicit ontology URI. Do we add one (the obvious one :))?
    • Do we want a version IRI in the ontology header?
      • From Structural Spec, §3.1: """If an ontology has an ontology IRI, the ontology may additionally have a version IRI, which is used to identify the version of the ontology. The version IRI may, but need not be equal to the ontology IRI. An ontology without an ontology IRI must not contain a version IRI."""
    • owl.owl imports RDFS. Do we copycat?
    • Should there again be rdfs:isDefinedBy citations in the ontology header? To which document(s)?
    • What or what other information should go into the comment?
  • Terms
    • Order of terms: Globally ordered by name, or sub-divided into classes and properties (current)?


    • Spell checking
    • Convert to RDF/XML
    • ontology header / version info: fill in date of recommendation



Ignore this section! :-)

  • Adding labels and comments:
s/(^\s*$\r\n^(\w+:(\w+)) .*$)/\1\r\n\2 rdfs:label "\3" .\r\n\2 rdfs:comment "TODO" ./
  • Adding rdfs:isDefinedBy:
s/(^ (\w+:\w+) rdfs:label ".*" .\s*$)/ \2 rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .\n$1/


# ==================
# === XML HEADER ===
# ==================
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
<!ENTITY owl "http://www.w3.org/2002/07/owl#" >
<!ENTITY dc "http://purl.org/dc/elements/1.1/" >
  xml:base ="http://www.w3.org/2002/07/owl"
  xmlns ="&owl;"
  xmlns:rdf ="&rdf;"
  xmlns:xsd = "&xsd;"
  xmlns:owl ="&owl;"
# =============================
# =============================
<Ontology rdf:about="http://www.w3.org/2002/07/owl">
  <dc:title>The OWL 2 Schema vocabulary (OWL 2)</dc:title>
  <versionIRI rdf:resource="http://www.w3.org/2002/07/owl"/>
  <imports rdf:resource="http://www.w3.org/2000/01/rdf-schema"/>
  <rdfs:isDefinedBy rdf:resource="http://www.w3.org/TR/owl2-rdf-based-semantics/" />
  <rdfs:isDefinedBy rdf:resource="http://www.w3.org/TR/owl2-syntax/" />
  <rdfs:isDefinedBy rdf:resource="http://www.w3.org/TR/owl2-mapping-to-rdf/" />
  <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/owl2-rdf-based-semantics/#table-axiomatic-classes" />
  <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/owl2-rdf-based-semantics/#table-axiomatic-properties" />
  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.
  This is not the final version yet,
  that will have to be published as http://www.w3.org/2002/07/owl.owl;
  it is just a version to be seen and commented upon
  by the OWL Working Group.
  <versionInfo>$Date: 2024/02/02 09:58:20 $</versionInfo>
# ====================
# === MAIN CONTENT ===
# ====================
owl:AllDifferent rdf:type rdfs:Class .
owl:AllDifferent rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:AllDifferent rdfs:label "AllDifferent" .
owl:AllDifferent rdfs:comment "The class of collections of pairwise different individuals." .
owl:AllDifferent rdfs:subClassOf rdfs:Resource .
owl:AllDisjointClasses rdf:type rdfs:Class .
owl:AllDisjointClasses rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:AllDisjointClasses rdfs:label "AllDisjointClasses" .
owl:AllDisjointClasses rdfs:comment "The class of collections of pairwise disjoint classes." .
owl:AllDisjointClasses rdfs:subClassOf rdfs:Resource .
owl:AllDisjointProperties rdf:type rdfs:Class .
owl:AllDisjointProperties rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:AllDisjointProperties rdfs:label "AllDisjointProperties" .
owl:AllDisjointProperties rdfs:comment "The class of collections of pairwise disjoint properties." .
owl:AllDisjointProperties rdfs:subClassOf rdfs:Resource .
owl:Annotation rdf:type rdfs:Class .
owl:Annotation rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:Annotation rdfs:label "Annotation" .
owl:Annotation rdfs:comment "The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object." .
owl:Annotation rdfs:subClassOf rdfs:Resource .
owl:AnnotationProperty rdf:type rdfs:Class .
owl:AnnotationProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:AnnotationProperty rdfs:label "AnnotationProperty" .
owl:AnnotationProperty rdfs:comment "The class of annotation properties." .
owl:AnnotationProperty rdfs:subClassOf rdf:Property .
owl:AsymmetricProperty rdf:type rdfs:Class .
owl:AsymmetricProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:AsymmetricProperty rdfs:label "AsymmetricProperty" .
owl:AsymmetricProperty rdfs:comment "The class of asymmetric properties." .
owl:AsymmetricProperty rdfs:subClassOf owl:ObjectProperty .

owl:Axiom rdf:type rdfs:Class .
owl:Axiom rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:Axiom rdfs:label "Axiom" .
owl:Axiom rdfs:comment "The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object." .
owl:Axiom rdfs:subClassOf rdfs:Resource .

owl:Class rdf:type rdfs:Class .
owl:Class rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:Class rdfs:label "Class" .
owl:Class rdfs:comment "The class of OWL classes." .
owl:Class rdfs:subClassOf rdfs:Class .

owl:DataRange rdf:type rdfs:Class .
owl:DataRange rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:DataRange rdfs:label "DataRange" .
owl:DataRange rdfs: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." .
owl:DataRange rdfs:subClassOf rdfs:Datatype .

owl:DatatypeProperty rdf:type rdfs:Class .
owl:DatatypeProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:DatatypeProperty rdfs:label "DatatypeProperty" .
owl:DatatypeProperty rdfs:comment "The class of data properties." .
owl:DatatypeProperty rdfs:subClassOf rdf:Property .

owl:DeprecatedClass rdf:type rdfs:Class .
owl:DeprecatedClass rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:DeprecatedClass rdfs:label "DeprecatedClass" .
owl:DeprecatedClass rdfs:comment "The class of deprecated classes." .
owl:DeprecatedClass rdfs:subClassOf rdfs:Class .

owl:DeprecatedProperty rdf:type rdfs:Class .
owl:DeprecatedProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:DeprecatedProperty rdfs:label "DeprecatedProperty" .
owl:DeprecatedProperty rdfs:comment "The class of deprecated properties." .
owl:DeprecatedProperty rdfs:subClassOf rdf:Property .

owl:FunctionalProperty rdf:type rdfs:Class .
owl:FunctionalProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:FunctionalProperty rdfs:label "FunctionalProperty" .
owl:FunctionalProperty rdfs:comment "The class of functional properties." .
owl:FunctionalProperty rdfs:subClassOf rdf:Property .

owl:InverseFunctionalProperty rdf:type rdfs:Class .
owl:InverseFunctionalProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:InverseFunctionalProperty rdfs:label "InverseFunctionalProperty" .
owl:InverseFunctionalProperty rdfs:comment "The class of inverse-functional properties." .
owl:InverseFunctionalProperty rdfs:subClassOf owl:ObjectProperty .
owl:IrreflexiveProperty rdf:type rdfs:Class .
owl:IrreflexiveProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:IrreflexiveProperty rdfs:label "IrreflexiveProperty" .
owl:IrreflexiveProperty rdfs:comment "The class of irreflexive properties." .
owl:IrreflexiveProperty rdfs:subClassOf owl:ObjectProperty .

owl:NamedIndividual rdf:type rdfs:Class .
owl:NamedIndividual rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:NamedIndividual rdfs:label "NamedIndividual" .
owl:NamedIndividual rdfs:comment "The class of named individuals." .
owl:NamedIndividual rdfs:subClassOf owl:Thing .
owl:NegativePropertyAssertion rdf:type rdfs:Class .
owl:NegativePropertyAssertion rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:NegativePropertyAssertion rdfs:label "NegativePropertyAssertion" .
owl:NegativePropertyAssertion rdfs:comment "The class of negative property assertions." .
owl:NegativePropertyAssertion rdfs:subClassOf rdfs:Resource .
owl:Nothing rdf:type owl:Class .
owl:Nothing rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:Nothing rdfs:label "Nothing" .
owl:Nothing rdfs:comment "This empty class." .
owl:Nothing rdfs:subClassOf owl:Thing .
owl:ObjectProperty rdf:type rdfs:Class .
owl:ObjectProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:ObjectProperty rdfs:label "ObjectProperty" .
owl:ObjectProperty rdfs:comment "The class of object properties." .
owl:ObjectProperty rdfs:subClassOf rdf:Property .
owl:Ontology rdf:type rdfs:Class .
owl:Ontology rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:Ontology rdfs:label "Ontology" .
owl:Ontology rdfs:comment "The class of ontologies." .
owl:Ontology rdfs:subClassOf rdfs:Resource .
owl:OntologyProperty rdf:type rdfs:Class .
owl:OntologyProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:OntologyProperty rdfs:label "OntologyProperty" .
owl:OntologyProperty rdfs:comment "The class of ontology properties." .
owl:OntologyProperty rdfs:subClassOf rdf:Property .
owl:ReflexiveProperty rdf:type rdfs:Class .
owl:ReflexiveProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:ReflexiveProperty rdfs:label "ReflexiveProperty" .
owl:ReflexiveProperty rdfs:comment "The class of reflexive properties." .
owl:ReflexiveProperty rdfs:subClassOf owl:ObjectProperty .
owl:Restriction rdf:type rdfs:Class .
owl:Restriction rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:Restriction rdfs:label "Restriction" .
owl:Restriction rdfs:comment "The class of property restrictions." .
owl:Restriction rdfs:subClassOf owl:Class .
owl:SymmetricProperty rdf:type rdfs:Class .
owl:SymmetricProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:SymmetricProperty rdfs:label "SymmetricProperty" .
owl:SymmetricProperty rdfs:comment "The class of symmetric properties." .
owl:SymmetricProperty rdfs:subClassOf owl:ObjectProperty .
owl:Thing rdf:type owl:Class .
owl:Thing rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:Thing rdfs:label "Thing" .
owl:Thing rdfs:comment "The class of OWL individuals." .
owl:TransitiveProperty rdf:type rdfs:Class .
owl:TransitiveProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:TransitiveProperty rdfs:label "TransitiveProperty" .
owl:TransitiveProperty rdfs:comment "The class of transitive properties." .
owl:TransitiveProperty rdfs:subClassOf owl:ObjectProperty .
owl:allValuesFrom rdf:type rdf:Property .
owl:allValuesFrom rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:allValuesFrom rdfs:label "allValuesFrom" .
owl:allValuesFrom rdfs:comment "The property that determines the class that a universal property restriction refers to." .
owl:allValuesFrom rdfs:domain owl:Restriction .
owl:allValuesFrom rdfs:range rdfs:Class .
owl:annotatedProperty rdf:type rdf:Property .
owl:annotatedProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:annotatedProperty rdfs:label "annotatedProperty" .
owl:annotatedProperty rdfs:comment "The property that determines the predicate of an annotated axiom or annotated annotation." .
owl:annotatedProperty rdfs:domain rdfs:Resource .
owl:annotatedProperty rdfs:range rdfs:Resource .
owl:annotatedSource rdf:type rdf:Property .
owl:annotatedSource rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:annotatedSource rdfs:label "annotatedSource" .
owl:annotatedSource rdfs:comment "The property that determines the subject of an annotated axiom or annotated annotation." .
owl:annotatedSource rdfs:domain rdfs:Resource .
owl:annotatedSource rdfs:range rdfs:Resource .
owl:annotatedTarget rdf:type rdf:Property .
owl:annotatedTarget rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:annotatedTarget rdfs:label "annotatedTarget" .
owl:annotatedTarget rdfs:comment "The property that determines the object of an annotated axiom or annotated annotation." .
owl:annotatedTarget rdfs:domain rdfs:Resource .
owl:annotatedTarget rdfs:range rdfs:Resource .
owl:assertionProperty rdf:type rdf:Property .
owl:assertionProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:assertionProperty rdfs:label "assertionProperty" .
owl:assertionProperty rdfs:comment "The property that determines the predicate of a negative property assertion." .
owl:assertionProperty rdfs:domain owl:NegativePropertyAssertion .
owl:assertionProperty rdfs:range rdf:Property .
owl:backwardCompatibleWith rdf:type owl:AnnotationProperty .
owl:backwardCompatibleWith rdf:type owl:OntologyProperty .
owl:backwardCompatibleWith rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:backwardCompatibleWith rdfs:label "backwardCompatibleWith" .
owl:backwardCompatibleWith rdfs:comment "The annotation property that indicates that a given ontology is backward compatible with another ontology." .
owl:backwardCompatibleWith rdfs:domain owl:Ontology .
owl:backwardCompatibleWith rdfs:range owl:Ontology .
owl:bottomDataProperty rdf:type owl:DatatypeProperty .
owl:bottomDataProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:bottomDataProperty rdfs:label "bottomDataProperty" .
owl:bottomDataProperty rdfs:comment "The data property that does not relate any individual to any data value." .
owl:bottomDataProperty rdfs:domain owl:Thing .
owl:bottomDataProperty rdfs:range rdfs:Literal .
owl:bottomObjectProperty rdf:type owl:ObjectProperty .
owl:bottomObjectProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:bottomObjectProperty rdfs:label "bottomObjectProperty" .
owl:bottomObjectProperty rdfs:comment "The object property that does not relate any two individuals." .
owl:bottomObjectProperty rdfs:domain owl:Thing .
owl:bottomObjectProperty rdfs:range owl:Thing .
owl:cardinality rdf:type rdf:Property .
owl:cardinality rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:cardinality rdfs:label "cardinality" .
owl:cardinality rdfs:comment "The property that determines the cardinality of an exact cardinality restriction." .
owl:cardinality rdfs:domain owl:Restriction .
owl:cardinality rdfs:range xsd:nonNegativeInteger .
owl:complementOf rdf:type rdf:Property .
owl:complementOf rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:complementOf rdfs:label "complementOf" .
owl:complementOf rdfs:comment "The property that determines that a given class is the complement of another class." .
owl:complementOf rdfs:domain owl:Class .
owl:complementOf rdfs:range owl:Class .
owl:datatypeComplementOf rdf:type rdf:Property .
owl:datatypeComplementOf rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:datatypeComplementOf rdfs:label "datatypeComplementOf" .
owl:datatypeComplementOf rdfs:comment "The property that determines that a given data range is the complement of another data range with respect to the data domain." .
owl:datatypeComplementOf rdfs:domain rdfs:Datatype .
owl:datatypeComplementOf rdfs:range rdfs:Datatype .
owl:deprecated rdf:type owl:AnnotationProperty .
owl:deprecated rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:deprecated rdfs:label "deprecated" .
owl:deprecated rdfs:comment "The annotation property that indicates that a given entity has been deprecated." .
owl:deprecated rdfs:domain rdfs:Resource .
owl:deprecated rdfs:range rdfs:Resource .
owl:differentFrom rdf:type rdf:Property .
owl:differentFrom rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:differentFrom rdfs:label "differentFrom" .
owl:differentFrom rdfs:comment "The property that determines that two given individuals are different." .
owl:differentFrom rdfs:domain owl:Thing .
owl:differentFrom rdfs:range owl:Thing .
owl:disjointUnionOf rdf:type rdf:Property .
owl:disjointUnionOf rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:disjointUnionOf rdfs:label "disjointUnionOf" .
owl:disjointUnionOf rdfs:comment "The property that determines that a given class is equivalent to the disjoint union of a collection of other classes." .
owl:disjointUnionOf rdfs:domain owl:Class .
owl:disjointUnionOf rdfs:range rdf:List .
owl:disjointWith rdf:type rdf:Property .
owl:disjointWith rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:disjointWith rdfs:label "disjointWith" .
owl:disjointWith rdfs:comment "The property that determines that two given classes are disjoint." .
owl:disjointWith rdfs:domain owl:Class .
owl:disjointWith rdfs:range owl:Class .
owl:distinctMembers rdf:type rdf:Property .
owl:distinctMembers rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:distinctMembers rdfs:label "distinctMembers" .
owl:distinctMembers rdfs:comment "The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom." .
owl:distinctMembers rdfs:domain owl:AllDifferent .
owl:distinctMembers rdfs:range rdf:List .
owl:equivalentClass rdf:type rdf:Property .
owl:equivalentClass rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:equivalentClass rdfs:label "equivalentClass" .
owl:equivalentClass rdfs:comment "The property that determines that two given classes are equivalent, and that is used to specify datatype definitions." .
owl:equivalentClass rdfs:domain rdfs:Class .
owl:equivalentClass rdfs:range rdfs:Class .
owl:equivalentProperty rdf:type rdf:Property .
owl:equivalentProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:equivalentProperty rdfs:label "equivalentProperty" .
owl:equivalentProperty rdfs:comment "The property that determines that two given properties are equivalent." .
owl:equivalentProperty rdfs:domain rdf:Property .
owl:equivalentProperty rdfs:range rdf:Property .
owl:hasKey rdf:type rdf:Property .
owl:hasKey rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:hasKey rdfs:label "hasKey" .
owl:hasKey rdfs:comment "The property that determines the collection of properties that jointly build a key." .
owl:hasKey rdfs:domain owl:Class .
owl:hasKey rdfs:range rdf:List .
owl:hasSelf rdf:type rdf:Property .
owl:hasSelf rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:hasSelf rdfs:label "hasSelf" .
owl:hasSelf rdfs:comment "The property that determines the property that a self restriction refers to." .
owl:hasSelf rdfs:domain owl:Restriction .
owl:hasSelf rdfs:range rdfs:Resource .
owl:hasValue rdf:type rdf:Property .
owl:hasValue rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:hasValue rdfs:label "hasValue" .
owl:hasValue rdfs:comment "The property that determines the individual that a has-value restriction refers to." .
owl:hasValue rdfs:domain owl:Restriction .
owl:hasValue rdfs:range rdfs:Resource .
owl:imports rdf:type owl:OntologyProperty .
owl:imports rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:imports rdfs:label "imports" .
owl:imports rdfs:comment "The property that is used for importing other ontologies into a given ontology." .
owl:imports rdfs:domain owl:Ontology .
owl:imports rdfs:range owl:Ontology .
owl:incompatibleWith rdf:type owl:AnnotationProperty .
owl:incompatibleWith rdf:type owl:OntologyProperty .
owl:incompatibleWith rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:incompatibleWith rdfs:label "incompatibleWith" .
owl:incompatibleWith rdfs:comment "The annotation property that indicates that a given ontology is incompatible with another ontology." .
owl:incompatibleWith rdfs:domain owl:Ontology .
owl:incompatibleWith rdfs:range owl:Ontology .
owl:intersectionOf rdf:type rdf:Property .
owl:intersectionOf rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:intersectionOf rdfs:label "intersectionOf" .
owl:intersectionOf rdfs:comment "The property that determines the collection of classes or data ranges that build an intersection." .
owl:intersectionOf rdfs:domain rdfs:Class .
owl:intersectionOf rdfs:range rdf:List .
owl:inverseOf rdf:type rdf:Property .
owl:inverseOf rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:inverseOf rdfs:label "inverseOf" .
owl:inverseOf rdfs:comment "The property that determines that two given properties are inverse." .
owl:inverseOf rdfs:domain owl:ObjectProperty .
owl:inverseOf rdfs:range owl:ObjectProperty .
owl:maxCardinality rdf:type rdf:Property .
owl:maxCardinality rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:maxCardinality rdfs:label "maxCardinality" .
owl:maxCardinality rdfs:comment "The property that determines the cardinality of a maximum cardinality restriction." .
owl:maxCardinality rdfs:domain owl:Restriction .
owl:maxCardinality rdfs:range xsd:nonNegativeInteger .
owl:maxQualifiedCardinality rdf:type rdf:Property .
owl:maxQualifiedCardinality rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:maxQualifiedCardinality rdfs:label "maxQualifiedCardinality" .
owl:maxQualifiedCardinality rdfs:comment "The property that determines the cardinality of a maximum qualified cardinality restriction." .
owl:maxQualifiedCardinality rdfs:domain owl:Restriction .
owl:maxQualifiedCardinality rdfs:range xsd:nonNegativeInteger .
owl:members rdf:type rdf:Property .
owl:members rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:members rdfs:label "members" .
owl:members rdfs:comment "The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom." .
owl:members rdfs:domain rdfs:Resource .
owl:members rdfs:range rdf:List .
owl:minCardinality rdf:type rdf:Property .
owl:minCardinality rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:minCardinality rdfs:label "minCardinality" .
owl:minCardinality rdfs:comment "The property that determines the cardinality of a minimum cardinality restriction." .
owl:minCardinality rdfs:domain owl:Restriction .
owl:minCardinality rdfs:range xsd:nonNegativeInteger .
owl:minQualifiedCardinality rdf:type rdf:Property .
owl:minQualifiedCardinality rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:minQualifiedCardinality rdfs:label "minQualifiedCardinality" .
owl:minQualifiedCardinality rdfs:comment "The property that determines the cardinality of a minimum qualified cardinality restriction." .
owl:minQualifiedCardinality rdfs:domain owl:Restriction .
owl:minQualifiedCardinality rdfs:range xsd:nonNegativeInteger .
owl:onClass rdf:type rdf:Property .
owl:onClass rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:onClass rdfs:label "onClass" .
owl:onClass rdfs:comment "The property that determines the class that a qualified object cardinality restriction refers to." .
owl:onClass rdfs:domain owl:Restriction .
owl:onClass rdfs:range owl:Class .
owl:onDataRange rdf:type rdf:Property .
owl:onDataRange rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:onDataRange rdfs:label "onDataRange" .
owl:onDataRange rdfs:comment "The property that determines the data range that a qualified data cardinality restriction refers to." .
owl:onDataRange rdfs:domain owl:Restriction .
owl:onDataRange rdfs:range rdfs:Datatype .
owl:onDatatype rdf:type rdf:Property .
owl:onDatatype rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:onDatatype rdfs:label "onDatatype" .
owl:onDatatype rdfs:comment "The property that determines the datatype that a datatype restriction refers to." .
owl:onDatatype rdfs:domain rdfs:Datatype .
owl:onDatatype rdfs:range rdfs:Datatype .
owl:oneOf rdf:type rdf:Property .
owl:oneOf rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:oneOf rdfs:label "oneOf" .
owl:oneOf rdfs:comment "The property that determines the collection of individuals or data values that build an enumeration." .
owl:oneOf rdfs:domain rdfs:Class .
owl:oneOf rdfs:range rdf:List .
owl:onProperties rdf:type rdf:Property .
owl:onProperties rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:onProperties rdfs:label "onProperties" .
owl:onProperties rdfs:comment "The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to." .
owl:onProperties rdfs:domain owl:Restriction .
owl:onProperties rdfs:range rdf:List .
owl:onProperty rdf:type rdf:Property .
owl:onProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:onProperty rdfs:label "onProperty" .
owl:onProperty rdfs:comment "The property that determines the property that a property restriction refers to." .
owl:onProperty rdfs:domain owl:Restriction .
owl:onProperty rdfs:range rdf:Property .
owl:priorVersion rdf:type owl:AnnotationProperty .
owl:priorVersion rdf:type owl:OntologyProperty .
owl:priorVersion rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:priorVersion rdfs:label "priorVersion" .
owl:priorVersion rdfs:comment "The annotation property that indicates the predecessor ontology of a given ontology." .
owl:priorVersion rdfs:domain owl:Ontology .
owl:priorVersion rdfs:range owl:Ontology .
owl:propertyChainAxiom rdf:type rdf:Property .
owl:propertyChainAxiom rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:propertyChainAxiom rdfs:label "propertyChainAxiom" .
owl:propertyChainAxiom rdfs:comment "The property that determines the n-tuple of properties that build a sub property chain of a given property." .
owl:propertyChainAxiom rdfs:domain owl:ObjectProperty .
owl:propertyChainAxiom rdfs:range rdf:List .
owl:propertyDisjointWith rdf:type rdf:Property .
owl:propertyDisjointWith rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:propertyDisjointWith rdfs:label "propertyDisjointWith" .
owl:propertyDisjointWith rdfs:comment "The property that determines that two given properties are disjoint." .
owl:propertyDisjointWith rdfs:domain rdf:Property .
owl:propertyDisjointWith rdfs:range rdf:Property .
owl:qualifiedCardinality rdf:type rdf:Property .
owl:qualifiedCardinality rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:qualifiedCardinality rdfs:label "qualifiedCardinality" .
owl:qualifiedCardinality rdfs:comment "The property that determines the cardinality of an exact qualified cardinality restriction." .
owl:qualifiedCardinality rdfs:domain owl:Restriction .
owl:qualifiedCardinality rdfs:range xsd:nonNegativeInteger .
owl:sameAs rdf:type rdf:Property .
owl:sameAs rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:sameAs rdfs:label "sameAs" .
owl:sameAs rdfs:comment "The property that determines that two given individuals are equal." .
owl:sameAs rdfs:domain owl:Thing .
owl:sameAs rdfs:range owl:Thing .
owl:someValuesFrom rdf:type rdf:Property .
owl:someValuesFrom rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:someValuesFrom rdfs:label "someValuesFrom" .
owl:someValuesFrom rdfs:comment "The property that determines the class that an existential property restriction refers to." .
owl:someValuesFrom rdfs:domain owl:Restriction .
owl:someValuesFrom rdfs:range rdfs:Class .
owl:sourceIndividual rdf:type rdf:Property .
owl:sourceIndividual rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:sourceIndividual rdfs:label "sourceIndividual" .
owl:sourceIndividual rdfs:comment "The property that determines the subject of a negative property assertion." .
owl:sourceIndividual rdfs:domain owl:NegativePropertyAssertion .
owl:sourceIndividual rdfs:range owl:Thing .
owl:targetIndividual rdf:type rdf:Property .
owl:targetIndividual rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:targetIndividual rdfs:label "targetIndividual" .
owl:targetIndividual rdfs:comment "The property that determines the object of a negative object property assertion." .
owl:targetIndividual rdfs:domain owl:NegativePropertyAssertion .
owl:targetIndividual rdfs:range owl:Thing .
owl:targetValue rdf:type rdf:Property .
owl:targetValue rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:targetValue rdfs:label "targetValue" .
owl:targetValue rdfs:comment "The property that determines the value of a negative data property assertion." .
owl:targetValue rdfs:domain owl:NegativePropertyAssertion .
owl:targetValue rdfs:range rdfs:Literal .
owl:topDataProperty rdf:type owl:DatatypeProperty .
owl:topDataProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:topDataProperty rdfs:label "topDataProperty" .
owl:topDataProperty rdfs:comment "The data property that relates every individual to every data value." .
owl:topDataProperty rdfs:domain owl:Thing .
owl:topDataProperty rdfs:range rdfs:Literal .
owl:topObjectProperty rdf:type owl:ObjectProperty .
owl:topObjectProperty rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:topObjectProperty rdfs:label "topObjectProperty" .
owl:topObjectProperty rdfs:comment "The object property that relates every two individuals." .
owl:topObjectProperty rdfs:domain owl:Thing .
owl:topObjectProperty rdfs:range owl:Thing .
owl:unionOf rdf:type rdf:Property .
owl:unionOf rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:unionOf rdfs:label "unionOf" .
owl:unionOf rdfs:comment "The property that determines the collection of classes or data ranges that build a union." .
owl:unionOf rdfs:domain rdfs:Class .
owl:unionOf rdfs:range rdf:List .
owl:versionInfo rdf:type owl:AnnotationProperty .
owl:versionInfo rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:versionInfo rdfs:label "versionInfo" .
owl:versionInfo rdfs:comment "The annotation property that provides version information for an ontology or another OWL construct." .
owl:versionInfo rdfs:domain rdfs:Resource .
owl:versionInfo rdfs:range rdfs:Resource .
owl:versionIRI rdf:type owl:OntologyProperty .
owl:versionIRI rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:versionIRI rdfs:label "versionIRI" .
owl:versionIRI rdfs:comment "The property that identifies the version IRI of an ontology." .
owl:versionIRI rdfs:domain owl:Ontology .
owl:versionIRI rdfs:range owl:Ontology .
owl:withRestrictions rdf:type rdf:Property .
owl:withRestrictions rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
owl:withRestrictions rdfs:label "withRestrictions" .
owl:withRestrictions rdfs:comment "The property that determines the collection of facet-value pairs that define a datatype restriction." .
owl:withRestrictions rdfs:domain rdfs:Datatype .
owl:withRestrictions rdfs:range rdf:List .