scholarly journals Knowledge Representation and Reasoning in Norm-Parameterized Fuzzy Description Logics

2010 ◽  
pp. 27-53 ◽  
Author(s):  
Jidi Zhao ◽  
Harold Boley
Keyword(s):  
Knowledge Representation ◽  
Description Logics ◽  
Knowledge Representation And Reasoning ◽  
Fuzzy Description Logics ◽  
Fuzzy Description

scholarly journals Reasoning with Very Expressive Fuzzy Description Logics

2007 ◽  
Vol 30 ◽  
pp. 273-320 ◽  
Author(s):  
G. Stoilos ◽  
G. Stamou ◽  
J. Z. Pan ◽  
V. Tzouvaras ◽  
I. Horrocks
Keyword(s):  
Knowledge Representation ◽  
Knowledge Base ◽  
High Performance ◽  
Description Logics ◽  
Decision Procedures ◽  
Satisfiability Problem ◽  
Fuzzy Description Logics ◽  
Knowledge Based ◽  
Fuzzy Description

It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are a family of knowledge representation languages that have gained considerable attention the last decade, mainly due to their decidability and the existence of empirically high performance of reasoning algorithms. In this paper, we extend the well known fuzzy ALC DL to the fuzzy SHIN DL, which extends the fuzzy ALC DL with transitive role axioms (S), inverse roles (I), role hierarchies (H) and number restrictions (N). We illustrate why transitive role axioms are difficult to handle in the presence of fuzzy interpretations and how to handle them properly. Then we extend these results by adding role hierarchies and finally number restrictions. The main contributions of the paper are the decidability proof of the fuzzy DL languages fuzzy-SI and fuzzy-SHIN, as well as decision procedures for the knowledge base satisfiability problem of the fuzzy-SI and fuzzy-SHIN.

scholarly journals Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics

2020 ◽  
Vol 388 ◽  
pp. 146-178 ◽  
Author(s):  
Linh Anh Nguyen ◽  
Quang-Thuy Ha ◽  
Ngoc-Thanh Nguyen ◽  
Thi Hong Khanh Nguyen ◽  
Thanh-Luong Tran
Keyword(s):  
Description Logics ◽  
Fuzzy Description Logics ◽  
Fuzzy Description

scholarly journals Fuzzy description logics with general t-norms and datatypes

2009 ◽  
Vol 160 (23) ◽  
pp. 3382-3402 ◽  
Author(s):  
Fernando Bobillo ◽  
Umberto Straccia
Keyword(s):  
Description Logics ◽  
Fuzzy Description Logics ◽  
Fuzzy Description
Sign in / Sign up

Export Citation Format

Share Document