World Wide Web Watch | Han XU's Weblog

[Semantic Web]About FaCT reasoner 读书笔记,  科学研究 {{ // Description Logics for Matchmaking of Services 4.1.1 FaCT ReasonerThe FaCT [13] system is a DL classier being developed by Ian Horrocks from the Department of Computer Science at the University of Manchester. It includestwo reasoners for TBoxes, one of them for the SHIQ logic. Therefore, it cannotdeal with individuals or concrete datatype domains, and a description such asthe one in Figure 1 can not be processed with it.To cope with the limitation of SHIQ, we tried to model nominals, datatypes,and datatype values as atomic concepts but this can lead to incorrect inferences[12], not to mention the need to model one atomic concept for each integer.DAML+OIL uses namespaces and import statements to provide extensibilityand to deal with the distributed nature of the Web. The support in the reasonerfor multiple interconnected TBoxes would solve this problem as we would modeleach DAML+OIL ontology in a dierent TBox. Because FaCT does not supportmultiple TBoxes we are using fully qualied names in a single TBox.Moreover, the knowledge base of the matchmaker will change over time byaddition of new advertisements as well as deletion or modication of existingones. FaCT deals with the addition of new classes over time, even after classi-cation has been done, but doesn't provide a mechanism for removing classes inthe classication. This is a requirement for our application.One of the main benets of this system is its CORBA interface [3] thatmakes the reasoner available as a service for other applications to use. It alsoprovides XML syntax for the denition of ontologies. To load our descriptionsin the reasoner, we are translating DAML+OIL descriptions to the FaCT XMLsyntax. }}   徐涵（Han Xu） 发表于 2004/12/12 0:52:12 | 阅读全文(2369) | 回复(0) | 编辑 | 精华

发表评论：

昵称： 密码： 主页： 标题： 验证码：  (不区分大小写,请仔细填写,输错需重写评论内容！)