PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bobillo F., Straccia U. Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics. In: International Journal of Approximate Reasoning, vol. 87 (August 2017) pp. 40 - 66. Elsevier, 2017. [Online First 05 May 2017]
 
 
Abstract
(English)
In the last years, we are witnessing an increase of real-world applications of fuzzy ontologies. Most fuzzy ontologies are based on type-1 fuzzy logic, and type-2 fuzzy ontologies have not yet received such attention so far. Furthermore, there exists an important gap between type-2 knowledge representation formalisms (type-2 Description Logics) and type-2 fuzzy ontology applications. In this paper, we propose a formal framework for type-2 fuzzy ontologies taking into account the needs of existing applications. Essentially, our approach makes it possible to manage some uncertainty in the fuzzy membership functions used in the fuzzy datatypes and in the degrees of truth of the axioms. We define a type-2 Description Logic, a reasoning algorithm, and give a Fuzzy OWL 2 specification of it.
URL: http://www.sciencedirect.com/science/article/pii/S0888613X17302803
DOI: 10.1016/j.ijar.2017.04.012
Subject Desciption Logics
Fuzzy logics
Fuzzy ontologies
I.2.4 ARTIFICIAL INTELLIGENCE. Knowledge Representation Formalisms and Methods


Icona documento 1) Download Document PDF
Icona documento 2) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional