Towards an abstract syntax and direct-model theoretic semantics for RuleML

Authors:
Adrian Giurca;Gerd Wagner
Affiliations:
Institute of Informatics, Brandenburg University of Technology at Cottbus;Institute of Informatics, Brandenburg University of Technology at Cottbus
Venue:
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Year:
2005

Citing 2
Cited 0

The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Foundations of Knowledge Systems: With Applications to Databases and Agents

Foundations of Knowledge Systems: With Applications to Databases and Agents

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.