[Mulgara-svn] r1594 - in trunk/jxdata/iTQL: . rdfs-dl rdfs-dl/rdfs-container-membership-superProperty rdfs-dl/rdfs-domain-and-range rdfs-dl/rdfs-no-cycles-in-subClassOf rdfs-dl/rdfs-no-cycles-in-subPropertyOf rdfs-dl/rdfs-subClassOf-a-Property rdfs-dl/rdfs-subPropertyOf-semantics rdfs-dl/rdfs-transitive-subSubProperty rdfs-dl/statement-entailment
pag at mulgara.org
pag at mulgara.org
Sat Mar 7 19:38:00 UTC 2009
Author: pag
Date: 2009-03-07 11:37:59 -0800 (Sat, 07 Mar 2009)
New Revision: 1594
Added:
trunk/jxdata/iTQL/rdfs-dl/
trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/
trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/Manifest.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/loadResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1C.n3
trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1C.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1P.n3
trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1P.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/queryResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/ruleResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/test.jxu
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/Manifest.n3
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/Manifest.nt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/Manifest.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/axioms.n3
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/conjunction-test
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult2.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult3.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult4.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult5.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/mulgara-readme.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/nonconclusions005.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/nonconclusions006.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/premises005.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/premises006.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult2.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult7.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult8.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResultCommon.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/readme.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/ruleResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test.jxu
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test001.nt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test001.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test002.nt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test002.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test003.nt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test003.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test004.nt
trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test004.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/Manifest.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/loadResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/queryResult3.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/queryResultCommon.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/ruleResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/test.jxu
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/test001.nt
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/test001.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/Manifest.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/loadResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/queryResult3.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/queryResultCommon.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/ruleResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/test.jxu
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/test001.nt
trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/test001.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/
trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/Manifest.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/mulgara-readme.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/test001.nt
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/Manifest.n3
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/Manifest.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/loadResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/mulgara-readme.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/queryResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/queryResult2.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/ruleResult1.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test.jxu
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test001.nt
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test001.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test002.nt
trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test002.rdf
trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/
trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/mulgara-readme.txt
trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/test001.nt
trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/test001.rdf
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/Manifest.n3
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/Manifest.nt
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/Manifest.rdf
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/loadResult1.txt
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/loadResult2.txt
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/queryResult1.txt
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/queryResult2.txt
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/ruleResult1.txt
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test.jxu
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test001
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test001a.nt
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test001b.nt
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test002a.nt
trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test002b.nt
Log:
Duplicating the rdfs entailment tests using RLog
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/Manifest.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/Manifest.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/Manifest.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,40 @@
+<?xml version="1.0"?>
+
+<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:test="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#"
+>
+
+<test:NegativeEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-container-membership-superProperty/Manifest.rdf#test001">
+
+ <!-- <test:issue rdf:resource="" /> -->
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003Jan/0025.html" />
+
+ <!-- <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html" /> -->
+ <test:description>
+ While it is a superproperty,
+ _:a <rdfs:contains (@@member?)> _:b .
+ does NOT entail
+ _:a <rdf:_n> _:b .
+ for any _n.
+ </test:description>
+
+ <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" />
+ <test:entailmentRules rdf:resource="http://www.w3.org/2000/01/rdf-schema#" />
+
+ <test:premiseDocument>
+ <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-container-membership-superProperty/not1P.rdf" />
+ </test:premiseDocument>
+
+ <test:conclusionDocument>
+ <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-container-membership-superProperty/not1C.rdf" />
+ </test:conclusionDocument>
+
+</test:NegativeEntailmentTest>
+
+
+
+</rdf:RDF>
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/loadResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/loadResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/loadResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully loaded 1 statements from @baseuri@/jxdata/iTQL/rdfs/rdfs-container-membership-superProperty/not1P.rdf into @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1C.n3
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1C.n3 (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1C.n3 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,4 @@
+ at prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
+ at prefix : <http://example/stuff#>.
+
+:something rdf:_1 :somethingElse.
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1C.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1C.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1C.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,13 @@
+
+<!-- Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp -->
+<!-- using base bogus:-->
+
+
+<rdf:RDF xmlns="http://example/stuff#"
+ xmlns:log="http://www.w3.org/2000/10/swap/log#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
+
+ <rdf:Description rdf:about="http://example/stuff#something">
+ <rdf:_1 rdf:resource="http://example/stuff#somethingElse"/>
+ </rdf:Description>
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1P.n3
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1P.n3 (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1P.n3 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,4 @@
+ at prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
+ at prefix : <http://example/stuff#>.
+
+:something rdfs:member :somethingElse.
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1P.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1P.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/not1P.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,14 @@
+
+<!-- Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp -->
+<!-- using base bogus:-->
+
+
+<rdf:RDF xmlns="http://example/stuff#"
+ xmlns:log="http://www.w3.org/2000/10/swap/log#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
+
+ <rdf:Description rdf:about="http://example/stuff#something">
+ <rdfs:member rdf:resource="http://example/stuff#somethingElse"/>
+ </rdf:Description>
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/queryResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/queryResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/queryResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><p/></variables><solution><p resource="http://www.w3.org/2000/01/rdf-schema#member"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/ruleResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/ruleResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/ruleResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully applied @baseuri@/rules/rdfs.dl to @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/test.jxu
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/test.jxu (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-container-membership-superProperty/test.jxu 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,35 @@
+<jxu>
+ <set name="debug" value="false" />
+
+ <set name="modelName" value="@server@#test" />
+ <set name="loadCommand" value="load <@baseuri@/jxdata/iTQL/rdfs/rdfs-container-membership-superProperty/not1P.rdf> into <@server@#test> ;" />
+ <eval stepClass="org.mulgara.store.jxunit.LoadDataJX" />
+
+ <ifEqual converse="true" file="loadResult1.txt" name="loadResult">
+ <save name="loadResult" file="badLoadResult1.xml"/>
+ <fail>Output failed loading test data. Check badLoadResult1.xml for output.</fail>
+ </ifEqual>
+
+
+ <set name="query"
+ value="apply <@baseuri@/rules/rdfs.dl> to <@server@#test> ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="ruleResult1.txt" name="queryResult">
+ <save name="queryResult" file="badRule1Result.xml"/>
+ <fail>Output failed applying rules. Check badRule1Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <set name="query"
+ value="select $p
+ from <@server@#test>
+ where <http://example/stuff#something> $p <http://example/stuff#somethingElse> ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResult1.txt" name="queryResult">
+ <save name="queryResult" file="badQuery1Result.xml"/>
+ <fail>Output failed for first test. Check badQuery1Result.xml for output.</fail>
+ </ifEqual>
+
+</jxu>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/Manifest.n3
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/Manifest.n3 (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/Manifest.n3 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,86 @@
+# $Id: Manifest.n3,v 1.1 2005/07/03 13:11:01 pgearon Exp $
+# PxButton | test | Euler Manifest.n3 Manifest.n3 |
+
+#Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp
+ # using base file:/www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf
+
+# Notation3 generation by
+# notation3.py,v 1.107 2002/03/22 21:36:00 timbl Exp
+
+# Base was: file:/www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf
+ @prefix : <http://www.w3.org/2000/03/rdf-tracking/#> .
+ @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+ @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ @prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveEntailmentTest>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#conclusionDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#description> """
+Should a property be allowed more than one rdfs:range property?
+What should the semantics of multiple domain and range properties be?
+
+-> Multiple domain and range constraints are permissable
+ and will have conjunctive semantics.
+
+test001
+ describes a property with rdfs:domain the intersection of 2 domains
+test002
+ describes a property with rdfs:range the intersection of 2 ranges
+test003
+ sample statement
+test004
+ entailed description using test001, test002, test003 and
+ the rules for RDF and RDFS entailment
+ (see http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/ )
+ """;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules> rdf:,
+ rdfs:;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> :rdfs-domain-and-range;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>,
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt>,
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "NOT_APPROVED" .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveParserTest>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0405.html>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.rdf>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> :rdfs-domain-and-range;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "APPROVED" .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.rdf> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveParserTest>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0405.html>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.rdf>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> :rdfs-domain-and-range;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "APPROVED" .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.rdf> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveParserTest>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.rdf>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> :rdfs-domain-and-range;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "NOT_APPROVED" .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.rdf> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveParserTest>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.rdf>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> :rdfs-domain-and-range;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "NOT_APPROVED" .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.rdf> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document> .
+
+#ENDS
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/Manifest.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/Manifest.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/Manifest.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,40 @@
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules> <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> <http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> <http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.rdf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> <http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveEntailmentTest> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> <http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.rdf> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "NOT_APPROVED" .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#description> "\nShould a property be allowed more than one rdfs:range property?\nWhat should the semantics of multiple domain and range properties be?\n\n-> Multiple domain and range constraints are permissable\n and will have conjunctive semantics.\n\ntest001\n describes a property with rdfs:domain the intersection of 2 domains\ntest002\n describes a property with rdfs:range the intersection of 2 ranges\ntest003\n sample statement\ntest004\n entailed description using test001, test002, test003 and\n the rules for RDF and RDFS entailment\n (see http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/ )\n " .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.rdf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.rdf> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "APPROVED" .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0405.html> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "APPROVED" .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0405.html> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.rdf> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.rdf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.rdf> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#RDF-XML-Document> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "NOT_APPROVED" .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "NOT_APPROVED" .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules> <http://www.w3.org/2000/01/rdf-schema#> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveParserTest> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#issue> <http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveParserTest> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#outputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#inputDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.rdf> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/conjunction-test> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#conclusionDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveParserTest> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#PositiveParserTest> .
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/Manifest.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/Manifest.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/Manifest.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,188 @@
+<?xml version="1.0"?>
+
+<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:test="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#"
+>
+
+<test:PositiveParserTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf#test001">
+
+ <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range" />
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0405.html" />
+ <!-- <test:discussion rdf:resource="pointer to archived email or other discussion" /> -->
+ <!-- <test:description>
+ -if we have a description, fill it in here -
+ </test:description> -->
+
+ <test:inputDocument>
+ <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.rdf" />
+ </test:inputDocument>
+
+ <test:outputDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt" />
+ </test:outputDocument>
+
+</test:PositiveParserTest>
+
+
+<test:PositiveParserTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf#test002">
+
+ <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range" />
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0405.html" />
+ <!-- <test:discussion rdf:resource="pointer to archived email or other discussion" /> -->
+ <!-- <test:description>
+ -if we have a description, fill it in here -
+ </test:description> -->
+
+ <test:inputDocument>
+ <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.rdf" />
+ </test:inputDocument>
+
+ <test:outputDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt" />
+ </test:outputDocument>
+
+</test:PositiveParserTest>
+
+
+<test:PositiveParserTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf#test003">
+
+ <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range" />
+ <test:status>NOT_APPROVED</test:status>
+ <!-- <test:discussion rdf:resource="pointer to archived email or other discussion" /> -->
+ <!-- <test:description>
+ -if we have a description, fill it in here -
+ </test:description> -->
+
+ <test:inputDocument>
+ <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.rdf" />
+ </test:inputDocument>
+
+ <test:outputDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt" />
+ </test:outputDocument>
+
+</test:PositiveParserTest>
+
+
+<test:PositiveParserTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf#test004">
+
+ <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range" />
+ <test:status>NOT_APPROVED</test:status>
+ <!-- <test:discussion rdf:resource="pointer to archived email or other discussion" /> -->
+ <!-- <test:description>
+ -if we have a description, fill it in here -
+ </test:description> -->
+
+ <test:inputDocument>
+ <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.rdf" />
+ </test:inputDocument>
+
+ <test:outputDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt" />
+ </test:outputDocument>
+
+</test:PositiveParserTest>
+
+
+<test:PositiveEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf#conjunction-test">
+
+ <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range" />
+ <test:status>NOT_APPROVED</test:status>
+ <test:description>
+Should a property be allowed more than one rdfs:range property?
+What should the semantics of multiple domain and range properties be?
+
+-> Multiple domain and range constraints are permissable
+ and will have conjunctive semantics.
+
+test001
+ describes a property with rdfs:domain the intersection of 2 domains
+test002
+ describes a property with rdfs:range the intersection of 2 ranges
+test003
+ sample statement
+test004
+ entailed description using test001, test002, test003 and
+ the rules for RDF and RDFS entailment
+ (see http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/ )
+ </test:description>
+
+ <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" />
+ <test:entailmentRules rdf:resource="http://www.w3.org/2000/01/rdf-schema#" />
+
+ <test:premiseDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt" />
+ </test:premiseDocument>
+
+ <test:premiseDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt" />
+ </test:premiseDocument>
+
+ <test:premiseDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt" />
+ </test:premiseDocument>
+
+ <test:conclusionDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt" />
+ </test:conclusionDocument>
+
+</test:PositiveEntailmentTest>
+
+<test:NegativeEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf#intensionality-range">
+
+ <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range" />
+ <test:issue rdf:resource="http://www.w3.org/2001/sw/WebOnt/webont-issues.html#I5.24-IF-or-IFF-property-properties" />
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003Jan/0025.html" />
+
+ <test:description>
+RDF Semantics defines rdfs:range to have an intensional reading.
+However, semantic extensions may give an extensional reading to range.
+The premise/conclusion pair is a non-entailment for RDFS reasoning,
+but may hold in semantic extensions.
+ </test:description>
+
+ <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" />
+ <test:entailmentRules rdf:resource="http://www.w3.org/2000/01/rdf-schema#" />
+ <test:premiseDocument>
+ <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf" />
+ </test:premiseDocument>
+
+
+ <test:conclusionDocument>
+ <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/nonconclusions005.rdf" />
+ </test:conclusionDocument>
+
+</test:NegativeEntailmentTest>
+<test:NegativeEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.rdf#intensionality-domain">
+
+ <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range" />
+ <test:issue rdf:resource="http://www.w3.org/2001/sw/WebOnt/webont-issues.html#I5.24-IF-or-IFF-property-properties" />
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003Jan/0025.html" />
+ <test:description>
+RDF Semantics defines rdfs:range to have an intensional reading of domain.
+However, semantic extensions may give an extensional reading to domain.
+The premise/conclusion pair is a non-entailment for RDFS reasoning,
+but may hold in semantic extensions.
+ </test:description>
+
+ <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" />
+ <test:entailmentRules rdf:resource="http://www.w3.org/2000/01/rdf-schema#" />
+ <test:premiseDocument>
+ <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf" />
+ </test:premiseDocument>
+
+
+ <test:conclusionDocument>
+ <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/nonconclusions006.rdf" />
+ </test:conclusionDocument>
+
+</test:NegativeEntailmentTest>
+
+</rdf:RDF>
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/axioms.n3
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/axioms.n3 (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/axioms.n3 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,63 @@
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# $Id: axioms.n3,v 1.1 2005/07/03 13:11:01 pgearon Exp $
+##################################################################
+
+ at prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+ at prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+ at prefix log: <http://www.w3.org/2000/10/swap/log#> .
+ at prefix mt: <http://www.w3.org/TR/rdf-mt/#> .
+ at prefix : <axioms#> .
+
+rdf:type rdf:type rdf:Property .
+rdfs:Resource rdf:type rdfs:Class .
+rdfs:Literal rdf:type rdfs:Class .
+rdfs:Class rdf:type rdfs:Class .
+rdf:Property rdf:type rdfs:Class .
+rdf:type rdf:type rdf:Property .
+rdf:type rdfs:domain rdfs:Resource .
+rdf:type rdfs:range rdfs:Class .
+rdfs:domain rdf:type rdf:Property .
+rdfs:domain rdfs:domain rdf:Property .
+rdfs:domain rdfs:range rdfs:Class .
+rdfs:range rdf:type rdf:Property .
+rdfs:range rdfs:domain rdf:Property .
+rdfs:range rdfs:range rdfs:Class .
+rdfs:subPropertyOf rdf:type rdf:Property .
+rdfs:subPropertyOf rdfs:domain rdf:Property .
+rdfs:subPropertyOf rdfs:range rdf:Property .
+rdfs:subClassOf rdf:type rdf:Property .
+rdfs:subClassOf rdfs:domain rdfs:Class .
+rdfs:subClassOf rdfs:range rdfs:Class .
+
+:RDF-RULE-1 rdfs:isDefinedBy mt:rdfsentail .
+:RDFS-RULE-2 rdfs:isDefinedBy mt:rdfsentail .
+:RDFS-RULE-3 rdfs:isDefinedBy mt:rdfsentail .
+:RDFS-RULE-4a rdfs:isDefinedBy mt:rdfsentail .
+:RDFS-RULE-4b rdfs:isDefinedBy mt:rdfsentail .
+:RDFS-RULE-5 rdfs:isDefinedBy mt:rdfsentail .
+:RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail .
+:RDFS-RULE-7 rdfs:isDefinedBy mt:rdfsentail .
+:RDFS-RULE-8 rdfs:isDefinedBy mt:rdfsentail .
+:RDFS-RULE-9 rdfs:isDefinedBy mt:rdfsentail .
+
+this log:forAll :s, :p, :o, :a, :b, :c, :A, :B, :C .
+
+{ :RDF-RULE-1 rdfs:isDefinedBy mt:rdfsentail . :s :p :o } log:implies { :p rdf:type rdf:Property } .
+{ :RDFS-RULE-2 rdfs:isDefinedBy mt:rdfsentail . :s :p :o . :p rdfs:domain :C } log:implies { :s rdf:type :C } .
+{ :RDFS-RULE-3 rdfs:isDefinedBy mt:rdfsentail . :s :p :o . :p rdfs:range :C } log:implies { :o rdf:type :C } .
+{ :RDFS-RULE-4a rdfs:isDefinedBy mt:rdfsentail . :s :p :o } log:implies { :s a rdfs:Resource } .
+{ :RDFS-RULE-4b rdfs:isDefinedBy mt:rdfsentail . :s :p :o } log:implies { :o a rdfs:Resource } .
+{ :RDFS-RULE-5 rdfs:isDefinedBy mt:rdfsentail . :a rdfs:subPropertyOf :b. :b rdfs:subPropertyOf :c } log:implies { :a rdfs:subPropertyOf :c } .
+{ :RDFS-RULE-6 rdfs:isDefinedBy mt:rdfsentail . :p rdfs:subPropertyOf :b. :s :p :o } log:implies { :s :b :o } .
+{ :RDFS-RULE-7 rdfs:isDefinedBy mt:rdfsentail . :C a rdfs:Class } log:implies { :C rdfs:subClassOf rdfs:Resource } .
+{ :RDFS-RULE-8 rdfs:isDefinedBy mt:rdfsentail . :A rdfs:subClassOf :B. :B rdfs:subClassOf :C } log:implies { :A rdfs:subClassOf :C } .
+{ :RDFS-RULE-9 rdfs:isDefinedBy mt:rdfsentail . :A rdfs:subClassOf :B. :a a :A } log:implies { :a a :B } .
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/conjunction-test
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/conjunction-test (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/conjunction-test 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1 @@
+Nearly blank
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully loaded 3 statements from @baseuri@/jxdata/iTQL/rdfs/rdfs-domain-and-range/test001.rdf into @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult2.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult2.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult2.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully loaded 3 statements from @baseuri@/jxdata/iTQL/rdfs/rdfs-domain-and-range/test002.rdf into @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult3.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult3.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult3.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully loaded 1 statements from @baseuri@/jxdata/iTQL/rdfs/rdfs-domain-and-range/test003.rdf into @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult4.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult4.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult4.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully loaded 5 statements from @baseuri@/jxdata/iTQL/rdfs/rdfs-domain-and-range/premises005.rdf into @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult5.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult5.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/loadResult5.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully loaded 5 statements from @baseuri@/jxdata/iTQL/rdfs/rdfs-domain-and-range/premises006.rdf into @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/mulgara-readme.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/mulgara-readme.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/mulgara-readme.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,24 @@
+Mulgara Tests
+
+The contents of this directory come from:
+http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/
+
+These tests do not include the parser tests, as they are handled elsewhere.
+
+The positive entailment tests are based on test001.rdf, test002.rdf and
+test003.rdf resulting in the data in test004.rdf. The n3 files are equivalent
+to the rdf files and would normally be used for parser testing.
+
+The negative entailment tests are based on premises005.rdf and
+premises006.rdf. Entailment on these graphs should not lead to statements
+found in nonconclusions005.rdf and nonconclusions006.rdf.
+
+Tests are performed by loading the initial data, performing RDFS entailment,
+and querying for expected results. While the expected results (or
+non-results) are found in the rdf files in this directory, the tests are
+based in iTQL, and the resulting data is explicitly searched for in the
+test script.
+
+The resulting data, the axioms, and the manifest files are all left in this
+directory for completeness and to help explain the machanics of the tests.
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/nonconclusions005.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/nonconclusions005.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/nonconclusions005.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,28 @@
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, Keio University).
+
+ All Rights Reserved.
+
+ Please see the full Copyright clause at
+ <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+ $Id: nonconclusions005.rdf,v 1.1 2005/07/03 13:11:02 pgearon Exp $
+-->
+<!--
+See Manifest.rdf for description.
+-->
+<!-- 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#"
+ xml:base="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/nonconclusions005.rdf" >
+
+ <rdfs:Property rdf:about="premises005.rdf#prop">
+ <rdfs:range>
+ <rdfs:Class rdf:about="premises005.rdf#B"/>
+ </rdfs:range>
+ </rdfs:Property>
+
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/nonconclusions006.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/nonconclusions006.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/nonconclusions006.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,28 @@
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, Keio University).
+
+ All Rights Reserved.
+
+ Please see the full Copyright clause at
+ <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+ $Id: nonconclusions006.rdf,v 1.1 2005/07/03 13:11:02 pgearon Exp $
+-->
+<!--
+See Manifest.rdf for description.
+-->
+<!-- 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#"
+ xml:base="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/nonconclusions006.rdf" >
+
+ <rdfs:Property rdf:about="premises006.rdf#prop">
+ <rdfs:domain>
+ <rdfs:Class rdf:about="premises006.rdf#B"/>
+ </rdfs:domain>
+ </rdfs:Property>
+
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/premises005.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/premises005.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/premises005.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,32 @@
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, 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.1 2005/07/03 13:11:02 pgearon Exp $
+-->
+<!--
+See Manifest.rdf for description.
+-->
+<!-- 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#"
+ xml:base="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf" >
+
+ <rdfs:Property rdf:ID="prop">
+ <rdfs:range>
+ <rdfs:Class rdf:ID="A">
+ <rdfs:subClassOf>
+ <rdfs:Class rdf:ID="B"/>
+ </rdfs:subClassOf>
+ </rdfs:Class>
+ </rdfs:range>
+ </rdfs:Property>
+
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/premises006.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/premises006.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/premises006.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,32 @@
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, Keio University).
+
+ All Rights Reserved.
+
+ Please see the full Copyright clause at
+ <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+ $Id: premises006.rdf,v 1.1 2005/07/03 13:11:02 pgearon Exp $
+-->
+<!--
+See Manifest.rdf for description.
+-->
+<!-- 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#"
+ xml:base="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf" >
+
+ <rdfs:Property rdf:ID="prop">
+ <rdfs:domain>
+ <rdfs:Class rdf:ID="A">
+ <rdfs:subClassOf>
+ <rdfs:Class rdf:ID="B"/>
+ </rdfs:subClassOf>
+ </rdfs:Class>
+ </rdfs:domain>
+ </rdfs:Property>
+
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><o/></variables><solution><o resource="http://example.org/Domain1"/></solution><solution><o resource="http://example.org/Domain2"/></solution><solution><o resource="http://www.w3.org/2000/01/rdf-schema#Resource"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult2.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult2.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult2.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><o/></variables><solution><o resource="http://example.org/Range1"/></solution><solution><o resource="http://example.org/Range2"/></solution><solution><o resource="http://www.w3.org/2000/01/rdf-schema#Resource"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult7.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult7.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult7.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><o/></variables><solution><o resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#A"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult8.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult8.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResult8.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><o/></variables><solution><o resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#A"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResultCommon.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResultCommon.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/queryResultCommon.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><o/></variables><solution><o resource="http://www.w3.org/2000/01/rdf-schema#Class"/></solution><solution><o resource="http://www.w3.org/2000/01/rdf-schema#Resource"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/readme.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/readme.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/readme.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,37 @@
+Issue rdfs-domain-and-range:
+---------------------------
+Should a property be allowed more than one rdfs:range property?
+What should the semantics of multiple domain and range properties be?
+
+-> Multiple domain and range constraints are permissable
+ and will have conjunctive semantics.
+
+test001
+ describes a property with rdfs:domain the intersection of 2 domains
+test002
+ describes a property with rdfs:range the intersection of 2 ranges
+test003
+ sample statement
+test004
+ entailed description using test001, test002, test003 and
+ the rules for RDF and RDFS entailment
+ (see http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/ )
+
+# Suppose we have
+# ex:baz1 ex:bar ex:baz2 . #test003
+# and
+# ex:bar rdfs:domain ex:Domain1 . #test001
+# and
+# ex:bar rdfs:domain ex:Domain2 . #test001
+#
+# then we can RDFS entail
+# ex:baz1 rdf:type ex:Domain1 . #test004
+# and
+# ex:baz1 rdf:type ex:Domain2 . #test004
+#
+# Now, it is that last 'and' that expresses
+# those 'conjunctive semantics' i.e.
+# ex:baz1 in in the intersection of ex:Domain1 and ex:Domain2
+#
+# The same story for rdfs:range
+#
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/ruleResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/ruleResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/ruleResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully applied @baseuri@/rules/rdfs.dl to @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test.jxu
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test.jxu (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test.jxu 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,185 @@
+<jxu>
+ <set name="debug" value="false" />
+
+ <!-- Load the first 4 test files: test001 + test002 + test003 = test004 -->
+ <!-- Load test001 -->
+ <set name="modelName" value="@server@#test" />
+ <set name="loadCommand" value="load <@baseuri@/jxdata/iTQL/rdfs/rdfs-domain-and-range/test001.rdf> into <@server@#test> ;" />
+ <eval stepClass="org.mulgara.store.jxunit.LoadDataJX" />
+
+ <ifEqual converse="true" file="loadResult1.txt" name="loadResult">
+ <save name="loadResult" file="badLoadResult1.xml"/>
+ <fail>Output failed loading part 1 of the test data. Check badLoadResult1.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Load test002. Do not clear the model. -->
+ <set name="modelName" value="@server@#test" />
+ <set name="clearModel" value="false" />
+ <set name="loadCommand" value="load <@baseuri@/jxdata/iTQL/rdfs/rdfs-domain-and-range/test002.rdf> into <@server@#test> ;" />
+ <eval stepClass="org.mulgara.store.jxunit.LoadDataJX" />
+
+ <ifEqual converse="true" file="loadResult2.txt" name="loadResult">
+ <save name="loadResult" file="badLoadResult2.xml"/>
+ <fail>Output failed loading part 2 of the test data. Check badLoadResult2.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Load test003. Do not clear the model. -->
+ <set name="modelName" value="@server@#test" />
+ <set name="clearModel" value="false" />
+ <set name="loadCommand" value="load <@baseuri@/jxdata/iTQL/rdfs/rdfs-domain-and-range/test003.rdf> into <@server@#test> ;" />
+ <eval stepClass="org.mulgara.store.jxunit.LoadDataJX" />
+
+ <ifEqual converse="true" file="loadResult3.txt" name="loadResult">
+ <save name="loadResult" file="badLoadResult3.xml"/>
+ <fail>Output failed loading part 3 of the test data. Check badLoadResult3.xml for output.</fail>
+ </ifEqual>
+
+ <!-- Reset the model clear flag, for the tests after this point -->
+ <set name="clearModel" value="true" />
+
+
+ <!-- Apply the rules -->
+ <set name="query"
+ value="apply <@baseuri@/rules/rdfs.dl> to <@server@#test> ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="ruleResult1.txt" name="queryResult">
+ <save name="queryResult" file="badRule1Result.xml"/>
+ <fail>Output failed applying rules. Check badRule1Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Check the results of entailment -->
+
+ <!-- Look for types on baz1 -->
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResult1.txt" name="queryResult">
+ <save name="queryResult" file="badQuery1Result.xml"/>
+ <fail>Output failed for part 1 of first test. Check badQuery1Result.xml for output.</fail>
+ </ifEqual>
+
+ <!-- Look for types on baz2 -->
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResult2.txt" name="queryResult">
+ <save name="queryResult" file="badQuery2Result.xml"/>
+ <fail>Output failed for part 2 of first test. Check badQuery2Result.xml for output.</fail>
+ </ifEqual>
+
+ <!-- Get the types on Domain1, Domain2, Range1 and Range2 -->
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://example.org/Domain1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResultCommon.txt" name="queryResult">
+ <save name="queryResult" file="badQuery3Result.xml"/>
+ <fail>Output failed for part 3 of first test. Check badQuery3Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://example.org/Domain2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResultCommon.txt" name="queryResult">
+ <save name="queryResult" file="badQuery4Result.xml"/>
+ <fail>Output failed for part 4 of first test. Check badQuery4Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://example.org/Range1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResultCommon.txt" name="queryResult">
+ <save name="queryResult" file="badQuery5Result.xml"/>
+ <fail>Output failed for part 5 of first test. Check badQuery5Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://example.org/Range2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResultCommon.txt" name="queryResult">
+ <save name="queryResult" file="badQuery6Result.xml"/>
+ <fail>Output failed for part 6 of first test. Check badQuery6Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Load the first non-entailment test model -->
+ <!-- Load premises005.rdf -->
+ <set name="modelName" value="@server@#test" />
+ <set name="loadCommand" value="load <@baseuri@/jxdata/iTQL/rdfs/rdfs-domain-and-range/premises005.rdf> into <@server@#test> ;" />
+ <eval stepClass="org.mulgara.store.jxunit.LoadDataJX" />
+
+ <ifEqual converse="true" file="loadResult4.txt" name="loadResult">
+ <save name="loadResult" file="badLoadResult4.xml"/>
+ <fail>Output failed loading the second test's data. Check badLoadResult4.xml for output.</fail>
+ </ifEqual>
+
+
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#prop> <http://www.w3.org/2000/01/rdf-schema#range> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResult7.txt" name="queryResult">
+ <save name="queryResult" file="badQuery7Result.xml"/>
+ <fail>Output failed for second test. Check badQuery7Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Load the third non-entailment test model -->
+ <!-- Load premises006.rdf -->
+ <set name="modelName" value="@server@#test" />
+ <set name="loadCommand" value="load <@baseuri@/jxdata/iTQL/rdfs/rdfs-domain-and-range/premises006.rdf> into <@server@#test> ;" />
+ <eval stepClass="org.mulgara.store.jxunit.LoadDataJX" />
+
+ <ifEqual converse="true" file="loadResult5.txt" name="loadResult">
+ <save name="loadResult" file="badLoadResult5.xml"/>
+ <fail>Output failed loading the third test's data. Check badLoadResult5.xml for output.</fail>
+ </ifEqual>
+
+
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#prop> <http://www.w3.org/2000/01/rdf-schema#domain> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResult8.txt" name="queryResult">
+ <save name="queryResult" file="badQuery8Result.xml"/>
+ <fail>Output failed for third test. Check badQuery8Result.xml for output.</fail>
+ </ifEqual>
+
+
+</jxu>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test001.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test001.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test001.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,16 @@
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# $Id: test001.nt,v 1.1 2005/07/03 13:11:02 pgearon Exp $
+##################################################################
+
+<http://example.org/bar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
+<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/Domain1> .
+<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/Domain2> .
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test001.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test001.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test001.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,29 @@
+<?xml version="1.0"?>
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, Keio University).
+
+ All Rights Reserved.
+
+ Please see the full Copyright clause at
+ <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+ Description: a RDF Property may have more than one domain property
+
+ Related issue:
+
+ http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range
+
+ $Id: test001.rdf,v 1.1 2005/07/03 13:11:02 pgearon 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#">
+
+ <rdf:Property rdf:about="http://example.org/bar">
+ <rdfs:domain rdf:resource="http://example.org/Domain1"/>
+ <rdfs:domain rdf:resource="http://example.org/Domain2"/>
+ </rdf:Property>
+
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test002.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test002.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test002.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,16 @@
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# $Id: test002.nt,v 1.1 2005/07/03 13:11:02 pgearon Exp $
+##################################################################
+
+<http://example.org/bar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
+<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/Range1> .
+<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/Range2> .
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test002.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test002.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test002.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,29 @@
+<?xml version="1.0"?>
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, Keio University).
+
+ All Rights Reserved.
+
+ Please see the full Copyright clause at
+ <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+ Description: a RDF property may have more than one range property.
+
+ Related issue:
+
+ http://www.w3.org/2000/03/rdf-tracking/#rdfs-domain-and-range
+
+ $Id: test002.rdf,v 1.1 2005/07/03 13:11:02 pgearon 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#">
+
+ <rdf:Property rdf:about="http://example.org/bar">
+ <rdfs:range rdf:resource="http://example.org/Range1"/>
+ <rdfs:range rdf:resource="http://example.org/Range2"/>
+ </rdf:Property>
+
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test003.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test003.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test003.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,14 @@
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# $Id: test003.nt,v 1.1 2005/07/03 13:11:02 pgearon Exp $
+##################################################################
+
+<http://example.org/baz1> <http://example.org/bar> <http://example.org/baz2> .
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test003.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test003.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test003.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,22 @@
+<?xml version="1.0"?>
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, Keio University).
+
+ All Rights Reserved.
+
+ Please see the full Copyright clause at
+ <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+ $Id: test003.rdf,v 1.1 2005/07/03 13:11:02 pgearon 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:test="http://example.org/">
+
+ <rdf:Description rdf:about="http://example.org/baz1">
+ <test:bar rdf:resource="http://example.org/baz2"/>
+ </rdf:Description>
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test004.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test004.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test004.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,21 @@
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# $Id: test004.nt,v 1.1 2005/07/03 13:11:02 pgearon Exp $
+##################################################################
+
+<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1> .
+<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2> .
+<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1> .
+<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2> .
+<http://example.org/Domain1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
+<http://example.org/Domain2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
+<http://example.org/Range1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
+<http://example.org/Range2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class> .
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test004.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test004.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-domain-and-range/test004.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,27 @@
+<?xml version="1.0"?>
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, Keio University).
+
+ All Rights Reserved.
+
+ Please see the full Copyright clause at
+ <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+ $Id: test004.rdf,v 1.1 2005/07/03 13:11:02 pgearon 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:test="http://example.org/">
+
+ <test:Domain1 rdf:about="http://example.org/baz1"/>
+ <test:Domain2 rdf:about="http://example.org/baz1"/>
+ <test:Range1 rdf:about="http://example.org/baz2"/>
+ <test:Range2 rdf:about="http://example.org/baz2"/>
+ <rdfs:Class rdf:about="http://example.org/Domain1" />
+ <rdfs:Class rdf:about="http://example.org/Domain2" />
+ <rdfs:Class rdf:about="http://example.org/Range1" />
+ <rdfs:Class rdf:about="http://example.org/Range2" />
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/Manifest.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/Manifest.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/Manifest.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,36 @@
+<?xml version="1.0"?>
+
+<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:test="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#"
+>
+
+<test:PositiveEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/Manifest.rdf#test001">
+
+ <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-no-cycles-in-subClassOf" />
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0249.html" />
+
+ <test:description>
+ Cycles are permitted in subClassOf; therefore, no error occurs and the following entailment
+ holds trivially.
+ </test:description>
+
+ <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" />
+ <test:entailmentRules rdf:resource="http://www.w3.org/2000/01/rdf-schema#" />
+
+ <test:premiseDocument>
+ <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001.rdf" />
+ </test:premiseDocument>
+
+ <test:conclusionDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001.nt" />
+ </test:conclusionDocument>
+
+</test:PositiveEntailmentTest>
+
+
+
+</rdf:RDF>
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/loadResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/loadResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/loadResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully loaded 3 statements from @baseuri@/jxdata/iTQL/rdfs/rdfs-no-cycles-in-subClassOf/test001.rdf into @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/queryResult3.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/queryResult3.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/queryResult3.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><o/></variables><solution><o resource="http://www.w3.org/2000/01/rdf-schema#Resource"/></solution><solution><o resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/queryResultCommon.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/queryResultCommon.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/queryResultCommon.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><o/></variables><solution><o resource="http://www.w3.org/2000/01/rdf-schema#Resource"/></solution><solution><o resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A"/></solution><solution><o resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/ruleResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/ruleResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/ruleResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully applied @baseuri@/rules/rdfs.dl to @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/test.jxu
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/test.jxu (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/test.jxu 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,67 @@
+<jxu>
+ <set name="debug" value="false" />
+
+ <!-- Load the test data -->
+ <set name="modelName" value="@server@#test" />
+ <set name="loadCommand" value="load <@baseuri@/jxdata/iTQL/rdfs/rdfs-no-cycles-in-subClassOf/test001.rdf> into <@server@#test> ;" />
+ <eval stepClass="org.mulgara.store.jxunit.LoadDataJX" />
+
+ <ifEqual converse="true" file="loadResult1.txt" name="loadResult">
+ <save name="loadResult" file="badLoadResult1.xml"/>
+ <fail>Output failed loading test data. Check badLoadResult1.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Apply the rules -->
+ <set name="query"
+ value="apply <@baseuri@/rules/rdfs.dl> to <@server@#test> ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="ruleResult1.txt" name="queryResult">
+ <save name="queryResult" file="badRule1Result.xml"/>
+ <fail>Output failed applying rules. Check badRule1Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Query for A rdfs:subClassOf * -->
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A> <http://www.w3.org/2000/01/rdf-schema#subClassOf> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResultCommon.txt" name="queryResult">
+ <save name="queryResult" file="badQuery1Result.xml"/>
+ <fail>Output failed for test result 1. Check badQuery1Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Query for B rdfs:subClassOf * -->
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B> <http://www.w3.org/2000/01/rdf-schema#subClassOf> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResultCommon.txt" name="queryResult">
+ <save name="queryResult" file="badQuery2Result.xml"/>
+ <fail>Output failed for test result 2. Check badQuery2Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Query for X rdfs:subClassOf * -->
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X> <http://www.w3.org/2000/01/rdf-schema#subClassOf> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResult3.txt" name="queryResult">
+ <save name="queryResult" file="badQuery3Result.xml"/>
+ <fail>Output failed for test result 3. Check badQuery3Result.xml for output.</fail>
+ </ifEqual>
+
+</jxu>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/test001.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/test001.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/test001.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,18 @@
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# Author: Dan Connolly
+#
+# $Id: test001.nt,v 1.1 2005/07/03 13:11:02 pgearon Exp $
+#
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X> .
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/test001.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/test001.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subClassOf/test001.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,37 @@
+<?xml version="1.0"?>
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, Keio University).
+
+ All Rights Reserved.
+
+ Please see the full Copyright clause at
+ <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+ Author: Dan Connolly
+
+ Description: see:
+
+ http://www.w3.org/2000/03/rdf-tracking/#rdfs-no-cycles-in-subClassOf
+
+ $Id: test001.rdf,v 1.1 2005/07/03 13:11:02 pgearon 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#">
+
+ <rdf:Description rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A">
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B"/>
+ </rdf:Description>
+
+ <rdf:Description rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B">
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A"/>
+ </rdf:Description>
+
+ <rdf:Description rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X">
+ <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X"/>
+ </rdf:Description>
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/Manifest.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/Manifest.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/Manifest.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,36 @@
+<?xml version="1.0"?>
+
+<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:test="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#"
+>
+
+<test:PositiveEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/Manifest.rdf#test001">
+
+ <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-no-cycles-in-subPropertyOf" />
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0249.html" />
+
+ <test:description>
+ Cycles are permitted in subPropertyOf; therefore, no error occurs and the following entailment
+ holds trivially.
+ </test:description>
+
+ <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" />
+ <test:entailmentRules rdf:resource="http://www.w3.org/2000/01/rdf-schema#" />
+
+ <test:premiseDocument>
+ <test:RDF-XML-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001.rdf" />
+ </test:premiseDocument>
+
+ <test:conclusionDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001.nt" />
+ </test:conclusionDocument>
+
+</test:PositiveEntailmentTest>
+
+
+
+</rdf:RDF>
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/loadResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/loadResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/loadResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully loaded 3 statements from @baseuri@/jxdata/iTQL/rdfs/rdfs-no-cycles-in-subPropertyOf/test001.rdf into @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/queryResult3.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/queryResult3.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/queryResult3.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><o/></variables><solution><o resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/queryResultCommon.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/queryResultCommon.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/queryResultCommon.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><o/></variables><solution><o resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A"/></solution><solution><o resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/ruleResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/ruleResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/ruleResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully applied @baseuri@/rules/rdfs.dl to @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/test.jxu
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/test.jxu (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/test.jxu 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,67 @@
+<jxu>
+ <set name="debug" value="false" />
+
+ <!-- Load the test data -->
+ <set name="modelName" value="@server@#test" />
+ <set name="loadCommand" value="load <@baseuri@/jxdata/iTQL/rdfs/rdfs-no-cycles-in-subPropertyOf/test001.rdf> into <@server@#test> ;" />
+ <eval stepClass="org.mulgara.store.jxunit.LoadDataJX" />
+
+ <ifEqual converse="true" file="loadResult1.txt" name="loadResult">
+ <save name="loadResult" file="badLoadResult1.xml"/>
+ <fail>Output failed loading test data. Check badLoadResult1.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Apply the rules -->
+ <set name="query"
+ value="apply <@baseuri@/rules/rdfs.dl> to <@server@#test> ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="ruleResult1.txt" name="queryResult">
+ <save name="queryResult" file="badRule1Result.xml"/>
+ <fail>Output failed applying rules. Check badRule1Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Query for A rdfs:subPropertyOf * -->
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResultCommon.txt" name="queryResult">
+ <save name="queryResult" file="badQuery1Result.xml"/>
+ <fail>Output failed for test result 1. Check badQuery1Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Query for B rdfs:subPropertyOf * -->
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResultCommon.txt" name="queryResult">
+ <save name="queryResult" file="badQuery2Result.xml"/>
+ <fail>Output failed for test result 2. Check badQuery2Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Query for X rdfs:subPropertyOf * -->
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResult3.txt" name="queryResult">
+ <save name="queryResult" file="badQuery3Result.xml"/>
+ <fail>Output failed for test result 3. Check badQuery3Result.xml for output.</fail>
+ </ifEqual>
+
+</jxu>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/test001.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/test001.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/test001.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,18 @@
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# Author: Frank Manola
+#
+# $Id: test001.nt,v 1.1 2005/07/03 13:11:02 pgearon Exp $
+#
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X> .
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/test001.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/test001.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-no-cycles-in-subPropertyOf/test001.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,40 @@
+<?xml version="1.0"?>
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, Keio University).
+
+ All Rights Reserved.
+
+ Please see the full Copyright clause at
+ <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+ Author: Frank Manola
+
+ Description:
+
+ Related issue:
+
+ http://www.w3.org/2000/03/rdf-tracking/#rdfs-no-cycles-in-subPropertyOf
+
+ $Id: test001.rdf,v 1.1 2005/07/03 13:11:02 pgearon 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#">
+
+ <rdf:Description rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A">
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B"/>
+ </rdf:Description>
+
+ <rdf:Description rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B">
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A"/>
+ </rdf:Description>
+
+ <rdf:Description rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X">
+ <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X"/>
+ </rdf:Description>
+</rdf:RDF>
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/Manifest.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/Manifest.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/Manifest.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,44 @@
+<?xml version="1.0"?>
+
+<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:test="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#"
+>
+
+
+<test:NegativeEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subClassOf-a-Property/Manifest.rdf#test001">
+
+ <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-subClassOf-a-Property" />
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003Jan/0025.html" />
+
+ <test:description>
+an instance of the Property class may have an rdfs:subClassOf property.
+the meaning of such a property is defined by the model theory.
+
+The wording of the formal resolution is a bit bare, so let me add a few
+words of explanation. What this means is that a resource can be both a
+class and a property.
+
+This test is encoded as follows: a Property may have a subclass (that is, such an RDF graph
+is satisfiable)
+ </test:description>
+
+ <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" />
+ <test:entailmentRules rdf:resource="http://www.w3.org/2000/01/rdf-schema#" />
+
+ <test:premiseDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subClassOf-a-Property/test001.nt" />
+ </test:premiseDocument>
+
+ <test:conclusionDocument>
+ <test:False-Document/>
+ </test:conclusionDocument>
+
+</test:NegativeEntailmentTest>
+
+
+
+</rdf:RDF>
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/mulgara-readme.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/mulgara-readme.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/mulgara-readme.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,5 @@
+Consistency tests are not a part of the rule engine yet.
+
+Initially, the only consistency testing that was going to be done was for OWL.
+The test demonstrates the need to do it under RDFS as well. Consistencies
+should be added into the rules configuration.
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/test001.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/test001.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subClassOf-a-Property/test001.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,15 @@
+# Copyright World Wide Web Consortium (Massachusetts Institute of
+# Technology Institut National de Recherche en Informatique et en
+# Automatique Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# The following graph is legal (satisfiable)
+#
+# $Id: test001.nt,v 1.1 2005/07/03 13:11:02 pgearon Exp $
+##################################################################
+<http://example.org/foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
+<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://example.org/foo> .
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/Manifest.n3
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/Manifest.n3 (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/Manifest.n3 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,32 @@
+# $Id: Manifest.n3,v 1.1 2005/07/03 13:11:03 pgearon Exp $
+# PxButton | test | Euler Manifest.n3 Manifest.n3 |
+
+#Processed by Id: cwm.py,v 1.98 2002/07/24 02:31:38 timbl Exp
+ # using base file:/w3ccvs/WWW/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/Manifest.rdf
+
+# Notation3 generation by
+# notation3.py,v 1.111 2002/07/24 02:31:40 timbl Exp
+
+# Base was: file:/w3ccvs/WWW/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/Manifest.rdf
+ @prefix : <http://www.w3.org/2000/01/rdf-schema#> .
+ @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+ @prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001> a test:PositiveEntailmentTest;
+ test:conclusionDocument <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt>;
+ test:description """
+ The inheritance semantics of the subPropertyOf relationship needs to be clarified.
+
+ => subProperties inherit conjunctively the domain and range of their superproperties
+ """;
+ test:entailmentRules rdf:,
+ :;
+ test:issue <http://www.w3.org/2000/03/rdf-tracking/#rdfs-subPropertyOf-semantics>;
+ test:premiseDocument <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt>;
+ test:status "PENDING" .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt> a test:RDF-XML-Document .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt> a test:NT-Document .
+
+#ENDS
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/Manifest.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/Manifest.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/Manifest.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,38 @@
+<?xml version="1.0"?>
+
+<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:test="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#"
+>
+
+<test:PositiveEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/Manifest.rdf#test001">
+
+ <test:issue rdf:resource="http://www.w3.org/2000/03/rdf-tracking/#rdfs-subPropertyOf-semantics" />
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003Jan/0025.html" />
+
+
+ <test:description>
+ The inheritance semantics of the subPropertyOf relationship needs to be clarified.
+
+ => subProperties inherit conjunctively the domain and range of their superproperties
+ </test:description>
+
+ <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" />
+ <test:entailmentRules rdf:resource="http://www.w3.org/2000/01/rdf-schema#" />
+
+ <test:premiseDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test001.nt" />
+ </test:premiseDocument>
+
+ <test:conclusionDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/test002.nt" />
+ </test:conclusionDocument>
+
+</test:PositiveEntailmentTest>
+
+
+
+</rdf:RDF>
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/loadResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/loadResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/loadResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully loaded 7 statements from @baseuri@/jxdata/iTQL/rdfs/rdfs-subPropertyOf-semantics/test001.rdf into @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/mulgara-readme.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/mulgara-readme.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/mulgara-readme.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,16 @@
+Mulgara Tests
+
+The contents of this directory come from:
+http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/
+
+The nt files are equivalent to the rdf files and would normally be used for
+parser testing.
+
+Tests are performed by loading the initial data, performing RDFS entailment,
+and querying for expected results. While the expected results are found in
+the test002.rdf files in this directory, the tests are based in iTQL, and
+the resulting data is explicitly searched for in the test script.
+
+The test002.rdf, test002.nt and the manifest files are all left in this
+directory for completeness and to help explain the machanics of the tests.
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/queryResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/queryResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/queryResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><o/></variables><solution><o resource="http://example.org/Domain1"/></solution><solution><o resource="http://example.org/Domain2"/></solution><solution><o resource="http://www.w3.org/2000/01/rdf-schema#Resource"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/queryResult2.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/queryResult2.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/queryResult2.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><o/></variables><solution><o resource="http://example.org/Range1"/></solution><solution><o resource="http://example.org/Range2"/></solution><solution><o resource="http://www.w3.org/2000/01/rdf-schema#Resource"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/ruleResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/ruleResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/ruleResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully applied @baseuri@/rules/rdfs.dl to @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test.jxu
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test.jxu (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test.jxu 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,54 @@
+<jxu>
+ <set name="debug" value="false" />
+
+ <!-- Load the test data -->
+ <set name="modelName" value="@server@#test" />
+ <set name="loadCommand" value="load <@baseuri@/jxdata/iTQL/rdfs/rdfs-subPropertyOf-semantics/test001.rdf> into <@server@#test> ;" />
+ <eval stepClass="org.mulgara.store.jxunit.LoadDataJX" />
+
+ <ifEqual converse="true" file="loadResult1.txt" name="loadResult">
+ <save name="loadResult" file="badLoadResult1.xml"/>
+ <fail>Output failed loading the test data. Check badLoadResult1.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Apply the rules -->
+ <set name="query"
+ value="apply <@baseuri@/rules/rdfs.dl> to <@server@#test> ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="ruleResult1.txt" name="queryResult">
+ <save name="queryResult" file="badRule1Result.xml"/>
+ <fail>Output failed applying rules. Check badRule1Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <!-- Check the results of entailment -->
+
+ <!-- Look for types on baz1 -->
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResult1.txt" name="queryResult">
+ <save name="queryResult" file="badQuery1Result.xml"/>
+ <fail>Output failed for the first part of the test. Check badQuery1Result.xml for output.</fail>
+ </ifEqual>
+
+ <!-- Look for types on baz2 -->
+ <set name="query"
+ value="select $o
+ from <@server@#test>
+ where <http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> $o
+ order by $o ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResult2.txt" name="queryResult">
+ <save name="queryResult" file="badQuery2Result.xml"/>
+ <fail>Output failed for the second part of the test. Check badQuery2Result.xml for output.</fail>
+ </ifEqual>
+
+</jxu>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test001.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test001.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test001.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,24 @@
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# Issue rdfs-subPropertyOf-semantics:
+# The inheritance semantics of the subPropertyOf relationship needs to be clarified.
+#
+# => subProperties inherit conjunctively the domain and range of their superproperties
+#
+# $Id: test001.nt,v 1.1 2005/07/03 13:11:03 pgearon Exp $
+##################################################################
+
+<http://example.org/bar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
+<http://example.org/bas> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/bar> .
+<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/Domain1> .
+<http://example.org/bas> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/Domain2> .
+<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/Range1> .
+<http://example.org/bas> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/Range2> .
+<http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2> .
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test001.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test001.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test001.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,38 @@
+<?xml version="1.0"?>
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, Keio University).
+
+ All Rights Reserved.
+
+ Please see the full Copyright clause at
+ <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+ Issue rdfs-subPropertyOf-semantics:
+ The inheritance semantics of the subPropertyOf relationship needs to be clarified.
+
+ => subProperties inherit conjunctively the domain and range of their superproperties
+
+ $Id: test001.rdf,v 1.1 2005/07/03 13:11:03 pgearon Exp $
+-->
+
+<rdf:RDF xmlns="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
+
+ <rdf:Property rdf:about="http://example.org/bar">
+ <domain rdf:resource="http://example.org/Domain1"/>
+ <range rdf:resource="http://example.org/Range1"/>
+ </rdf:Property>
+
+ <rdf:Description rdf:about="http://example.org/bas">
+ <subPropertyOf rdf:resource="http://example.org/bar"/>
+ <domain rdf:resource="http://example.org/Domain2"/>
+ <range rdf:resource="http://example.org/Range2"/>
+ </rdf:Description>
+
+ <rdf:Description rdf:about="http://example.org/baz1">
+ <bas xmlns="http://example.org/"
+ rdf:resource="http://example.org/baz2"/>
+ </rdf:Description>
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test002.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test002.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test002.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,21 @@
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# Issue rdfs-subPropertyOf-semantics:
+# The inheritance semantics of the subPropertyOf relationship needs to be clarified.
+#
+# => subProperties inherit conjunctively the domain and range of their superproperties
+#
+# $Id: test002.nt,v 1.1 2005/07/03 13:11:03 pgearon Exp $
+##################################################################
+
+<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1> .
+<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2> .
+<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1> .
+<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2> .
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test002.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test002.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-subPropertyOf-semantics/test002.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,31 @@
+<?xml version="1.0"?>
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, Keio University).
+
+ All Rights Reserved.
+
+ Please see the full Copyright clause at
+ <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+ Issue rdfs-subPropertyOf-semantics:
+ The inheritance semantics of the subPropertyOf relationship needs to be clarified.
+
+ => subProperties inherit conjunctively the domain and range of their superproperties
+
+ $Id: test002.rdf,v 1.1 2005/07/03 13:11:03 pgearon Exp $
+-->
+
+<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
+
+ <Domain1 xmlns="http://example.org/"
+ rdf:about="http://example.org/baz1">
+ <rdf:type rdf:resource="http://example.org/Domain2"/>
+ </Domain1>
+
+ <Range1 xmlns="http://example.org/"
+ rdf:about="http://example.org/baz2">
+ <rdf:type rdf:resource="http://example.org/Range2"/>
+ </Range1>
+</rdf:RDF>
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/mulgara-readme.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/mulgara-readme.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/mulgara-readme.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,6 @@
+This test is not relevant to RDFS because arbitrary properties cannot be
+declared as transitive. These tests cannot be applied to the existing
+transitive properies (rdfs:subClassOf and rdfs:subPropertyOf) as these
+properties should not have their types modified (by giving them a super
+type) and all sub properties will be given the semantics and entailments
+of the rdfs properties they inherit from.
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/test001.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/test001.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/test001.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,31 @@
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# Issue rdfs-transitive-subSubProperty:
+# Is a super/sub-property of a transitive property necessarily transitive?
+#
+# e.g. ancestor is a transitive property
+# parent is a sub-property of ancestor but is not transitive
+# ancestor-or-uncle is a super-property of ancestor but is not transitive
+#
+# $Id: test001.nt,v 1.1 2005/07/03 13:11:03 pgearon Exp $
+##################################################################
+
+<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#fd> .
+<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od> .
+<http://example.org/foo#jd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#od> .
+<http://example.org/foo#fd> <http://example.org/foo#ancestor-or-uncle> <http://example.org/foo#ad> .
+
+<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#fd> .
+<http://example.org/foo#fd> <http://example.org/foo#ancestor> <http://example.org/foo#od> .
+<http://example.org/foo#jd> <http://example.org/foo#ancestor> <http://example.org/foo#od> .
+
+<http://example.org/foo#jd> <http://example.org/foo#parent> <http://example.org/foo#fd> .
+<http://example.org/foo#fd> <http://example.org/foo#parent> <http://example.org/foo#od> .
+
Added: trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/test001.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/test001.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/rdfs-transitive-subSubProperty/test001.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,40 @@
+<?xml version="1.0"?>
+<!--
+ Copyright World Wide Web Consortium, (Massachusetts Institute of
+ Technology, Institut National de Recherche en Informatique et en
+ Automatique, Keio University).
+
+ All Rights Reserved.
+
+ Please see the full Copyright clause at
+ <http://www.w3.org/Consortium/Legal/copyright-software.html>
+
+ Issue rdfs-transitive-subSubProperty:
+ Is a super/sub-property of a transitive property necessarily transitive?
+
+ e.g. ancestor is a transitive property
+ parent is a sub-property of ancestor but is not transitive
+ ancestor-or-uncle is a super-property of ancestor but is not transitive
+
+ $Id: test001.rdf,v 1.1 2005/07/03 13:11:03 pgearon Exp $
+-->
+
+<rdf:RDF xmlns="http://example.org/foo#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
+
+ <rdf:Description rdf:about="http://example.org/foo#fd">
+ <ancestor-or-uncle rdf:resource="http://example.org/foo#ad"/>
+ <ancestor-or-uncle rdf:resource="http://example.org/foo#od"/>
+ <ancestor rdf:resource="http://example.org/foo#od"/>
+ <parent rdf:resource="http://example.org/foo#od"/>
+ </rdf:Description>
+
+ <rdf:Description rdf:about="http://example.org/foo#jd">
+ <ancestor-or-uncle rdf:resource="http://example.org/foo#fd"/>
+ <ancestor-or-uncle rdf:resource="http://example.org/foo#od"/>
+ <ancestor rdf:resource="http://example.org/foo#fd"/>
+ <ancestor rdf:resource="http://example.org/foo#od"/>
+ <parent rdf:resource="http://example.org/foo#fd"/>
+ </rdf:Description>
+</rdf:RDF>
+
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/Manifest.n3
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/Manifest.n3 (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/Manifest.n3 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,47 @@
+# $Id: Manifest.n3,v 1.1 2005/07/03 13:11:03 pgearon Exp $
+# PxButton | test | Euler Manifest.n3 Manifest.n3 |
+
+#Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp
+ # using base file:/www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf
+
+# Notation3 generation by
+# notation3.py,v 1.107 2002/03/22 21:36:00 timbl Exp
+
+# Base was: file:/www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf
+ @prefix : <http://www.w3.org/2000/01/rdf-schema#> .
+ @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+ @prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NegativeEntailmentTest>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#conclusionDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#description> """
+ RDFCore WG RESOLVED that a reified statement was a stating, not a statement.
+ The following entailment does not, therefore, hold.
+ """;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules> rdf:,
+ :;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "PENDING" .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NegativeEntailmentTest>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#conclusionDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#description> """
+ RDFCore WG RESOLVED that a statement does NOT entail its reification.
+ The following entailment does not, therefore, hold.
+ """;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules> rdf:,
+ :;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt>;
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "PENDING" .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+
+ <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt> a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+
+#ENDS
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/Manifest.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/Manifest.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/Manifest.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,20 @@
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules> <http://www.w3.org/2000/01/rdf-schema#> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#description> "\n RDFCore WG RESOLVED that a reified statement was a stating, not a statement.\n The following entailment does not, therefore, hold.\n " .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules> <http://www.w3.org/2000/01/rdf-schema#> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NegativeEntailmentTest> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#description> "\n RDFCore WG RESOLVED that a statement does NOT entail its reification.\n The following entailment does not, therefore, hold.\n " .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules> <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NegativeEntailmentTest> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#conclusionDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules> <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "PENDING" .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "PENDING" .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001> <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#conclusionDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt> .
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/Manifest.rdf
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/Manifest.rdf (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/Manifest.rdf 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,102 @@
+<?xml version="1.0"?>
+
+<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:test="http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#"
+>
+
+<test:NegativeEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf#test001">
+
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html" />
+ <test:description>
+ RDFCore WG RESOLVED that a reified statement was a stating, not a statement.
+ The following entailment does not, therefore, hold.
+ </test:description>
+
+ <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" />
+
+ <test:premiseDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt" />
+ </test:premiseDocument>
+
+ <test:conclusionDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt" />
+ </test:conclusionDocument>
+
+</test:NegativeEntailmentTest>
+
+
+<test:NegativeEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf#test002">
+
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html" />
+ <test:description>
+ RDFCore WG RESOLVED that a statement does NOT entail its reification.
+ The following entailment does not, therefore, hold.
+ </test:description>
+
+ <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" />
+
+ <test:premiseDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt" />
+ </test:premiseDocument>
+
+ <test:conclusionDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt" />
+ </test:conclusionDocument>
+
+</test:NegativeEntailmentTest>
+
+
+<test:NegativeEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf#test003">
+
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html" />
+ <test:description>
+ RDFCore WG RESOLVED that a reified statement was a stating, not a statement.
+ The following entailment does not, therefore, hold.
+ This is the same as test001, but using RDFS-entailment.
+ </test:description>
+
+ <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" />
+ <test:entailmentRules rdf:resource="http://www.w3.org/2000/01/rdf-schema#" />
+
+ <test:premiseDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt" />
+ </test:premiseDocument>
+
+ <test:conclusionDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt" />
+ </test:conclusionDocument>
+
+</test:NegativeEntailmentTest>
+
+
+<test:NegativeEntailmentTest rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf#test004">
+
+ <test:status>APPROVED</test:status>
+ <test:approval rdf:resource="http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html" />
+ <test:description>
+ RDFCore WG RESOLVED that a statement does NOT entail its reification.
+ The following entailment does not, therefore, hold.
+ This is the same as test002, but using RDFS-entailment.
+ </test:description>
+
+ <test:entailmentRules rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#" />
+ <test:entailmentRules rdf:resource="http://www.w3.org/2000/01/rdf-schema#" />
+
+ <test:premiseDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt" />
+ </test:premiseDocument>
+
+ <test:conclusionDocument>
+ <test:NT-Document rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt" />
+ </test:conclusionDocument>
+
+</test:NegativeEntailmentTest>
+
+
+</rdf:RDF>
+
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/loadResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/loadResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/loadResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully loaded 9 statements from @baseuri@/jxdata/iTQL/rdfs/statement-entailment/test001a.nt into @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/loadResult2.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/loadResult2.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/loadResult2.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully loaded 1 statements from @baseuri@/jxdata/iTQL/rdfs/statement-entailment/test002a.nt into @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/queryResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/queryResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/queryResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><s/></variables><solution><s resource="http://example.org/stmt1"/></solution></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/queryResult2.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/queryResult2.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/queryResult2.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><variables><s/></variables></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/ruleResult1.txt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/ruleResult1.txt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/ruleResult1.txt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<answer xmlns="http://mulgara.org/tql#"><query><message>Successfully applied @baseuri@/rules/rdfs.dl to @server@#test</message></query></answer>
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test.jxu
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test.jxu (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test.jxu 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,72 @@
+<jxu>
+ <set name="debug" value="false" />
+
+ <set name="modelName" value="@server@#test" />
+ <set name="loadCommand" value="load <@baseuri@/jxdata/iTQL/rdfs/statement-entailment/test001a.nt> into <@server@#test> ;" />
+ <eval stepClass="org.mulgara.store.jxunit.LoadDataJX" />
+
+ <ifEqual converse="true" file="loadResult1.txt" name="loadResult">
+ <save name="loadResult" file="badLoadResult1.xml"/>
+ <fail>Output failed loading test1 data. Check badLoadResult1.xml for output.</fail>
+ </ifEqual>
+
+
+ <set name="query"
+ value="apply <@baseuri@/rules/rdfs.dl> to <@server@#test> ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="ruleResult1.txt" name="queryResult">
+ <save name="queryResult" file="badRule1Result.xml"/>
+ <fail>Output failed applying rules. Check badRule1Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <set name="query"
+ value="select $s
+ from <@server@#test> where $s <http://example.org/property> <http://example.org/foo> ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResult1.txt" name="queryResult">
+ <save name="queryResult" file="badQuery1Result.xml"/>
+ <fail>Output failed for first test. Check badQuery1Result.xml for output.</fail>
+ </ifEqual>
+
+ <!-- End of first test -->
+
+ <!-- Load data for second test -->
+
+ <set name="modelName" value="@server@#test" />
+ <set name="loadCommand" value="load <@baseuri@/jxdata/iTQL/rdfs/statement-entailment/test002a.nt> into <@server@#test> ;" />
+ <eval stepClass="org.mulgara.store.jxunit.LoadDataJX" />
+
+ <ifEqual converse="true" file="loadResult2.txt" name="loadResult">
+ <save name="loadResult" file="badLoadResult2.xml"/>
+ <fail>Output failed loading test2 data. Check badLoadResult2.xml for output.</fail>
+ </ifEqual>
+
+
+ <set name="query"
+ value="apply <@baseuri@/rules/rdfs.dl> to <@server@#test> ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="ruleResult1.txt" name="queryResult">
+ <save name="queryResult" file="badRule2Result.xml"/>
+ <fail>Output failed applying rules. Check badRule2Result.xml for output.</fail>
+ </ifEqual>
+
+
+ <set name="query"
+ value="select $s
+ from <@server@#test>
+ where $s <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement>
+ or $s <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subj>
+ or $s <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/prop>
+ or $s <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/obj> ;"/>
+
+ <eval stepClass="org.mulgara.store.jxunit.QueryJX" />
+ <ifEqual converse="true" file="queryResult2.txt" name="queryResult">
+ <save name="queryResult" file="badQuery2Result.xml"/>
+ <fail>Output failed for second test. Check badQuery2Result.xml for output.</fail>
+ </ifEqual>
+
+</jxu>
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test001
===================================================================
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test001a.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test001a.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test001a.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,12 @@
+<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .
+<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subject> .
+<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/predicate> .
+<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object> .
+
+<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .
+<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subject> .
+<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/predicate> .
+<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object> .
+
+<http://example.org/stmt1> <http://example.org/property> <http://example.org/foo> .
+
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test001b.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test001b.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test001b.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<http://example.org/stmt2> <http://example.org/property> <http://example.org/foo> .
+
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test002a.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test002a.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test002a.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,2 @@
+<http://example.org/subj> <http://example.org/prop> <http://example.org/obj> .
+
Added: trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test002b.nt
===================================================================
--- trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test002b.nt (rev 0)
+++ trunk/jxdata/iTQL/rdfs-dl/statement-entailment/test002b.nt 2009-03-07 19:37:59 UTC (rev 1594)
@@ -0,0 +1,5 @@
+_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .
+_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subj> .
+_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/prop> .
+_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/obj> .
+
More information about the Mulgara-svn
mailing list