Datalog-based framework for efficient query answering over fuzzy ontologies. (1st January 2013) - Bahri, Afef
Ontologies are set to play a key role in many domains, especially in the context of the Semantic Web. Ontology languages are based on crisp logic and thus cannot handle imprecision. Fuzzy extensions of ontology languages become unuseful if they cannot be processed by applications. In fact, despite their inference capabilities over complex TBoxes, description logic reasoners have a high ABox reasoning complexity. That is, to retrieve the instances of a given concept, we need to run the reasoning algorithm for each individual in the ABox. In Datalog systems, query answers are computed in one pass: bottom-up or top-down. Motivated by this concern, we propose in this paper a Datalog based framework, named OntoFlex, for efficient query answering over fuzzy ontologies.The framework implements the FSAQL query language over and XSB Datalog systems and proposes a correct mapping of fuzzy RDFS and fuzzy OWL2EL into crisp Datalog programs.