Edit C:\Users\Admin\.m2\repository\com\hp\hpl\jena\jena\2.6.4\etc\dig-daml-axioms.rdf
<!-- $Revision 1.7 $ of $Date 2001/06/06 01:38:21 $. --> <rdf:RDF xmlns:rdf ="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:daml="http://www.daml.org/2001/03/daml+oil#" xmlns ="http://www.daml.org/2001/03/daml+oil#" xml:base ="http://www.daml.org/2001/03/daml+oil" > <!-- (meta) classes of "object" and datatype classes --> <rdfs:Class rdf:ID="Class"> <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> </rdfs:Class> <rdfs:Class rdf:ID="Datatype"> <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> </rdfs:Class> <!-- Pre-defined top/bottom thing/nothing most/least-general (object) classes. --> <Class rdf:ID="Thing"> <unionOf rdf:parseType="daml:collection"> <rdfs:Class rdf:about="#Nothing"/> <rdfs:Class> <complementOf rdf:resource="#Nothing"/> </rdfs:Class> </unionOf> </Class> <Class rdf:ID="Nothing"> <rdfs:label>Nothing</rdfs:label> <rdfs:comment>the class with no things in it.</rdfs:comment> <complementOf rdf:resource="#Thing"/> </Class> <!-- Terms for building classes from other classes. --> <Property rdf:ID="equivalentTo"> <!-- equals? equiv? renames? --> <rdfs:label>equivalentTo</rdfs:label> </Property> <Property rdf:ID="sameClassAs"> <rdfs:subPropertyOf rdf:resource="#equivalentTo"/> <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#subClassOf"/> <rdfs:domain rdf:resource="#Class"/> <rdfs:range rdf:resource="#Class"/> </Property> <Property rdf:ID="samePropertyAs"> <rdfs:subPropertyOf rdf:resource="#equivalentTo"/> <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#subPropertyOf"/> </Property> <Property rdf:ID="sameIndividualAs"> <rdfs:subPropertyOf rdf:resource="#equivalentTo"/> <rdfs:domain rdf:resource="#Thing"/> <rdfs:range rdf:resource="#Thing"/> </Property> <rdf:Property rdf:ID="disjointWith"> <rdfs:domain rdf:resource="#Class"/> <rdfs:range rdf:resource="#Class"/> </rdf:Property> <Property rdf:ID="differentIndividualFrom"> <rdfs:domain rdf:resource="#Thing"/> <rdfs:range rdf:resource="#Thing"/> </Property> <!-- NOTE: the Disjoint class has been deleted: use disjointWith --> <!-- or disjointUnionOf instead. --> <rdf:Property rdf:ID="unionOf"> <rdfs:domain rdf:resource="#Class"/> <rdfs:range rdf:resource="#List"/> </rdf:Property> <rdf:Property rdf:ID="disjointUnionOf"> <rdfs:domain rdf:resource="#Class"/> <rdfs:range rdf:resource="#List"/> </rdf:Property> <rdf:Property rdf:ID="intersectionOf"> <rdfs:domain rdf:resource="#Class"/> <rdfs:range rdf:resource="#List"/> </rdf:Property> <rdf:Property rdf:ID="complementOf"> <rdfs:domain rdf:resource="#Class"/> <rdfs:range rdf:resource="#Class"/> </rdf:Property> <!-- Term for building classes by enumerating their elements --> <rdf:Property rdf:ID="oneOf"> <rdfs:domain rdf:resource="#Class"/> <rdfs:range rdf:resource="#List"/> </rdf:Property> <!-- Terms for building classes by restricting their properties. --> <rdfs:Class rdf:ID="Restriction"> <rdfs:subClassOf rdf:resource="#Class"/> </rdfs:Class> <rdf:Property rdf:ID="onProperty"> <rdfs:domain rdf:resource="#Restriction"/> <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/> </rdf:Property> <rdf:Property rdf:ID="toClass"> <rdfs:domain rdf:resource="#Restriction"/> <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> </rdf:Property> <rdf:Property rdf:ID="hasValue"> <rdfs:domain rdf:resource="#Restriction"/> </rdf:Property> <rdf:Property rdf:ID="hasClass"> <rdfs:domain rdf:resource="#Restriction"/> <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> </rdf:Property> <!-- Note that cardinality restrictions on transitive properties, or --> <!-- properties with transitive sub-properties, compromise decidability. --> <rdf:Property rdf:ID="minCardinality"> <rdfs:domain rdf:resource="#Restriction"/> <rdfs:range rdf:resource="http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger"/> </rdf:Property> <rdf:Property rdf:ID="maxCardinality"> <rdfs:domain rdf:resource="#Restriction"/> <rdfs:range rdf:resource="http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger"/> </rdf:Property> <rdf:Property rdf:ID="cardinality"> <rdfs:domain rdf:resource="#Restriction"/> <rdfs:range rdf:resource="http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger"/> </rdf:Property> <rdf:Property rdf:ID="hasClassQ"> <rdfs:domain rdf:resource="#Restriction"/> <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> </rdf:Property> <rdf:Property rdf:ID="minCardinalityQ"> <rdfs:domain rdf:resource="#Restriction"/> <rdfs:range rdf:resource="http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger"/> </rdf:Property> <rdf:Property rdf:ID="maxCardinalityQ"> <rdfs:domain rdf:resource="#Restriction"/> <rdfs:range rdf:resource="http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger"/> </rdf:Property> <rdf:Property rdf:ID="cardinalityQ"> <rdfs:domain rdf:resource="#Restriction"/> <rdfs:range rdf:resource="http://www.w3.org/2000/10/XMLSchema#nonNegativeInteger"/> </rdf:Property> <!-- Classes and Properties for different kinds of Property --> <rdfs:Class rdf:ID="ObjectProperty"> <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/> </rdfs:Class> <rdfs:Class rdf:ID="DatatypeProperty"> <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/> </rdfs:Class> <rdf:Property rdf:ID="inverseOf"> <rdfs:domain rdf:resource="#ObjectProperty"/> <rdfs:range rdf:resource="#ObjectProperty"/> </rdf:Property> <rdfs:Class rdf:ID="TransitiveProperty"> <rdfs:subClassOf rdf:resource="#ObjectProperty"/> </rdfs:Class> <rdfs:Class rdf:ID="UniqueProperty"> <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/> </rdfs:Class> <rdfs:Class rdf:ID="UnambiguousProperty"> <rdfs:subClassOf rdf:resource="#ObjectProperty"/> </rdfs:Class> <!-- List terminology. --> <rdfs:Class rdf:ID="List"> <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq"/> </rdfs:Class> <List rdf:ID="nil"> </List> <rdf:Property rdf:ID="first"> <rdfs:domain rdf:resource="#List"/> </rdf:Property> <rdf:Property rdf:ID="rest"> <rdfs:domain rdf:resource="#List"/> <rdfs:range rdf:resource="#List"/> </rdf:Property> <rdf:Property rdf:ID="item"> <rdfs:domain rdf:resource="#List"/> </rdf:Property> <!-- A class for ontologies themselves... --> <rdfs:Class rdf:ID="Ontology"> </rdfs:Class> <rdf:Property rdf:ID="versionInfo"> </rdf:Property> <!-- Importing, i.e. assertion by reference --> <rdf:Property rdf:ID="imports"> </rdf:Property> <!-- Importing terms from RDF/RDFS --> <!-- first, assert the contents of the RDF schema by reference --> <!--Ontology rdf:about=""> <imports rdf:resource="http://www.w3.org/2000/01/rdf-schema"/> </Ontology--> <rdfs:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Resource"> </rdfs:Class> <rdfs:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Class"> <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> </rdfs:Class> <rdf:Property rdf:about="http://www.w3.org/2000/01/rdf-schema#subClassOf"> <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> <rdfs:domain rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> </rdf:Property> <rdf:Property rdf:about="http://www.w3.org/2000/01/rdf-schema#subPropertyOf"> <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/> <rdfs:domain rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/> </rdf:Property> <rdf:Property rdf:about="http://www.w3.org/2000/01/rdf-schema#comment"> <rdfs:domain rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/> </rdf:Property> <rdf:Property rdf:about="http://www.w3.org/2000/01/rdf-schema#label"> <rdfs:domain rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/> </rdf:Property> <rdf:Property rdf:about="http://www.w3.org/2000/01/rdf-schema#domain"> <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> <rdfs:domain rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/> </rdf:Property> <rdf:Property rdf:about="http://www.w3.org/2000/01/rdf-schema#range"> <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> <rdfs:domain rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/> </rdf:Property> <rdf:Property rdf:about="http://www.w3.org/2000/01/rdf-schema#seeAlso"> <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> <rdfs:domain rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> </rdf:Property> <rdf:Property rdf:about="http://www.w3.org/2000/01/rdf-schema#isDefinedBy"> <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#seeAlso"/> <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> <rdfs:domain rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> </rdf:Property> <rdfs:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Literal"> <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> </rdfs:Class> <rdfs:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Container"> <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> </rdfs:Class> <rdfs:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty"> <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/> </rdfs:Class> <rdf:Property rdf:about="http://www.w3.org/2000/01/rdf-schema#member"> <rdfs:domain rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/> </rdf:Property> <rdfs:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Datatype"> <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/> </rdfs:Class> <rdf:Property rdf:ID="subPropertyOf"> <samePropertyAs rdf:resource="http://www.w3.org/2000/01/rdf-schema#subPropertyOf"/> </rdf:Property> <rdfs:Class rdf:ID="Literal"> <sameClassAs rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/> </rdfs:Class> <rdfs:Class rdf:ID="Property"> <sameClassAs rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/> </rdfs:Class> <rdf:Property rdf:ID="type"> <samePropertyAs rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#type"/> </rdf:Property> <rdf:Property rdf:ID="value"> <samePropertyAs rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#value"/> </rdf:Property> <rdf:Property rdf:ID="subClassOf"> <samePropertyAs rdf:resource="http://www.w3.org/2000/01/rdf-schema#subClassOf"/> </rdf:Property> <rdf:Property rdf:ID="domain"> <samePropertyAs rdf:resource="http://www.w3.org/2000/01/rdf-schema#domain"/> </rdf:Property> <rdf:Property rdf:ID="range"> <samePropertyAs rdf:resource="http://www.w3.org/2000/01/rdf-schema#range"/> </rdf:Property> <rdf:Property rdf:ID="label"> <samePropertyAs rdf:resource="http://www.w3.org/2000/01/rdf-schema#label"/> </rdf:Property> <rdf:Property rdf:ID="comment"> <samePropertyAs rdf:resource="http://www.w3.org/2000/01/rdf-schema#comment"/> </rdf:Property> <rdf:Property rdf:ID="seeAlso"> <samePropertyAs rdf:resource="http://www.w3.org/2000/01/rdf-schema#seeAlso"/> </rdf:Property> <rdf:Property rdf:ID="isDefinedBy"> <samePropertyAs rdf:resource="http://www.w3.org/2000/01/rdf-schema#isDefinedBy"/> <rdfs:subPropertyOf rdf:resource="#seeAlso"/> </rdf:Property> </rdf:RDF>
Ms-Dos/Windows
Unix
Write backup
jsp File Browser version 1.2 by
www.vonloesch.de