Frame Logic under Answer Set Semantics

Frame logic is well known as a useful ontology modeling formalism, mainly appreciated for its object-oriented features and its non- monotonic 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.