Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics

摘要

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.rnThe syntax of the language includes the possibility to manipulate nested molecules, class hierarchies, basic method signatures and contexts (called frarnespaces). 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.rnThe 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.