论文信息 - Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

This paper contains a proposal of an abstract syntax and a model theoretic semantics for NafNegDatalog, sublanguage of RuleML [9]. The model-theoretic semantics use the partial logic ([7], [10]) to provide an interpretation and a satisfaction relation, and provide a formal meaning for RuleML knowledge bases written in the abstract syntax.

Adrian Giurca | Gerd Wagner

[1] Gerd Wagner,et al. The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework , 2004, IEEE/WIC/ACM International Conference on Web Intelligence (WI'04).

[2] Gerd Wagner,et al. Design Rationale for RuleML: A Markup Language for Semantic Web Rules , 2001, SWWS.

[3] Gerd Wagner. Foundations of Knowledge Systems: with Applications to Databases and Agents , 1998 .

[4] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.

[5] Gerd Wagner,et al. Web Rules Need Two Kinds of Negation , 2003, PPSWR.

[6] Kenneth A. Ross,et al. The well-founded semantics for general logic programs , 1991, JACM.

[7] James A. Hendler,et al. The Semantic Web: A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities , 2001 .

[8] Gerd Wagner,et al. HEINRICH HERRE, JAN JASPARS AND GERD WAGNER PARTIAL LOGICS WITH TWO KINDS OF NEGATION AS A FOUNDATION FOR KNOWLEDGE-BASED REASONING , 2006 .

[9] Raymond Reiter. On Closed World Data Bases , 1977, Logic and Data Bases.

[10] Gerd Wagner,et al. Stable Models Are Generated by a Stabel Chain , 1997, J. Log. Program..