search

ghxiao / drew

DReW reasoner for DL-Programs over Datalog-rewritable Descritption Logics
Apache License 2.0
6 stars 2 forks source link

Support for OWL 2 QL Profile #9

Open hmqq opened 3 years ago

hmqq commented 3 years ago

Can it support OWL 2 QL ontologies? or can it be extended to support OWL 2 QL ontologies?

ghxiao commented 3 years ago

Currently, it supports OWL 2 QL only partially. It does not handle existential on the right-hand side of an axiom. Supporting OWL 2 QL means designing specific Datalog rewriting. In principle, this is doable, but the effort is considerable.

I don't know what do you need. Have a look at ontop in case you are not aware of it.

hmqq commented 3 years ago

I am working on Hybrid Knowledge bases (datalogRules+Ontology), and I want to use DReW to get data from ontology and use it in the datalog program (consist of recursive rules) to evaluate answers. I am using OWL 2 QL ontologies, and I am looking for something that uses DLV (as it executes my datalog program very effeciently). DReW uses DLV as a datalog reasoner, and It would be great if DReW has supported OWL 2 QL profile as well. Maybe you could help me to make DReW support OWL 2 QL profile!

ontop is not something I am looking for. (also the provided link is dead).

Thankyou!