奥尔加·卡普洛蒂;迈克·杜瓦;丹尼尔·图里 使用描述逻辑和OWL进行数学服务匹配。 （英语） Zbl 1108.68585号 Asperti，Andrea（编辑）等人，《数学知识管理》。第三届国际会议，2004年MKM，2004年9月19日至21日，波兰比亚奥维埃。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23029-7/pbk）。计算机科学讲义3119，73-87（2004）。 概述：Web服务技术越来越多地被用于开发分布式应用程序，然而，约定是根据各个服务所公开的接口，而不是根据它们所执行的功能来描述这些服务。在本文中，我们描述了一种对数学web服务信息进行编码的机制，该机制内容丰富，足以让潜在客户自动识别所有可能能够执行特定任务的服务。该机制利用Web本体语言（OWL）和一种利用企业数据库技术进行描述逻辑推理的新方法。有关整个系列，请参见[Zbl 1053.68003号]. 引用于3文件 MSC公司： 68立方英尺 知识表示 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 软件：C-CoRN公司 PDF格式BibTeX公司 XML格式引用 \textit{O.Caprotti}等人，Lect。注释计算。科学。3119、73--87（2004年；Zbl 1108.68585） 全文： 内政部