We present an integrated system for knowledge representation, called AL-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.

AL-log: Integrating Datalog and Description Logics / Donini, F. M.; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, A.. - In: JOURNAL OF INTELLIGENT INFORMATION SYSTEMS. - ISSN 0925-9902. - 10:3(1998), pp. 227-252. [10.1023/a:1008687430626]

AL-log: Integrating Datalog and Description Logics.

LENZERINI, Maurizio;NARDI, Daniele;
1998

Abstract

We present an integrated system for knowledge representation, called AL-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.
1998
deductive databases; description logics; object-based knowledge representation; datalog; query answering
01 Pubblicazione su rivista::01a Articolo in rivista
AL-log: Integrating Datalog and Description Logics / Donini, F. M.; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, A.. - In: JOURNAL OF INTELLIGENT INFORMATION SYSTEMS. - ISSN 0925-9902. - 10:3(1998), pp. 227-252. [10.1023/a:1008687430626]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/77353
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 248
  • ???jsp.display-item.citation.isi??? 163
social impact