http://git-wip-us.apache.org/repos/asf/jena/blob/4b5cd267/jena-core/testing/reasoners/rdfs/result19.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/rdfs/result19.rdf index 3756ce0,3756ce0..f05dba9 --- a/jena-core/testing/reasoners/rdfs/result19.rdf +++ b/jena-core/testing/reasoners/rdfs/result19.rdf @@@ -1,231 -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/4b5cd267/jena-core/testing/reasoners/rdfs/result2.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/rdfs/result2.rdf index 78a9e8f,78a9e8f..38c2612 --- a/jena-core/testing/reasoners/rdfs/result2.rdf +++ b/jena-core/testing/reasoners/rdfs/result2.rdf @@@ -1,13 -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/4b5cd267/jena-core/testing/reasoners/rdfs/result20-nodirect.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/rdfs/result20-nodirect.rdf index 47da074,47da074..e578456 --- a/jena-core/testing/reasoners/rdfs/result20-nodirect.rdf +++ b/jena-core/testing/reasoners/rdfs/result20-nodirect.rdf @@@ -1,21 -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/4b5cd267/jena-core/testing/reasoners/rdfs/result20.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/rdfs/result20.rdf index 553028c,553028c..eb5115b --- a/jena-core/testing/reasoners/rdfs/result20.rdf +++ b/jena-core/testing/reasoners/rdfs/result20.rdf @@@ -1,24 -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/4b5cd267/jena-core/testing/reasoners/rdfs/result3.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/rdfs/result3.rdf index 3e38e69,3e38e69..2c0f2a0 --- a/jena-core/testing/reasoners/rdfs/result3.rdf +++ b/jena-core/testing/reasoners/rdfs/result3.rdf @@@ -1,19 -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/4b5cd267/jena-core/testing/reasoners/rdfs/result4.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/rdfs/result4.rdf index ccf08b6,ccf08b6..6e48a29 --- a/jena-core/testing/reasoners/rdfs/result4.rdf +++ b/jena-core/testing/reasoners/rdfs/result4.rdf @@@ -1,17 -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/4b5cd267/jena-core/testing/reasoners/rdfs/result7.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/rdfs/result7.rdf index e5e30d8,e5e30d8..25a7311 --- a/jena-core/testing/reasoners/rdfs/result7.rdf +++ b/jena-core/testing/reasoners/rdfs/result7.rdf @@@ -1,13 -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/4b5cd267/jena-core/testing/reasoners/rdfs/result8.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/rdfs/result8.rdf index a67d2b1,a67d2b1..68c8175 --- a/jena-core/testing/reasoners/rdfs/result8.rdf +++ b/jena-core/testing/reasoners/rdfs/result8.rdf @@@ -1,14 -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/4b5cd267/jena-core/testing/reasoners/rdfs/result9.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/rdfs/result9.rdf index c911423,c911423..f7aff07 --- a/jena-core/testing/reasoners/rdfs/result9.rdf +++ b/jena-core/testing/reasoners/rdfs/result9.rdf @@@ -1,13 -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/4b5cd267/jena-core/testing/reasoners/rdfs/tbox1.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/rdfs/tbox1.rdf index 5de6cd0,5de6cd0..29ce4f2 --- a/jena-core/testing/reasoners/rdfs/tbox1.rdf +++ b/jena-core/testing/reasoners/rdfs/tbox1.rdf @@@ -1,32 -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/4b5cd267/jena-core/testing/reasoners/rdfs/timing-data.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/rdfs/timing-data.rdf index 8791a01,8791a01..f0af97c --- a/jena-core/testing/reasoners/rdfs/timing-data.rdf +++ b/jena-core/testing/reasoners/rdfs/timing-data.rdf @@@ -1,54 -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/4b5cd267/jena-core/testing/reasoners/rdfs/timing-tbox.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/rdfs/timing-tbox.rdf index 1d74e04,1d74e04..839ec5c --- a/jena-core/testing/reasoners/rdfs/timing-tbox.rdf +++ b/jena-core/testing/reasoners/rdfs/timing-tbox.rdf @@@ -1,39 -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/4b5cd267/jena-core/testing/reasoners/ruleParserTest1.rules ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/ruleParserTest1.rules index 411693a,411693a..d1801ff --- a/jena-core/testing/reasoners/ruleParserTest1.rules +++ b/jena-core/testing/reasoners/ruleParserTest1.rules @@@ -1,13 -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>. http://git-wip-us.apache.org/repos/asf/jena/blob/4b5cd267/jena-core/testing/reasoners/transitive/data1.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/data1.rdf index 5d62aa7,5d62aa7..76df046 --- a/jena-core/testing/reasoners/transitive/data1.rdf +++ b/jena-core/testing/reasoners/transitive/data1.rdf @@@ -1,25 -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/4b5cd267/jena-core/testing/reasoners/transitive/data2.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/data2.rdf index 4bfa5d9,4bfa5d9..8f4c6f2 --- a/jena-core/testing/reasoners/transitive/data2.rdf +++ b/jena-core/testing/reasoners/transitive/data2.rdf @@@ -1,20 -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/4b5cd267/jena-core/testing/reasoners/transitive/data3.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/data3.rdf index 3eca49e,3eca49e..b759bc8 --- a/jena-core/testing/reasoners/transitive/data3.rdf +++ b/jena-core/testing/reasoners/transitive/data3.rdf @@@ -1,15 -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/4b5cd267/jena-core/testing/reasoners/transitive/data6.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/data6.rdf index 65c8724,65c8724..fa7bce9 --- a/jena-core/testing/reasoners/transitive/data6.rdf +++ b/jena-core/testing/reasoners/transitive/data6.rdf @@@ -1,15 -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/4b5cd267/jena-core/testing/reasoners/transitive/data8.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/data8.rdf index d243ae4,d243ae4..1bbc8dd --- a/jena-core/testing/reasoners/transitive/data8.rdf +++ b/jena-core/testing/reasoners/transitive/data8.rdf @@@ -1,37 -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/4b5cd267/jena-core/testing/reasoners/transitive/data9.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/data9.rdf index b5a96ca,b5a96ca..6a84b04 --- a/jena-core/testing/reasoners/transitive/data9.rdf +++ b/jena-core/testing/reasoners/transitive/data9.rdf @@@ -1,36 -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/4b5cd267/jena-core/testing/reasoners/transitive/empty.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/empty.rdf index b113812,b113812..f966492 --- a/jena-core/testing/reasoners/transitive/empty.rdf +++ b/jena-core/testing/reasoners/transitive/empty.rdf @@@ -1,12 -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/4b5cd267/jena-core/testing/reasoners/transitive/manifest.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/manifest.rdf index 2c4b350,2c4b350..870e6f2 --- a/jena-core/testing/reasoners/transitive/manifest.rdf +++ b/jena-core/testing/reasoners/transitive/manifest.rdf @@@ -1,97 -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/4b5cd267/jena-core/testing/reasoners/transitive/query-all.nt ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/query-all.nt index 7a743ab,7a743ab..c73cfad --- a/jena-core/testing/reasoners/transitive/query-all.nt +++ b/jena-core/testing/reasoners/transitive/query-all.nt @@@ -1,5 -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/4b5cd267/jena-core/testing/reasoners/transitive/query2.nt ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/query2.nt index 62be585,62be585..52b4087 --- a/jena-core/testing/reasoners/transitive/query2.nt +++ b/jena-core/testing/reasoners/transitive/query2.nt @@@ -1,5 -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/4b5cd267/jena-core/testing/reasoners/transitive/querysc.nt ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/querysc.nt index 0d97314,0d97314..488eefb --- a/jena-core/testing/reasoners/transitive/querysc.nt +++ b/jena-core/testing/reasoners/transitive/querysc.nt @@@ -1,5 -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/4b5cd267/jena-core/testing/reasoners/transitive/querysp.nt ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/querysp.nt index ef577d7,ef577d7..729470a --- a/jena-core/testing/reasoners/transitive/querysp.nt +++ b/jena-core/testing/reasoners/transitive/querysp.nt @@@ -1,6 -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/4b5cd267/jena-core/testing/reasoners/transitive/querysp2.nt ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/querysp2.nt index 98d0c74,98d0c74..b3fa1e7 --- a/jena-core/testing/reasoners/transitive/querysp2.nt +++ b/jena-core/testing/reasoners/transitive/querysp2.nt @@@ -1,6 -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/4b5cd267/jena-core/testing/reasoners/transitive/result2.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/result2.rdf index 5b85382,5b85382..4164817 --- a/jena-core/testing/reasoners/transitive/result2.rdf +++ b/jena-core/testing/reasoners/transitive/result2.rdf @@@ -1,14 -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/4b5cd267/jena-core/testing/reasoners/transitive/result4.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/result4.rdf index 42177bb,42177bb..b2d1eed --- a/jena-core/testing/reasoners/transitive/result4.rdf +++ b/jena-core/testing/reasoners/transitive/result4.rdf @@@ -1,31 -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/4b5cd267/jena-core/testing/reasoners/transitive/result5.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/result5.rdf index d477d49,d477d49..b9e4c52 --- a/jena-core/testing/reasoners/transitive/result5.rdf +++ b/jena-core/testing/reasoners/transitive/result5.rdf @@@ -1,17 -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/4b5cd267/jena-core/testing/reasoners/transitive/result6.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/result6.rdf index 4c7c32f,4c7c32f..f538faa --- a/jena-core/testing/reasoners/transitive/result6.rdf +++ b/jena-core/testing/reasoners/transitive/result6.rdf @@@ -1,24 -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/4b5cd267/jena-core/testing/reasoners/transitive/tbox1.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/tbox1.rdf index 111d212,111d212..62a772d --- a/jena-core/testing/reasoners/transitive/tbox1.rdf +++ b/jena-core/testing/reasoners/transitive/tbox1.rdf @@@ -1,35 -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/4b5cd267/jena-core/testing/reasoners/transitive/tbox7.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/reasoners/transitive/tbox7.rdf index a2bc95e,a2bc95e..a15e304 --- a/jena-core/testing/reasoners/transitive/tbox7.rdf +++ b/jena-core/testing/reasoners/transitive/tbox7.rdf @@@ -1,35 -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/4b5cd267/jena-core/testing/wg/cardinality/Manifest005.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/wg/cardinality/Manifest005.rdf index 1376a08,1376a08..06353dc --- a/jena-core/testing/wg/cardinality/Manifest005.rdf +++ b/jena-core/testing/wg/cardinality/Manifest005.rdf @@@ -1,45 -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/4b5cd267/jena-core/testing/wg/cardinality/conclusions005.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/wg/cardinality/conclusions005.rdf index e480375,e480375..7247836 --- a/jena-core/testing/wg/cardinality/conclusions005.rdf +++ b/jena-core/testing/wg/cardinality/conclusions005.rdf @@@ -1,40 -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/4b5cd267/jena-core/testing/wg/cardinality/premises005.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/wg/cardinality/premises005.rdf index c89ed63,c89ed63..fb6bc4c --- a/jena-core/testing/wg/cardinality/premises005.rdf +++ b/jena-core/testing/wg/cardinality/premises005.rdf @@@ -1,30 -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/4b5cd267/jena-core/testing/wg/localtests/Manifest008.rdf ---------------------------------------------------------------------- diff --cc jena-core/testing/wg/localtests/Manifest008.rdf index 47a89cb,47a89cb..d3e4533 --- a/jena-core/testing/wg/localtests/Manifest008.rdf +++ b/jena-core/testing/wg/localtests/Manifest008.rdf @@@ -1,30 -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>
