Towards a crisp representation of fuzzy description logics under Łukasiewicz Semantics

Authors:
Fernando Bobillo;Umberto Straccia
Affiliations:
Dpt. of Computer Science and Artificial Intelligence, University of Granada, Spain;Istituto di Scienza e Tecnologie dell'Informazione, CNR, Pisa, Italy
Venue:
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Year:
2008

Citing 4
Cited 8

Fuzzy sets and fuzzy logic: theory and applications

Fuzzy sets and fuzzy logic: theory and applications
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Reasoning within fuzzy description logics

Journal of Artificial Intelligence Research
Making fuzzy description logic more general

Fuzzy Sets and Systems

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
Fuzzy description logics under Gödel semantics

International Journal of Approximate Reasoning
An OWL Ontology for Fuzzy OWL 2

ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Fuzzy description logics with general t-norms and datatypes

Fuzzy Sets and Systems
Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ

Information Sciences: an International Journal
Strict core fuzzy logics and quasi-witnessed models

Archive for Mathematical Logic
Fuzzy logic, annotation domains and semantic web languages

SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Finite-valued Lukasiewicz modal logic Is PSPACE-complete

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two

Quantified Score

Hi-index	0.00

Visualization

Abstract

Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but they require an appropriate fuzzy language to be agreed and an important number of available resources to be adapted. An alternative is to use classical ontologies to represent fuzzy ontologies. To date, all of the work in this direction has restricted to the Zadeh family of fuzzy operators. In this paper, we generalize existing proposals and propose a reasoning preserving procedure to obtain a crisp representation for a fuzzy extension of the logic ALCHOI under Łukasiewicz semantics. This reduction makes possible to reuse a crisp representation language as well as currently available reasoners under crisp semantics.