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

Talk by Theofilos Mailis

Location: APB 3027
Start: 30. January 2015 at 3:30 pm
End: 30. January 2015 at 4:30 pm
Research group: Automata Theory
iCal

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.