Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic
نویسندگان
چکیده
This paper has its motivation in the occurrence of uncertain knowledge in different application areas, and introduces an expressive fuzzy description logic that extends classical description logics to manyvalued logics. We represent, and reason with, uncertain knowledge in the description logic ALCHIN extended by an interval-based, normparameterized Fuzzy Logic. First, the syntax and the semantics of the proposed fuzzy description logic are addressed. Then the paper presents an algorithm for consistency checking of knowledge bases in the proposed language.
منابع مشابه
Reasoning with the Fuzzy Description Logic fzSI
While applications in different areas have shown the necessity of dealing with uncertain knowledge, Semantic Web techniques based on standard Description Logics do not have such a capability. Motivated by this discrepancy, we introduce an expressive fuzzy description logic, fZSI , which extends the classic Description Logic SI to deal with uncertain knowledge about concepts and roles as well as...
متن کاملFuzzy Description Logics and t-norm based fuzzy logics
Description 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. Hájek proposed to deal with FDLs taking as basis t-norm bas...
متن کاملHow Fuzzy Is My Fuzzy Description Logic?
Fuzzy Description Logics (DLs) with t-norm semantics have been studied as a means for representing and reasoning with vague knowledge. Recent work has shown that even fairly inexpressive fuzzy DLs become undecidable for a wide variety of t-norms. We complement those results by providing a class of t-norms and an expressive fuzzy DL for which ontology consistency is linearly reducible to crisp r...
متن کاملFinite Fuzzy Description Logics: A Crisp Representation for Finite Fuzzy ALCH
Fuzzy Description Logics (DLs) are a formalism for the representation of structured knowledge affected by imprecision or vagueness. In the setting of fuzzy DLs, restricting to a finite set of degrees of truth has proved to be useful. In this paper, we propose finite fuzzy DLs as a generalization of existing approaches. We assume a finite totally ordered set of linguistic terms or labels, which ...
متن کاملGödel Negation Makes Unwitnessed Consistency Crisp
Ontology consistency has been shown to be undecidable for a wide variety of fairly inexpressive fuzzy Description Logics (DLs). In particular, for any t-norm “starting with” the Lukasiewicz t-norm, consistency of crisp ontologies (w.r.t. witnessed models) is undecidable in any fuzzy DL with conjunction, existential restrictions, and (residual) negation. In this paper we show that for any t-norm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009