Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2002)
Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. Intelligent Information Systems 10(3), 227–252 (1998)
Deransart, P., Małuszynski., J.: A Grammatical View of Logic Programming. MIT Press, Cambridge (1993)
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), http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html
Maluszynski, J.: On integrating rules into the semantic web. Electronic Notes in Theoretical Computer Science, vol. 86. Elsevier, Amsterdam (2003)
Nilsson, U., Małuszyński, J.: Logic, Programming and Prolog, 2nd edn. John Wiley, Chichester (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Henriksson, J., Małuszyński, J. (2004). Static Type-Checking of Datalog with Ontologies. In: Ohlbach, H.J., Schaffert, S. (eds) Principles and Practice of Semantic Web Reasoning. PPSWR 2004. Lecture Notes in Computer Science, vol 3208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30122-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-30122-6_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22961-2
Online ISBN: 978-3-540-30122-6
eBook Packages: Springer Book Archive