You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@jena.apache.org by "Andrea Leofreddi (Jira)" <ji...@apache.org> on 2020/03/17 19:30:00 UTC
[jira] [Updated] (JENA-1865) Missed inference in Jena Fuseki
[ https://issues.apache.org/jira/browse/JENA-1865?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Andrea Leofreddi updated JENA-1865:
-----------------------------------
Description:
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}
was:
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}
> 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
> Priority: Minor
>
> 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)