Frame Logic under Answer Set Semantics
Mario Alviano, Francesco Calimeri, Giovambattista Ianni, Alessandra Martello · 2007
Abstract. Frame logic is well known as a useful ontology modeling formalism, mainly appreciated for its object-oriented features and its nonmonotonic variant, capable to deal with typical nonmonotonic features such as object oriented inheritance. This paper presents a preliminary work defining a framework for coping with frame-like syntax and higher order reasoning within an answer set programming environment. Semantics is defined by means of a translation to an ordinary answer set program. A working prototype, together with usage examples, is presented. The works paves the way to further deeper studies about the usage of frame logic-like constructs under Answer Set Semantics. 1