Adding upstream version 2.0.16.upstream/2.0.16upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 492 insertions, 0 deletions

diff --git a/tests/rdfxml/daml-oil.rdf b/tests/rdfxml/daml-oil.rdf
new file mode 100644
index 0000000..ea2975e
--- /dev/null
+++ b/tests/rdfxml/daml-oil.rdf
@@ -0,0 +1,492 @@
+<!-- $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#"
+>
+
+<rdf:Description rdf:about="">
+  <versionInfo>$Id: daml+oil.daml,v 1.7 2001/06/06 01:38:21 mdean Exp $</versionInfo>
+  <imports rdf:resource="http://www.w3.org/2000/01/rdf-schema"/>
+</rdf:Description>
+
+<!-- (meta) classes of "object" and datatype classes  -->
+
+<rdfs:Class rdf:ID="Class">
+  <rdfs:label>Class</rdfs:label>
+  <rdfs:comment>
+    The class of all "object" classes
+  </rdfs:comment>
+  <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="Datatype">
+  <rdfs:label>Datatype</rdfs:label>
+  <rdfs:comment>
+    The class of all datatype classes
+  </rdfs:comment>
+  <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">
+  <rdfs:label>Thing</rdfs:label>
+  <rdfs:comment>
+    The most general (object) class in DAML.
+    This is equal to the union of any class and its complement.
+  </rdfs:comment>
+  <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>
+  <comment>
+    for equivalentTo(X, Y), read X is an equivalent term to Y.
+  </comment>
+</Property>
+
+<Property rdf:ID="sameClassAs">
+  <rdfs:label>sameClassAs</rdfs:label>
+  <comment>
+    for sameClassAs(X, Y), read X is an equivalent class to Y.
+    cf OIL Equivalent
+  </comment>
+  <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:label>samePropertyAs</rdfs:label>
+  <rdfs:comment>
+    for samePropertyAs(P, R), read P is an equivalent property to R.
+  </rdfs:comment>
+  <rdfs:subPropertyOf rdf:resource="#equivalentTo"/>
+  <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#subPropertyOf"/>
+</Property>
+
+<Property rdf:ID="sameIndividualAs">
+  <rdfs:label>sameIndividualAs</rdfs:label>
+  <rdfs:comment>
+    for sameIndividualAs(a, b), read a is the same individual as b.
+  </rdfs:comment>
+  <rdfs:subPropertyOf rdf:resource="#equivalentTo"/>
+  <rdfs:domain rdf:resource="#Thing"/>
+  <rdfs:range rdf:resource="#Thing"/>
+</Property>
+
+<rdf:Property rdf:ID="disjointWith">
+  <rdfs:label>disjointWith</rdfs:label>
+  <rdfs:comment>
+    for disjointWith(X, Y) read: X and Y have no members in common.
+    cf OIL Disjoint
+  </rdfs:comment>
+  <rdfs:domain rdf:resource="#Class"/>
+  <rdfs:range rdf:resource="#Class"/>
+</rdf:Property>
+
+<Property rdf:ID="differentIndividualFrom">
+  <rdfs:label>differentIndividualFrom</rdfs:label>
+  <rdfs:comment>
+    for differentIndividualFrom(a, b), read a is not the same individual as b.
+  </rdfs:comment>
+  <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:label>unionOf</rdfs:label>
+  <rdfs:comment>
+    for unionOf(X, Y) read: X is the union of the classes in the list Y;
+    i.e. if something is in any of the classes in Y, it's in X, and vice versa.
+    cf OIL OR
+  </rdfs:comment>
+  <rdfs:domain rdf:resource="#Class"/>
+  <rdfs:range rdf:resource="#List"/>
+</rdf:Property>
+
+<rdf:Property rdf:ID="disjointUnionOf">
+  <rdfs:label>disjointUnionOf</rdfs:label>
+  <rdfs:comment>
+    for disjointUnionOf(X, Y) read: X is the disjoint union of the classes in
+    the list Y: (a) for any c1 and c2 in Y, disjointWith(c1, c2),
+    and (b) unionOf(X, Y). i.e. if something is in any of the classes in Y, it's
+    in X, and vice versa.
+    cf OIL disjoint-covered
+  </rdfs:comment>
+  <rdfs:domain rdf:resource="#Class"/>
+  <rdfs:range rdf:resource="#List"/>
+</rdf:Property>
+
+<rdf:Property rdf:ID="intersectionOf">
+  <rdfs:label>intersectionOf</rdfs:label>
+  <rdfs:comment>
+    for intersectionOf(X, Y) read: X is the intersection of the classes in the list Y;
+    i.e. if something is in all the classes in Y, then it's in X, and vice versa.
+    cf OIL AND
+  </rdfs:comment>
+  <rdfs:domain rdf:resource="#Class"/>
+  <rdfs:range rdf:resource="#List"/>
+</rdf:Property>
+
+<rdf:Property rdf:ID="complementOf">
+  <rdfs:label>complementOf</rdfs:label>
+  <rdfs:comment>
+    for complementOf(X, Y) read: X is the complement of Y; if something is in Y,
+    then it's not in X, and vice versa.
+    cf OIL NOT
+  </rdfs:comment>
+  <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:label>oneOf</rdfs:label>
+  <rdfs:comment>
+     for oneOf(C, L) read everything in C is one of the
+     things in L;
+     This lets us define classes by enumerating the members.
+     cf OIL OneOf
+  </rdfs:comment>
+  <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:label>Restriction</rdfs:label>
+  <rdfs:comment>
+    something is in the class R if it satisfies the attached restrictions, 
+    and vice versa.
+  </rdfs:comment>
+  <rdfs:subClassOf rdf:resource="#Class"/>
+</rdfs:Class>
+
+<rdf:Property rdf:ID="onProperty">
+  <rdfs:label>onProperty</rdfs:label>
+  <rdfs:comment>
+    for onProperty(R, P), read:
+    R is a restricted with respect to property P.
+  </rdfs:comment>
+  <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:label>toClass</rdfs:label>
+  <rdfs:comment>
+    for onProperty(R, P) and toClass(R, X), read:
+    i is in class R if and only if for all j, P(i, j) implies type(j, X).
+    cf OIL ValueType
+  </rdfs:comment>
+  <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:label>hasValue</rdfs:label>
+  <rdfs:comment>
+    for onProperty(R, P) and hasValue(R, V), read:
+    i is in class R if and only if P(i, V).
+    cf OIL HasFiller
+  </rdfs:comment>
+  <rdfs:domain rdf:resource="#Restriction"/>
+</rdf:Property>
+
+<rdf:Property rdf:ID="hasClass">
+  <rdfs:label>hasClass</rdfs:label>
+  <rdfs:comment>
+    for onProperty(R, P) and hasClass(R, X), read:
+    i is in class R if and only if for some j, P(i, j) and type(j, X).
+    cf OIL HasValue
+  </rdfs:comment>
+  <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:label>minCardinality</rdfs:label>
+  <rdfs:comment>
+    for onProperty(R, P) and minCardinality(R, n), read:
+    i is in class R if and only if there are at least n distinct j with P(i, j).
+    cf OIL MinCardinality
+  </rdfs:comment>
+  <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:label>maxCardinality</rdfs:label>
+  <rdfs:comment>
+    for onProperty(R, P) and maxCardinality(R, n), read:
+    i is in class R if and only if there are at most n distinct j with P(i, j).
+    cf OIL MaxCardinality
+  </rdfs:comment>
+  <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:label>cardinality</rdfs:label>
+  <rdfs:comment>
+    for onProperty(R, P) and cardinality(R, n), read:
+    i is in class R if and only if there are exactly n distinct j with P(i, j).
+    cf OIL Cardinality
+  </rdfs:comment>
+  <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:label>hasClassQ</rdfs:label>
+  <rdfs:comment>
+    property for specifying class restriction with cardinalityQ constraints
+  </rdfs:comment>
+  <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:label>minCardinality</rdfs:label>
+  <rdfs:comment>
+    for onProperty(R, P), minCardinalityQ(R, n) and hasClassQ(R, X), read:
+    i is in class R if and only if there are at least n distinct j with P(i, j) 
+    and type(j, X).
+    cf OIL MinCardinality
+  </rdfs:comment>
+  <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:label>maxCardinality</rdfs:label>
+  <rdfs:comment>
+    for onProperty(R, P), maxCardinalityQ(R, n) and hasClassQ(R, X), read:
+    i is in class R if and only if there are at most n distinct j with P(i, j)
+    and type(j, X).
+    cf OIL MaxCardinality
+  </rdfs:comment>
+  <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:label>cardinality</rdfs:label>
+  <rdfs:comment>
+    for onProperty(R, P), cardinalityQ(R, n) and hasClassQ(R, X), read:
+    i is in class R if and only if there are exactly n distinct j with P(i, j)
+    and type(j, X).
+    cf OIL Cardinality
+  </rdfs:comment>
+  <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:label>ObjectProperty</rdfs:label>
+  <rdfs:comment>
+    if P is an ObjectProperty, and P(x, y), then y is an object.
+  </rdfs:comment>
+  <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="DatatypeProperty">
+  <rdfs:label>DatatypeProperty</rdfs:label>
+  <rdfs:comment>
+    if P is a DatatypeProperty, and P(x, y), then y is a data value.
+  </rdfs:comment>
+  <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>
+</rdfs:Class>
+
+<rdf:Property rdf:ID="inverseOf">
+  <rdfs:label>inverseOf</rdfs:label>
+  <rdfs:comment>
+    for inverseOf(R, S) read: R is the inverse of S; i.e.
+    if R(x, y) then S(y, x) and vice versa.
+    cf OIL inverseRelationOf
+  </rdfs:comment>
+  <rdfs:domain rdf:resource="#ObjectProperty"/>
+  <rdfs:range rdf:resource="#ObjectProperty"/>
+</rdf:Property>
+
+<rdfs:Class rdf:ID="TransitiveProperty">
+  <rdfs:label>TransitiveProperty</rdfs:label>
+  <rdfs:comment>
+    if P is a TransitiveProperty, then if P(x, y) and P(y, z) then P(x, z).
+    cf OIL TransitiveProperty.
+  </rdfs:comment>
+  <rdfs:subClassOf rdf:resource="#ObjectProperty"/>
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="UniqueProperty">
+  <rdfs:label>UniqueProperty</rdfs:label>
+  <rdfs:comment>
+    compare with maxCardinality=1; e.g. integer successor:
+    if P is a UniqueProperty, then if P(x, y) and P(x, z) then y=z.
+    cf OIL FunctionalProperty.
+  </rdfs:comment>
+  <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>
+</rdfs:Class>
+
+<rdfs:Class rdf:ID="UnambiguousProperty">
+  <rdfs:label>UnambiguousProperty</rdfs:label>
+  <rdfs:comment>
+    if P is an UnambiguousProperty, then if P(x, y) and P(z, y) then x=z.
+    aka injective. e.g. if firstBorne(m, Susan)
+    and firstBorne(n, Susan) then m and n are the same.
+  </rdfs:comment>
+  <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">
+  <rdfs:comment>
+     the empty list; this used to be called Empty.
+  </rdfs:comment>
+</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:comment>
+    for item(L, I) read: I is an item in L; either first(L, I)
+    or item(R, I) where rest(L, R).
+  </rdfs:comment>
+  <rdfs:domain rdf:resource="#List"/>
+</rdf:Property>
+
+<!-- A class for ontologies themselves... -->
+
+<rdfs:Class rdf:ID="Ontology">
+  <rdfs:label>Ontology</rdfs:label>
+  <rdfs:comment>
+    An Ontology is a document that describes
+    a vocabulary of terms for communication between
+    (human and) automated agents.
+  </rdfs:comment>
+</rdfs:Class>
+
+<rdf:Property rdf:ID="versionInfo">
+  <rdfs:label>versionInfo</rdfs:label>
+  <rdfs:comment>
+    generally, a string giving information about this
+    version; e.g. RCS/CVS keywords
+  </rdfs:comment>
+</rdf:Property>
+
+<!-- Importing, i.e. assertion by reference -->
+
+<rdf:Property rdf:ID="imports">
+  <rdfs:label>imports</rdfs:label>
+  <rdfs:comment>
+    for imports(X, Y) read: X imports Y;
+    i.e. X asserts the* contents of Y by reference;
+    i.e. if imports(X, Y) and you believe X and Y says something,
+    then you should believe it.
+    Note: "the contents" is, in the general case,
+    an il-formed definite description. Different
+    interactions with a resource may expose contents
+    that vary with time, data format, preferred language,
+    requestor credentials, etc. So for "the contents",
+    read "any contents".
+  </rdfs:comment>
+</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>
+
+<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>