[
https://issues.apache.org/jira/browse/JENA-1865?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Andy Seaborne closed JENA-1865.
-------------------------------
Resolution: Information Provided
Redirected to us...@jena.apache.org for discussion.
> 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)
