aboutsummaryrefslogtreecommitdiffstats
path: root/schemas.lv2/owl.ttl
diff options
context:
space:
mode:
Diffstat (limited to 'schemas.lv2/owl.ttl')
-rw-r--r--schemas.lv2/owl.ttl882
1 files changed, 444 insertions, 438 deletions
diff --git a/schemas.lv2/owl.ttl b/schemas.lv2/owl.ttl
index 3f1c86e..6392774 100644
--- a/schemas.lv2/owl.ttl
+++ b/schemas.lv2/owl.ttl
@@ -5,9 +5,9 @@
@prefix dct: <http://purl.org/dc/terms/> .
<http://www.w3.org/2002/07/owl>
- dct:title "The OWL 2 Schema vocabulary (OWL 2)" ;
- a owl:Ontology ;
- rdfs:comment """
+ dct:title "The OWL 2 Schema vocabulary (OWL 2)" ;
+ a owl:Ontology ;
+ rdfs:comment """
This ontology partially describes the built-in classes and
properties that together form the basis of the RDF/XML syntax of OWL 2.
The content of this ontology is based on Tables 6.1 and 6.2
@@ -25,591 +25,597 @@
will cause it to become an OWL 2 Full ontology and may have other,
unexpected, consequences.
""" ;
- rdfs:isDefinedBy <http://www.w3.org/TR/owl2-mapping-to-rdf/>, <http://www.w3.org/TR/owl2-rdf-based-semantics/>, <http://www.w3.org/TR/owl2-syntax/> ;
- rdfs:seeAlso <http://www.w3.org/TR/owl2-rdf-based-semantics/#table-axiomatic-classes>, <http://www.w3.org/TR/owl2-rdf-based-semantics/#table-axiomatic-properties> ;
- owl:imports rdfs: ;
- owl:versionIRI <http://www.w3.org/2002/07/owl> ;
- owl:versionInfo "$Date: 2009/11/15 10:54:12 $" .
+ rdfs:isDefinedBy <http://www.w3.org/TR/owl2-mapping-to-rdf/> ,
+ <http://www.w3.org/TR/owl2-rdf-based-semantics/> ,
+ <http://www.w3.org/TR/owl2-syntax/> ;
+ rdfs:seeAlso <http://www.w3.org/TR/owl2-rdf-based-semantics/#table-axiomatic-classes> ,
+ <http://www.w3.org/TR/owl2-rdf-based-semantics/#table-axiomatic-properties> ;
+ owl:imports rdfs: ;
+ owl:versionIRI <http://www.w3.org/2002/07/owl> ;
+ owl:versionInfo "$Date: 2009/11/15 10:54:12 $" .
owl:AllDifferent
- a rdfs:Class ;
- rdfs:comment "The class of collections of pairwise different individuals." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "AllDifferent" ;
- rdfs:subClassOf rdfs:Resource .
+ a rdfs:Class ;
+ rdfs:comment "The class of collections of pairwise different individuals." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "AllDifferent" ;
+ rdfs:subClassOf rdfs:Resource .
owl:AllDisjointClasses
- a rdfs:Class ;
- rdfs:comment "The class of collections of pairwise disjoint classes." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "AllDisjointClasses" ;
- rdfs:subClassOf rdfs:Resource .
+ a rdfs:Class ;
+ rdfs:comment "The class of collections of pairwise disjoint classes." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "AllDisjointClasses" ;
+ rdfs:subClassOf rdfs:Resource .
owl:AllDisjointProperties
- a rdfs:Class ;
- rdfs:comment "The class of collections of pairwise disjoint properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "AllDisjointProperties" ;
- rdfs:subClassOf rdfs:Resource .
+ a rdfs:Class ;
+ rdfs:comment "The class of collections of pairwise disjoint properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "AllDisjointProperties" ;
+ rdfs:subClassOf rdfs:Resource .
owl:Annotation
- a rdfs:Class ;
- rdfs:comment "The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "Annotation" ;
- rdfs:subClassOf rdfs:Resource .
+ a rdfs:Class ;
+ rdfs:comment "The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "Annotation" ;
+ rdfs:subClassOf rdfs:Resource .
owl:AnnotationProperty
- a rdfs:Class ;
- rdfs:comment "The class of annotation properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "AnnotationProperty" ;
- rdfs:subClassOf rdf:Property .
+ a rdfs:Class ;
+ rdfs:comment "The class of annotation properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "AnnotationProperty" ;
+ rdfs:subClassOf rdf:Property .
owl:AsymmetricProperty
- a rdfs:Class ;
- rdfs:comment "The class of asymmetric properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "AsymmetricProperty" ;
- rdfs:subClassOf owl:ObjectProperty .
+ a rdfs:Class ;
+ rdfs:comment "The class of asymmetric properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "AsymmetricProperty" ;
+ rdfs:subClassOf owl:ObjectProperty .
owl:Axiom
- a rdfs:Class ;
- rdfs:comment "The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "Axiom" ;
- rdfs:subClassOf rdfs:Resource .
+ a rdfs:Class ;
+ rdfs:comment "The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "Axiom" ;
+ rdfs:subClassOf rdfs:Resource .
owl:Class
- a rdfs:Class ;
- rdfs:comment "The class of OWL classes." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "Class" ;
- rdfs:subClassOf rdfs:Class .
+ a rdfs:Class ;
+ rdfs:comment "The class of OWL classes." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "Class" ;
+ rdfs:subClassOf rdfs:Class .
owl:DatatypeProperty
- a rdfs:Class ;
- rdfs:comment "The class of data properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "DatatypeProperty" ;
- rdfs:subClassOf rdf:Property .
+ a rdfs:Class ;
+ rdfs:comment "The class of data properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "DatatypeProperty" ;
+ rdfs:subClassOf rdf:Property .
owl:DeprecatedClass
- a rdfs:Class ;
- rdfs:comment "The class of deprecated classes." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "DeprecatedClass" ;
- rdfs:subClassOf rdfs:Class .
+ a rdfs:Class ;
+ rdfs:comment "The class of deprecated classes." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "DeprecatedClass" ;
+ rdfs:subClassOf rdfs:Class .
owl:DeprecatedProperty
- a rdfs:Class ;
- rdfs:comment "The class of deprecated properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "DeprecatedProperty" ;
- rdfs:subClassOf rdf:Property .
+ a rdfs:Class ;
+ rdfs:comment "The class of deprecated properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "DeprecatedProperty" ;
+ rdfs:subClassOf rdf:Property .
owl:FunctionalProperty
- a rdfs:Class ;
- rdfs:comment "The class of functional properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "FunctionalProperty" ;
- rdfs:subClassOf rdf:Property .
+ a rdfs:Class ;
+ rdfs:comment "The class of functional properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "FunctionalProperty" ;
+ rdfs:subClassOf rdf:Property .
owl:InverseFunctionalProperty
- a rdfs:Class ;
- rdfs:comment "The class of inverse-functional properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "InverseFunctionalProperty" ;
- rdfs:subClassOf owl:ObjectProperty .
+ a rdfs:Class ;
+ rdfs:comment "The class of inverse-functional properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "InverseFunctionalProperty" ;
+ rdfs:subClassOf owl:ObjectProperty .
owl:IrreflexiveProperty
- a rdfs:Class ;
- rdfs:comment "The class of irreflexive properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "IrreflexiveProperty" ;
- rdfs:subClassOf owl:ObjectProperty .
+ a rdfs:Class ;
+ rdfs:comment "The class of irreflexive properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "IrreflexiveProperty" ;
+ rdfs:subClassOf owl:ObjectProperty .
owl:NamedIndividual
- a rdfs:Class ;
- rdfs:comment "The class of named individuals." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "NamedIndividual" ;
- rdfs:subClassOf owl:Thing .
+ a rdfs:Class ;
+ rdfs:comment "The class of named individuals." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "NamedIndividual" ;
+ rdfs:subClassOf owl:Thing .
owl:NegativePropertyAssertion
- a rdfs:Class ;
- rdfs:comment "The class of negative property assertions." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "NegativePropertyAssertion" ;
- rdfs:subClassOf rdfs:Resource .
+ a rdfs:Class ;
+ rdfs:comment "The class of negative property assertions." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "NegativePropertyAssertion" ;
+ rdfs:subClassOf rdfs:Resource .
owl:Nothing
- a owl:Class ;
- rdfs:comment "This is the empty class." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "Nothing" ;
- rdfs:subClassOf owl:Thing .
+ a owl:Class ;
+ rdfs:comment "This is the empty class." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "Nothing" ;
+ rdfs:subClassOf owl:Thing .
owl:ObjectProperty
- a rdfs:Class ;
- rdfs:comment "The class of object properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "ObjectProperty" ;
- rdfs:subClassOf rdf:Property .
+ a rdfs:Class ;
+ rdfs:comment "The class of object properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "ObjectProperty" ;
+ rdfs:subClassOf rdf:Property .
owl:Ontology
- a rdfs:Class ;
- rdfs:comment "The class of ontologies." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "Ontology" ;
- rdfs:subClassOf rdfs:Resource .
+ a rdfs:Class ;
+ rdfs:comment "The class of ontologies." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "Ontology" ;
+ rdfs:subClassOf rdfs:Resource .
owl:OntologyProperty
- a rdfs:Class ;
- rdfs:comment "The class of ontology properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "OntologyProperty" ;
- rdfs:subClassOf rdf:Property .
+ a rdfs:Class ;
+ rdfs:comment "The class of ontology properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "OntologyProperty" ;
+ rdfs:subClassOf rdf:Property .
owl:ReflexiveProperty
- a rdfs:Class ;
- rdfs:comment "The class of reflexive properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "ReflexiveProperty" ;
- rdfs:subClassOf owl:ObjectProperty .
+ a rdfs:Class ;
+ rdfs:comment "The class of reflexive properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "ReflexiveProperty" ;
+ rdfs:subClassOf owl:ObjectProperty .
owl:Restriction
- a rdfs:Class ;
- rdfs:comment "The class of property restrictions." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "Restriction" ;
- rdfs:subClassOf owl:Class .
+ a rdfs:Class ;
+ rdfs:comment "The class of property restrictions." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "Restriction" ;
+ rdfs:subClassOf owl:Class .
owl:SymmetricProperty
- a rdfs:Class ;
- rdfs:comment "The class of symmetric properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "SymmetricProperty" ;
- rdfs:subClassOf owl:ObjectProperty .
+ a rdfs:Class ;
+ rdfs:comment "The class of symmetric properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "SymmetricProperty" ;
+ rdfs:subClassOf owl:ObjectProperty .
owl:Thing
- a owl:Class ;
- rdfs:comment "The class of OWL individuals." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "Thing" .
+ a owl:Class ;
+ rdfs:comment "The class of OWL individuals." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "Thing" .
owl:TransitiveProperty
- a rdfs:Class ;
- rdfs:comment "The class of transitive properties." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "TransitiveProperty" ;
- rdfs:subClassOf owl:ObjectProperty .
+ a rdfs:Class ;
+ rdfs:comment "The class of transitive properties." ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "TransitiveProperty" ;
+ rdfs:subClassOf owl:ObjectProperty .
owl:allValuesFrom
- a rdf:Property ;
- rdfs:comment "The property that determines the class that a universal property restriction refers to." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "all values from" ;
- rdfs:range rdfs:Class .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the class that a universal property restriction refers to." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "all values from" ;
+ rdfs:range rdfs:Class .
owl:annotatedProperty
- a rdf:Property ;
- rdfs:comment "The property that determines the predicate of an annotated axiom or annotated annotation." ;
- rdfs:domain rdfs:Resource ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "annotated property" ;
- rdfs:range rdfs:Resource .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the predicate of an annotated axiom or annotated annotation." ;
+ rdfs:domain rdfs:Resource ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "annotated property" ;
+ rdfs:range rdfs:Resource .
owl:annotatedSource
- a rdf:Property ;
- rdfs:comment "The property that determines the subject of an annotated axiom or annotated annotation." ;
- rdfs:domain rdfs:Resource ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "annotated source" ;
- rdfs:range rdfs:Resource .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the subject of an annotated axiom or annotated annotation." ;
+ rdfs:domain rdfs:Resource ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "annotated source" ;
+ rdfs:range rdfs:Resource .
owl:annotatedTarget
- a rdf:Property ;
- rdfs:comment "The property that determines the object of an annotated axiom or annotated annotation." ;
- rdfs:domain rdfs:Resource ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "annotated target" ;
- rdfs:range rdfs:Resource .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the object of an annotated axiom or annotated annotation." ;
+ rdfs:domain rdfs:Resource ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "annotated target" ;
+ rdfs:range rdfs:Resource .
owl:assertionProperty
- a rdf:Property ;
- rdfs:comment "The property that determines the predicate of a negative property assertion." ;
- rdfs:domain owl:NegativePropertyAssertion ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "assertion property" ;
- rdfs:range rdf:Property .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the predicate of a negative property assertion." ;
+ rdfs:domain owl:NegativePropertyAssertion ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "assertion property" ;
+ rdfs:range rdf:Property .
owl:backwardCompatibleWith
- a owl:AnnotationProperty, owl:OntologyProperty ;
- rdfs:comment "The annotation property that indicates that a given ontology is backward compatible with another ontology." ;
- rdfs:domain owl:Ontology ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "backward compatible with" ;
- rdfs:range owl:Ontology .
+ a owl:AnnotationProperty ,
+ owl:OntologyProperty ;
+ rdfs:comment "The annotation property that indicates that a given ontology is backward compatible with another ontology." ;
+ rdfs:domain owl:Ontology ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "backward compatible with" ;
+ rdfs:range owl:Ontology .
owl:bottomDataProperty
- a owl:DatatypeProperty ;
- rdfs:comment "The data property that does not relate any individual to any data value." ;
- rdfs:domain owl:Thing ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "bottom data property" ;
- rdfs:range rdfs:Literal .
+ a owl:DatatypeProperty ;
+ rdfs:comment "The data property that does not relate any individual to any data value." ;
+ rdfs:domain owl:Thing ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "bottom data property" ;
+ rdfs:range rdfs:Literal .
owl:bottomObjectProperty
- a owl:ObjectProperty ;
- rdfs:comment "The object property that does not relate any two individuals." ;
- rdfs:domain owl:Thing ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "bottom object property" ;
- rdfs:range owl:Thing .
+ a owl:ObjectProperty ;
+ rdfs:comment "The object property that does not relate any two individuals." ;
+ rdfs:domain owl:Thing ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "bottom object property" ;
+ rdfs:range owl:Thing .
owl:cardinality
- a rdf:Property ;
- rdfs:comment "The property that determines the cardinality of an exact cardinality restriction." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "cardinality" ;
- rdfs:range xsd:nonNegativeInteger .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the cardinality of an exact cardinality restriction." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "cardinality" ;
+ rdfs:range xsd:nonNegativeInteger .
owl:complementOf
- a rdf:Property ;
- rdfs:comment "The property that determines that a given class is the complement of another class." ;
- rdfs:domain owl:Class ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "complement of" ;
- rdfs:range owl:Class .
+ a rdf:Property ;
+ rdfs:comment "The property that determines that a given class is the complement of another class." ;
+ rdfs:domain owl:Class ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "complement of" ;
+ rdfs:range owl:Class .
owl:datatypeComplementOf
- a rdf:Property ;
- rdfs:comment "The property that determines that a given data range is the complement of another data range with respect to the data domain." ;
- rdfs:domain rdfs:Datatype ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "datatype complement of" ;
- rdfs:range rdfs:Datatype .
+ a rdf:Property ;
+ rdfs:comment "The property that determines that a given data range is the complement of another data range with respect to the data domain." ;
+ rdfs:domain rdfs:Datatype ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "datatype complement of" ;
+ rdfs:range rdfs:Datatype .
owl:deprecated
- a owl:AnnotationProperty ;
- rdfs:comment "The annotation property that indicates that a given entity has been deprecated." ;
- rdfs:domain rdfs:Resource ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "deprecated" ;
- rdfs:range rdfs:Resource .
+ a owl:AnnotationProperty ;
+ rdfs:comment "The annotation property that indicates that a given entity has been deprecated." ;
+ rdfs:domain rdfs:Resource ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "deprecated" ;
+ rdfs:range rdfs:Resource .
owl:differentFrom
- a rdf:Property ;
- rdfs:comment "The property that determines that two given individuals are different." ;
- rdfs:domain owl:Thing ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "different from" ;
- rdfs:range owl:Thing .
+ a rdf:Property ;
+ rdfs:comment "The property that determines that two given individuals are different." ;
+ rdfs:domain owl:Thing ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "different from" ;
+ rdfs:range owl:Thing .
owl:disjointUnionOf
- a rdf:Property ;
- rdfs:comment "The property that determines that a given class is equivalent to the disjoint union of a collection of other classes." ;
- rdfs:domain owl:Class ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "disjoint union of" ;
- rdfs:range rdf:List .
+ a rdf:Property ;
+ rdfs:comment "The property that determines that a given class is equivalent to the disjoint union of a collection of other classes." ;
+ rdfs:domain owl:Class ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "disjoint union of" ;
+ rdfs:range rdf:List .
owl:disjointWith
- a rdf:Property ;
- rdfs:comment "The property that determines that two given classes are disjoint." ;
- rdfs:domain owl:Class ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "disjoint with" ;
- rdfs:range owl:Class .
+ a rdf:Property ;
+ rdfs:comment "The property that determines that two given classes are disjoint." ;
+ rdfs:domain owl:Class ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "disjoint with" ;
+ rdfs:range owl:Class .
owl:distinctMembers
- a rdf:Property ;
- rdfs:comment "The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom." ;
- rdfs:domain owl:AllDifferent ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "distinct members" ;
- rdfs:range rdf:List .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom." ;
+ rdfs:domain owl:AllDifferent ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "distinct members" ;
+ rdfs:range rdf:List .
owl:equivalentClass
- a rdf:Property ;
- rdfs:comment "The property that determines that two given classes are equivalent, and that is used to specify datatype definitions." ;
- rdfs:domain rdfs:Class ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "equivalent class" ;
- rdfs:range rdfs:Class .
+ a rdf:Property ;
+ rdfs:comment "The property that determines that two given classes are equivalent, and that is used to specify datatype definitions." ;
+ rdfs:domain rdfs:Class ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "equivalent class" ;
+ rdfs:range rdfs:Class .
owl:equivalentProperty
- a rdf:Property ;
- rdfs:comment "The property that determines that two given properties are equivalent." ;
- rdfs:domain rdf:Property ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "equivalent property" ;
- rdfs:range rdf:Property .
+ a rdf:Property ;
+ rdfs:comment "The property that determines that two given properties are equivalent." ;
+ rdfs:domain rdf:Property ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "equivalent property" ;
+ rdfs:range rdf:Property .
owl:hasKey
- a rdf:Property ;
- rdfs:comment "The property that determines the collection of properties that jointly build a key." ;
- rdfs:domain owl:Class ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "has key" ;
- rdfs:range rdf:List .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the collection of properties that jointly build a key." ;
+ rdfs:domain owl:Class ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "has key" ;
+ rdfs:range rdf:List .
owl:hasSelf
- a rdf:Property ;
- rdfs:comment "The property that determines the property that a self restriction refers to." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "has self" ;
- rdfs:range rdfs:Resource .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the property that a self restriction refers to." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "has self" ;
+ rdfs:range rdfs:Resource .
owl:hasValue
- a rdf:Property ;
- rdfs:comment "The property that determines the individual that a has-value restriction refers to." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "has value" ;
- rdfs:range rdfs:Resource .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the individual that a has-value restriction refers to." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "has value" ;
+ rdfs:range rdfs:Resource .
owl:imports
- a owl:OntologyProperty ;
- rdfs:comment "The property that is used for importing other ontologies into a given ontology." ;
- rdfs:domain owl:Ontology ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "imports" ;
- rdfs:range owl:Ontology .
+ a owl:OntologyProperty ;
+ rdfs:comment "The property that is used for importing other ontologies into a given ontology." ;
+ rdfs:domain owl:Ontology ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "imports" ;
+ rdfs:range owl:Ontology .
owl:incompatibleWith
- a owl:AnnotationProperty, owl:OntologyProperty ;
- rdfs:comment "The annotation property that indicates that a given ontology is incompatible with another ontology." ;
- rdfs:domain owl:Ontology ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "incompatible with" ;
- rdfs:range owl:Ontology .
+ a owl:AnnotationProperty ,
+ owl:OntologyProperty ;
+ rdfs:comment "The annotation property that indicates that a given ontology is incompatible with another ontology." ;
+ rdfs:domain owl:Ontology ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "incompatible with" ;
+ rdfs:range owl:Ontology .
owl:intersectionOf
- a rdf:Property ;
- rdfs:comment "The property that determines the collection of classes or data ranges that build an intersection." ;
- rdfs:domain rdfs:Class ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "intersection of" ;
- rdfs:range rdf:List .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the collection of classes or data ranges that build an intersection." ;
+ rdfs:domain rdfs:Class ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "intersection of" ;
+ rdfs:range rdf:List .
owl:inverseOf
- a rdf:Property ;
- rdfs:comment "The property that determines that two given properties are inverse." ;
- rdfs:domain owl:ObjectProperty ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "inverse of" ;
- rdfs:range owl:ObjectProperty .
+ a rdf:Property ;
+ rdfs:comment "The property that determines that two given properties are inverse." ;
+ rdfs:domain owl:ObjectProperty ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "inverse of" ;
+ rdfs:range owl:ObjectProperty .
owl:maxCardinality
- a rdf:Property ;
- rdfs:comment "The property that determines the cardinality of a maximum cardinality restriction." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "max cardinality" ;
- rdfs:range xsd:nonNegativeInteger .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the cardinality of a maximum cardinality restriction." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "max cardinality" ;
+ rdfs:range xsd:nonNegativeInteger .
owl:maxQualifiedCardinality
- a rdf:Property ;
- rdfs:comment "The property that determines the cardinality of a maximum qualified cardinality restriction." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "max qualified cardinality" ;
- rdfs:range xsd:nonNegativeInteger .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the cardinality of a maximum qualified cardinality restriction." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "max qualified cardinality" ;
+ rdfs:range xsd:nonNegativeInteger .
owl:members
- a rdf:Property ;
- rdfs:comment "The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom." ;
- rdfs:domain rdfs:Resource ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "members" ;
- rdfs:range rdf:List .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom." ;
+ rdfs:domain rdfs:Resource ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "members" ;
+ rdfs:range rdf:List .
owl:minCardinality
- a rdf:Property ;
- rdfs:comment "The property that determines the cardinality of a minimum cardinality restriction." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "min cardinality" ;
- rdfs:range xsd:nonNegativeInteger .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the cardinality of a minimum cardinality restriction." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "min cardinality" ;
+ rdfs:range xsd:nonNegativeInteger .
owl:minQualifiedCardinality
- a rdf:Property ;
- rdfs:comment "The property that determines the cardinality of a minimum qualified cardinality restriction." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "min qualified cardinality" ;
- rdfs:range xsd:nonNegativeInteger .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the cardinality of a minimum qualified cardinality restriction." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "min qualified cardinality" ;
+ rdfs:range xsd:nonNegativeInteger .
owl:onClass
- a rdf:Property ;
- rdfs:comment "The property that determines the class that a qualified object cardinality restriction refers to." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "on class" ;
- rdfs:range owl:Class .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the class that a qualified object cardinality restriction refers to." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "on class" ;
+ rdfs:range owl:Class .
owl:onDataRange
- a rdf:Property ;
- rdfs:comment "The property that determines the data range that a qualified data cardinality restriction refers to." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "on data range" ;
- rdfs:range rdfs:Datatype .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the data range that a qualified data cardinality restriction refers to." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "on data range" ;
+ rdfs:range rdfs:Datatype .
owl:onDatatype
- a rdf:Property ;
- rdfs:comment "The property that determines the datatype that a datatype restriction refers to." ;
- rdfs:domain rdfs:Datatype ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "on datatype" ;
- rdfs:range rdfs:Datatype .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the datatype that a datatype restriction refers to." ;
+ rdfs:domain rdfs:Datatype ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "on datatype" ;
+ rdfs:range rdfs:Datatype .
owl:onProperties
- a rdf:Property ;
- rdfs:comment "The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "on properties" ;
- rdfs:range rdf:List .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "on properties" ;
+ rdfs:range rdf:List .
owl:onProperty
- a rdf:Property ;
- rdfs:comment "The property that determines the property that a property restriction refers to." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "on property" ;
- rdfs:range rdf:Property .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the property that a property restriction refers to." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "on property" ;
+ rdfs:range rdf:Property .
owl:oneOf
- a rdf:Property ;
- rdfs:comment "The property that determines the collection of individuals or data values that build an enumeration." ;
- rdfs:domain rdfs:Class ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "one of" ;
- rdfs:range rdf:List .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the collection of individuals or data values that build an enumeration." ;
+ rdfs:domain rdfs:Class ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "one of" ;
+ rdfs:range rdf:List .
owl:priorVersion
- a owl:AnnotationProperty, owl:OntologyProperty ;
- rdfs:comment "The annotation property that indicates the predecessor ontology of a given ontology." ;
- rdfs:domain owl:Ontology ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "prior version" ;
- rdfs:range owl:Ontology .
+ a owl:AnnotationProperty ,
+ owl:OntologyProperty ;
+ rdfs:comment "The annotation property that indicates the predecessor ontology of a given ontology." ;
+ rdfs:domain owl:Ontology ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "prior version" ;
+ rdfs:range owl:Ontology .
owl:propertyChainAxiom
- a rdf:Property ;
- rdfs:comment "The property that determines the n-tuple of properties that build a sub property chain of a given property." ;
- rdfs:domain owl:ObjectProperty ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "property chain axiom" ;
- rdfs:range rdf:List .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the n-tuple of properties that build a sub property chain of a given property." ;
+ rdfs:domain owl:ObjectProperty ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "property chain axiom" ;
+ rdfs:range rdf:List .
owl:propertyDisjointWith
- a rdf:Property ;
- rdfs:comment "The property that determines that two given properties are disjoint." ;
- rdfs:domain rdf:Property ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "property disjoint with" ;
- rdfs:range rdf:Property .
+ a rdf:Property ;
+ rdfs:comment "The property that determines that two given properties are disjoint." ;
+ rdfs:domain rdf:Property ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "property disjoint with" ;
+ rdfs:range rdf:Property .
owl:qualifiedCardinality
- a rdf:Property ;
- rdfs:comment "The property that determines the cardinality of an exact qualified cardinality restriction." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "qualified cardinality" ;
- rdfs:range xsd:nonNegativeInteger .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the cardinality of an exact qualified cardinality restriction." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "qualified cardinality" ;
+ rdfs:range xsd:nonNegativeInteger .
owl:sameAs
- a rdf:Property ;
- rdfs:comment "The property that determines that two given individuals are equal." ;
- rdfs:domain owl:Thing ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "same as" ;
- rdfs:range owl:Thing .
+ a rdf:Property ;
+ rdfs:comment "The property that determines that two given individuals are equal." ;
+ rdfs:domain owl:Thing ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "same as" ;
+ rdfs:range owl:Thing .
owl:someValuesFrom
- a rdf:Property ;
- rdfs:comment "The property that determines the class that an existential property restriction refers to." ;
- rdfs:domain owl:Restriction ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "some values from" ;
- rdfs:range rdfs:Class .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the class that an existential property restriction refers to." ;
+ rdfs:domain owl:Restriction ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "some values from" ;
+ rdfs:range rdfs:Class .
owl:sourceIndividual
- a rdf:Property ;
- rdfs:comment "The property that determines the subject of a negative property assertion." ;
- rdfs:domain owl:NegativePropertyAssertion ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "source individual" ;
- rdfs:range owl:Thing .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the subject of a negative property assertion." ;
+ rdfs:domain owl:NegativePropertyAssertion ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "source individual" ;
+ rdfs:range owl:Thing .
owl:targetIndividual
- a rdf:Property ;
- rdfs:comment "The property that determines the object of a negative object property assertion." ;
- rdfs:domain owl:NegativePropertyAssertion ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "target individual" ;
- rdfs:range owl:Thing .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the object of a negative object property assertion." ;
+ rdfs:domain owl:NegativePropertyAssertion ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "target individual" ;
+ rdfs:range owl:Thing .
owl:targetValue
- a rdf:Property ;
- rdfs:comment "The property that determines the value of a negative data property assertion." ;
- rdfs:domain owl:NegativePropertyAssertion ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "target value" ;
- rdfs:range rdfs:Literal .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the value of a negative data property assertion." ;
+ rdfs:domain owl:NegativePropertyAssertion ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "target value" ;
+ rdfs:range rdfs:Literal .
owl:topDataProperty
- a owl:DatatypeProperty ;
- rdfs:comment "The data property that relates every individual to every data value." ;
- rdfs:domain owl:Thing ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "top data property" ;
- rdfs:range rdfs:Literal .
+ a owl:DatatypeProperty ;
+ rdfs:comment "The data property that relates every individual to every data value." ;
+ rdfs:domain owl:Thing ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "top data property" ;
+ rdfs:range rdfs:Literal .
owl:topObjectProperty
- a owl:ObjectProperty ;
- rdfs:comment "The object property that relates every two individuals." ;
- rdfs:domain owl:Thing ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "top object property" ;
- rdfs:range owl:Thing .
+ a owl:ObjectProperty ;
+ rdfs:comment "The object property that relates every two individuals." ;
+ rdfs:domain owl:Thing ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "top object property" ;
+ rdfs:range owl:Thing .
owl:unionOf
- a rdf:Property ;
- rdfs:comment "The property that determines the collection of classes or data ranges that build a union." ;
- rdfs:domain rdfs:Class ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "union of" ;
- rdfs:range rdf:List .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the collection of classes or data ranges that build a union." ;
+ rdfs:domain rdfs:Class ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "union of" ;
+ rdfs:range rdf:List .
owl:versionIRI
- a owl:OntologyProperty ;
- rdfs:comment "The property that identifies the version IRI of an ontology." ;
- rdfs:domain owl:Ontology ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "version IRI" ;
- rdfs:range owl:Ontology .
+ a owl:OntologyProperty ;
+ rdfs:comment "The property that identifies the version IRI of an ontology." ;
+ rdfs:domain owl:Ontology ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "version IRI" ;
+ rdfs:range owl:Ontology .
owl:versionInfo
- a owl:AnnotationProperty ;
- rdfs:comment "The annotation property that provides version information for an ontology or another OWL construct." ;
- rdfs:domain rdfs:Resource ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "version info" ;
- rdfs:range rdfs:Resource .
+ a owl:AnnotationProperty ;
+ rdfs:comment "The annotation property that provides version information for an ontology or another OWL construct." ;
+ rdfs:domain rdfs:Resource ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "version info" ;
+ rdfs:range rdfs:Resource .
owl:withRestrictions
- a rdf:Property ;
- rdfs:comment "The property that determines the collection of facet-value pairs that define a datatype restriction." ;
- rdfs:domain rdfs:Datatype ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "with restrictions" ;
- rdfs:range rdf:List .
+ a rdf:Property ;
+ rdfs:comment "The property that determines the collection of facet-value pairs that define a datatype restriction." ;
+ rdfs:domain rdfs:Datatype ;
+ rdfs:isDefinedBy owl: ;
+ rdfs:label "with restrictions" ;
+ rdfs:range rdf:List .