#1 Fail to reason with owl:inverse

[Harry Chen]

The inference engine is unable to draw proper reasoning
for subjects and objects are associated with the
owl:inverseOf property. In the test data "family.owl"
[1], the "hasMother" property is defined as
owl:inverseOf of the "motherOf" property, and the
subject "Lisa" is defined with property "hasMother",
whose value is "Marge" (i.e., Lisa hasMother Marge).

In "owlxsb", when I try to query

"xsbquery fowl_triple X
http://example.org/family#motherOf Y",

the engine returns no matched result. However, the
engine does return a matched result for

"xsbquery fowl_triple X
http://example.org/family#hasMother Y
"

[1] http://www.cs.umbc.edu/~hchen4/download/family.owl

[youyong zou]

Logged In: YES
user_id=168144

Fixed.