Nonmonotonic Description Logic Programs: Implementation and Experiments

Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced methods and algorithms. Recently, several notions of description logic programs have been introduced, combining rule-based semantics with description logics. Among them are nonmonotonic description logic programs (or dl-programs for short) which combine nonmonotonic logic programs with description logics under a generalized version of the answer-set and the well-founded semantics, respectively, which are the predominant semantics for nonmonotonic logic programs. In this paper, we consider some technical issues regarding an efficient implementation for both semantics, which has been realized in a working prototype exploiting the two state-of-art tools DLV and RACER. A major issue in this respect is efficient interfacing between the two reasoning systems at hand, for which we devised special methods. Such me...

• Type: Conference
• Year: 2004
• Where: LPAR
• Authors: Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
• Keywords: Description Logic Programs, Description Logics, Logic Programs, LPAR 2004