htsworkflow/util/schemas/owl.turtle

   1 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
   2 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
   3 @prefix owl: <http://www.w3.org/2002/07/owl#> .
   4 @prefix dc: <http://purl.org/dc/elements/1.1/> .
   5 @prefix grddl: <http://www.w3.org/2003/g/data-view#> .
   6 @prefix xml: <http://www.w3.org/XML/1998/namespace> .
   7 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
   8 @prefix vs: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
   9 @prefix foaf: <http://xmlns.com/foaf/0.1/> .
  10 @prefix wot: <http://xmlns.com/wot/0.1/> .
  11
  12
  13 <http://www.w3.org/2002/07/owl> a owl:Ontology ;
  14      dc:title "The OWL 2 Schema vocabulary (OWL 2)" ;
  15      rdfs:comment """
  16   This ontology partially describes the built-in classes and
  17   properties that together form the basis of the RDF/XML syntax of OWL 2.
  18   The content of this ontology is based on Tables 6.1 and 6.2
  19   in Section 6.4 of the OWL 2 RDF-Based Semantics specification,
  20   available at http://www.w3.org/TR/owl2-rdf-based-semantics/.
  21   Please note that those tables do not include the different annotations
  22   (labels, comments and rdfs:isDefinedBy links) used in this file.
  23   Also note that the descriptions provided in this ontology do not
  24   provide a complete and correct formal description of either the syntax
  25   or the semantics of the introduced terms (please see the OWL 2
  26   recommendations for the complete and normative specifications).
  27   Furthermore, the information provided by this ontology may be
  28   misleading if not used with care. This ontology SHOULD NOT be imported
  29   into OWL ontologies. Importing this file into an OWL 2 DL ontology
  30   will cause it to become an OWL 2 Full ontology and may have other,
  31   unexpected, consequences.
  32    """ ;
  33      rdfs:isDefinedBy
  34           <http://www.w3.org/TR/owl2-mapping-to-rdf/>,
  35           <http://www.w3.org/TR/owl2-rdf-based-semantics/>,
  36           <http://www.w3.org/TR/owl2-syntax/> ;
  37      rdfs:seeAlso   <http://www.w3.org/TR/owl2-rdf-based-semantics/#table-axiomatic-classes>,
  38                     <http://www.w3.org/TR/owl2-rdf-based-semantics/#table-axiomatic-properties> ;
  39      owl:imports <http://www.w3.org/2000/01/rdf-schema> ;
  40      owl:versionIRI <http://www.w3.org/2002/07/owl> ;
  41      owl:versionInfo "$Date: 2009/11/15 10:54:12 $" ;
  42      # grddl:namespaceTransformation <http://dev.w3.org/cvsweb/2009/owl-grddl/owx2rdf.xsl>
  43      .
  44
  45
  46 owl:AllDifferent a rdfs:Class ;
  47      rdfs:label "AllDifferent" ;
  48      rdfs:comment "The class of collections of pairwise different individuals." ;
  49      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
  50      rdfs:subClassOf rdfs:Resource .
  51
  52 owl:AllDisjointClasses a rdfs:Class ;
  53      rdfs:label "AllDisjointClasses" ;
  54      rdfs:comment "The class of collections of pairwise disjoint classes." ;
  55      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
  56      rdfs:subClassOf rdfs:Resource .
  57
  58 owl:AllDisjointProperties a rdfs:Class ;
  59      rdfs:label "AllDisjointProperties" ;
  60      rdfs:comment "The class of collections of pairwise disjoint properties." ;
  61      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
  62      rdfs:subClassOf rdfs:Resource .
  63
  64 owl:Annotation a rdfs:Class ;
  65      rdfs:label "Annotation" ;
  66      rdfs:comment "The class of annotated annotations for which the RDF serialization consists of an annotated subject, predicate and object." ;
  67      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
  68      rdfs:subClassOf rdfs:Resource .
  69
  70 owl:AnnotationProperty a rdfs:Class ;
  71      rdfs:label "AnnotationProperty" ;
  72      rdfs:comment "The class of annotation properties." ;
  73      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
  74      rdfs:subClassOf rdf:Property .
  75
  76 owl:AsymmetricProperty a rdfs:Class ;
  77      rdfs:label "AsymmetricProperty" ;
  78      rdfs:comment "The class of asymmetric properties." ;
  79      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
  80      rdfs:subClassOf owl:ObjectProperty .
  81
  82 owl:Axiom a rdfs:Class ;
  83      rdfs:label "Axiom" ;
  84      rdfs:comment "The class of annotated axioms for which the RDF serialization consists of an annotated subject, predicate and object." ;
  85      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
  86      rdfs:subClassOf rdfs:Resource .
  87
  88 owl:Class a rdfs:Class ;
  89      rdfs:label "Class" ;
  90      rdfs:comment "The class of OWL classes." ;
  91      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
  92      rdfs:subClassOf rdfs:Class .
  93
  94 owl:DataRange a rdfs:Class ;
  95      rdfs:label "DataRange" ;
  96      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." ;
  97      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
  98      rdfs:subClassOf rdfs:Datatype .
  99
 100 owl:DatatypeProperty a rdfs:Class ;
 101      rdfs:label "DatatypeProperty" ;
 102      rdfs:comment "The class of data properties." ;
 103      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 104      rdfs:subClassOf rdf:Property .
 105
 106 owl:DeprecatedClass a rdfs:Class ;
 107      rdfs:label "DeprecatedClass" ;
 108      rdfs:comment "The class of deprecated classes." ;
 109      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 110      rdfs:subClassOf rdfs:Class .
 111
 112 owl:DeprecatedProperty a rdfs:Class ;
 113      rdfs:label "DeprecatedProperty" ;
 114      rdfs:comment "The class of deprecated properties." ;
 115      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 116      rdfs:subClassOf rdf:Property .
 117
 118 owl:FunctionalProperty a rdfs:Class ;
 119      rdfs:label "FunctionalProperty" ;
 120      rdfs:comment "The class of functional properties." ;
 121      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 122      rdfs:subClassOf rdf:Property .
 123
 124 owl:InverseFunctionalProperty a rdfs:Class ;
 125      rdfs:label "InverseFunctionalProperty" ;
 126      rdfs:comment "The class of inverse-functional properties." ;
 127      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 128      rdfs:subClassOf owl:ObjectProperty .
 129
 130 owl:IrreflexiveProperty a rdfs:Class ;
 131      rdfs:label "IrreflexiveProperty" ;
 132      rdfs:comment "The class of irreflexive properties." ;
 133      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 134      rdfs:subClassOf owl:ObjectProperty .
 135
 136 owl:NamedIndividual a rdfs:Class ;
 137      rdfs:label "NamedIndividual" ;
 138      rdfs:comment "The class of named individuals." ;
 139      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 140      rdfs:subClassOf owl:Thing .
 141
 142 owl:NegativePropertyAssertion a rdfs:Class ;
 143      rdfs:label "NegativePropertyAssertion" ;
 144      rdfs:comment "The class of negative property assertions." ;
 145      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 146      rdfs:subClassOf rdfs:Resource .
 147
 148 owl:Nothing a owl:Class ;
 149      rdfs:label "Nothing" ;
 150      rdfs:comment "This is the empty class." ;
 151      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 152      rdfs:subClassOf owl:Thing .
 153
 154 owl:ObjectProperty a rdfs:Class ;
 155      rdfs:label "ObjectProperty" ;
 156      rdfs:comment "The class of object properties." ;
 157      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 158      rdfs:subClassOf rdf:Property .
 159
 160 owl:Ontology a rdfs:Class ;
 161      rdfs:label "Ontology" ;
 162      rdfs:comment "The class of ontologies." ;
 163      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 164      rdfs:subClassOf rdfs:Resource .
 165
 166 owl:OntologyProperty a rdfs:Class ;
 167      rdfs:label "OntologyProperty" ;
 168      rdfs:comment "The class of ontology properties." ;
 169      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 170      rdfs:subClassOf rdf:Property .
 171
 172 owl:ReflexiveProperty a rdfs:Class ;
 173      rdfs:label "ReflexiveProperty" ;
 174      rdfs:comment "The class of reflexive properties." ;
 175      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 176      rdfs:subClassOf owl:ObjectProperty .
 177
 178 owl:Restriction a rdfs:Class ;
 179      rdfs:label "Restriction" ;
 180      rdfs:comment "The class of property restrictions." ;
 181      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 182      rdfs:subClassOf owl:Class .
 183
 184 owl:SymmetricProperty a rdfs:Class ;
 185      rdfs:label "SymmetricProperty" ;
 186      rdfs:comment "The class of symmetric properties." ;
 187      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 188      rdfs:subClassOf owl:ObjectProperty .
 189
 190 owl:TransitiveProperty a rdfs:Class ;
 191      rdfs:label "TransitiveProperty" ;
 192      rdfs:comment "The class of transitive properties." ;
 193      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 194      rdfs:subClassOf owl:ObjectProperty .
 195
 196 owl:Thing a owl:Class , rdfs:Class ;
 197      rdfs:label "Thing" ;
 198      rdfs:comment "The class of OWL individuals." ;
 199      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> .
 200
 201 owl:allValuesFrom a rdf:Property ;
 202      rdfs:label "allValuesFrom" ;
 203      rdfs:comment "The property that determines the class that a universal property restriction refers to." ;
 204      rdfs:domain owl:Restriction ;
 205      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 206      rdfs:range rdfs:Class .
 207
 208 owl:annotatedProperty a rdf:Property ;
 209      rdfs:label "annotatedProperty" ;
 210      rdfs:comment "The property that determines the predicate of an annotated axiom or annotated annotation." ;
 211      rdfs:domain rdfs:Resource ;
 212      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 213      rdfs:range rdfs:Resource .
 214
 215 owl:annotatedSource a rdf:Property ;
 216      rdfs:label "annotatedSource" ;
 217      rdfs:comment "The property that determines the subject of an annotated axiom or annotated annotation." ;
 218      rdfs:domain rdfs:Resource ;
 219      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 220      rdfs:range rdfs:Resource .
 221
 222 owl:annotatedTarget a rdf:Property ;
 223      rdfs:label "annotatedTarget" ;
 224      rdfs:comment "The property that determines the object of an annotated axiom or annotated annotation." ;
 225      rdfs:domain rdfs:Resource ;
 226      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 227      rdfs:range rdfs:Resource .
 228
 229 owl:assertionProperty a rdf:Property ;
 230      rdfs:label "assertionProperty" ;
 231      rdfs:comment "The property that determines the predicate of a negative property assertion." ;
 232      rdfs:domain owl:NegativePropertyAssertion ;
 233      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 234      rdfs:range rdf:Property .
 235
 236 owl:backwardCompatibleWith a owl:AnnotationProperty, owl:OntologyProperty ;
 237      rdfs:label "backwardCompatibleWith" ;
 238      rdfs:comment "The annotation property that indicates that a given ontology is backward compatible with another ontology." ;
 239      rdfs:domain owl:Ontology ;
 240      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 241      rdfs:range owl:Ontology .
 242
 243 owl:bottomDataProperty a owl:DatatypeProperty ;
 244      rdfs:label "bottomDataProperty" ;
 245      rdfs:comment "The data property that does not relate any individual to any data value." ;
 246      rdfs:domain owl:Thing ;
 247      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 248      rdfs:range rdfs:Literal .
 249
 250 owl:bottomObjectProperty a owl:ObjectProperty ;
 251      rdfs:label "bottomObjectProperty" ;
 252      rdfs:comment "The object property that does not relate any two individuals." ;
 253      rdfs:domain owl:Thing ;
 254      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 255      rdfs:range owl:Thing .
 256
 257 owl:cardinality a rdf:Property ;
 258      rdfs:label "cardinality" ;
 259      rdfs:comment "The property that determines the cardinality of an exact cardinality restriction." ;
 260      rdfs:domain owl:Restriction ;
 261      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 262      rdfs:range xsd:nonNegativeInteger .
 263
 264 owl:complementOf a rdf:Property ;
 265      rdfs:label "complementOf" ;
 266      rdfs:comment "The property that determines that a given class is the complement of another class." ;
 267      rdfs:domain owl:Class ;
 268      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 269      rdfs:range owl:Class .
 270
 271 owl:datatypeComplementOf a rdf:Property ;
 272      rdfs:label "datatypeComplementOf" ;
 273      rdfs:comment "The property that determines that a given data range is the complement of another data range with respect to the data domain." ;
 274      rdfs:domain rdfs:Datatype ;
 275      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 276      rdfs:range rdfs:Datatype .
 277
 278 owl:deprecated a owl:AnnotationProperty ;
 279      rdfs:label "deprecated" ;
 280      rdfs:comment "The annotation property that indicates that a given entity has been deprecated." ;
 281      rdfs:domain rdfs:Resource ;
 282      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 283      rdfs:range rdfs:Resource .
 284
 285 owl:differentFrom a rdf:Property ;
 286      rdfs:label "differentFrom" ;
 287      rdfs:comment "The property that determines that two given individuals are different." ;
 288      rdfs:domain owl:Thing ;
 289      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 290      rdfs:range owl:Thing .
 291
 292 owl:disjointUnionOf a rdf:Property ;
 293      rdfs:label "disjointUnionOf" ;
 294      rdfs:comment "The property that determines that a given class is equivalent to the disjoint union of a collection of other classes." ;
 295      rdfs:domain owl:Class ;
 296      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 297      rdfs:range rdf:List .
 298
 299 owl:disjointWith a rdf:Property ;
 300      rdfs:label "disjointWith" ;
 301      rdfs:comment "The property that determines that two given classes are disjoint." ;
 302      rdfs:domain owl:Class ;
 303      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 304      rdfs:range owl:Class .
 305
 306 owl:distinctMembers a rdf:Property ;
 307      rdfs:label "distinctMembers" ;
 308      rdfs:comment "The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom." ;
 309      rdfs:domain owl:AllDifferent ;
 310      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 311      rdfs:range rdf:List .
 312
 313 owl:equivalentClass a rdf:Property ;
 314      rdfs:label "equivalentClass" ;
 315      rdfs:comment "The property that determines that two given classes are equivalent, and that is used to specify datatype definitions." ;
 316      rdfs:domain rdfs:Class ;
 317      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 318      rdfs:range rdfs:Class .
 319
 320 owl:equivalentProperty a rdf:Property ;
 321      rdfs:label "equivalentProperty" ;
 322      rdfs:comment "The property that determines that two given properties are equivalent." ;
 323      rdfs:domain rdf:Property ;
 324      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 325      rdfs:range rdf:Property .
 326
 327 owl:hasKey a rdf:Property ;
 328      rdfs:label "hasKey" ;
 329      rdfs:comment "The property that determines the collection of properties that jointly build a key." ;
 330      rdfs:domain owl:Class ;
 331      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 332      rdfs:range rdf:List .
 333
 334 owl:hasSelf a rdf:Property ;
 335      rdfs:label "hasSelf" ;
 336      rdfs:comment "The property that determines the property that a self restriction refers to." ;
 337      rdfs:domain owl:Restriction ;
 338      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 339      rdfs:range rdfs:Resource .
 340
 341 owl:hasValue a rdf:Property ;
 342      rdfs:label "hasValue" ;
 343      rdfs:comment "The property that determines the individual that a has-value restriction refers to." ;
 344      rdfs:domain owl:Restriction ;
 345      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 346      rdfs:range rdfs:Resource .
 347
 348 owl:imports a owl:OntologyProperty ;
 349      rdfs:label "imports" ;
 350      rdfs:comment "The property that is used for importing other ontologies into a given ontology." ;
 351      rdfs:domain owl:Ontology ;
 352      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 353      rdfs:range owl:Ontology .
 354
 355 owl:incompatibleWith a owl:AnnotationProperty, owl:OntologyProperty ;
 356      rdfs:label "incompatibleWith" ;
 357      rdfs:comment "The annotation property that indicates that a given ontology is incompatible with another ontology." ;
 358      rdfs:domain owl:Ontology ;
 359      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 360      rdfs:range owl:Ontology .
 361
 362 owl:intersectionOf a rdf:Property ;
 363      rdfs:label "intersectionOf" ;
 364      rdfs:comment "The property that determines the collection of classes or data ranges that build an intersection." ;
 365      rdfs:domain rdfs:Class ;
 366      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 367      rdfs:range rdf:List .
 368
 369 owl:inverseOf a rdf:Property ;
 370      rdfs:label "inverseOf" ;
 371      rdfs:comment "The property that determines that two given properties are inverse." ;
 372      rdfs:domain owl:ObjectProperty ;
 373      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 374      rdfs:range owl:ObjectProperty .
 375
 376 owl:maxCardinality a rdf:Property ;
 377      rdfs:label "maxCardinality" ;
 378      rdfs:comment "The property that determines the cardinality of a maximum cardinality restriction." ;
 379      rdfs:domain owl:Restriction ;
 380      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 381      rdfs:range xsd:nonNegativeInteger .
 382
 383 owl:maxQualifiedCardinality a rdf:Property ;
 384      rdfs:label "maxQualifiedCardinality" ;
 385      rdfs:comment "The property that determines the cardinality of a maximum qualified cardinality restriction." ;
 386      rdfs:domain owl:Restriction ;
 387      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 388      rdfs:range xsd:nonNegativeInteger .
 389
 390 owl:members a rdf:Property ;
 391      rdfs:label "members" ;
 392      rdfs:comment "The property that determines the collection of members in either a owl:AllDifferent, owl:AllDisjointClasses or owl:AllDisjointProperties axiom." ;
 393      rdfs:domain rdfs:Resource ;
 394      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 395      rdfs:range rdf:List .
 396
 397 owl:minCardinality a rdf:Property ;
 398      rdfs:label "minCardinality" ;
 399      rdfs:comment "The property that determines the cardinality of a minimum cardinality restriction." ;
 400      rdfs:domain owl:Restriction ;
 401      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 402      rdfs:range xsd:nonNegativeInteger .
 403
 404 owl:minQualifiedCardinality a rdf:Property ;
 405      rdfs:label "minQualifiedCardinality" ;
 406      rdfs:comment "The property that determines the cardinality of a minimum qualified cardinality restriction." ;
 407      rdfs:domain owl:Restriction ;
 408      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 409      rdfs:range xsd:nonNegativeInteger .
 410
 411 owl:onClass a rdf:Property ;
 412      rdfs:label "onClass" ;
 413      rdfs:comment "The property that determines the class that a qualified object cardinality restriction refers to." ;
 414      rdfs:domain owl:Restriction ;
 415      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 416      rdfs:range owl:Class .
 417
 418 owl:onDataRange a rdf:Property ;
 419      rdfs:label "onDataRange" ;
 420      rdfs:comment "The property that determines the data range that a qualified data cardinality restriction refers to." ;
 421      rdfs:domain owl:Restriction ;
 422      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 423      rdfs:range rdfs:Datatype .
 424
 425 owl:onDatatype a rdf:Property ;
 426      rdfs:label "onDatatype" ;
 427      rdfs:comment "The property that determines the datatype that a datatype restriction refers to." ;
 428      rdfs:domain rdfs:Datatype ;
 429      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 430      rdfs:range rdfs:Datatype .
 431
 432 owl:oneOf a rdf:Property ;
 433      rdfs:label "oneOf" ;
 434      rdfs:comment "The property that determines the collection of individuals or data values that build an enumeration." ;
 435      rdfs:domain rdfs:Class ;
 436      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 437      rdfs:range rdf:List .
 438
 439 owl:onProperties a rdf:Property ;
 440      rdfs:label "onProperties" ;
 441      rdfs:comment "The property that determines the n-tuple of properties that a property restriction on an n-ary data range refers to." ;
 442      rdfs:domain owl:Restriction ;
 443      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 444      rdfs:range rdf:List .
 445
 446 owl:onProperty a rdf:Property ;
 447      rdfs:label "onProperty" ;
 448      rdfs:comment "The property that determines the property that a property restriction refers to." ;
 449      rdfs:domain owl:Restriction ;
 450      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 451      rdfs:range rdf:Property .
 452
 453 owl:priorVersion a owl:AnnotationProperty, owl:OntologyProperty ;
 454      rdfs:label "priorVersion" ;
 455      rdfs:comment "The annotation property that indicates the predecessor ontology of a given ontology." ;
 456      rdfs:domain owl:Ontology ;
 457      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 458      rdfs:range owl:Ontology .
 459
 460 owl:propertyChainAxiom a rdf:Property ;
 461      rdfs:label "propertyChainAxiom" ;
 462      rdfs:comment "The property that determines the n-tuple of properties that build a sub property chain of a given property." ;
 463      rdfs:domain owl:ObjectProperty ;
 464      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 465      rdfs:range rdf:List .
 466
 467 owl:propertyDisjointWith a rdf:Property ;
 468      rdfs:label "propertyDisjointWith" ;
 469      rdfs:comment "The property that determines that two given properties are disjoint." ;
 470      rdfs:domain rdf:Property ;
 471      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 472      rdfs:range rdf:Property .
 473
 474 owl:qualifiedCardinality a rdf:Property ;
 475      rdfs:label "qualifiedCardinality" ;
 476      rdfs:comment "The property that determines the cardinality of an exact qualified cardinality restriction." ;
 477      rdfs:domain owl:Restriction ;
 478      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 479      rdfs:range xsd:nonNegativeInteger .
 480
 481 owl:sameAs a rdf:Property ;
 482      rdfs:label "sameAs" ;
 483      rdfs:comment "The property that determines that two given individuals are equal." ;
 484      rdfs:domain owl:Thing ;
 485      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 486      rdfs:range owl:Thing .
 487
 488 owl:someValuesFrom a rdf:Property ;
 489      rdfs:label "someValuesFrom" ;
 490      rdfs:comment "The property that determines the class that an existential property restriction refers to." ;
 491      rdfs:domain owl:Restriction ;
 492      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 493      rdfs:range rdfs:Class .
 494
 495 owl:sourceIndividual a rdf:Property ;
 496      rdfs:label "sourceIndividual" ;
 497      rdfs:comment "The property that determines the subject of a negative property assertion." ;
 498      rdfs:domain owl:NegativePropertyAssertion ;
 499      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 500      rdfs:range owl:Thing .
 501
 502 owl:targetIndividual a rdf:Property ;
 503      rdfs:label "targetIndividual" ;
 504      rdfs:comment "The property that determines the object of a negative object property assertion." ;
 505      rdfs:domain owl:NegativePropertyAssertion ;
 506      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 507      rdfs:range owl:Thing .
 508
 509 owl:targetValue a rdf:Property ;
 510      rdfs:label "targetValue" ;
 511      rdfs:comment "The property that determines the value of a negative data property assertion." ;
 512      rdfs:domain owl:NegativePropertyAssertion ;
 513      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 514      rdfs:range rdfs:Literal .
 515
 516 owl:topDataProperty a owl:DatatypeProperty ;
 517      rdfs:label "topDataProperty" ;
 518      rdfs:comment "The data property that relates every individual to every data value." ;
 519      rdfs:domain owl:Thing ;
 520      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 521      rdfs:range rdfs:Literal .
 522
 523 owl:topObjectProperty a owl:ObjectProperty ;
 524      rdfs:label "topObjectProperty" ;
 525      rdfs:comment "The object property that relates every two individuals." ;
 526      rdfs:domain owl:Thing ;
 527      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 528      rdfs:range owl:Thing .
 529
 530 owl:unionOf a rdf:Property ;
 531      rdfs:label "unionOf" ;
 532      rdfs:comment "The property that determines the collection of classes or data ranges that build a union." ;
 533      rdfs:domain rdfs:Class ;
 534      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 535      rdfs:range rdf:List .
 536
 537 owl:versionInfo a owl:AnnotationProperty ;
 538      rdfs:label "versionInfo" ;
 539      rdfs:comment "The annotation property that provides version information for an ontology or another OWL construct." ;
 540      rdfs:domain rdfs:Resource ;
 541      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 542      rdfs:range rdfs:Resource .
 543
 544 owl:versionIRI a owl:OntologyProperty ;
 545      rdfs:label "versionIRI" ;
 546      rdfs:comment "The property that identifies the version IRI of an ontology." ;
 547      rdfs:domain owl:Ontology ;
 548      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 549      rdfs:range owl:Ontology .
 550
 551 owl:withRestrictions a rdf:Property ;
 552      rdfs:label "withRestrictions" ;
 553      rdfs:comment "The property that determines the collection of facet-value pairs that define a datatype restriction." ;
 554      rdfs:domain rdfs:Datatype ;
 555      rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
 556      rdfs:range rdf:List .