From e320bb53e58314fb2f04d514fc68202efcb52f3e Mon Sep 17 00:00:00 2001 From: David Robillard Date: Sun, 14 Oct 2018 22:18:17 +0200 Subject: Add validation test suite --- schemas/owl.ttl | 614 +++++++++++++++++++++++++++++++++++++++++++++++++++++++ schemas/rdf.ttl | 127 ++++++++++++ schemas/rdfs.ttl | 123 +++++++++++ schemas/xsd.ttl | 353 ++++++++++++++++++++++++++++++++ 4 files changed, 1217 insertions(+) create mode 100644 schemas/owl.ttl create mode 100644 schemas/rdf.ttl create mode 100644 schemas/rdfs.ttl create mode 100644 schemas/xsd.ttl (limited to 'schemas') diff --git a/schemas/owl.ttl b/schemas/owl.ttl new file mode 100644 index 00000000..3057fdd3 --- /dev/null +++ b/schemas/owl.ttl @@ -0,0 +1,614 @@ +@prefix rdf: . +@prefix rdfs: . +@prefix xsd: . +@prefix owl: . + + + rdfs:comment "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 , , ; + rdfs:seeAlso , ; + owl:imports rdfs: ; + owl:versionIRI ; + 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 ; + rdfs:label "AllDifferent" ; + rdfs:subClassOf rdfs:Resource . + +owl:AllDisjointClasses + a rdfs:Class ; + rdfs:comment "The class of collections of pairwise disjoint classes." ; + rdfs:isDefinedBy ; + rdfs:label "AllDisjointClasses" ; + rdfs:subClassOf rdfs:Resource . + +owl:AllDisjointProperties + a rdfs:Class ; + rdfs:comment "The class of collections of pairwise disjoint properties." ; + rdfs:isDefinedBy ; + 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 ; + rdfs:label "Annotation" ; + rdfs:subClassOf rdfs:Resource . + +owl:AnnotationProperty + a rdfs:Class ; + rdfs:comment "The class of annotation properties." ; + rdfs:isDefinedBy ; + rdfs:label "AnnotationProperty" ; + rdfs:subClassOf rdf:Property . + +owl:AsymmetricProperty + a rdfs:Class ; + rdfs:comment "The class of asymmetric properties." ; + rdfs:isDefinedBy ; + 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 ; + rdfs:label "Axiom" ; + rdfs:subClassOf rdfs:Resource . + +owl:Class + a rdfs:Class ; + rdfs:comment "The class of OWL classes." ; + rdfs:isDefinedBy ; + rdfs:label "Class" ; + rdfs:subClassOf rdfs:Class . + +owl:DatatypeProperty + a rdfs:Class ; + rdfs:comment "The class of data properties." ; + rdfs:isDefinedBy ; + rdfs:label "DatatypeProperty" ; + rdfs:subClassOf rdf:Property . + +owl:DeprecatedClass + a rdfs:Class ; + rdfs:comment "The class of deprecated classes." ; + rdfs:isDefinedBy ; + rdfs:label "DeprecatedClass" ; + rdfs:subClassOf rdfs:Class . + +owl:DeprecatedProperty + a rdfs:Class ; + rdfs:comment "The class of deprecated properties." ; + rdfs:isDefinedBy ; + rdfs:label "DeprecatedProperty" ; + rdfs:subClassOf rdf:Property . + +owl:FunctionalProperty + a rdfs:Class ; + rdfs:comment "The class of functional properties." ; + rdfs:isDefinedBy ; + rdfs:label "FunctionalProperty" ; + rdfs:subClassOf rdf:Property . + +owl:InverseFunctionalProperty + a rdfs:Class ; + rdfs:comment "The class of inverse-functional properties." ; + rdfs:isDefinedBy ; + rdfs:label "InverseFunctionalProperty" ; + rdfs:subClassOf owl:ObjectProperty . + +owl:IrreflexiveProperty + a rdfs:Class ; + rdfs:comment "The class of irreflexive properties." ; + rdfs:isDefinedBy ; + rdfs:label "IrreflexiveProperty" ; + rdfs:subClassOf owl:ObjectProperty . + +owl:NamedIndividual + a rdfs:Class ; + rdfs:comment "The class of named individuals." ; + rdfs:isDefinedBy ; + rdfs:label "NamedIndividual" ; + rdfs:subClassOf owl:Thing . + +owl:NegativePropertyAssertion + a rdfs:Class ; + rdfs:comment "The class of negative property assertions." ; + rdfs:isDefinedBy ; + rdfs:label "NegativePropertyAssertion" ; + rdfs:subClassOf rdfs:Resource . + +owl:Nothing + a owl:Class ; + rdfs:comment "This is the empty class." ; + rdfs:isDefinedBy ; + rdfs:label "Nothing" ; + rdfs:subClassOf owl:Thing . + +owl:ObjectProperty + a rdfs:Class ; + rdfs:comment "The class of object properties." ; + rdfs:isDefinedBy ; + rdfs:label "ObjectProperty" ; + rdfs:subClassOf rdf:Property . + +owl:Ontology + a rdfs:Class ; + rdfs:comment "The class of ontologies." ; + rdfs:isDefinedBy ; + rdfs:label "Ontology" ; + rdfs:subClassOf rdfs:Resource . + +owl:OntologyProperty + a rdfs:Class ; + rdfs:comment "The class of ontology properties." ; + rdfs:isDefinedBy ; + rdfs:label "OntologyProperty" ; + rdfs:subClassOf rdf:Property . + +owl:ReflexiveProperty + a rdfs:Class ; + rdfs:comment "The class of reflexive properties." ; + rdfs:isDefinedBy ; + rdfs:label "ReflexiveProperty" ; + rdfs:subClassOf owl:ObjectProperty . + +owl:Restriction + a rdfs:Class ; + rdfs:comment "The class of property restrictions." ; + rdfs:isDefinedBy ; + rdfs:label "Restriction" ; + rdfs:subClassOf owl:Class . + +owl:SymmetricProperty + a rdfs:Class ; + rdfs:comment "The class of symmetric properties." ; + rdfs:isDefinedBy ; + rdfs:label "SymmetricProperty" ; + rdfs:subClassOf owl:ObjectProperty . + +owl:Thing + a owl:Class ; + rdfs:comment "The class of OWL individuals." ; + rdfs:isDefinedBy ; + rdfs:label "Thing" . + +owl:TransitiveProperty + a rdfs:Class ; + rdfs:comment "The class of transitive properties." ; + rdfs:isDefinedBy ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + 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 ; + rdfs:label "with restrictions" ; + rdfs:range rdf:List . + diff --git a/schemas/rdf.ttl b/schemas/rdf.ttl new file mode 100644 index 00000000..5ef93450 --- /dev/null +++ b/schemas/rdf.ttl @@ -0,0 +1,127 @@ +@prefix rdf: . +@prefix rdfs: . +@prefix owl: . + + + rdfs:comment "The RDF Vocabulary (RDF)" ; + a owl:Ontology ; + rdfs:seeAlso . + +rdf:Alt + a rdfs:Class ; + rdfs:comment "The class of containers of alternatives." ; + rdfs:isDefinedBy ; + rdfs:label "Alt" ; + rdfs:subClassOf rdfs:Container . + +rdf:Bag + a rdfs:Class ; + rdfs:comment "The class of unordered containers." ; + rdfs:isDefinedBy ; + rdfs:label "Bag" ; + rdfs:subClassOf rdfs:Container . + +rdf:List + a rdfs:Class ; + rdfs:comment "The class of RDF Lists." ; + rdfs:isDefinedBy ; + rdfs:label "List" ; + rdfs:subClassOf rdfs:Resource . + +rdf:PlainLiteral + a rdfs:Datatype ; + rdfs:comment "The class of plain (i.e. untyped) literal values." ; + rdfs:isDefinedBy ; + rdfs:label "Plain Literal" ; + rdfs:subClassOf rdfs:Literal . + +rdf:Property + a rdfs:Class ; + rdfs:comment "The class of RDF properties." ; + rdfs:isDefinedBy ; + rdfs:label "Property" ; + rdfs:subClassOf rdfs:Resource . + +rdf:Seq + a rdfs:Class ; + rdfs:comment "The class of ordered containers." ; + rdfs:isDefinedBy ; + rdfs:label "Seq" ; + rdfs:subClassOf rdfs:Container . + +rdf:Statement + a rdfs:Class ; + rdfs:comment "The class of RDF statements." ; + rdfs:isDefinedBy ; + rdfs:label "Statement" ; + rdfs:subClassOf rdfs:Resource . + +rdf:XMLLiteral + a rdfs:Datatype ; + rdfs:comment "The class of XML literal values." ; + rdfs:isDefinedBy ; + rdfs:label "XML Literal" ; + rdfs:subClassOf rdfs:Literal . + +rdf:first + a rdf:Property ; + rdfs:comment "The first item in the subject RDF list." ; + rdfs:domain rdf:List ; + rdfs:isDefinedBy ; + rdfs:label "first" ; + rdfs:range rdfs:Resource . + +rdf:nil + a rdf:List ; + rdfs:comment "The empty list, with no items in it. If the rest of a list is nil then the list has no more items in it." ; + rdfs:isDefinedBy ; + rdfs:label "nil" . + +rdf:object + a rdf:Property ; + rdfs:comment "The object of the subject RDF statement." ; + rdfs:domain rdf:Statement ; + rdfs:isDefinedBy ; + rdfs:label "object" ; + rdfs:range rdfs:Resource . + +rdf:predicate + a rdf:Property ; + rdfs:comment "The predicate of the subject RDF statement." ; + rdfs:domain rdf:Statement ; + rdfs:isDefinedBy ; + rdfs:label "predicate" ; + rdfs:range rdfs:Resource . + +rdf:rest + a rdf:Property ; + rdfs:comment "The rest of the subject RDF list after the first item." ; + rdfs:domain rdf:List ; + rdfs:isDefinedBy ; + rdfs:label "rest" ; + rdfs:range rdf:List . + +rdf:subject + a rdf:Property ; + rdfs:comment "The subject of the subject RDF statement." ; + rdfs:domain rdf:Statement ; + rdfs:isDefinedBy ; + rdfs:label "subject" ; + rdfs:range rdfs:Resource . + +rdf:type + a rdf:Property ; + rdfs:comment "The subject is an instance of a class." ; + rdfs:domain rdfs:Resource ; + rdfs:isDefinedBy ; + rdfs:label "type" ; + rdfs:range rdfs:Class . + +rdf:value + a rdf:Property ; + rdfs:comment "Idiomatic property used for structured values." ; + rdfs:domain rdfs:Resource ; + rdfs:isDefinedBy ; + rdfs:label "value" ; + rdfs:range rdfs:Resource . + diff --git a/schemas/rdfs.ttl b/schemas/rdfs.ttl new file mode 100644 index 00000000..43c51e58 --- /dev/null +++ b/schemas/rdfs.ttl @@ -0,0 +1,123 @@ +@prefix rdf: . +@prefix rdfs: . +@prefix owl: . + + + rdfs:comment "The RDF Schema vocabulary (RDFS)" ; + a owl:Ontology ; + rdfs:seeAlso . + +rdfs:Class + a rdfs:Class ; + rdfs:comment "The class of classes." ; + rdfs:isDefinedBy ; + rdfs:label "Class" ; + rdfs:subClassOf rdfs:Resource . + +rdfs:Container + a rdfs:Class ; + rdfs:comment "The class of RDF containers." ; + rdfs:isDefinedBy ; + rdfs:label "Container" ; + rdfs:subClassOf rdfs:Resource . + +rdfs:ContainerMembershipProperty + a rdfs:Class ; + rdfs:comment "The class of container membership properties, rdf:_1, rdf:_2, ..., all of which are sub-properties of 'member'." ; + rdfs:isDefinedBy ; + rdfs:label "Container Membership Property" ; + rdfs:subClassOf rdf:Property . + +rdfs:Datatype + a rdfs:Class ; + rdfs:comment "The class of RDF datatypes." ; + rdfs:isDefinedBy ; + rdfs:label "Datatype" ; + rdfs:subClassOf rdfs:Class . + +rdfs:Literal + a rdfs:Class ; + rdfs:comment "The class of literal values, eg. textual strings and integers." ; + rdfs:isDefinedBy ; + rdfs:label "Literal" ; + rdfs:subClassOf rdfs:Resource . + +rdfs:Resource + a rdfs:Class ; + rdfs:comment "The class resource, everything." ; + rdfs:isDefinedBy ; + rdfs:label "Resource" . + +rdfs:comment + a rdf:Property ; + rdfs:comment "A description of the subject resource." ; + rdfs:domain rdfs:Resource ; + rdfs:isDefinedBy ; + rdfs:label "comment" ; + rdfs:range rdfs:Literal . + +rdfs:domain + a rdf:Property ; + rdfs:comment "A domain of the subject property." ; + rdfs:domain rdf:Property ; + rdfs:isDefinedBy ; + rdfs:label "domain" ; + rdfs:range rdfs:Class . + +rdfs:isDefinedBy + a rdf:Property ; + rdfs:comment "The defininition of the subject resource." ; + rdfs:domain rdfs:Resource ; + rdfs:isDefinedBy ; + rdfs:label "is defined by" ; + rdfs:range rdfs:Resource ; + rdfs:subPropertyOf rdfs:seeAlso . + +rdfs:label + a rdf:Property ; + rdfs:comment "A human-readable name for the subject." ; + rdfs:domain rdfs:Resource ; + rdfs:isDefinedBy ; + rdfs:label "label" ; + rdfs:range rdfs:Literal . + +rdfs:member + a rdf:Property ; + rdfs:comment "A member of the subject resource." ; + rdfs:domain rdfs:Resource ; + rdfs:isDefinedBy ; + rdfs:label "member" ; + rdfs:range rdfs:Resource . + +rdfs:range + a rdf:Property ; + rdfs:comment "A range of the subject property." ; + rdfs:domain rdf:Property ; + rdfs:isDefinedBy ; + rdfs:label "range" ; + rdfs:range rdfs:Class . + +rdfs:seeAlso + a rdf:Property ; + rdfs:comment "Further information about the subject resource." ; + rdfs:domain rdfs:Resource ; + rdfs:isDefinedBy ; + rdfs:label "see also" ; + rdfs:range rdfs:Resource . + +rdfs:subClassOf + a rdf:Property ; + rdfs:comment "The subject is a subclass of a class." ; + rdfs:domain rdfs:Class ; + rdfs:isDefinedBy ; + rdfs:label "sub-class of" ; + rdfs:range rdfs:Class . + +rdfs:subPropertyOf + a rdf:Property ; + rdfs:comment "The subject is a subproperty of a property." ; + rdfs:domain rdf:Property ; + rdfs:isDefinedBy ; + rdfs:label "sub-property of" ; + rdfs:range rdf:Property . + diff --git a/schemas/xsd.ttl b/schemas/xsd.ttl new file mode 100644 index 00000000..46f6793a --- /dev/null +++ b/schemas/xsd.ttl @@ -0,0 +1,353 @@ +@prefix owl: . +@prefix rdf: . +@prefix rdfs: . +@prefix xsd: . + + + a owl:Ontology ; + rdfs:comment "XML Schema Datatypes" . + +xsd:ID + a rdfs:Datatype ; + owl:onDatatype xsd:NCName . + +xsd:IDREF + a rdfs:Datatype ; + owl:onDatatype xsd:NCName . + +xsd:ENTITY + a rdfs:Datatype ; + owl:onDatatype xsd:NCName . + +xsd:NCName + a rdfs:Datatype ; + owl:onDatatype xsd:Name . + +xsd:NMTOKEN + a rdfs:Datatype ; + owl:onDatatype xsd:token . + +xsd:Name + a rdfs:Datatype ; + owl:onDatatype xsd:token . + +xsd:totalDigits + a rdf:Property , + owl:DatatypeProperty ; + rdfs:range xsd:positiveInteger ; + rdfs:label "total digits" ; + rdfs:comment "The maximum number of decimal digits required to represent a value." . + +xsd:fractionDigits + a rdf:Property , + owl:DatatypeProperty ; + rdfs:range xsd:nonNegativeInteger ; + rdfs:label "fraction digits" ; + rdfs:comment "The total number of digits to the right of the decimal point required to represent a value." . + +xsd:pattern + a rdf:Property , + owl:DatatypeProperty ; + rdfs:label "pattern" ; + rdfs:comment "A regular expression that matches complete valid literals." . + +xsd:maxInclusive + a rdf:Property , + owl:DatatypeProperty ; + rdfs:label "max inclusive" ; + rdfs:comment "The inclusive upper bound of an ordered datatype." . + +xsd:maxExclusive + a rdf:Property , + owl:DatatypeProperty ; + rdfs:label "max exclusive" ; + rdfs:comment "The exclusive upper bound of an ordered datatype." . + +xsd:minInclusive + a rdf:Property , + owl:DatatypeProperty ; + rdfs:label "min inclusive" ; + rdfs:comment "The inclusive lower bound of an ordered datatype." . + +xsd:minExclusive + a rdf:Property , + owl:DatatypeProperty ; + rdfs:label "min exclusive" ; + rdfs:comment "The exclusive lower bound of an ordered datatype." . + +xsd:QName + a rdfs:Datatype ; + rdfs:label "XML qualified name" . + +xsd:anyURI + a rdfs:Datatype ; + rdfs:label "URI reference" . + +xsd:base64Binary + a rdfs:Datatype ; + rdfs:label "base64 binary" ; + rdfs:comment "Base64-encoded arbitrary binary data." ; + owl:withRestrictions ( + [ + xsd:pattern "(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?" + ] + ) . + +xsd:boolean + a rdfs:Datatype ; + rdfs:label "boolean" ; + owl:withRestrictions ( + [ + xsd:pattern "(true|false)" + ] + ) . + +xsd:byte + a rdfs:Datatype ; + rdfs:label "byte" ; + owl:onDatatype xsd:short ; + owl:withRestrictions ( + [ + xsd:maxInclusive 127 + ] [ + xsd:minInclusive -128 + ] + ) . + +xsd:date + a rdfs:Datatype ; + rdfs:label "date" ; + owl:withRestrictions ( + [ + xsd:pattern "-?[0-9][0-9][0-9][0-9]([0-9]*)?-(0[1-9]|1[0-2])-([0-3][0-9])([+-]([0-1][0-9]|2[0-3]):[0-5][0-9])?" + ] + ) . + +xsd:dateTime + a rdfs:Datatype ; + rdfs:label "date time" . + +xsd:decimal + a rdfs:Datatype ; + rdfs:label "decimal" ; + rdfs:comment "A subset of the real numbers, which can be represented by decimal numerals." ; + owl:withRestrictions ( + [ + xsd:pattern "[+-]?[0-9]*\\.?[0-9]*" + ] + ) . + +xsd:double + a rdfs:Datatype ; + rdfs:label "double" ; + rdfs:comment "IEEE double-precision 64-bit floating point." ; + owl:withRestrictions ( + [ + xsd:pattern "[+-]?[0-9]*\\.?[0-9]*([eE][-+]?[0-9]+)?" + ] + ) . + +xsd:duration + a rdfs:Datatype ; + rdfs:label "duration" . + +xsd:float + a rdfs:Datatype ; + rdfs:label "float" ; + rdfs:comment "IEEE single-precision 32-bit floating point." ; + owl:onDatatype xsd:double . + +xsd:gDay + a rdfs:Datatype . + +xsd:gMonth + a rdfs:Datatype . + +xsd:gMonthDay + a rdfs:Datatype . + +xsd:gYear + a rdfs:Datatype . + +xsd:gYearMonth + a rdfs:Datatype . + +xsd:hexBinary + a rdfs:Datatype ; + rdfs:label "hex binary" ; + rdfs:comment "Hex-encoded arbitrary binary data." ; + owl:withRestrictions ( + [ + xsd:pattern "[0-9A-F]*" + ] + ) . + +xsd:int + a rdfs:Datatype ; + rdfs:label "int" ; + owl:onDatatype xsd:long ; + owl:withRestrictions ( + [ + xsd:maxInclusive 2147483647 + ] [ + xsd:minInclusive -2147483648 + ] + ) . + +xsd:integer + a rdfs:Datatype ; + rdfs:label "integer" ; + owl:onDatatype xsd:decimal ; + owl:withRestrictions ( + [ + xsd:pattern "[-+]?[0-9]+" + ] [ + xsd:fractionDigits 0 + ] + ) . + +xsd:language + a rdfs:Datatype ; + rdfs:label "language" ; + owl:onDatatype xsd:token ; + owl:withRestrictions ( + [ + xsd:pattern "[a-zA-Z]{1,8}(-[a-zA-Z0-9]{1,8})*" + ] + ) . + +xsd:long + a rdfs:Datatype ; + rdfs:label "long" ; + owl:onDatatype xsd:integer ; + owl:withRestrictions ( + [ + xsd:maxInclusive 9223372036854775807 + ] [ + xsd:minInclusive -9223372036854775808 + ] + ) . + +xsd:negativeInteger + a rdfs:Datatype ; + rdfs:label "negative integer" ; + owl:onDatatype xsd:nonPositiveInteger ; + owl:withRestrictions ( + [ + xsd:maxInclusive -1 + ] + ) . + +xsd:nonNegativeInteger + a rdfs:Datatype ; + rdfs:label "non-negative integer" ; + owl:onDatatype xsd:integer ; + owl:withRestrictions ( + [ + xsd:pattern "[0-9]*" + ] [ + xsd:minInclusive 0 + ] + ) . + +xsd:nonPositiveInteger + a rdfs:Datatype ; + rdfs:label "non-positive integer" ; + owl:onDatatype xsd:integer ; + owl:withRestrictions ( + [ + xsd:pattern "(0|-[0-9]+)" + ] [ + xsd:maxInclusive 0 + ] + ) . + +xsd:normalizedString + a rdfs:Datatype ; + rdfs:label "normalized string" ; + owl:onDatatype xsd:string ; + rdfs:comment "The set of strings that do not contain the carriage return (#xD), line feed (#xA) nor tab (#x9) characters." . + +xsd:positiveInteger + a rdfs:Datatype ; + rdfs:label "positive integer" ; + owl:onDatatype xsd:nonNegativeInteger ; + owl:withRestrictions ( + [ + xsd:pattern "[+]?[0-9]+" + ] [ + xsd:minInclusive 1 + ] + ) . + +xsd:short + a rdfs:Datatype ; + rdfs:label "short" ; + owl:onDatatype xsd:int ; + owl:withRestrictions ( + [ + xsd:maxInclusive 32767 + ] [ + xsd:minInclusive -32768 + ] + ) . + +xsd:string + a rdfs:Datatype ; + rdfs:label "string" ; + rdfs:comment "A character string." . + +xsd:time + a rdfs:Datatype ; + rdfs:label "time" ; + owl:withRestrictions ( + [ + xsd:pattern "[1-2][0-9]:[0-5][0-9]:[0-5][0-9].[0-9][0-9][0-9]" + ] + ) . + +xsd:token + a rdfs:Datatype ; + rdfs:label "token" ; + owl:onDatatype xsd:normalizedString ; + rdfs:comment "The set of strings that do not contain the carriage return (#xD), line feed (#xA) nor tab (#x9) characters, that have no leading or trailing spaces (#x20) and that have no internal sequences of two or more spaces." . + +xsd:unsignedByte + a rdfs:Datatype ; + rdfs:label "unsigned byte" ; + owl:onDatatype xsd:unsignedShort ; + owl:withRestrictions ( + [ + xsd:maxInclusive 255 + ] + ) . + +xsd:unsignedInt + a rdfs:Datatype ; + rdfs:label "unsigned int" ; + owl:onDatatype xsd:unsignedLong ; + owl:withRestrictions ( + [ + xsd:maxInclusive 4294967295 + ] + ) . + +xsd:unsignedLong + a rdfs:Datatype ; + rdfs:label "unsigned long" ; + owl:onDatatype xsd:nonNegativeInteger ; + owl:withRestrictions ( + [ + xsd:maxInclusive 18446744073709551615 + ] + ) . + +xsd:unsignedShort + a rdfs:Datatype ; + rdfs:label "unsigned short" ; + owl:onDatatype xsd:unsignedInt ; + owl:withRestrictions ( + [ + xsd:maxInclusive 65535 + ] + ) . -- cgit v1.2.1