Towards expressive KR systems integrating datalog and Description Logics: preliminary report

Riccardo Rosati.
In Proceedings of the 1999 Description Logic Workshop (DL'99), pages 160-164, 1999.

Abstract:

We study the problem of extending hybrid knowledge-based systems combining Datalog rules and structured representation of information with nonmonotonic features like negation as failure and disjunction in the head of the rules. In particular, we define an extension of the system AL-log, in order to allow for the presence of both negation as failure and disjunction in Datalog rules, and provide methods for computing query answering in such extended systems. This enables us to give a computational characterization of entailment in the system AL-log. In particular, we prove that the worst-case complexity (combined complexity) of AL-log is the same as the pure Datalog case.

Bibtex entry:

@String{DL-99 = "Proceedings of the 1999 Description Logic Workshop (DL'99)"}

@Inproceedings{Rosa99c,
author = {Rosati, Riccardo},
title = {Towards expressive {KR} systems integrating datalog and Description Logics: preliminary report},
booktitle = DL-99,
pages = {160--164},
year = {1999},
}