Static Type-Checking of Datalog with Ontologies

  • Jakob Henriksson
  • Jan Małuszyński
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3208)


We show how coupling of the emerging rule level of the Semantic Web to the existing ontology level can be achieved by static typing of web rules of a given application with classes of the ontology describing the application domain. This paper describes the principles and the implementation of a system that checks correctness of a given set of Datalog rules encoded in XML (according to the RuleML standard) wrt a type specification, where the Datalog predicates are typed with classes described by an OWL ontology. The type checker is based on a well-known verification technique for logic programs and employs the RACER reasoner for checking the verification conditions.


Semantic Web ontologies rules logic programs 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BCM+02]
    Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2002)Google Scholar
  2. [DLNS98]
    Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. Intelligent Information Systems 10(3), 227–252 (1998)CrossRefGoogle Scholar
  3. [DM93]
    Deransart, P., Małuszynski., J.: A Grammatical View of Logic Programming. MIT Press, Cambridge (1993)Google Scholar
  4. [GHRS03]
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. 12th International World Wide Web Conference, pp. 48–57. ACM Press, New York (2003), Google Scholar
  5. [Mal03]
    Maluszynski, J.: On integrating rules into the semantic web. Electronic Notes in Theoretical Computer Science, vol. 86. Elsevier, Amsterdam (2003)Google Scholar
  6. [NM95]
    Nilsson, U., Małuszyński, J.: Logic, Programming and Prolog, 2nd edn. John Wiley, Chichester (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Jakob Henriksson
    • 1
  • Jan Małuszyński
    • 1
  1. 1.Dept. of Computer and Information ScienceLinköping UniversityLinköpingSweden

Personalised recommendations