帕尔，克劳斯 用于软件组件匹配的本体。 （英语） 兹比尔1032.68580 Pezzè，Mauro（编辑），《软件工程的基本方法》，2003年4月7日至11日在波兰华沙举行的第六届国际会议FASE 2003，该会议是关于软件理论和实践的欧洲联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2621, 6-21 (2003). 概述：未来，Web很可能成为软件开发的中心平台。我们研究如何利用语义Web技术，特别是本体，来支持Web环境中的软件组件开发。我们使用描述逻辑（它是语义Web本体语言（如DAML+OIL）的基础）来开发本体，以匹配请求和提供的组件。模态逻辑和描述逻辑之间的联系对于为组件和服务行为提供推理支持将是非常宝贵的。关于整个系列，请参见[兹比尔1017.00040]. 引用于1文件 MSC公司： 68N99型 软件理论 软件：阻尼+油;CAWICOMS公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Pahl}，莱克特。注释计算。科学。2621，6--21（2003；Zbl 1032.68580） 全文： 链接