Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!

Vortrag von Theofilos Mailis
Fuzzy Description Logics generalize crisp ones by providing membership degree semantics for concepts and roles by fuzzy sets. Recently, answering of conjunctive queries has been investigated and implemented in optimized reasoner systems based on the rewriting approach for crisp DLs. In this talk we investigate how to employ such existing implementations for query answering in DL-Lite_R over fuzzy ontologies. To this end we give an extended rewriting algorithm for the case of fuzzy DL-Lite_R-ABoxes that employs the one for crisp DL-Lite_R and investigate the limitations of this approach. We also tested the performance of our proto-type implementation FLite of this method.