288 lines
8.5 KiB
Plaintext
288 lines
8.5 KiB
Plaintext
|
<?xml version="1.0"?>
|
||
|
|
<!DOCTYPE owl [
|
||
|
|
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
|
||
|
|
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
|
||
|
|
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
|
||
|
|
<!ENTITY owl "http://www.w3.org/2002/07/owl#" >
|
||
|
|
]>
|
||
|
|
|
||
|
|
<rdf:RDF
|
||
|
|
xmlns ="&owl;"
|
||
|
|
xmlns:owl ="&owl;"
|
||
|
|
xml:base ="http://www.w3.org/2002/07/owl"
|
||
|
|
xmlns:rdf ="&rdf;"
|
||
|
|
xmlns:rdfs="&rdfs;"
|
||
|
|
xmlns:dc ="http://purl.org/dc/elements/1.1/"
|
||
|
|
>
|
||
|
|
|
||
|
|
<Ontology rdf:about="">
|
||
|
|
<versionInfo>March 18. 2003, GS</versionInfo>
|
||
|
|
<imports rdf:resource="http://www.w3.org/2000/01/rdf-schema"/>
|
||
|
|
<dc:title>Classes and properties for the Web Ontology Language OWL</dc:title>
|
||
|
|
<dc:creator>W3C Web Ontology (WebOnt) Working Group</dc:creator>
|
||
|
|
<dc:subject>OWL; Web Ontology Language; Semantic Web</dc:subject>
|
||
|
|
<dc:description>This file specifies in RDF Schema format the
|
||
|
|
built-in classes and properties that together form the basis of
|
||
|
|
the RDF/XML syntax of OWL Full, OWL DL and OWL Lite with the help
|
||
|
|
of RDF Schema. We do not expect people to import this file
|
||
|
|
explicitly into their ontology. People that do import this file
|
||
|
|
should expect their ontology to be an OWL Full ontology.
|
||
|
|
</dc:description>
|
||
|
|
<dc:publisher>W3C</dc:publisher>
|
||
|
|
<dc:date>2003-02-10</dc:date>
|
||
|
|
<dc:format>text/xml</dc:format>
|
||
|
|
<dc:language>en</dc:language>
|
||
|
|
<dc:identifier>http://www.w3.org/2002/07/owl</dc:identifier>
|
||
|
|
</Ontology>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="Class">
|
||
|
|
<rdfs:label>Class</rdfs:label>
|
||
|
|
<rdfs:subClassOf rdf:resource="&rdfs;Class"/>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<Class rdf:ID="Thing">
|
||
|
|
<rdfs:label>Thing</rdfs:label>
|
||
|
|
<unionOf rdf:parseType="Collection">
|
||
|
|
<Class rdf:about="#Nothing"/>
|
||
|
|
<Class>
|
||
|
|
<complementOf rdf:resource="#Nothing"/>
|
||
|
|
</Class>
|
||
|
|
</unionOf>
|
||
|
|
</Class>
|
||
|
|
|
||
|
|
<Class rdf:ID="Nothing">
|
||
|
|
<rdfs:label>Nothing</rdfs:label>
|
||
|
|
<complementOf rdf:resource="#Thing"/>
|
||
|
|
</Class>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="equivalentClass">
|
||
|
|
<rdfs:label>equivalentClass</rdfs:label>
|
||
|
|
<rdfs:subPropertyOf rdf:resource="&rdfs;subClassOf"/>
|
||
|
|
<rdfs:domain rdf:resource="#Class"/>
|
||
|
|
<rdfs:range rdf:resource="#Class"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="disjointWith">
|
||
|
|
<rdfs:label>disjointWith</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Class"/>
|
||
|
|
<rdfs:range rdf:resource="#Class"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="equivalentProperty">
|
||
|
|
<rdfs:label>equivalentProperty</rdfs:label>
|
||
|
|
<rdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="sameIndividualAs">
|
||
|
|
<rdfs:label>sameIndividualAs</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Thing"/>
|
||
|
|
<rdfs:range rdf:resource="#Thing"/>
|
||
|
|
<rdfs:subPropertyOf rdf:resource="#sameAs"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="sameAs">
|
||
|
|
<rdfs:label>sameAs</rdfs:label>
|
||
|
|
<rdfs:subPropertyOf rdf:resource="#sameIndividualAs"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="differentFrom">
|
||
|
|
<rdfs:label>differentFrom</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Thing"/>
|
||
|
|
<rdfs:range rdf:resource="#Thing"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="AllDifferent">
|
||
|
|
<rdfs:label>AllDifferent</rdfs:label>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="distinctMembers">
|
||
|
|
<rdfs:label>distinctMembers</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#AllDifferent"/>
|
||
|
|
<rdfs:range rdf:resource="&rdf;List"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="unionOf">
|
||
|
|
<rdfs:label>unionOf</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Class"/>
|
||
|
|
<rdfs:range rdf:resource="&rdf;List"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="intersectionOf">
|
||
|
|
<rdfs:label>intersectionOf</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Class"/>
|
||
|
|
<rdfs:range rdf:resource="&rdf;List"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="complementOf">
|
||
|
|
<rdfs:label>complementOf</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Class"/>
|
||
|
|
<rdfs:range rdf:resource="#Class"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="oneOf">
|
||
|
|
<rdfs:label>oneOf</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="&rdfs;Class"/>
|
||
|
|
<rdfs:range rdf:resource="&rdf;List"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="Restriction">
|
||
|
|
<rdfs:label>Restriction</rdfs:label>
|
||
|
|
<rdfs:subClassOf rdf:resource="#Class"/>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="onProperty">
|
||
|
|
<rdfs:label>onProperty</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Restriction"/>
|
||
|
|
<rdfs:range rdf:resource="&rdf;Property"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="allValuesFrom">
|
||
|
|
<rdfs:label>allValuesFrom</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Restriction"/>
|
||
|
|
<rdfs:range rdf:resource="&rdfs;Class"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="hasValue">
|
||
|
|
<rdfs:label>hasValue</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Restriction"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="someValuesFrom">
|
||
|
|
<rdfs:label>someValuesFrom</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Restriction"/>
|
||
|
|
<rdfs:range rdf:resource="&rdfs;Class"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="minCardinality">
|
||
|
|
<rdfs:label>minCardinality</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Restriction"/>
|
||
|
|
<rdfs:range rdf:resource="&xsd;nonNegativeInteger"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="maxCardinality">
|
||
|
|
<rdfs:label>maxCardinality</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Restriction"/>
|
||
|
|
<rdfs:range rdf:resource="&xsd;nonNegativeInteger"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="cardinality">
|
||
|
|
<rdfs:label>cardinality</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#Restriction"/>
|
||
|
|
<rdfs:range rdf:resource="&xsd;nonNegativeInteger"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="ObjectProperty">
|
||
|
|
<rdfs:label>ObjectProperty</rdfs:label>
|
||
|
|
<rdfs:subClassOf rdf:resource="&rdf;Property"/>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="DatatypeProperty">
|
||
|
|
<rdfs:label>DatatypeProperty</rdfs:label>
|
||
|
|
<rdfs:subClassOf rdf:resource="&rdf;Property"/>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="inverseOf">
|
||
|
|
<rdfs:label>inverseOf</rdfs:label>
|
||
|
|
<rdfs:domain rdf:resource="#ObjectProperty"/>
|
||
|
|
<rdfs:range rdf:resource="#ObjectProperty"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="TransitiveProperty">
|
||
|
|
<rdfs:label>TransitiveProperty</rdfs:label>
|
||
|
|
<rdfs:subClassOf rdf:resource="#ObjectProperty"/>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="SymmetricProperty">
|
||
|
|
<rdfs:label>SymmetricProperty</rdfs:label>
|
||
|
|
<rdfs:subClassOf rdf:resource="#ObjectProperty"/>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="FunctionalProperty">
|
||
|
|
<rdfs:label>FunctionalProperty</rdfs:label>
|
||
|
|
<rdfs:subClassOf rdf:resource="&rdf;Property"/>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="InverseFunctionalProperty">
|
||
|
|
<rdfs:label>InverseFunctionalProperty</rdfs:label>
|
||
|
|
<rdfs:subClassOf rdf:resource="&owl;ObjectProperty"/>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="AnnotationProperty">
|
||
|
|
<rdfs:subClassOf rdf:resource="&rdf;Property"/>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdf:Description rdf:about="&rdfs;label">
|
||
|
|
<rdf:type rdf:resource="#AnnotationProperty"/>
|
||
|
|
</rdf:Description>
|
||
|
|
|
||
|
|
<rdf:Description rdf:about="&rdfs;comment">
|
||
|
|
<rdf:type rdf:resource="#AnnotationProperty"/>
|
||
|
|
</rdf:Description>
|
||
|
|
|
||
|
|
<rdf:Description rdf:about="&rdfs;seeAlso">
|
||
|
|
<rdf:type rdf:resource="#AnnotationProperty"/>
|
||
|
|
</rdf:Description>
|
||
|
|
|
||
|
|
<rdf:Description rdf:about="&rdfs;isDefinedBy">
|
||
|
|
<rdf:type rdf:resource="#AnnotationProperty"/>
|
||
|
|
</rdf:Description>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="Ontology">
|
||
|
|
<rdfs:label>Ontology</rdfs:label>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="OntologyProperty">
|
||
|
|
<rdfs:subClassOf rdf:resource="&rdf;Property"/>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="imports">
|
||
|
|
<rdfs:label>imports</rdfs:label>
|
||
|
|
<rdf:type rdf:resource="#OntologyProperty"/>
|
||
|
|
<rdfs:domain rdf:resource="#Ontology"/>
|
||
|
|
<rdfs:range rdf:resource="#Ontology"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="versionInfo">
|
||
|
|
<rdfs:label>versionInfo</rdfs:label>
|
||
|
|
<rdf:type rdf:resource="#AnnotationProperty"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="priorVersion">
|
||
|
|
<rdfs:label>priorVersion</rdfs:label>
|
||
|
|
<rdf:type rdf:resource="#OntologyProperty"/>
|
||
|
|
<rdfs:domain rdf:resource="#Ontology"/>
|
||
|
|
<rdfs:range rdf:resource="#Ontology"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="backwardCompatibleWith">
|
||
|
|
<rdfs:label>backwardCompatibleWitesh</rdfs:label>
|
||
|
|
<rdf:type rdf:resource="#OntologyProperty"/>
|
||
|
|
<rdfs:domain rdf:resource="#Ontology"/>
|
||
|
|
<rdfs:range rdf:resource="#Ontology"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdf:Property rdf:ID="incompatibleWith">
|
||
|
|
<rdfs:label>incompatibleWith</rdfs:label>
|
||
|
|
<rdf:type rdf:resource="#OntologyProperty"/>
|
||
|
|
<rdfs:domain rdf:resource="#Ontology"/>
|
||
|
|
<rdfs:range rdf:resource="#Ontology"/>
|
||
|
|
</rdf:Property>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="DeprecatedClass">
|
||
|
|
<rdfs:label>DeprecatedClass</rdfs:label>
|
||
|
|
<rdfs:subClassOf rdf:resource="&rdfs;Class"/>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="DeprecatedProperty">
|
||
|
|
<rdfs:label>DeprecatedProperty</rdfs:label>
|
||
|
|
<rdfs:subClassOf rdf:resource="&rdf;Property"/>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
<rdfs:Class rdf:ID="DataRange">
|
||
|
|
<rdfs:label>DataRange</rdfs:label>
|
||
|
|
</rdfs:Class>
|
||
|
|
|
||
|
|
|
||
|
|
</rdf:RDF>
|
||
|
|
|