[jira] [Created] (JENA-1865) Missed inference in Jena Fuseki

["Andrea Leofreddi (Jira)" <ji...@apache.org>]

Andrea Leofreddi created JENA-1865:
--------------------------------------

             Summary: Missed inference in Jena Fuseki
                 Key: JENA-1865
                 URL: https://issues.apache.org/jira/browse/JENA-1865
             Project: Apache Jena
          Issue Type: Bug
          Components: Jena
    Affects Versions: Jena 3.13.1
            Reporter: Andrea Leofreddi


I'm using Jena Fuseki 3.13.1 (with OWLFBRuleReasoner), and I have asserted (uploaded) the following triples:
{quote}@prefix rdfs: <[http://www.w3.org/2000/01/rdf-schema#]> .
@prefix owl: <[http://www.w3.org/2002/07/owl#]> .
@prefix f: <[http://vleo.net/family#]> .
 
f:Bob f:hasWife f:Alice .
f:Bob f:hasWife f:Alice2 .
f:Alice2 f:hasHusband f:Bob2 .
 
f:hasWife a owl:FunctionalProperty .
f:hasWife a owl:InverseFunctionalProperty .
f:hasHusband owl:inverseOf f:hasWife .{quote}
 
Now, If I query and ASK \{ f:Alice owl:sameAs f:Alice2 }, I get true. However, If I ASK \{ f:Bob owl:sameAs f:Bob2 }, I get false! Loading the same triples on another reasoner (owl-rl), I get the triple f:Bob owl:sameAs f:Bob2 inferred.

If I explicitly add the forward version of inverseOf to the owl-fb rules, I get that f:Bob owl:sameAs f:Bob2:
{quote}[inverseOf2b: (?P owl:inverseOf ?Q), (?X ?P ?Y) -> (?Y ?Q ?X) ]{quote}
 
 



--
This message was sent by Atlassian Jira
(v8.3.4#803005)