What steps will reproduce the problem?
1. Run FuXi from command-line as follows: "FuXi --naive --ruleFacts
--rules=http://pastebin.com/raw.php?i=abzeyyHh"
The N3 document passed as --rules contains the following rules:
# RDF Semantics, rule rdfs7, http://www.w3.org/TR/rdf11-mt/#rdfs-entailment
{ ?p rdfs:subPropertyOf ?q . ?x ?p ?y } => { ?x ?q ?y } .
# OWL Semantics, rule prp-trp, http://www.w3.org/TR/owl2-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules
{ ?p a owl:TransitiveProperty . ?x ?p ?y . ?y ?p ?z } => { ?x ?p ?z } .
and the following facts:
:partOf a owl:TransitiveProperty ;
rdfs:subPropertyOf :overlaps .
:Brooklyn :overlaps :NewYork .
:NewYork :overlaps :Bronx .
Resulting inferred triple(s):
:Brooklyn :overlaps :Bronx .
To my understanding that triple should not be inferred.
I am using FuXi 1.4.1, installed via pip with the instructions on this page:
https://code.google.com/p/fuxi/wiki/Installation_Testing
I had to add option "--naive" to the command-line in the Forward-chaining
Simple Example in the Tutorial to get the output:
https://code.google.com/p/fuxi/wiki/Tutorial
Original issue reported on code.google.com by jouni.tu...@gmail.com on 17 Feb 2015 at 9:40
Original issue reported on code.google.com by
jouni.tu...@gmail.com
on 17 Feb 2015 at 9:40