aboutsummaryrefslogtreecommitdiffstats
path: root/schemas/owl.ttl
diff options
context:
space:
mode:
authorDavid Robillard <d@drobilla.net>2015-04-01 00:01:20 -0400
committerDavid Robillard <d@drobilla.net>2015-04-01 00:01:20 -0400
commit064f226c8eb1503a9b7899ee6575196a0983b795 (patch)
treeb65fd5ed07ff9b432b962b2ef46a972065f35425 /schemas/owl.ttl
parentca1877705386fc2f2a4b0ebecb0adba8c793dcbf (diff)
downloadlv2-064f226c8eb1503a9b7899ee6575196a0983b795.tar.xz
Install schema bundle for host/utility support.
Diffstat (limited to 'schemas/owl.ttl')
-rw-r--r--schemas/owl.ttl622
1 files changed, 0 insertions, 622 deletions
diff --git a/schemas/owl.ttl b/schemas/owl.ttl
deleted file mode 100644
index 35d5b37..0000000
--- a/schemas/owl.ttl
+++ /dev/null
@@ -1,622 +0,0 @@
-@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
-@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 dc: <http://purl.org/dc/elements/1.1/> .
-
-<http://www.w3.org/2002/07/owl>
- dc: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
- 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.
- """ ;
- 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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-owl:DataRange
- a rdfs:Class ;
- 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." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
- rdfs:label "DataRange" ;
- rdfs:subClassOf rdfs:Datatype .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-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 .
-
-owl:Thing
- a owl:Class ;
- rdfs:comment "The class of OWL individuals." ;
- rdfs:isDefinedBy <http://www.w3.org/2002/07/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 .
-
-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 "allValuesFrom" ;
- 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 "annotatedProperty" ;
- 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 "annotatedSource" ;
- 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 "annotatedTarget" ;
- 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 "assertionProperty" ;
- 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 "backwardCompatibleWith" ;
- 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 "bottomDataProperty" ;
- 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 "bottomObjectProperty" ;
- 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 .
-
-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 "complementOf" ;
- 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 "datatypeComplementOf" ;
- 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 .
-
-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 "differentFrom" ;
- 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 "disjointUnionOf" ;
- 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 "disjointWith" ;
- 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 "distinctMembers" ;
- 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 "equivalentClass" ;
- 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 "equivalentProperty" ;
- 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 "hasKey" ;
- 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 "hasSelf" ;
- 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 "hasValue" ;
- 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 .
-
-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 "incompatibleWith" ;
- 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 "intersectionOf" ;
- 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 "inverseOf" ;
- 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 "maxCardinality" ;
- 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 "maxQualifiedCardinality" ;
- 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 .
-
-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 "minCardinality" ;
- 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 "minQualifiedCardinality" ;
- 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 "onClass" ;
- 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 "onDataRange" ;
- 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 "onDatatype" ;
- 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 "onProperties" ;
- 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 "onProperty" ;
- 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 "oneOf" ;
- 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 "priorVersion" ;
- 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 "propertyChainAxiom" ;
- 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 "propertyDisjointWith" ;
- 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 "qualifiedCardinality" ;
- 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 "sameAs" ;
- 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 "someValuesFrom" ;
- 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 "sourceIndividual" ;
- 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 "targetIndividual" ;
- 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 "targetValue" ;
- 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 "topDataProperty" ;
- 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 "topObjectProperty" ;
- 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 "unionOf" ;
- 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 "versionIRI" ;
- 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 "versionInfo" ;
- 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 "withRestrictions" ;
- rdfs:range rdf:List .
-