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.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-91

BibTeX:

@inproceedings{REWERSE-RP-2005-91,
	author = {Adrian Giurca and Gerd Wagner},
	title = {Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML},
	booktitle = {Proceedings of International Conference on Rules and Rule Markup Languages for the Semantic Web, Galway, Ireland (10th--12th November 2005)},
	year = {2005},
	volume = {3791},
	series = {LNCS},
	pages = {45--55},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-91}
}