Advertisement

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

  • Adrian Giurca
  • Gerd Wagner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3791)

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.

Keywords

rule markup languages RuleML abstract syntax semantics partial logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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/
  4. 4.
    Clark, K.L.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293–322. Plenum Press, Newyork (1978)Google Scholar
  5. 5.
    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)zbMATHGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Reiter, R.: On Closed World Data Bases. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 55–76. Plenum Press, New York (1978)Google Scholar
  9. 9.
    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
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    Wagner, G.: Foundations of Knowledge Systems with Applications to Databases and Agents. Kluwer Academic Publishers, Dordrecht (1998)zbMATHGoogle Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Wagner, G., Herre, H.: Stable Models are Generated by a Stable Chain. Journal of Logic Programming 30 (2), 165–177 (1997)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Adrian Giurca
    • 1
  • Gerd Wagner
    • 1
  1. 1.Institute of InformaticsBrandenburg University of Technology at Cottbus 

Personalised recommendations