Results 211 to 220 of about 20,038 (240)
Some of the next articles are maybe not open access.
From classical Description Logic to n-graded Fuzzy Description Logic
International Conference on Fuzzy Systems, 2010Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications.
Marco Cerami +2 more
openaire +1 more source
Generalizing Quantification in Fuzzy Description Logics
2006In this paper we introduce \( \mathcal{A}\mathcal{L}\mathcal{C}\mathcal{Q}_F^ + \), a fuzzy description logic with extended qualified quantification. The proposed 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.
Daniel Sánchez +1 more
openaire +2 more sources
How to enrich description logics with fuzziness
2017 Computing Conference, 2017The paper describes the relation between fuzzy and non-fuzzy description logics. It gives an overview about current research in these areas and describes the difference between tasks for description logics and fuzzy logics. The paper also deals with the transformation properties of description logics to fuzzy logics and backwards.
Unold, Martin, Cruz, Christophe
openaire +2 more sources
Extended Fuzzy Description Logic ALCN
2005Web applications based on description logics often need management of fuzzy information and encounter fuzzy concepts. This paper proposes an extended fuzzy ALCN to enable representation and reasoning for complex fuzzy information. The extended fuzzy ALCN introduces the cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles, and ...
Yanhui Li +4 more
openaire +1 more source
Dempster-Shafer logical model for fuzzy Description Logics
2016 IEEE Symposium Series on Computational Intelligence (SSCI), 2016Description Logics, defined as a family of knowledge representation languages, have gained a lot of popularity, due to their connection with the Semantic Web, and more precisely, with the Web Ontology Language - OWL (OWL-DL). Vague information cannot be considered negligible when dealing with Semantic Web tasks. In this context, the definition of fuzzy
Loukia Karanikola, Isambo Karali
openaire +1 more source
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
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
Reasoning within extended fuzzy description logic
Knowledge-Based Systems, 2009An extended fuzzy description logic is proposed to increase expressive power for complex fuzzy information. We introduce cut sets of the fuzzy concepts and fuzzy roles as atomic concepts and atomic roles, and inherit concept constructors of the description logics to support a new logic system for fuzzy knowledge representation.
Jianjiang Lu +3 more
openaire +1 more source
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