Adding Epistemic Operators to Concept Languages


We investigate the use of epistemic operators in the framework of concept languages (also called terminological languages). The results of this work have a twofold signiicance. From the point of view of epistemic logics, our contribution is to have identiied an effective procedure for the problem of answering epistemic queries posed to a knowledge base… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics