{"title":"Reasoning over decomposing fuzzy description logic","authors":"Mohamed Gasmi, Mustapha Bourahla","doi":"10.1016/j.jides.2016.05.003","DOIUrl":null,"url":null,"abstract":"<div><p>A DF-ALC (Decomposing fuzzy ALC) is proposed in this paper to satisfy the need for representing and reasoning with fuzzy ontologies in the context of semantic Web. A DF-ALC is also proposed to satisfy the need for seeing the necessity of decomposing ontology into several sub-ontologies in order to optimize the fuzzy reasoning process.</p><p>The main contribution of this work is to decompose the axioms of the ontology into sub-axioms according to a degree of certainty which is assigned to the fuzzy concepts and roles. It is also to define the syntax and semantics and to propose a local reasoning algorithm and a way of using gateways to infer between local TBox.</p></div>","PeriodicalId":100792,"journal":{"name":"Journal of Innovation in Digital Ecosystems","volume":"3 1","pages":"Pages 30-36"},"PeriodicalIF":0.0000,"publicationDate":"2016-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.jides.2016.05.003","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Innovation in Digital Ecosystems","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S2352664516300049","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
A DF-ALC (Decomposing fuzzy ALC) is proposed in this paper to satisfy the need for representing and reasoning with fuzzy ontologies in the context of semantic Web. A DF-ALC is also proposed to satisfy the need for seeing the necessity of decomposing ontology into several sub-ontologies in order to optimize the fuzzy reasoning process.
The main contribution of this work is to decompose the axioms of the ontology into sub-axioms according to a degree of certainty which is assigned to the fuzzy concepts and roles. It is also to define the syntax and semantics and to propose a local reasoning algorithm and a way of using gateways to infer between local TBox.