Abstract
Combining description logic systems with other reasoning systems, possibly over the Web, has become an important research issue and calls for advanced methods and algorithms. Among several approaches in this direction are nonmonotonic description logic programs, which couple description logics and nonmonotonic logic programs under generalized versions of the answer-set semantics as well as of the well-founded semantics, which are the predominant semantics for such programs. We briefly report here on the current prototype of the NLP-DL system, implementing these semantics, which couples state-of-the-art engines for description logics and nonmonotonic logic programs.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-110

BibTeX:

@inproceedings{REWERSE-RP-2005-110,
	author = {Thomas Eiter and Giovambattista Ianni and Roman Schindlauer and Hans Tompits},
	title = {NLP-DL: A Knowledge-Representation System for Coupling Nonmonotonic Logic Programs with Description Logics},
	booktitle = {Proceedings of 4th International Semantic Web Conference, Galway, Ireland (6th--10th November 2005)},
	year = {2005},
	organization = {Digital Enterprise Research Institute},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-110}
}