A dynamic fuzzy description logic

2008 ◽  
Vol 13 (4) ◽  
pp. 417-420 ◽  
Author(s):  
Wei Fang ◽  
Xuefeng Xian ◽  
Pengpeng Zhao ◽  
Zhiming Cui
Keyword(s):  
Description Logic ◽  
Fuzzy Description

Deciding Query Entailment for Fuzzy Description Logic Knowledge Bases：The f-SH Family

2012 ◽  
Vol 35 (4) ◽  
pp. 767-785
Author(s):  
Jing-Wei CHENG ◽  
Zong-Min MA ◽  
Li YAN ◽  
Fu ZHANG
Keyword(s):  
Description Logic ◽  
Fuzzy Description

scholarly journals How Fuzzy Is My Fuzzy Description Logic?

2012 ◽  
pp. 82-96 ◽  
Author(s):  
Stefan Borgwardt ◽  
Felix Distel ◽  
Rafael Peñaloza
Keyword(s):  
Description Logic ◽  
Fuzzy Description

scholarly journals Capability-oriented architectural analysis method based on fuzzy description logic

2016 ◽  
Vol 13 (1) ◽  
pp. 287-308 ◽  
Author(s):  
Zhang Tingting ◽  
Liu Xiaoming ◽  
Wang Zhixue ◽  
Dong Qingchao
Keyword(s):  
Business Strategy ◽  
Domain Knowledge ◽  
Description Logic ◽  
Description Logics ◽  
Model Verification ◽  
Architectural Analysis ◽  
Requirements Modeling ◽  
Strategy Model ◽  
Domain Specific Modeling ◽  
Fuzzy Description

A number of problems may arise from architectural requirements modeling, including alignment of it with business strategy, model integration and handling the uncertain and vague information. The paper introduces a method for modeling architectural requirements in a way of ontology-based and capability-oriented requirements elicitation. The requirements can be modeled within a three-layer framework. The Capability Meta-concept Framework is provided at the top level. The domain experts can capture the domain knowledge within the framework, forming the domain ontology at the second level. The domain concepts can be used for extending the UML to produce a domain-specific modeling language. A fuzzy UML is introduced to model the vague and uncertain features of the capability requirements. An algorithm is provided to transform the fuzzy UML models into the fuzzy Description Logics ontology for model verification. A case study is given to demonstrate the applicability of the method.

Storing fuzzy description logic ontology knowledge bases in fuzzy relational databases

2017 ◽  
Vol 48 (1) ◽  
pp. 220-242 ◽  
Author(s):  
Fu Zhang ◽  
Z. M. Ma ◽  
Qiang Tong ◽  
Jingwei Cheng
Keyword(s):  
Relational Databases ◽  
Description Logic ◽  
Knowledge Bases ◽  
Fuzzy Description

The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers

2003 ◽  
Vol 7 (3) ◽  
pp. 294-305 ◽  
Author(s):  
Steffen Hölldobler ◽  
◽  
Hans-Peter Störr ◽  
Tran Dinh Khang ◽  
Keyword(s):  
Knowledge Base ◽  
Decision Procedure ◽  
Description Logic ◽  
Ordered Set ◽  
Fuzzy Description ◽  
Linearly Ordered Set

In this paper we present the fuzzy description logic ALCFH introduced, where primitive concepts are modified by means of hedges taken from hedge algebras. ALCFH is strictly more expressive than Fuzzy-ALC defined in [11]. We show that given a linearly ordered set of hedges primitive concepts can be modified to any desired degree by prefixing them with appropriate chains of hedges. Furthermore, we define a decision procedure for the unsatisfiability problem in ALCFH, and discuss knowledge base expansion when using terminologies, truth bounds, expressivity as well as complexity issues. We extend [8] by allowing modifiers on non-primitive concepts and extending the satisfiability procedure to handle concept definitions.

Sign in / Sign up

Export Citation Format

Share Document