Journal of Intelligent Information Systems

, Volume 10, Issue 3, pp 227–252

AL-log: Integrating Datalog and Description Logics

  • Francesco M. Donini
  • Maurizio Lenzerini
  • Daniele Nardi
  • Andrea Schaerf
Article

DOI: 10.1023/A:1008687430626

Cite this article as:
Donini, F.M., Lenzerini, M., Nardi, D. et al. Journal of Intelligent Information Systems (1998) 10: 227. doi:10.1023/A:1008687430626
  • 77 Downloads

Abstract

We present an integrated system for knowledge representation, calledAL -log, based on description logics and the deductive database language Datalog. AL-log embodies two subsystems, called structural and relational. The former allows for the definition of structural knowledge about classes of interest (concepts) and membership relation between objects and classes. The latter allows for the definition of relational knowledge about objects described in the structural component. The interaction between the two components is obtained by allowing constraints within Datalog clauses, thus requiring the variables in the clauses to range over the set of instances of a specified concept. We propose a method for query answering in AL-log based on constrained resolution, where the usual deduction procedure defined for Datalog is integrated with a method for reasoning on the structural knowledge.

Description LogicsDeductive DatabasesDatalogObject-based Knowledge RepresentationQuery Answering

Copyright information

© Kluwer Academic Publishers 1998

Authors and Affiliations

  • Francesco M. Donini
    • 1
  • Maurizio Lenzerini
    • 1
  • Daniele Nardi
    • 1
  • Andrea Schaerf
    • 1
  1. 1.Dipartimento di Informatica e SistemisticaUniversità di Roma “La Sapienza,”Roma