search

slitayem / fuxi

Automatically exported from code.google.com/p/fuxi
0 stars 0 forks source link

Need harness for testing FuXi against W3C SPARQL 1.1 entailment regime tests #47

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
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

Original issue reported on code.google.com by chime...@gmail.com on 7 Apr 2011 at 11:47

GoogleCodeExporter commented 8 years ago 
Complete harness has been added.  See:

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

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

Original comment by chime...@gmail.com on 7 May 2011 at 4:12