search

dfsantamaria / DL4xD-Reasoner

A Reasoner for DL4xD via the set-theoretic fragment 4LQS^R
1 stars 0 forks source link

Recent developments #3

Closed logicReasoner closed 3 years ago

logicReasoner commented 3 years ago

Hello, has there been any recent progress on the following three fronts: 1) We plan to modify the set-theoretic fragment underpinning the reasoner so as to include a restricted version of the operator of relational composition in order to be able to reason with DLs admitting full existential and universal quantification. 2) We also intend to improve our reasoner so as to deal with the reasoning problem of ontology classification. We shall compare the resulting reasoner with existing well-known reasoners such as Hermit [7] and Pellet [14], providing also some benchmarking. 3) In addition, we plan to allow data type reasoning by either integrating existing solvers for the Satisfiability Modulo Theories (SMT) problem or by designing ad hoc new solvers.

Thanks.

dfsantamaria commented 3 years ago

Good evening, Step 2 has been completed. The results will appear on Fundamenta Informaticae. Concerning steps 1 and 3, they are in progress. Thank you.

logicReasoner commented 3 years ago

Good evening.

So when approximately should the code be updated on GitHub?

Best regards

On Thu, Feb 11, 2021, 17:27 Daniele Francesco Santamaria < notifications@github.com> wrote:

Good evening, Step 2 has been completed. The results will appear on Fundamenta Informaticae. Concerning steps 1 and 3, they are in progress. Thank you.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/dfsantamaria/DL4xD-Reasoner/issues/3#issuecomment-777575911, or unsubscribe https://github.com/notifications/unsubscribe-auth/AQBYKS2WSX5Q6NHVUI22RW3S6PZOVANCNFSM4XOWZ2OA .

dfsantamaria commented 3 years ago

Currently, we have no timeline for the next release.