# A Faithful Integration of Description Logics with Logic Programming

• Published 2007 in IJCAI

#### Abstract

Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so achieving a seamless integration is not trivial. In this paper, we introduce hybrid MKNF knowledge bases that faithfully integrate DLs with LP using the logic of Minimal Knowledge and Negation as Failure (MKNF) [Lifschitz, 1991]. We also give reasoning algorithms and tight data complexity bounds for several interesting fragments of our logic.

#### Statistics

Citations per Year

#### 184 Citations

Semantic Scholar estimates that this publication has 184 citations based on the available data.

See our FAQ for additional information.

### Cite this paper

@inproceedings{Motik2007AFI, title={A Faithful Integration of Description Logics with Logic Programming}, author={Boris Motik and Riccardo Rosati}, booktitle={IJCAI}, year={2007} }