Results 261 to 270 of about 132,099 (290)
Some of the next articles are maybe not open access.
Some Complexity Results on Fuzzy Description Logics
2006We present and discuss some novel and somewhat surprising complexity results for a basic but significant fuzzy description logic (DL) which extends the classical $\mathcal{ALC}$ language. In particular we show that checking the consistency of a concept or a KB in fuzzy DLs has a complexity which jumps from linear-time to EXPTIME-complete, while the ...
BONATTI, PIERO ANDREA, A. Tettamanzi
openaire +2 more sources
Extending fuzzy soft sets with fuzzy description logics
Knowledge-Based Systems, 2011Molodtsov initiated the concept of soft set theory, which can be used as a generic mathematical tool for dealing with uncertainty. However, it has been pointed out that classical soft sets are not appropriate to deal with imprecise and fuzzy parameters.
Yuncheng Jiang +4 more
openaire +1 more source
Finite Fuzzy Description Logics and Crisp Representations
2013Fuzzy Description Logics (DLs) are a formalism for the representation of structured knowledge that is imprecise or vague by nature. In fuzzy DLs, restricting to a finite set of degrees of truth has proved to be useful, both for theoretical and practical reasons. In this paper, we propose finite fuzzy DLs as a generalization of existing approaches.
Bobillo F, Straccia U
openaire +3 more sources
Reasoning and Quantification in Fuzzy Description Logics
2006In this paper we introduce reasoning procedures for $\mathcal{ALCQ}^{+}_{F}$, a fuzzy description logic with extended qualified quantification. The language allows for the definition of fuzzy quantifiers of the absolute and relative kind by means of piecewise linear functions on ℕ and ℚ∩[0,1] respectively.
D. Sánchez, A. Tettamanzi
openaire +2 more sources
Refutational provability and fuzzy description logic
AIP Conference Proceedings, 2015The article presents refutational resolution theorem proving system for Fuzzy Description Logic (FDL) based on general (non-clausal) resolution rule. It brings several new notions of refutation degree and proves its relation to provability degree in fuzzy predicate logic.
Hashim Habiballa, Zuzana Rombova
openaire +1 more source
Fuzzy quantification in fuzzy description logics
2006This chapter introduces reasoning procedures for {\qfdl}, a fuzzy description logic with extended qualified quantification \cite (SanchezTettamanzi2004}. The language allows for the definition of fuzzy quantifiers of the absolute and relative kind by means of piecewise linear functions on $\mathbb{N}$ and $\mathbb{Q}\cap[0,1]$ respectively. In order to
Daniel Sánchez +1 more
openaire +1 more source
Fuzzy description logics in the framework of mathematical fuzzy logic
2015Fuzzy Description Logics (DLs) are a logical formalism for the representation of structured knowledge affected by imprecision or vagueness. The chapter provides insights in terms of Mathematical Fuzzy Logic.
Bobillo F +5 more
openaire +2 more sources
All About Fuzzy Description Logics and Applications
2015The aim of this talk is to present a detailed, self-contained and comprehensive account of the state of the art in representing and reasoning with structured fuzzy knowledge. Fuzzy knowledge comes into play whenever one has to deal with concepts for which membership is a matter of degree (e.g., the degree of illness is a function of, among others, the ...
openaire +4 more sources
Logical Characterizations of Crisp Bisimulations in Fuzzy Description Logics
IEEE Transactions on Fuzzy Systems, 2023Linh Anh Nguyen, Ngoc-Thanh Nguyen
exaly