Ontologies for the Semantic Web in Casl
Ontologies for the Semantic Web in Casl
复制标题
Casl 中语义网的本体
DOI：
10.1007/978-3-540-31959-7_7
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Krieg-Brückner
中科院分区：
文献类型：
--
作者：
Lüttich;Mossakowski;Krieg-Brückner
本文描述了CASL子语言TextscCasl-DL，它与用于语义Web的Web本体语言(OWL)相对应。因此，OWL可以受益于Casl强大的类型规则和强大的结构化概念。反之亦然，OWL和DL可用的自动决策过程(或者更准确地说，底层描述逻辑)可以用于Casl的子语言。这是通过Casl-DL和之间的翻译实现的，被正式化为所谓的制度同构。
This paper describes a sublanguage ofCasl, called textscCasl-DL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit fromCasl’s strong typing discipline and powerful structuring concepts. Vice versa, the automatic decision procedures available for OWL DL (or more precisely, the underlying description logicbecome available for a sublanguage ofCasl. This is achieved via translations betweenCasl-DL and, formalized as so-called institution comorphisms.
DOI：
10.1016/s0304-3975(96)00160-0
发表时间：
1997
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
M. Cerioli;J. Meseguer
通讯作者：
J. Meseguer
自动推导—CADE-18
影响因子：
1
作者：
A. Voronkov
通讯作者：
A. Voronkov