Uploaded image for project: 'Apache Jena'
  1. Apache Jena
  2. JENA-1865

Missed inference in Jena Fuseki

    XMLWordPrintableJSON

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Minor
    • Resolution: Information Provided
    • Affects Version/s: Jena 3.13.1
    • Fix Version/s: None
    • Component/s: Jena
    • Labels:
      None

      Description

      I'm using Jena Fuseki 3.13.1 (with OWLFBRuleReasoner), and I have asserted (uploaded) the following triples:

      @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 .

       
      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:

      [inverseOf2b: (?P owl:inverseOf ?Q), (?X ?P ?Y) -> (?Y ?Q ?X) ]

       
       

        Attachments

          Activity

            People

            • Assignee:
              Unassigned
              Reporter:
              a.leofreddi Andrea Leofreddi
            • Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: