Title: Datalog-based framework for efficient query answering over fuzzy ontologies

Authors: Afef Bahri; Rafik Bouaziz; Faïez Gargouri

Addresses: MIRACL Laboratory, Institut Supérieur d'Informatique et de Multimédia, University of Sfax, B.P. 1030, Sfax 3018, Tunisia ' MIRACL Laboratory, Institut Supérieur d'Informatique et de Multimédia, University of Sfax, B.P. 1030, Sfax 3018, Tunisia ' MIRACL Laboratory, Institut Supérieur d'Informatique et de Multimédia, University of Sfax, B.P. 1030, Sfax 3018, Tunisia

Abstract: 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 Flora-2 and XSB Datalog systems and proposes a correct mapping of fuzzy RDFS and fuzzy OWL2EL into crisp Datalog programs.

Keywords: fuzzy logic; fuzzy ontologies; Datalog; efficient query answering; FSAQL; RDFS; OWL2EL; semantic web.

DOI: 10.1504/IJMSO.2013.057763

International Journal of Metadata, Semantics and Ontologies, 2013 Vol.8 No.3, pp.191 - 205

Received: 02 Feb 2013
Accepted: 26 Jun 2013

Published online: 14 Oct 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article