search

gtfierro / reasonable

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

TODO: implement RDF/RDFS entailment semantics as described here #18

Closed RichDijk closed 1 year ago

RichDijk commented 1 year ago

This TODO is in the readme. Is it still the case that RDF/RDFS entailments are not yet implemented?

gtfierro commented 1 year ago

Hi @RichDijk -- I believe many of these are implemented but were accidentally grouped under the OWL-RL rules. Most of 9.2.1 in https://www.w3.org/TR/rdf11-mt/#entailment-rules-informative should already be implemented save for some of the basic ones like asserting rdfs:Resource, ref:Property, etc

RichDijk commented 1 year ago

Good, I expected something like that. Thank you.