AL-log: Integrating Datalog and Description Logics

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.

DOI: 10.1023/A:1008687430626

Extracted Key Phrases

4 Figures and Tables

Statistics

0204060'98'00'02'04'06'08'10'12'14'16
Citations per Year

374 Citations

Semantic Scholar estimates that this publication has 374 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Donini1998ALlogID, title={AL-log: Integrating Datalog and Description Logics}, author={Francesco M. Donini and Maurizio Lenzerini and Daniele Nardi and Andrea Schaerf}, journal={Journal of Intelligent Information Systems}, year={1998}, volume={10}, pages={227-252} }