A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
复制标题
DOI：
10.1007/s10817-007-9090-1
复制
发表时间：
2008-03
期刊：
影响因子：
--
通讯作者：
Yevgeny Kazakov;B. Motik
中科院分区：
文献类型：
--
作者：
Yevgeny Kazakov;B. Motik
我们提出了一个基于解析的决策过程的描述逻辑-语义Web本体语言OWLDL的逻辑基础。我们的程序是以目标为导向的，它自然地扩展了一个类似的程序，这在实践中已经证明了自己。使用现有技术扩展此过程并不简单，因为名词，数量限制和反向角色-已知会导致终止问题的组合。我们克服了这个困难，使用基本的叠加演算扩展自定义简化规则。
We present a resolution-based decision procedure for the description logic– the logic underlying the Semantic Web ontology language OWLDL. Our procedure is goal-oriented, and it naturally extends a similar procedure for, which has proven itself in practice. Extending this procedure tousing existing techniques is not straightforward because of nominals, number restrictions, and inverse roles – a combination known to cause termination problems. We overcome this difficulty by using basic superposition calculus extended with custom simplification rules.