scholarly journals Fuzzy‐description logic for supporting the rehabilitation of the elderly

2020 ◽  
Vol 37 (2) ◽  
Author(s):  
Alejandro Moya ◽  
Elena Navarro ◽  
Javier Jaén ◽  
Pascual González
2012 ◽  
Vol 35 (4) ◽  
pp. 767-785
Author(s):  
Jing-Wei CHENG ◽  
Zong-Min MA ◽  
Li YAN ◽  
Fu ZHANG

Author(s):  
Stefan Borgwardt ◽  
Felix Distel ◽  
Rafael Peñaloza

2016 ◽  
Vol 13 (1) ◽  
pp. 287-308 ◽  
Author(s):  
Zhang Tingting ◽  
Liu Xiaoming ◽  
Wang Zhixue ◽  
Dong Qingchao

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.


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

2017 ◽  
Vol 48 (1) ◽  
pp. 220-242 ◽  
Author(s):  
Fu Zhang ◽  
Z. M. Ma ◽  
Qiang Tong ◽  
Jingwei Cheng

Author(s):  
Steffen Hölldobler ◽  
◽  
Hans-Peter Störr ◽  
Tran Dinh Khang ◽  

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