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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Berners Lee, T., Hendler, J., Lassila, O.: The Semantic Web: A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities, Scientific American (May 2001)
Boley, H., Tabet, S., Wagner, G.: Design Rationale of RuleML:A Markup Language for Semantic Web Rules. In: Proc. of Int. Semantic Web Working Symposium (SWWS), Stanford University, California (July 30 - August 1, 2001)
Boley, H., Mei, J., Sintek, M., Gerd Wagner, G.: RDF/RuleML Interoperability. In: W3C Workshop on Rule Languages for Interoperability Position Paper (April 27-28 2005), http://www.w3.org/2004/12/rules-ws/paper/93/
Clark, K.L.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293–322. Plenum Press, Newyork (1978)
van Gelder, A., Kenneth, A., Ross, A., Schlipf, S.J.: The Well-Founded Semantics for General Logic Programs. Journal of ACM 38(3), 620–650 (1991)
Gelfond, M., Lifschitz, V.: The Stable Model Semantics For Logic Programming. In: Proceedings of the 5th International Conference on Logic Programming, pp. 1070–1080. The MIT Press, Cambridge (1988)
Herre, H., Jaspars, J., Wagner, G.: Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based Reasoning. In: Gabbay, D.M., Wansing, H. (eds.) What is Negation?, Kluwer Academic Publishers, Dordrecht (1999)
Reiter, R.: On Closed World Data Bases. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 55–76. Plenum Press, New York (1978)
Wagner, G., Antoniou, G., Tabet, S., Boley, H.: The Abstract Syntax of RuleML Towards a General Web Rule Language Framework. Rule Markup Initiative (RuleML), http://www.RuleML.org
Wagner, G.: Web Rules Need Two Kind of Negations. In: Bry, F., Henze, N., Małuszyński, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 33–50. Springer, Heidelberg (2003)
Wagner, G.: Foundations of Knowledge Systems with Applications to Databases and Agents. Kluwer Academic Publishers, Dordrecht (1998)
Wagner, G.: Seven Golden Rules for a Web Rule Language, invited contribution to the Trends & Controversies section of IEEE Intelligent Systems 18(5) (September/October 2003)
Wagner, G., Herre, H.: Stable Models are Generated by a Stable Chain. Journal of Logic Programming 30 (2), 165–177 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giurca, A., Wagner, G. (2005). Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML. In: Adi, A., Stoutenburg, S., Tabet, S. (eds) Rules and Rule Markup Languages for the Semantic Web. RuleML 2005. Lecture Notes in Computer Science, vol 3791. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11580072_5
Download citation
DOI: https://doi.org/10.1007/11580072_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29922-6
Online ISBN: 978-3-540-32270-2
eBook Packages: Computer ScienceComputer Science (R0)