Versatile semantic modeling of frame logic programs under answer set semantics

Abstract

This work introduces the framework of Frame Answer Set programs (fas). fas programs are a frame logic-like language working under answer set semantics augmented with higher order constructs. The syntax of the language includes the possibility to manipulate nested molecules, class hierarchies, basic method signatures and contexts (called framespaces). Semantics is defined in terms of a corresponding stable model semantics, paving the way to model object ontologies and their semantics under this well known paradigm. The language is purposely designed so that inheritance behavior and other features of the language can be easily customized by the introduction of specialized axiomatic modules, which can be modeled on purpose by advanced developers of ontology languages. Also, contexts allow to model hybrid systems integrating multiple data sources working under different entailment regimes. Properties and relationship with original F-logic semantics of some of the presented axiomatizations are given. A system prototype has been implemented and is available for evaluation. © 2008 Springer Berlin Heidelberg.