{"title":"Research of the Knowledge Reasoning Based on Extensional Description Logics ALC-Plus","authors":"Jianhou Gan, Bin Wen, Shu Zhang","doi":"10.1109/CISE.2009.5365225","DOIUrl":null,"url":null,"abstract":"This article first extends Description Logics ALC and put forward ALC, which is extended on ALC by adding transitive role, inverse role, role disjunction, role composition and general number restriction, and defines its syntax and semantics. Then, we discuss the mainly knowledge reasoning problem about concept satisfiability of ALC, and give the determinant algorithm of the concept satisfiability based on Tableau. Finally, by proofing and get several properties of Tableau-algorithm, such as, soundness, termination and completeness. Keywords-Desciption logics; ALC-plus ;satisfiability; Tableaualgorithm","PeriodicalId":135441,"journal":{"name":"2009 International Conference on Computational Intelligence and Software Engineering","volume":"142 8","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 International Conference on Computational Intelligence and Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CISE.2009.5365225","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
This article first extends Description Logics ALC and put forward ALC, which is extended on ALC by adding transitive role, inverse role, role disjunction, role composition and general number restriction, and defines its syntax and semantics. Then, we discuss the mainly knowledge reasoning problem about concept satisfiability of ALC, and give the determinant algorithm of the concept satisfiability based on Tableau. Finally, by proofing and get several properties of Tableau-algorithm, such as, soundness, termination and completeness. Keywords-Desciption logics; ALC-plus ;satisfiability; Tableaualgorithm
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
