http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/rdfs/result19.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/rdfs/result19.rdf b/jena-core/testing/reasoners/rdfs/result19.rdf index f05dba9..3756ce0 100644 --- a/jena-core/testing/reasoners/rdfs/result19.rdf +++ b/jena-core/testing/reasoners/rdfs/result19.rdf @@ -1,231 +1,231 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> - <!ENTITY drdfs 'urn:x-hp-direct-predicate:http_//www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns:drdfs="&drdfs;" xmlns="⪚"> - - <rdfs:Resource rdf:about="⪚a" /> - <rdfs:Resource rdf:about="⪚b" /> - <rdfs:Resource rdf:about="⪚c" /> - <rdfs:Resource rdf:about="⪚d" /> - <rdfs:Resource rdf:about="⪚p" /> - <rdfs:Resource rdf:about="⪚q" /> - <rdfs:Resource rdf:about="⪚r" /> - <rdfs:Resource rdf:about="⪚C1" /> - <rdfs:Resource rdf:about="⪚C2" /> - <rdfs:Resource rdf:about="⪚C3" /> - <rdfs:Resource rdf:about="⪚D" /> - <rdfs:Resource rdf:about="⪚fubar" /> - - <rdfs:Resource rdf:about="&rdf;type" /> - <rdfs:Resource rdf:about="&rdf;Statement" /> - <rdfs:Resource rdf:about="&rdf;nil" /> - <rdfs:Resource rdf:about="&rdf;XMLLiteral" /> - <rdfs:Resource rdf:about="&rdf;List" /> - <rdfs:Resource rdf:about="&rdf;Property" /> - <rdfs:Resource rdf:about="&rdf;subject" /> - <rdfs:Resource rdf:about="&rdf;predicate" /> - <rdfs:Resource rdf:about="&rdf;object" /> - <rdfs:Resource rdf:about="&rdf;first" /> - <rdfs:Resource rdf:about="&rdf;rest" /> - - <rdfs:Resource rdf:about="&rdfs;Resource" /> - <rdfs:Resource rdf:about="&rdfs;Literal" /> - <rdfs:Resource rdf:about="&rdfs;Class" /> - <rdfs:Resource rdf:about="&rdfs;Datatype" /> - <rdfs:Resource rdf:about="&rdfs;range" /> - <rdfs:Resource rdf:about="&rdfs;domain" /> - <rdfs:Resource rdf:about="&rdfs;subPropertyOf" /> - <rdfs:Resource rdf:about="&rdfs;subClassOf" /> - - <rdf:Property rdf:about="⪚p" /> - <rdf:Property rdf:about="⪚q" /> - <rdf:Property rdf:about="⪚r" /> - <rdf:Property rdf:about="⪚fubar" /> - - <rdf:Property rdf:about="&rdf;subject" /> - <rdf:Property rdf:about="&rdf;predicate" /> - <rdf:Property rdf:about="&rdf;object" /> - <rdf:Property rdf:about="&rdf;first" /> - <rdf:Property rdf:about="&rdf;rest" /> - <rdf:Property rdf:about="&rdf;type" /> - - <rdf:Property rdf:about="&rdfs;range" /> - <rdf:Property rdf:about="&rdfs;domain" /> - <rdf:Property rdf:about="&rdfs;subPropertyOf" /> - <rdf:Property rdf:about="&rdfs;subClassOf" /> - - <rdfs:Class rdf:about="⪚D" /> - <rdfs:Class rdf:about="⪚C1" /> - <rdfs:Class rdf:about="⪚C2" /> - <rdfs:Class rdf:about="⪚C3" /> - - <rdfs:Class rdf:about="&rdfs;Resource" /> - <rdfs:Class rdf:about="&rdf;Property" /> - <rdfs:Class rdf:about="&rdf;List" /> - <rdfs:Class rdf:about="&rdfs;Class" /> - <rdfs:Class rdf:about="&rdfs;Datatype" /> - <rdfs:Class rdf:about="&rdfs;Literal" /> - <rdfs:Class rdf:about="&rdf;Statement" /> - - <D rdf:about="⪚a" /> - <D rdf:about="⪚c" /> - - <C3 rdf:about="⪚b" /> - <C2 rdf:about="⪚b" /> - <C1 rdf:about="⪚b" /> - - <C3 rdf:about="⪚d" /> - <C2 rdf:about="⪚d" /> - <C1 rdf:about="⪚d" /> - - <rdfs:Datatype rdf:about="&rdf;XMLLiteral" /> - <rdf:List rdf:about="&rdf;nil" /> - - <rdf:Description rdf:about="⪚p"> - <rdfs:subPropertyOf rdf:resource="⪚q"/> - <rdfs:subPropertyOf rdf:resource="⪚r"/> - <rdfs:subPropertyOf rdf:resource="⪚p"/> - <drdfs:subPropertyOf rdf:resource="⪚p" /> - <drdfs:subPropertyOf rdf:resource="⪚q" /> - </rdf:Description> - - <rdf:Description rdf:about="⪚q"> - <rdfs:subPropertyOf rdf:resource="⪚r"/> - <rdfs:subPropertyOf rdf:resource="⪚q"/> - <drdfs:subPropertyOf rdf:resource="⪚q" /> - <drdfs:subPropertyOf rdf:resource="⪚r" /> - </rdf:Description> - - <rdf:Description rdf:about="⪚r"> - <rdfs:range rdf:resource="⪚C1"/> - <rdfs:domain rdf:resource="⪚D"/> - <rdfs:subPropertyOf rdf:resource="⪚r"/> - <drdfs:subPropertyOf rdf:resource="⪚r" /> - </rdf:Description> - - <rdf:Description rdf:about="⪚fubar"> - <rdfs:subPropertyOf rdf:resource="⪚fubar"/> - <drdfs:subPropertyOf rdf:resource="⪚fubar" /> - </rdf:Description> - - <rdf:Description rdf:about="⪚C1"> - <rdfs:subClassOf rdf:resource="⪚C2"/> - <rdfs:subClassOf rdf:resource="⪚C3"/> - <rdfs:subClassOf rdf:resource="⪚C1"/> - <rdfs:subClassOf rdf:resource="&rdfs;Resource" /> - <drdfs:subClassOf rdf:resource="⪚C1" /> - <drdfs:subClassOf rdf:resource="⪚C2" /> - </rdf:Description> - - <rdf:Description rdf:about="⪚C2"> - <rdfs:subClassOf rdf:resource="⪚C3"/> - <rdfs:subClassOf rdf:resource="⪚C2"/> - <drdfs:subClassOf rdf:resource="⪚C2" /> - <drdfs:subClassOf rdf:resource="⪚C3" /> - </rdf:Description> - - <rdf:Description rdf:about="⪚C3"> - <rdfs:subClassOf rdf:resource="⪚C3"/> - <drdfs:subClassOf rdf:resource="⪚C3" /> - </rdf:Description> - - <rdf:Description rdf:about="⪚a"> - <p rdf:resource="⪚b"/> - <q rdf:resource="⪚b"/> - <r rdf:resource="⪚b"/> - <fubar>Hello world</fubar> - </rdf:Description> - - <rdf:Description rdf:about="⪚c"> - <p rdf:resource="⪚d"/> - <q rdf:resource="⪚d"/> - <r rdf:resource="⪚d"/> - </rdf:Description> - - <rdf:Description rdf:about="&rdfs;subPropertyOf"> - <rdfs:domain rdf:resource="&rdf;Property" /> - <rdfs:range rdf:resource="&rdf;Property" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdfs;subClassOf"> - <rdfs:domain rdf:resource="&rdfs;Class" /> - <rdfs:range rdf:resource="&rdfs;Class" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdf;type"> - <rdfs:range rdf:resource="&rdfs;Class" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdfs;subPropertyOf"> - <rdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf" /> - <drdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdfs;subClassOf"> - <rdfs:subPropertyOf rdf:resource="&rdfs;subClassOf" /> - <drdfs:subPropertyOf rdf:resource="&rdfs;subClassOf" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdf;subject"> - <rdfs:subPropertyOf rdf:resource="&rdf;subject" /> - <drdfs:subPropertyOf rdf:resource="&rdf;subject" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdf;predicate"> - <rdfs:subPropertyOf rdf:resource="&rdf;predicate" /> - <drdfs:subPropertyOf rdf:resource="&rdf;predicate" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdf;object"> - <rdfs:subPropertyOf rdf:resource="&rdf;object" /> - <drdfs:subPropertyOf rdf:resource="&rdf;object" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdf;first"> - <rdfs:subPropertyOf rdf:resource="&rdf;first" /> - <drdfs:subPropertyOf rdf:resource="&rdf;first" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdf;rest"> - <rdfs:subPropertyOf rdf:resource="&rdf;rest" /> - <drdfs:subPropertyOf rdf:resource="&rdf;rest" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdf;type"> - <rdfs:subPropertyOf rdf:resource="&rdf;type" /> - <drdfs:subPropertyOf rdf:resource="&rdf;type" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdfs;range"> - <rdfs:subPropertyOf rdf:resource="&rdfs;range" /> - <drdfs:subPropertyOf rdf:resource="&rdfs;range" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdfs;domain"> - <rdfs:subPropertyOf rdf:resource="&rdfs;domain" /> - <drdfs:subPropertyOf rdf:resource="&rdfs;domain" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdfs;Literal"> - <rdfs:subClassOf rdf:resource="&rdfs;Literal" /> - <rdfs:subClassOf rdf:resource="&rdfs;Resource" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdf;Statement"> - <rdfs:subClassOf rdf:resource="&rdf;Statement" /> - <rdfs:subClassOf rdf:resource="&rdfs;Resource" /> - </rdf:Description> - - <rdf:Description rdf:about="&rdfs;Resource"> - <rdfs:subClassOf rdf:resource="&rdfs;Resource" /> - </rdf:Description> - - - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> + <!ENTITY drdfs 'urn:x-hp-direct-predicate:http_//www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns:drdfs="&drdfs;" xmlns="⪚"> + + <rdfs:Resource rdf:about="⪚a" /> + <rdfs:Resource rdf:about="⪚b" /> + <rdfs:Resource rdf:about="⪚c" /> + <rdfs:Resource rdf:about="⪚d" /> + <rdfs:Resource rdf:about="⪚p" /> + <rdfs:Resource rdf:about="⪚q" /> + <rdfs:Resource rdf:about="⪚r" /> + <rdfs:Resource rdf:about="⪚C1" /> + <rdfs:Resource rdf:about="⪚C2" /> + <rdfs:Resource rdf:about="⪚C3" /> + <rdfs:Resource rdf:about="⪚D" /> + <rdfs:Resource rdf:about="⪚fubar" /> + + <rdfs:Resource rdf:about="&rdf;type" /> + <rdfs:Resource rdf:about="&rdf;Statement" /> + <rdfs:Resource rdf:about="&rdf;nil" /> + <rdfs:Resource rdf:about="&rdf;XMLLiteral" /> + <rdfs:Resource rdf:about="&rdf;List" /> + <rdfs:Resource rdf:about="&rdf;Property" /> + <rdfs:Resource rdf:about="&rdf;subject" /> + <rdfs:Resource rdf:about="&rdf;predicate" /> + <rdfs:Resource rdf:about="&rdf;object" /> + <rdfs:Resource rdf:about="&rdf;first" /> + <rdfs:Resource rdf:about="&rdf;rest" /> + + <rdfs:Resource rdf:about="&rdfs;Resource" /> + <rdfs:Resource rdf:about="&rdfs;Literal" /> + <rdfs:Resource rdf:about="&rdfs;Class" /> + <rdfs:Resource rdf:about="&rdfs;Datatype" /> + <rdfs:Resource rdf:about="&rdfs;range" /> + <rdfs:Resource rdf:about="&rdfs;domain" /> + <rdfs:Resource rdf:about="&rdfs;subPropertyOf" /> + <rdfs:Resource rdf:about="&rdfs;subClassOf" /> + + <rdf:Property rdf:about="⪚p" /> + <rdf:Property rdf:about="⪚q" /> + <rdf:Property rdf:about="⪚r" /> + <rdf:Property rdf:about="⪚fubar" /> + + <rdf:Property rdf:about="&rdf;subject" /> + <rdf:Property rdf:about="&rdf;predicate" /> + <rdf:Property rdf:about="&rdf;object" /> + <rdf:Property rdf:about="&rdf;first" /> + <rdf:Property rdf:about="&rdf;rest" /> + <rdf:Property rdf:about="&rdf;type" /> + + <rdf:Property rdf:about="&rdfs;range" /> + <rdf:Property rdf:about="&rdfs;domain" /> + <rdf:Property rdf:about="&rdfs;subPropertyOf" /> + <rdf:Property rdf:about="&rdfs;subClassOf" /> + + <rdfs:Class rdf:about="⪚D" /> + <rdfs:Class rdf:about="⪚C1" /> + <rdfs:Class rdf:about="⪚C2" /> + <rdfs:Class rdf:about="⪚C3" /> + + <rdfs:Class rdf:about="&rdfs;Resource" /> + <rdfs:Class rdf:about="&rdf;Property" /> + <rdfs:Class rdf:about="&rdf;List" /> + <rdfs:Class rdf:about="&rdfs;Class" /> + <rdfs:Class rdf:about="&rdfs;Datatype" /> + <rdfs:Class rdf:about="&rdfs;Literal" /> + <rdfs:Class rdf:about="&rdf;Statement" /> + + <D rdf:about="⪚a" /> + <D rdf:about="⪚c" /> + + <C3 rdf:about="⪚b" /> + <C2 rdf:about="⪚b" /> + <C1 rdf:about="⪚b" /> + + <C3 rdf:about="⪚d" /> + <C2 rdf:about="⪚d" /> + <C1 rdf:about="⪚d" /> + + <rdfs:Datatype rdf:about="&rdf;XMLLiteral" /> + <rdf:List rdf:about="&rdf;nil" /> + + <rdf:Description rdf:about="⪚p"> + <rdfs:subPropertyOf rdf:resource="⪚q"/> + <rdfs:subPropertyOf rdf:resource="⪚r"/> + <rdfs:subPropertyOf rdf:resource="⪚p"/> + <drdfs:subPropertyOf rdf:resource="⪚p" /> + <drdfs:subPropertyOf rdf:resource="⪚q" /> + </rdf:Description> + + <rdf:Description rdf:about="⪚q"> + <rdfs:subPropertyOf rdf:resource="⪚r"/> + <rdfs:subPropertyOf rdf:resource="⪚q"/> + <drdfs:subPropertyOf rdf:resource="⪚q" /> + <drdfs:subPropertyOf rdf:resource="⪚r" /> + </rdf:Description> + + <rdf:Description rdf:about="⪚r"> + <rdfs:range rdf:resource="⪚C1"/> + <rdfs:domain rdf:resource="⪚D"/> + <rdfs:subPropertyOf rdf:resource="⪚r"/> + <drdfs:subPropertyOf rdf:resource="⪚r" /> + </rdf:Description> + + <rdf:Description rdf:about="⪚fubar"> + <rdfs:subPropertyOf rdf:resource="⪚fubar"/> + <drdfs:subPropertyOf rdf:resource="⪚fubar" /> + </rdf:Description> + + <rdf:Description rdf:about="⪚C1"> + <rdfs:subClassOf rdf:resource="⪚C2"/> + <rdfs:subClassOf rdf:resource="⪚C3"/> + <rdfs:subClassOf rdf:resource="⪚C1"/> + <rdfs:subClassOf rdf:resource="&rdfs;Resource" /> + <drdfs:subClassOf rdf:resource="⪚C1" /> + <drdfs:subClassOf rdf:resource="⪚C2" /> + </rdf:Description> + + <rdf:Description rdf:about="⪚C2"> + <rdfs:subClassOf rdf:resource="⪚C3"/> + <rdfs:subClassOf rdf:resource="⪚C2"/> + <drdfs:subClassOf rdf:resource="⪚C2" /> + <drdfs:subClassOf rdf:resource="⪚C3" /> + </rdf:Description> + + <rdf:Description rdf:about="⪚C3"> + <rdfs:subClassOf rdf:resource="⪚C3"/> + <drdfs:subClassOf rdf:resource="⪚C3" /> + </rdf:Description> + + <rdf:Description rdf:about="⪚a"> + <p rdf:resource="⪚b"/> + <q rdf:resource="⪚b"/> + <r rdf:resource="⪚b"/> + <fubar>Hello world</fubar> + </rdf:Description> + + <rdf:Description rdf:about="⪚c"> + <p rdf:resource="⪚d"/> + <q rdf:resource="⪚d"/> + <r rdf:resource="⪚d"/> + </rdf:Description> + + <rdf:Description rdf:about="&rdfs;subPropertyOf"> + <rdfs:domain rdf:resource="&rdf;Property" /> + <rdfs:range rdf:resource="&rdf;Property" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdfs;subClassOf"> + <rdfs:domain rdf:resource="&rdfs;Class" /> + <rdfs:range rdf:resource="&rdfs;Class" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdf;type"> + <rdfs:range rdf:resource="&rdfs;Class" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdfs;subPropertyOf"> + <rdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf" /> + <drdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdfs;subClassOf"> + <rdfs:subPropertyOf rdf:resource="&rdfs;subClassOf" /> + <drdfs:subPropertyOf rdf:resource="&rdfs;subClassOf" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdf;subject"> + <rdfs:subPropertyOf rdf:resource="&rdf;subject" /> + <drdfs:subPropertyOf rdf:resource="&rdf;subject" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdf;predicate"> + <rdfs:subPropertyOf rdf:resource="&rdf;predicate" /> + <drdfs:subPropertyOf rdf:resource="&rdf;predicate" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdf;object"> + <rdfs:subPropertyOf rdf:resource="&rdf;object" /> + <drdfs:subPropertyOf rdf:resource="&rdf;object" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdf;first"> + <rdfs:subPropertyOf rdf:resource="&rdf;first" /> + <drdfs:subPropertyOf rdf:resource="&rdf;first" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdf;rest"> + <rdfs:subPropertyOf rdf:resource="&rdf;rest" /> + <drdfs:subPropertyOf rdf:resource="&rdf;rest" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdf;type"> + <rdfs:subPropertyOf rdf:resource="&rdf;type" /> + <drdfs:subPropertyOf rdf:resource="&rdf;type" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdfs;range"> + <rdfs:subPropertyOf rdf:resource="&rdfs;range" /> + <drdfs:subPropertyOf rdf:resource="&rdfs;range" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdfs;domain"> + <rdfs:subPropertyOf rdf:resource="&rdfs;domain" /> + <drdfs:subPropertyOf rdf:resource="&rdfs;domain" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdfs;Literal"> + <rdfs:subClassOf rdf:resource="&rdfs;Literal" /> + <rdfs:subClassOf rdf:resource="&rdfs;Resource" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdf;Statement"> + <rdfs:subClassOf rdf:resource="&rdf;Statement" /> + <rdfs:subClassOf rdf:resource="&rdfs;Resource" /> + </rdf:Description> + + <rdf:Description rdf:about="&rdfs;Resource"> + <rdfs:subClassOf rdf:resource="&rdfs;Resource" /> + </rdf:Description> + + + +</rdf:RDF>
http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/rdfs/result2.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/rdfs/result2.rdf b/jena-core/testing/reasoners/rdfs/result2.rdf index 38c2612..78a9e8f 100644 --- a/jena-core/testing/reasoners/rdfs/result2.rdf +++ b/jena-core/testing/reasoners/rdfs/result2.rdf @@ -1,13 +1,13 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> - - <C1 rdf:about="⪚b" /> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> + + <C1 rdf:about="⪚b" /> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/rdfs/result20-nodirect.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/rdfs/result20-nodirect.rdf b/jena-core/testing/reasoners/rdfs/result20-nodirect.rdf index e578456..47da074 100755 --- a/jena-core/testing/reasoners/rdfs/result20-nodirect.rdf +++ b/jena-core/testing/reasoners/rdfs/result20-nodirect.rdf @@ -1,21 +1,21 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚C1"> - <rdf:type rdf:resource="&rdfs;Class" /> - <rdf:type rdf:resource="&rdfs;Resource" /> - <rdfs:subClassOf rdf:resource="&rdfs;Resource"/> - <rdfs:subClassOf rdf:resource="⪚C2"/> - <rdfs:subClassOf rdf:resource="⪚C3"/> - <rdfs:subClassOf rdf:resource="⪚C1"/> - </rdf:Description> - - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚C1"> + <rdf:type rdf:resource="&rdfs;Class" /> + <rdf:type rdf:resource="&rdfs;Resource" /> + <rdfs:subClassOf rdf:resource="&rdfs;Resource"/> + <rdfs:subClassOf rdf:resource="⪚C2"/> + <rdfs:subClassOf rdf:resource="⪚C3"/> + <rdfs:subClassOf rdf:resource="⪚C1"/> + </rdf:Description> + + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/rdfs/result20.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/rdfs/result20.rdf b/jena-core/testing/reasoners/rdfs/result20.rdf index eb5115b..553028c 100644 --- a/jena-core/testing/reasoners/rdfs/result20.rdf +++ b/jena-core/testing/reasoners/rdfs/result20.rdf @@ -1,24 +1,24 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> - <!ENTITY drdfs 'urn:x-hp-direct-predicate:http_//www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns:drdfs="&drdfs;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚C1"> - <rdf:type rdf:resource="&rdfs;Class" /> - <rdf:type rdf:resource="&rdfs;Resource" /> - <rdfs:subClassOf rdf:resource="&rdfs;Resource"/> - <rdfs:subClassOf rdf:resource="⪚C2"/> - <rdfs:subClassOf rdf:resource="⪚C3"/> - <rdfs:subClassOf rdf:resource="⪚C1"/> - <drdfs:subClassOf rdf:resource="⪚C1" /> - <drdfs:subClassOf rdf:resource="⪚C2" /> - </rdf:Description> - - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> + <!ENTITY drdfs 'urn:x-hp-direct-predicate:http_//www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns:drdfs="&drdfs;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚C1"> + <rdf:type rdf:resource="&rdfs;Class" /> + <rdf:type rdf:resource="&rdfs;Resource" /> + <rdfs:subClassOf rdf:resource="&rdfs;Resource"/> + <rdfs:subClassOf rdf:resource="⪚C2"/> + <rdfs:subClassOf rdf:resource="⪚C3"/> + <rdfs:subClassOf rdf:resource="⪚C1"/> + <drdfs:subClassOf rdf:resource="⪚C1" /> + <drdfs:subClassOf rdf:resource="⪚C2" /> + </rdf:Description> + + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/rdfs/result3.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/rdfs/result3.rdf b/jena-core/testing/reasoners/rdfs/result3.rdf index 2c0f2a0..3e38e69 100644 --- a/jena-core/testing/reasoners/rdfs/result3.rdf +++ b/jena-core/testing/reasoners/rdfs/result3.rdf @@ -1,19 +1,19 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚a"> - <r rdf:resource="⪚b"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚c"> - <r rdf:resource="⪚d"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚a"> + <r rdf:resource="⪚b"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚c"> + <r rdf:resource="⪚d"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/rdfs/result4.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/rdfs/result4.rdf b/jena-core/testing/reasoners/rdfs/result4.rdf index 6e48a29..ccf08b6 100644 --- a/jena-core/testing/reasoners/rdfs/result4.rdf +++ b/jena-core/testing/reasoners/rdfs/result4.rdf @@ -1,17 +1,17 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚a"> - <r rdf:resource="⪚b"/> - </rdf:Description> - - - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚a"> + <r rdf:resource="⪚b"/> + </rdf:Description> + + + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/rdfs/result7.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/rdfs/result7.rdf b/jena-core/testing/reasoners/rdfs/result7.rdf index 25a7311..e5e30d8 100644 --- a/jena-core/testing/reasoners/rdfs/result7.rdf +++ b/jena-core/testing/reasoners/rdfs/result7.rdf @@ -1,13 +1,13 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> - - <D rdf:about="⪚a" /> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> + + <D rdf:about="⪚a" /> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/rdfs/result8.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/rdfs/result8.rdf b/jena-core/testing/reasoners/rdfs/result8.rdf index 68c8175..a67d2b1 100644 --- a/jena-core/testing/reasoners/rdfs/result8.rdf +++ b/jena-core/testing/reasoners/rdfs/result8.rdf @@ -1,14 +1,14 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> - - <D rdf:about="⪚a" /> - <D rdf:about="⪚c" /> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> + + <D rdf:about="⪚a" /> + <D rdf:about="⪚c" /> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/rdfs/result9.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/rdfs/result9.rdf b/jena-core/testing/reasoners/rdfs/result9.rdf index f7aff07..c911423 100644 --- a/jena-core/testing/reasoners/rdfs/result9.rdf +++ b/jena-core/testing/reasoners/rdfs/result9.rdf @@ -1,13 +1,13 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> - - <C3 rdf:about="⪚b" /> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdfs="&rdfs;" xmlns:rdf="&rdf;" xmlns="⪚"> + + <C3 rdf:about="⪚b" /> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/rdfs/tbox1.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/rdfs/tbox1.rdf b/jena-core/testing/reasoners/rdfs/tbox1.rdf index 29ce4f2..5de6cd0 100644 --- a/jena-core/testing/reasoners/rdfs/tbox1.rdf +++ b/jena-core/testing/reasoners/rdfs/tbox1.rdf @@ -1,32 +1,32 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚p"> - <rdfs:subPropertyOf rdf:resource="⪚q"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚q"> - <rdfs:subPropertyOf rdf:resource="⪚r"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚r"> - <rdfs:range rdf:resource="⪚C1"/> - <rdfs:domain rdf:resource="⪚D"/> - </rdf:Description> - - <rdfs:Class rdf:about="⪚C1"> - <rdfs:subClassOf rdf:resource="⪚C2"/> - </rdfs:Class> - - <rdf:Description rdf:about="⪚C2"> - <rdfs:subClassOf rdf:resource="⪚C3"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚p"> + <rdfs:subPropertyOf rdf:resource="⪚q"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚q"> + <rdfs:subPropertyOf rdf:resource="⪚r"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚r"> + <rdfs:range rdf:resource="⪚C1"/> + <rdfs:domain rdf:resource="⪚D"/> + </rdf:Description> + + <rdfs:Class rdf:about="⪚C1"> + <rdfs:subClassOf rdf:resource="⪚C2"/> + </rdfs:Class> + + <rdf:Description rdf:about="⪚C2"> + <rdfs:subClassOf rdf:resource="⪚C3"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/rdfs/timing-data.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/rdfs/timing-data.rdf b/jena-core/testing/reasoners/rdfs/timing-data.rdf index f0af97c..8791a01 100644 --- a/jena-core/testing/reasoners/rdfs/timing-data.rdf +++ b/jena-core/testing/reasoners/rdfs/timing-data.rdf @@ -1,54 +1,54 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚i1"> - <r>foo</r> - </rdf:Description> - - <rdf:Description rdf:about="⪚i2"> - <r>foo</r> - </rdf:Description> - - <rdf:Description rdf:about="⪚i3"> - <r>foo</r> - </rdf:Description> - - <rdf:Description rdf:about="⪚i4"> - <r>foo</r> - </rdf:Description> - - <rdf:Description rdf:about="⪚i5"> - <r>foo</r> - </rdf:Description> - - <rdf:Description rdf:about="⪚i6"> - <r>foo</r> - </rdf:Description> - - <rdf:Description rdf:about="⪚i7"> - <r>foo</r> - </rdf:Description> - - <rdf:Description rdf:about="⪚i8"> - <r>foo</r> - </rdf:Description> - - <rdf:Description rdf:about="⪚i9"> - <r>foo</r> - </rdf:Description> - - <rdf:Description rdf:about="⪚i10"> - <r>foo</r> - </rdf:Description> - - <rdf:Description rdf:about="⪚i11"> - <r>foo</r> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚i1"> + <r>foo</r> + </rdf:Description> + + <rdf:Description rdf:about="⪚i2"> + <r>foo</r> + </rdf:Description> + + <rdf:Description rdf:about="⪚i3"> + <r>foo</r> + </rdf:Description> + + <rdf:Description rdf:about="⪚i4"> + <r>foo</r> + </rdf:Description> + + <rdf:Description rdf:about="⪚i5"> + <r>foo</r> + </rdf:Description> + + <rdf:Description rdf:about="⪚i6"> + <r>foo</r> + </rdf:Description> + + <rdf:Description rdf:about="⪚i7"> + <r>foo</r> + </rdf:Description> + + <rdf:Description rdf:about="⪚i8"> + <r>foo</r> + </rdf:Description> + + <rdf:Description rdf:about="⪚i9"> + <r>foo</r> + </rdf:Description> + + <rdf:Description rdf:about="⪚i10"> + <r>foo</r> + </rdf:Description> + + <rdf:Description rdf:about="⪚i11"> + <r>foo</r> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/rdfs/timing-tbox.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/rdfs/timing-tbox.rdf b/jena-core/testing/reasoners/rdfs/timing-tbox.rdf index 839ec5c..1d74e04 100644 --- a/jena-core/testing/reasoners/rdfs/timing-tbox.rdf +++ b/jena-core/testing/reasoners/rdfs/timing-tbox.rdf @@ -1,39 +1,39 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚r"> - <rdfs:subPropertyOf rdf:resource="⪚q"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚q"> - <rdfs:subPropertyOf rdf:resource="⪚p"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚p"> - <rdfs:domain rdf:resource="⪚C5"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚C4"> - <rdfs:subClassOf rdf:resource="⪚C3"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚C5"> - <rdfs:subClassOf rdf:resource="⪚C3"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚C3"> - <rdfs:subClassOf rdf:resource="⪚C2"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚C2"> - <rdfs:subClassOf rdf:resource="⪚C1"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚r"> + <rdfs:subPropertyOf rdf:resource="⪚q"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚q"> + <rdfs:subPropertyOf rdf:resource="⪚p"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚p"> + <rdfs:domain rdf:resource="⪚C5"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚C4"> + <rdfs:subClassOf rdf:resource="⪚C3"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚C5"> + <rdfs:subClassOf rdf:resource="⪚C3"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚C3"> + <rdfs:subClassOf rdf:resource="⪚C2"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚C2"> + <rdfs:subClassOf rdf:resource="⪚C1"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/ruleParserTest1.rules ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/ruleParserTest1.rules b/jena-core/testing/reasoners/ruleParserTest1.rules index d1801ff..411693a 100644 --- a/jena-core/testing/reasoners/ruleParserTest1.rules +++ b/jena-core/testing/reasoners/ruleParserTest1.rules @@ -1,13 +1,13 @@ -// Test the @prefix and @include operations - -@prefix p1: <http://jena.hpl.hp.com/newprefix#> -@prefix p2: <http://jena.hpl.hp.com/newprefix2#>. - --> (p1:A p2:p p1:foo). - -@include <RDFS>. - --> (p1:A rdfs:subClassOf p1:B). --> (p1:B rdfs:subClassOf p1:C). - +// Test the @prefix and @include operations + +@prefix p1: <http://jena.hpl.hp.com/newprefix#> +@prefix p2: <http://jena.hpl.hp.com/newprefix2#>. + +-> (p1:A p2:p p1:foo). + +@include <RDFS>. + +-> (p1:A rdfs:subClassOf p1:B). +-> (p1:B rdfs:subClassOf p1:C). + @include <file:testing/reasoners/include.rules>. \ No newline at end of file http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/data1.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/data1.rdf b/jena-core/testing/reasoners/transitive/data1.rdf index 76df046..5d62aa7 100644 --- a/jena-core/testing/reasoners/transitive/data1.rdf +++ b/jena-core/testing/reasoners/transitive/data1.rdf @@ -1,25 +1,25 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚a"> - <p rdf:resource="⪚b"/> - <rdf:type rdf:resource="⪚C1"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚b"> - <p rdf:resource="⪚c"/> - <rdf:type rdf:resource="⪚C2"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚c"> - <p rdf:resource="⪚d"/> - <rdf:type rdf:resource="⪚C3"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚a"> + <p rdf:resource="⪚b"/> + <rdf:type rdf:resource="⪚C1"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚b"> + <p rdf:resource="⪚c"/> + <rdf:type rdf:resource="⪚C2"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚c"> + <p rdf:resource="⪚d"/> + <rdf:type rdf:resource="⪚C3"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/data2.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/data2.rdf b/jena-core/testing/reasoners/transitive/data2.rdf index 8f4c6f2..4bfa5d9 100644 --- a/jena-core/testing/reasoners/transitive/data2.rdf +++ b/jena-core/testing/reasoners/transitive/data2.rdf @@ -1,20 +1,20 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚a"> - <p rdf:resource="⪚b"/> - <rdf:type rdf:resource="⪚C1"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚b"> - <p rdf:resource="⪚c"/> - <rdf:type rdf:resource="⪚C2"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚a"> + <p rdf:resource="⪚b"/> + <rdf:type rdf:resource="⪚C1"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚b"> + <p rdf:resource="⪚c"/> + <rdf:type rdf:resource="⪚C2"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/data3.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/data3.rdf b/jena-core/testing/reasoners/transitive/data3.rdf index b759bc8..3eca49e 100644 --- a/jena-core/testing/reasoners/transitive/data3.rdf +++ b/jena-core/testing/reasoners/transitive/data3.rdf @@ -1,15 +1,15 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚c"> - <p rdf:resource="⪚d"/> - <rdf:type rdf:resource="⪚C3"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚c"> + <p rdf:resource="⪚d"/> + <rdf:type rdf:resource="⪚C3"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/data6.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/data6.rdf b/jena-core/testing/reasoners/transitive/data6.rdf index fa7bce9..65c8724 100644 --- a/jena-core/testing/reasoners/transitive/data6.rdf +++ b/jena-core/testing/reasoners/transitive/data6.rdf @@ -1,15 +1,15 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚p"> - <rdfs:subPropertyOf rdf:resource="⪚z"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚p"> + <rdfs:subPropertyOf rdf:resource="⪚z"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/data8.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/data8.rdf b/jena-core/testing/reasoners/transitive/data8.rdf index 1bbc8dd..d243ae4 100644 --- a/jena-core/testing/reasoners/transitive/data8.rdf +++ b/jena-core/testing/reasoners/transitive/data8.rdf @@ -1,37 +1,37 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚a"> - <p rdf:resource="⪚b"/> - <rdf:type rdf:resource="⪚C1"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚b"> - <p rdf:resource="⪚c"/> - <rdf:type rdf:resource="⪚C2"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚c"> - <p rdf:resource="⪚d"/> - <rdf:type rdf:resource="⪚C3"/> - </rdf:Description> - - <!-- metalevel decalarations --> - - <rdf:Description rdf:about="⪚sp"> - <rdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚sc"> - <rdfs:subPropertyOf rdf:resource="&rdfs;subClassOf"/> - </rdf:Description> - - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚a"> + <p rdf:resource="⪚b"/> + <rdf:type rdf:resource="⪚C1"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚b"> + <p rdf:resource="⪚c"/> + <rdf:type rdf:resource="⪚C2"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚c"> + <p rdf:resource="⪚d"/> + <rdf:type rdf:resource="⪚C3"/> + </rdf:Description> + + <!-- metalevel decalarations --> + + <rdf:Description rdf:about="⪚sp"> + <rdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚sc"> + <rdfs:subPropertyOf rdf:resource="&rdfs;subClassOf"/> + </rdf:Description> + + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/data9.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/data9.rdf b/jena-core/testing/reasoners/transitive/data9.rdf index 6a84b04..b5a96ca 100644 --- a/jena-core/testing/reasoners/transitive/data9.rdf +++ b/jena-core/testing/reasoners/transitive/data9.rdf @@ -1,36 +1,36 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚a"> - <p rdf:resource="⪚b"/> - <rdf:type rdf:resource="⪚C1"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚b"> - <p rdf:resource="⪚c"/> - <rdf:type rdf:resource="⪚C2"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚c"> - <p rdf:resource="⪚d"/> - <rdf:type rdf:resource="⪚C3"/> - </rdf:Description> - - <!-- nasty nested metalevel decalarations --> - - <rdf:Description rdf:about="⪚sc"> - <sp rdf:resource="&rdfs;subClassOf"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚sp"> - <rdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚a"> + <p rdf:resource="⪚b"/> + <rdf:type rdf:resource="⪚C1"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚b"> + <p rdf:resource="⪚c"/> + <rdf:type rdf:resource="⪚C2"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚c"> + <p rdf:resource="⪚d"/> + <rdf:type rdf:resource="⪚C3"/> + </rdf:Description> + + <!-- nasty nested metalevel decalarations --> + + <rdf:Description rdf:about="⪚sc"> + <sp rdf:resource="&rdfs;subClassOf"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚sp"> + <rdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/empty.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/empty.rdf b/jena-core/testing/reasoners/transitive/empty.rdf index f966492..b113812 100644 --- a/jena-core/testing/reasoners/transitive/empty.rdf +++ b/jena-core/testing/reasoners/transitive/empty.rdf @@ -1,12 +1,12 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> - - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> + + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/manifest.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/manifest.rdf b/jena-core/testing/reasoners/transitive/manifest.rdf index 870e6f2..2c4b350 100644 --- a/jena-core/testing/reasoners/transitive/manifest.rdf +++ b/jena-core/testing/reasoners/transitive/manifest.rdf @@ -1,97 +1,97 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY test 'http://www.hpl.hp.com/semweb/2003/query_tester#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns="&test;"> - - <Test rdf:about="test1"> - <description>Transitive reasoner: no reasoning, wildcard query</description> - <data>transitive/data1.rdf</data> - <query>transitive/query-all.nt</query> - <result>transitive/data1.rdf</result> - </Test> - - <Test rdf:about="test2"> - <description>Transitive reasoner: no reasoning, selective query</description> - <data>transitive/data1.rdf</data> - <query>transitive/query2.nt</query> - <result>transitive/result2.rdf</result> - </Test> - - <Test rdf:about="test3"> - <description>Transitive reasoner: no reasoning, tbox+data concatenation</description> - <data>transitive/data1.rdf</data> - <tbox>transitive/data2.rdf</tbox> - <query>transitive/query-all.nt</query> - <result>transitive/data1.rdf</result> - </Test> - - <Test rdf:about="test4"> - <description>Transitive reasoner: simple subproperty transitive closure</description> - <data>transitive/data1.rdf</data> - <tbox>transitive/tbox1.rdf</tbox> - <query>transitive/querysp.nt</query> - <result>transitive/result4.rdf</result> - </Test> - - <Test rdf:about="test5"> - <description>Transitive reasoner: simple subclass transitive closure</description> - <data>transitive/data1.rdf</data> - <tbox>transitive/tbox1.rdf</tbox> - <query>transitive/querysc.nt</query> - <result>transitive/result5.rdf</result> - </Test> - - <Test rdf:about="test6"> - <description>Transitive reasoner: simple subproperty transitive closure, tbox/data merge</description> - <data>transitive/data6.rdf</data> - <tbox>transitive/tbox1.rdf</tbox> - <query>transitive/querysp2.nt</query> - <result>transitive/result6.rdf</result> - </Test> - - <Test rdf:about="test7"> - <description>Transitive reasoner: check meta subprops hidden</description> - <data>transitive/data1.rdf</data> - <tbox>transitive/tbox7.rdf</tbox> - <query>transitive/querysp.nt</query> - <result>transitive/empty.rdf</result> - </Test> - - <Test rdf:about="test8"> - <description>Transitive reasoner: simple meta level usage - subprop of subclass</description> - <data>transitive/data8.rdf</data> - <tbox>transitive/tbox7.rdf</tbox> - <query>transitive/querysc.nt</query> - <result>transitive/result5.rdf</result> - </Test> - - <Test rdf:about="test9"> - <description>Transitive reasoner: simple meta level usage - subprop of subprop</description> - <data>transitive/data8.rdf</data> - <tbox>transitive/tbox7.rdf</tbox> - <query>transitive/querysp.nt</query> - <result>transitive/result4.rdf</result> - </Test> - - <Test rdf:about="test10"> - <description>Transitive reasoner: meta level usage - indirect subprop of subclass</description> - <data>transitive/data9.rdf</data> - <tbox>transitive/tbox7.rdf</tbox> - <query>transitive/querysc.nt</query> - <result>transitive/result5.rdf</result> - </Test> - - <Test rdf:about="test11"> - <description>Transitive reasoner: simple subclass transitive closure - wildcard query</description> - <data>transitive/data11.rdf</data> - <query>transitive/query-all.nt</query> - <result>transitive/result11.rdf</result> - </Test> - - - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY test 'http://www.hpl.hp.com/semweb/2003/query_tester#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns="&test;"> + + <Test rdf:about="test1"> + <description>Transitive reasoner: no reasoning, wildcard query</description> + <data>transitive/data1.rdf</data> + <query>transitive/query-all.nt</query> + <result>transitive/data1.rdf</result> + </Test> + + <Test rdf:about="test2"> + <description>Transitive reasoner: no reasoning, selective query</description> + <data>transitive/data1.rdf</data> + <query>transitive/query2.nt</query> + <result>transitive/result2.rdf</result> + </Test> + + <Test rdf:about="test3"> + <description>Transitive reasoner: no reasoning, tbox+data concatenation</description> + <data>transitive/data1.rdf</data> + <tbox>transitive/data2.rdf</tbox> + <query>transitive/query-all.nt</query> + <result>transitive/data1.rdf</result> + </Test> + + <Test rdf:about="test4"> + <description>Transitive reasoner: simple subproperty transitive closure</description> + <data>transitive/data1.rdf</data> + <tbox>transitive/tbox1.rdf</tbox> + <query>transitive/querysp.nt</query> + <result>transitive/result4.rdf</result> + </Test> + + <Test rdf:about="test5"> + <description>Transitive reasoner: simple subclass transitive closure</description> + <data>transitive/data1.rdf</data> + <tbox>transitive/tbox1.rdf</tbox> + <query>transitive/querysc.nt</query> + <result>transitive/result5.rdf</result> + </Test> + + <Test rdf:about="test6"> + <description>Transitive reasoner: simple subproperty transitive closure, tbox/data merge</description> + <data>transitive/data6.rdf</data> + <tbox>transitive/tbox1.rdf</tbox> + <query>transitive/querysp2.nt</query> + <result>transitive/result6.rdf</result> + </Test> + + <Test rdf:about="test7"> + <description>Transitive reasoner: check meta subprops hidden</description> + <data>transitive/data1.rdf</data> + <tbox>transitive/tbox7.rdf</tbox> + <query>transitive/querysp.nt</query> + <result>transitive/empty.rdf</result> + </Test> + + <Test rdf:about="test8"> + <description>Transitive reasoner: simple meta level usage - subprop of subclass</description> + <data>transitive/data8.rdf</data> + <tbox>transitive/tbox7.rdf</tbox> + <query>transitive/querysc.nt</query> + <result>transitive/result5.rdf</result> + </Test> + + <Test rdf:about="test9"> + <description>Transitive reasoner: simple meta level usage - subprop of subprop</description> + <data>transitive/data8.rdf</data> + <tbox>transitive/tbox7.rdf</tbox> + <query>transitive/querysp.nt</query> + <result>transitive/result4.rdf</result> + </Test> + + <Test rdf:about="test10"> + <description>Transitive reasoner: meta level usage - indirect subprop of subclass</description> + <data>transitive/data9.rdf</data> + <tbox>transitive/tbox7.rdf</tbox> + <query>transitive/querysc.nt</query> + <result>transitive/result5.rdf</result> + </Test> + + <Test rdf:about="test11"> + <description>Transitive reasoner: simple subclass transitive closure - wildcard query</description> + <data>transitive/data11.rdf</data> + <query>transitive/query-all.nt</query> + <result>transitive/result11.rdf</result> + </Test> + + + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/query-all.nt ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/query-all.nt b/jena-core/testing/reasoners/transitive/query-all.nt index c73cfad..7a743ab 100644 --- a/jena-core/testing/reasoners/transitive/query-all.nt +++ b/jena-core/testing/reasoners/transitive/query-all.nt @@ -1,5 +1,5 @@ -# Test query for transitive reasoner -# List all the data -#################################### -<var:a> <var:b> <var:c>. - +# Test query for transitive reasoner +# List all the data +#################################### +<var:a> <var:b> <var:c>. + http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/query2.nt ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/query2.nt b/jena-core/testing/reasoners/transitive/query2.nt index 52b4087..62be585 100644 --- a/jena-core/testing/reasoners/transitive/query2.nt +++ b/jena-core/testing/reasoners/transitive/query2.nt @@ -1,5 +1,5 @@ -# Test query for transitive reasoner -# List (a,p,*) -#################################### -<http://www.hpl.hp.com/semweb/2003/eg#a> <http://www.hpl.hp.com/semweb/2003/eg#p> <var:x>. - +# Test query for transitive reasoner +# List (a,p,*) +#################################### +<http://www.hpl.hp.com/semweb/2003/eg#a> <http://www.hpl.hp.com/semweb/2003/eg#p> <var:x>. + http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/querysc.nt ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/querysc.nt b/jena-core/testing/reasoners/transitive/querysc.nt index 488eefb..0d97314 100644 --- a/jena-core/testing/reasoners/transitive/querysc.nt +++ b/jena-core/testing/reasoners/transitive/querysc.nt @@ -1,5 +1,5 @@ -# Test query for transitive reasoner -# List (C1,subClassOf,*) -#################################### -<http://www.hpl.hp.com/semweb/2003/eg#C1> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <var:x> . - +# Test query for transitive reasoner +# List (C1,subClassOf,*) +#################################### +<http://www.hpl.hp.com/semweb/2003/eg#C1> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <var:x> . + http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/querysp.nt ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/querysp.nt b/jena-core/testing/reasoners/transitive/querysp.nt index 729470a..ef577d7 100644 --- a/jena-core/testing/reasoners/transitive/querysp.nt +++ b/jena-core/testing/reasoners/transitive/querysp.nt @@ -1,6 +1,6 @@ -# Test query for transitive reasoner -# List (*,subPropertyOf,p) -#################################### -<var:x> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.hpl.hp.com/semweb/2003/eg#p> . - - +# Test query for transitive reasoner +# List (*,subPropertyOf,p) +#################################### +<var:x> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.hpl.hp.com/semweb/2003/eg#p> . + + http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/querysp2.nt ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/querysp2.nt b/jena-core/testing/reasoners/transitive/querysp2.nt index b3fa1e7..98d0c74 100644 --- a/jena-core/testing/reasoners/transitive/querysp2.nt +++ b/jena-core/testing/reasoners/transitive/querysp2.nt @@ -1,6 +1,6 @@ -# Test query for transitive reasoner -# List (r,subPropertyOf,*) -#################################### -<http://www.hpl.hp.com/semweb/2003/eg#r> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <var:x> . - - +# Test query for transitive reasoner +# List (r,subPropertyOf,*) +#################################### +<http://www.hpl.hp.com/semweb/2003/eg#r> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <var:x> . + + http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/result2.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/result2.rdf b/jena-core/testing/reasoners/transitive/result2.rdf index 4164817..5b85382 100644 --- a/jena-core/testing/reasoners/transitive/result2.rdf +++ b/jena-core/testing/reasoners/transitive/result2.rdf @@ -1,14 +1,14 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚a"> - <p rdf:resource="⪚b"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚a"> + <p rdf:resource="⪚b"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/result4.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/result4.rdf b/jena-core/testing/reasoners/transitive/result4.rdf index b2d1eed..42177bb 100644 --- a/jena-core/testing/reasoners/transitive/result4.rdf +++ b/jena-core/testing/reasoners/transitive/result4.rdf @@ -1,31 +1,31 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚q"> - <rdfs:subPropertyOf rdf:resource="⪚p"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚s"> - <rdfs:subPropertyOf rdf:resource="⪚p"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚r"> - <rdfs:subPropertyOf rdf:resource="⪚p"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚t"> - <rdfs:subPropertyOf rdf:resource="⪚p"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚p"> - <rdfs:subPropertyOf rdf:resource="⪚p"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚q"> + <rdfs:subPropertyOf rdf:resource="⪚p"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚s"> + <rdfs:subPropertyOf rdf:resource="⪚p"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚r"> + <rdfs:subPropertyOf rdf:resource="⪚p"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚t"> + <rdfs:subPropertyOf rdf:resource="⪚p"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚p"> + <rdfs:subPropertyOf rdf:resource="⪚p"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/result5.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/result5.rdf b/jena-core/testing/reasoners/transitive/result5.rdf index b9e4c52..d477d49 100644 --- a/jena-core/testing/reasoners/transitive/result5.rdf +++ b/jena-core/testing/reasoners/transitive/result5.rdf @@ -1,17 +1,17 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚C1"> - <rdfs:subClassOf rdf:resource="⪚C1"/> - <rdfs:subClassOf rdf:resource="⪚C2"/> - <rdfs:subClassOf rdf:resource="⪚C3"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚C1"> + <rdfs:subClassOf rdf:resource="⪚C1"/> + <rdfs:subClassOf rdf:resource="⪚C2"/> + <rdfs:subClassOf rdf:resource="⪚C3"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/result6.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/result6.rdf b/jena-core/testing/reasoners/transitive/result6.rdf index f538faa..4c7c32f 100644 --- a/jena-core/testing/reasoners/transitive/result6.rdf +++ b/jena-core/testing/reasoners/transitive/result6.rdf @@ -1,24 +1,24 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚r"> - <rdfs:subPropertyOf rdf:resource="⪚r"/> - <rdfs:subPropertyOf rdf:resource="⪚q"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚r"> - <rdfs:subPropertyOf rdf:resource="⪚p"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚r"> - <rdfs:subPropertyOf rdf:resource="⪚z"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚r"> + <rdfs:subPropertyOf rdf:resource="⪚r"/> + <rdfs:subPropertyOf rdf:resource="⪚q"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚r"> + <rdfs:subPropertyOf rdf:resource="⪚p"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚r"> + <rdfs:subPropertyOf rdf:resource="⪚z"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/tbox1.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/tbox1.rdf b/jena-core/testing/reasoners/transitive/tbox1.rdf index 62a772d..111d212 100644 --- a/jena-core/testing/reasoners/transitive/tbox1.rdf +++ b/jena-core/testing/reasoners/transitive/tbox1.rdf @@ -1,35 +1,35 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚q"> - <rdfs:subPropertyOf rdf:resource="⪚p"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚r"> - <rdfs:subPropertyOf rdf:resource="⪚q"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚s"> - <rdfs:subPropertyOf rdf:resource="⪚p"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚t"> - <rdfs:subPropertyOf rdf:resource="⪚s"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚C1"> - <rdfs:subClassOf rdf:resource="⪚C2"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚C2"> - <rdfs:subClassOf rdf:resource="⪚C3"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚q"> + <rdfs:subPropertyOf rdf:resource="⪚p"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚r"> + <rdfs:subPropertyOf rdf:resource="⪚q"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚s"> + <rdfs:subPropertyOf rdf:resource="⪚p"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚t"> + <rdfs:subPropertyOf rdf:resource="⪚s"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚C1"> + <rdfs:subClassOf rdf:resource="⪚C2"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚C2"> + <rdfs:subClassOf rdf:resource="⪚C3"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/reasoners/transitive/tbox7.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/reasoners/transitive/tbox7.rdf b/jena-core/testing/reasoners/transitive/tbox7.rdf index a15e304..a2bc95e 100644 --- a/jena-core/testing/reasoners/transitive/tbox7.rdf +++ b/jena-core/testing/reasoners/transitive/tbox7.rdf @@ -1,35 +1,35 @@ -<?xml version="1.0"?> - -<!DOCTYPE rdf:RDF [ - <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> - <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> - <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> -]> - -<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> - - <rdf:Description rdf:about="⪚q"> - <sp rdf:resource="⪚p"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚r"> - <rdfs:subPropertyOf rdf:resource="⪚q"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚s"> - <sp rdf:resource="⪚p"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚t"> - <rdfs:subPropertyOf rdf:resource="⪚s"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚C1"> - <sc rdf:resource="⪚C2"/> - </rdf:Description> - - <rdf:Description rdf:about="⪚C2"> - <sc rdf:resource="⪚C3"/> - </rdf:Description> - -</rdf:RDF> +<?xml version="1.0"?> + +<!DOCTYPE rdf:RDF [ + <!ENTITY eg 'http://www.hpl.hp.com/semweb/2003/eg#'> + <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'> + <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'> +]> + +<rdf:RDF xmlns:rdf="&rdf;" xmlns:rdfs="&rdfs;" xmlns="⪚"> + + <rdf:Description rdf:about="⪚q"> + <sp rdf:resource="⪚p"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚r"> + <rdfs:subPropertyOf rdf:resource="⪚q"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚s"> + <sp rdf:resource="⪚p"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚t"> + <rdfs:subPropertyOf rdf:resource="⪚s"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚C1"> + <sc rdf:resource="⪚C2"/> + </rdf:Description> + + <rdf:Description rdf:about="⪚C2"> + <sc rdf:resource="⪚C3"/> + </rdf:Description> + +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/wg/cardinality/Manifest005.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/wg/cardinality/Manifest005.rdf b/jena-core/testing/wg/cardinality/Manifest005.rdf index 06353dc..1376a08 100755 --- a/jena-core/testing/wg/cardinality/Manifest005.rdf +++ b/jena-core/testing/wg/cardinality/Manifest005.rdf @@ -1,45 +1,45 @@ -<!--++ cardinality/Manifest005.rdf ** generated using webont test editor. ++--> -<!--++ Created 17 Dec 2002 21:18:23 GMT ++--> -<!-- - Copyright World Wide Web Consortium, (Massachusetts Institute of - Technology, European Research Consortium for Informatics and - Mathematics, Keio University). - - All Rights Reserved. - - Please see the full Copyright clause at - <http://www.w3.org/Consortium/Legal/copyright-software.html> - - $Id: Manifest005.rdf,v 1.6 2003-11-20 15:34:04 jeremy_carroll Exp $ ---> -<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:rtest='http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#' - xmlns:otest='http://www.w3.org/2002/03owlt/testOntology#' - xmlns:dc='http://purl.org/dc/elements/1.0/' - xmlns='http://www.w3.org/1999/xhtml' - xmlns:owl='http://www.w3.org/2002/07/owl#' - xml:base='http://www.w3.org/2002/03owlt/cardinality/Manifest005' -> -<otest:PositiveEntailmentTest rdf:ID='test'> - <rtest:status>PROPOSED</rtest:status> - <rdfs:seeAlso rdf:resource="http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444"/> - <rdfs:seeAlso rdf:resource= - "http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017"; /> - <dc:creator>Jeremy J. Carroll</dc:creator> - <otest:feature rdf:resource='http://www.w3.org/2002/07/owl#cardinality' /> - <otest:level rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' /> - <rtest:description rdf:parseType='Literal'> -An <code>owl:cardinality</code> constraint is simply shorthand for a pair of <code>owl:minCardinality</code> and <code>owl:maxCardinality</code> constraints.</rtest:description> - <rtest:premiseDocument> - <rtest:RDF-XML-Document rdf:about='premises005' > - <otest:level rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' /> - </rtest:RDF-XML-Document> - </rtest:premiseDocument> - <rtest:conclusionDocument> - <rtest:RDF-XML-Document rdf:about='conclusions005' > - <otest:level rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' /> - </rtest:RDF-XML-Document> - </rtest:conclusionDocument> -</otest:PositiveEntailmentTest > -</rdf:RDF> +<!--++ cardinality/Manifest005.rdf ** generated using webont test editor. ++--> +<!--++ Created 17 Dec 2002 21:18:23 GMT ++--> +<!-- + Copyright World Wide Web Consortium, (Massachusetts Institute of + Technology, European Research Consortium for Informatics and + Mathematics, Keio University). + + All Rights Reserved. + + Please see the full Copyright clause at + <http://www.w3.org/Consortium/Legal/copyright-software.html> + + $Id: Manifest005.rdf,v 1.6 2003-11-20 15:34:04 jeremy_carroll Exp $ +--> +<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:rtest='http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#' + xmlns:otest='http://www.w3.org/2002/03owlt/testOntology#' + xmlns:dc='http://purl.org/dc/elements/1.0/' + xmlns='http://www.w3.org/1999/xhtml' + xmlns:owl='http://www.w3.org/2002/07/owl#' + xml:base='http://www.w3.org/2002/03owlt/cardinality/Manifest005' +> +<otest:PositiveEntailmentTest rdf:ID='test'> + <rtest:status>PROPOSED</rtest:status> + <rdfs:seeAlso rdf:resource="http://lists.w3.org/Archives/Public/www-webont-wg/2003Jan/0444"/> + <rdfs:seeAlso rdf:resource= + "http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0017"; /> + <dc:creator>Jeremy J. Carroll</dc:creator> + <otest:feature rdf:resource='http://www.w3.org/2002/07/owl#cardinality' /> + <otest:level rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' /> + <rtest:description rdf:parseType='Literal'> +An <code>owl:cardinality</code> constraint is simply shorthand for a pair of <code>owl:minCardinality</code> and <code>owl:maxCardinality</code> constraints.</rtest:description> + <rtest:premiseDocument> + <rtest:RDF-XML-Document rdf:about='premises005' > + <otest:level rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' /> + </rtest:RDF-XML-Document> + </rtest:premiseDocument> + <rtest:conclusionDocument> + <rtest:RDF-XML-Document rdf:about='conclusions005' > + <otest:level rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' /> + </rtest:RDF-XML-Document> + </rtest:conclusionDocument> +</otest:PositiveEntailmentTest > +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/wg/cardinality/conclusions005.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/wg/cardinality/conclusions005.rdf b/jena-core/testing/wg/cardinality/conclusions005.rdf index 7247836..e480375 100755 --- a/jena-core/testing/wg/cardinality/conclusions005.rdf +++ b/jena-core/testing/wg/cardinality/conclusions005.rdf @@ -1,40 +1,40 @@ -<!--++ cardinality/conclusions005.rdf ** generated using webont test editor. ++--> -<!--++ Created 17 Dec 2002 21:18:24 GMT ++--> -<!-- - Copyright World Wide Web Consortium, (Massachusetts Institute of - Technology, European Research Consortium for Informatics and - Mathematics, Keio University). - - All Rights Reserved. - - Please see the full Copyright clause at - <http://www.w3.org/Consortium/Legal/copyright-software.html> - - $Id: conclusions005.rdf,v 1.5 2003-11-20 15:34:04 jeremy_carroll Exp $ ---> -<!-- -An <code>owl:cardinality</code> constraint is simply shorthand for a pair of <code>owl:minCardinality</code> and <code>owl:maxCardinality</code> constraints. ---> -<!-- Author: Jeremy J. Carroll --> -<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:owl="http://www.w3.org/2002/07/owl#"; - xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions005"; > - <rdf:Description rdf:about="premises005#c"> - <owl:intersectionOf rdf:parseType="Collection"> - <owl:Restriction> - <owl:onProperty rdf:resource="premises005#p"/> - <owl:maxCardinality - rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"; - >1</owl:maxCardinality> - </owl:Restriction> - <owl:Restriction> - <owl:onProperty rdf:resource="premises005#p"/> - <owl:minCardinality - rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"; - >1</owl:minCardinality> - </owl:Restriction> - </owl:intersectionOf> - </rdf:Description> -</rdf:RDF> +<!--++ cardinality/conclusions005.rdf ** generated using webont test editor. ++--> +<!--++ Created 17 Dec 2002 21:18:24 GMT ++--> +<!-- + Copyright World Wide Web Consortium, (Massachusetts Institute of + Technology, European Research Consortium for Informatics and + Mathematics, Keio University). + + All Rights Reserved. + + Please see the full Copyright clause at + <http://www.w3.org/Consortium/Legal/copyright-software.html> + + $Id: conclusions005.rdf,v 1.5 2003-11-20 15:34:04 jeremy_carroll Exp $ +--> +<!-- +An <code>owl:cardinality</code> constraint is simply shorthand for a pair of <code>owl:minCardinality</code> and <code>owl:maxCardinality</code> constraints. +--> +<!-- Author: Jeremy J. Carroll --> +<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:owl="http://www.w3.org/2002/07/owl#"; + xml:base="http://www.w3.org/2002/03owlt/cardinality/conclusions005"; > + <rdf:Description rdf:about="premises005#c"> + <owl:intersectionOf rdf:parseType="Collection"> + <owl:Restriction> + <owl:onProperty rdf:resource="premises005#p"/> + <owl:maxCardinality + rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"; + >1</owl:maxCardinality> + </owl:Restriction> + <owl:Restriction> + <owl:onProperty rdf:resource="premises005#p"/> + <owl:minCardinality + rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"; + >1</owl:minCardinality> + </owl:Restriction> + </owl:intersectionOf> + </rdf:Description> +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/wg/cardinality/premises005.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/wg/cardinality/premises005.rdf b/jena-core/testing/wg/cardinality/premises005.rdf index fb6bc4c..c89ed63 100755 --- a/jena-core/testing/wg/cardinality/premises005.rdf +++ b/jena-core/testing/wg/cardinality/premises005.rdf @@ -1,30 +1,30 @@ -<!--++ cardinality/premises005.rdf ** generated using webont test editor. ++--> -<!--++ Created 17 Dec 2002 21:18:23 GMT ++--> -<!-- - Copyright World Wide Web Consortium, (Massachusetts Institute of - Technology, European Research Consortium for Informatics and - Mathematics, Keio University). - - All Rights Reserved. - - Please see the full Copyright clause at - <http://www.w3.org/Consortium/Legal/copyright-software.html> - - $Id: premises005.rdf,v 1.5 2003-11-20 15:34:04 jeremy_carroll Exp $ ---> -<!-- -An <code>owl:cardinality</code> constraint is simply shorthand for a pair of <code>owl:minCardinality</code> and <code>owl:maxCardinality</code> constraints. ---> -<!-- Author: Jeremy J. Carroll --> -<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:owl="http://www.w3.org/2002/07/owl#"; - xml:base="http://www.w3.org/2002/03owlt/cardinality/premises005"; > - <owl:Restriction rdf:ID="c"> - <owl:onProperty rdf:resource="#p"/> - <owl:cardinality - rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"; - >1</owl:cardinality> - </owl:Restriction> -</rdf:RDF> +<!--++ cardinality/premises005.rdf ** generated using webont test editor. ++--> +<!--++ Created 17 Dec 2002 21:18:23 GMT ++--> +<!-- + Copyright World Wide Web Consortium, (Massachusetts Institute of + Technology, European Research Consortium for Informatics and + Mathematics, Keio University). + + All Rights Reserved. + + Please see the full Copyright clause at + <http://www.w3.org/Consortium/Legal/copyright-software.html> + + $Id: premises005.rdf,v 1.5 2003-11-20 15:34:04 jeremy_carroll Exp $ +--> +<!-- +An <code>owl:cardinality</code> constraint is simply shorthand for a pair of <code>owl:minCardinality</code> and <code>owl:maxCardinality</code> constraints. +--> +<!-- Author: Jeremy J. Carroll --> +<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:owl="http://www.w3.org/2002/07/owl#"; + xml:base="http://www.w3.org/2002/03owlt/cardinality/premises005"; > + <owl:Restriction rdf:ID="c"> + <owl:onProperty rdf:resource="#p"/> + <owl:cardinality + rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"; + >1</owl:cardinality> + </owl:Restriction> +</rdf:RDF> http://git-wip-us.apache.org/repos/asf/jena/blob/3d70d735/jena-core/testing/wg/localtests/Manifest008.rdf ---------------------------------------------------------------------- diff --git a/jena-core/testing/wg/localtests/Manifest008.rdf b/jena-core/testing/wg/localtests/Manifest008.rdf index d3e4533..47a89cb 100644 --- a/jena-core/testing/wg/localtests/Manifest008.rdf +++ b/jena-core/testing/wg/localtests/Manifest008.rdf @@ -1,30 +1,30 @@ -<!-- - Local test files use in Jena2 development ---> -<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:rtest='http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#' - xmlns:otest='http://www.w3.org/2002/03owlt/testOntology#' - xmlns:dc='http://purl.org/dc/elements/1.0/' - xmlns='http://www.w3.org/2002/03owlt/localtests/Manifest008#' - xmlns:owl='http://www.w3.org/2002/07/owl#' - xml:base='http://www.w3.org/2002/03owlt/localtests/Manifest008' -> -<otest:PositiveEntailmentTest rdf:ID='propInheritance'> - <rtest:status>Jena internal</rtest:status> - <dc:creator>Dave Reynolds</dc:creator> - <rtest:description rdf:parseType='Literal'> - Infer domain/range from inverseof - </rtest:description> - <rtest:premiseDocument> - <rtest:RDF-XML-Document rdf:about='premises008' > - <otest:level rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' /> - </rtest:RDF-XML-Document> - </rtest:premiseDocument> - <rtest:conclusionDocument> - <rtest:RDF-XML-Document rdf:about='conclusions008' > - <otest:level rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' /> - </rtest:RDF-XML-Document> - </rtest:conclusionDocument> -</otest:PositiveEntailmentTest > -</rdf:RDF> +<!-- + Local test files use in Jena2 development +--> +<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:rtest='http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#' + xmlns:otest='http://www.w3.org/2002/03owlt/testOntology#' + xmlns:dc='http://purl.org/dc/elements/1.0/' + xmlns='http://www.w3.org/2002/03owlt/localtests/Manifest008#' + xmlns:owl='http://www.w3.org/2002/07/owl#' + xml:base='http://www.w3.org/2002/03owlt/localtests/Manifest008' +> +<otest:PositiveEntailmentTest rdf:ID='propInheritance'> + <rtest:status>Jena internal</rtest:status> + <dc:creator>Dave Reynolds</dc:creator> + <rtest:description rdf:parseType='Literal'> + Infer domain/range from inverseof + </rtest:description> + <rtest:premiseDocument> + <rtest:RDF-XML-Document rdf:about='premises008' > + <otest:level rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' /> + </rtest:RDF-XML-Document> + </rtest:premiseDocument> + <rtest:conclusionDocument> + <rtest:RDF-XML-Document rdf:about='conclusions008' > + <otest:level rdf:resource='http://www.w3.org/2002/03owlt/testOntology#Full' /> + </rtest:RDF-XML-Document> + </rtest:conclusionDocument> +</otest:PositiveEntailmentTest > +</rdf:RDF>
