sameAs reasoning not fully working in BFP method

[GoogleCodeExporter]

$ FuXi --safety=loose --strictness=defaultDerived \
--idb=owl:sameAs --method=both  \
--why="ASK { ex:subject1 owl:sameAs ex:subject2 }" \
--debug  \
--ns=ex=http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#  \
--pDSemantics 
--builtinTemplates=http://fuxi.googlecode.com/hg/RuleBuiltinSPARQLTemplates.n3 \
--dlp http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001.rdf

SELECT ?P {     ?P owl:inverseOf owl:sameAs_query_bb } 1 apriori binding(s)-> []
Query triggered for  rdfs:range_query(?P ?C) :- bfp:evaluate(rule:3 0)
Traceback (most recent call last):
  File "/Library/Python/2.5/site-packages/FuXi-1.1.production-py2.5.egg/FuXi/LP/BackwardFixpointProcedure.py", line 207, in __call__
    queryStr,rt = edbQuery.evaluate(self.bfp.debug)
    raise maxException
pyparsing.ParseException: Expected "}" (at char 17), (line:1, col:18)

Original issue reported on code.google.com by chime...@gmail.com on 21 Sep 2010 at 1:54

[GoogleCodeExporter]

Original comment by chime...@gmail.com on 21 Sep 2010 at 2:23

• Changed title: sameAs reasoning not fully working in BFP method
• Added labels: Component-Logic

[GoogleCodeExporter]

Original comment by chime...@gmail.com on 21 Sep 2010 at 3:21

• Changed state: Fixed