World Wide Web Watch | Han XU's Weblog

[Semantic Web]About RACER reasoner 读书笔记,  科学研究 {{ // Description Logics for Matchmaking of Services 4.1.2 RACER ReasonerRACER [9, 10] is the rst reasoner for TBox and ABox for the SHIQ logic. It isdeveloped at the Computer Science Department of the University of Hamburg.Like FaCT, it only provides part of the expressiveness that we need forour application. It is able to deal with multiple TBoxes, but they are notinterconnected. It does not let us dene a concept in a TBox in terms of concepts or roles from other Tboxes.RACER does not provide support for a dynamic knowledge base as it is notpossible to add or remove concepts once the classication has been done.Another interesting feature of RACER is its ability to reason about ABoxes.With our approach to matchmaking this capability is not strictly necessary, aswe only need to reason about concepts, for which TBoxes provide the necessaryabstraction. However, the ability to reason about ABoxes may prove usefulwhen extending our framework to cover phases of E-Commerce transaction beyond matchmaking. For example, an agreement struck between two partiesfollowing matchmaking and automated negotiation [2], needs full instantiationof the parameters that originally appeared in the service descriptions. Supportfor ABoxes would enable compliance check of the agreement with the negotiationproposals and with the original service descriptions in turn.RACER provides a Java API and allows access to the reasoner remotely. }} 徐涵（Han Xu） 发表于 2004/12/12 0:54:40 | 阅读全文(3083) | 回复(0) | 编辑 | 精华

发表评论：

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