Issue 47 in fuxi: Need harness for testing FuXi against W3C SPARQL 1.1 entailment regime tests

[fu...@googlecode.com]

Status: Started
Owner: chimezie
Labels: Type-Task Priority-High

New issue 47 by chimezie: Need harness for testing FuXi against W3C SPARQL
1.1 entailment regime tests
http://code.google.com/p/fuxi/issues/detail?id=47

FuXi's SPARQL query mediation engine needs further testing using the
recently created SPARQL 1.1 entailment regime tests:

http://www.w3.org/2009/sparql/docs/tests/data-sparql11/entailment/

A harness similar to the one created for the OWL tests needs to be created

This will be done over the next couple of days

[fu...@googlecode.com]

Updates:
Status: Fixed

Comment #1 on issue 47 by chimezie: Need harness for testing FuXi against

W3C SPARQL 1.1 entailment regime tests
http://code.google.com/p/fuxi/issues/detail?id=47

Complete harness has been added. See:

http://code.google.com/p/fuxi/source/detail?r=9de9d3dd014c55e5aa61a1689f6b9cd82cf2add4

Trace from run is below:

Skipping (rdf01) Quantification over predicates
Skipping (rdf02) Reification
Skipping (rdfs01) Quantification over predicates
Skipping (rdfs05) Quantification over predicates (unary)
test_rdf03 (__main__.TestSequence) ... rdf03 RDF test for blank node
cardinalities
ok
test_rdf04 (__main__.TestSequence) ... rdf04 simple triple pattern match
ok
test_rdfs02 (__main__.TestSequence) ... rdfs02 RDFS inference test
rdfs:subPropertyOf
ok
test_rdfs03 (__main__.TestSequence) ... rdfs03 RDFS inference test RDFS
rules incompleteness
ok
test_rdfs04 (__main__.TestSequence) ... rdfs04 RDFS inference test
subClassOf
/Library/Python/2.6/site-packages/FuXi-1.2.production-py2.6.egg/FuXi/Rete/Magic.py:622:
DeprecationWarning:
functions overriding warnings.showwarning() must
support the 'line' argument
"predicate symbol of %s is in both IDB and EDB. Marking
as %s"%(term,mark))
/Library/Python/2.6/site-packages/FuXi-1.2.production-py2.6.egg/FuXi/Rete/Magic.py:622:
UserWarning:
predicate symbol of rdfs:subClassOf(?C ?A) is in both IDB and
EDB. Marking as derived
"predicate symbol of %s is in both IDB and EDB. Marking
as %s"%(term,mark))
ok
test_rdfs06 (__main__.TestSequence) ... rdfs06 RDFS inference test domain
ok
test_rdfs07 (__main__.TestSequence) ... rdfs07 RDFS inference test range
ok
test_rdfs08 (__main__.TestSequence) ... rdfs08 RDFS inference test
rdf:XMLLiteral subclass of rdfs:Literal
FAIL
test_rdfs09 (__main__.TestSequence) ... rdfs09 RDFS inference test
transitivity of subClassOf
ok
test_rdfs10 (__main__.TestSequence) ... rdfs10 RDFS inference test
transitivity of subPropertyOf
FAIL
test_rdfs11 (__main__.TestSequence) ... rdfs11 RDFS inference test
subclasses of rdf:Container
FAIL
test_rdfs12 (__main__.TestSequence) ... rdfs12 RDFS inference test members
of rdfs:ContaierMembershipProperty
FAIL
test_rdfs13 (__main__.TestSequence) ... rdfs13 RDFS inference test to show
that newly introduced surrogate blank nodes are not to be returned in query
answers
ok