[Back]

S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
"Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates";
Talk: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 2016-07-09 - 2016-07-15; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016", S. Kambhampati (ed.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; 878 - 885.

We consider instance queries mediated by an ontology expressed in the expressive DL ALCHIO with closed predicates. We observe that such queries are nonmonotonic and cannot be expressed in monotonic variants of Datalog, but a polynomial time translation into disjunctive Datalog extended with negation as failure is feasible. If no closed predicates are present - in the case of classical instance checking in ALCHIO - our translation yields a positive disjunctive Datalog program of polynomial size. To the best of our knowledge, this is the first polynomial time translation of an expressive (non-Horn) DL into disjunctive Datalog.

http://www.ijcai.org/Proceedings/16/Papers/129.pdf

Project Head M.Magdalena Ortiz de la Fuente:
Rekursive Abfrage über semantisch angereicherte Datenbestände

Project Head Reinhard Pichler:
Heterogene Information Integration