AL-log: Integrating Datalog and Description Logics


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… (More)
DOI: 10.1023/A:1008687430626


4 Figures and Tables