diff options
Diffstat (limited to 'schemas.lv2/owl.ttl')
| -rw-r--r-- | schemas.lv2/owl.ttl | 885 |
1 files changed, 445 insertions, 440 deletions
diff --git a/schemas.lv2/owl.ttl b/schemas.lv2/owl.ttl index 3f1c86e..e5f4fa2 100644 --- a/schemas.lv2/owl.ttl +++ b/schemas.lv2/owl.ttl @@ -2,12 +2,12 @@ @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . -@prefix dct: <http://purl.org/dc/terms/> . +@prefix dcterms: <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 """ + dcterms: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,596 @@ 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 . |