search

gtfierro / reasonable

OWL 2 Reasoner built on DataFrog
BSD 3-Clause "New" or "Revised" License
67 stars 4 forks source link

Unable to implement propertyChainAxiom #23

Open cosmicexotic opened 1 year ago

cosmicexotic commented 1 year ago

I wrote a rule like:

<had> <http://www.w3.org/2002/07/owl#propertyChainAxiom> <http://1> .   
<http://1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#List> .
<http://1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <include> .
<http://1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://2> .
<http://2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <has> .
<http://2>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<a> <include> <b> .
<b> <has> <c> .

it should get: <a> <had> <c> but i got nothing? is there anything wrong?

gtfierro commented 1 year ago

You can see in the README I have not implemented prp-spo2 for the propertyChainAxiom reasoning