{"title":"A New Knowledge Representation Method Based on Ontology and Cloud Theory","authors":"Peiguang Lin, Zhizheng Zhou","doi":"10.1109/FITME.2008.140","DOIUrl":null,"url":null,"abstract":"Description logics (short for DLs) are very important for the expression of ontologies, which allow reasoning about individuals and concepts. However, DLs can not process the indefinite knowledge existing widely in nature. Based on the cloud model, we present cloud-ALC to deal with the indefinite knowledge, which is the extension of the important description logic ALC. We define its syntax and semantic, study its properties in detail, and propose the techniques to solve the entailment problem. Case analysis proves that cloud-ALC can provide a formal underpinning for the indefiniteness extension of ontology description languages.","PeriodicalId":218182,"journal":{"name":"2008 International Seminar on Future Information Technology and Management Engineering","volume":"150 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 International Seminar on Future Information Technology and Management Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FITME.2008.140","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
Description logics (short for DLs) are very important for the expression of ontologies, which allow reasoning about individuals and concepts. However, DLs can not process the indefinite knowledge existing widely in nature. Based on the cloud model, we present cloud-ALC to deal with the indefinite knowledge, which is the extension of the important description logic ALC. We define its syntax and semantic, study its properties in detail, and propose the techniques to solve the entailment problem. Case analysis proves that cloud-ALC can provide a formal underpinning for the indefiniteness extension of ontology description languages.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
