Static type-checking of datalog with ontologies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3208, Issue , 2004, Pages 76-89

  Henriksson, Jakob ^a   Maluszyriski, Jan ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

Logic programs; Ontologies; Rules; Semantic web

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING; ONTOLOGY; RECONFIGURABLE HARDWARE;

LOGIC PROGRAMS; OWL ONTOLOGIES; RULES; STATIC TYPE CHECKING; STATIC TYPING; TYPE CHECKER; VERIFICATION CONDITION; VERIFICATION TECHNIQUES;

SEMANTIC WEB;

EID: 35048827331     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30122-6_6     Document Type: Article

References (6)

1. +02] F. Baader, D. Calvanese, D. McGuiness, and D. Nardi, and P. Patel-Schneider(eds.). The Description Logic Handbook. Cambridge University Press, 2002.
2. [DLNS98] F. M. Donini, M. Lenzerini, and D. Nardi, and A. Schaerf. AL-log: Integrating Datalog and Description Logics. Intelligent Information Systems, 10(3):227-252, 1998.
3. [DM93] P. Deransart and J. Małuszynski. A Grammatical View of Logic Programming. MIT Press, 1993.
4. [GHRS03] B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In Proc. 12th International World Wide Web Conference, pages 48-57, ACM Press, 2003. http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html.
5. [Mal03] Jan Maluszynski. On integrating rules into the semantic web. In Electronic Notes in Theoretical Computer Science, volume 86, Elsevier, 2003.
6. [NM95] U. Nilsson, and J. Maluszyński. Logic, Programming and Prolog. John Wiley, 2 edition, 1995. Second Edition.