Sciweavers

DLOG
2006
14 years 1 months ago
Discrete Tableau Algorithms for FSHI
A variety of fuzzy description logics are proposed to extend classical description logics with fuzzy capability. However, reasoning with general TBoxes is still an open problem in...
Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang
EUSFLAT
2007
154views Fuzzy Logic» more  EUSFLAT 2007»
14 years 1 months ago
Resolution Strategies for Fuzzy Description Logic
The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Description Logic based on Fuzzy Predicate Logic with evaluated syntax. Resoluti...
Hashim Habiballa
ICMCS
1999
IEEE
148views Multimedia» more  ICMCS 1999»
14 years 4 months ago
A System for the Fast Prototyping of Multidimensional Image Retrieval
Multidimensional image retrieval (MIR) views an image as a multidimensional object, where each dimension is a channel for retrieval. MIR has the potential of putting at work toget...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...
WILF
2007
Springer
312views Fuzzy Logic» more  WILF 2007»
14 years 6 months ago
Fuzzy Ontology, Fuzzy Description Logics and Fuzzy-OWL
The conceptual formalism supported by an ontology is not sufficient for handling vague information that is commonly found in many application domains. We describe how to introduce...
Silvia Calegari, Davide Ciucci
OTM
2007
Springer
14 years 6 months ago
Fuzzy-DL Reasoning over Unknown Fuzzy Degrees
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
Stasinos Konstantopoulos, Georgios Apostolikas