Cheap Boolean Role Constructors for Description Logics
Cheap Boolean Role Constructors for Description Logics
复制标题
用于描述逻辑的廉价布尔角色构造函数
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
P. Hitzler
中科院分区：
文献类型：
--
作者：
S. Rudolph;M. Krötzsch;P. Hitzler
我们调查的可能性，将布尔角色构造简单的角色到一些今天最流行的描述逻辑，专注于这些扩展的情况下，不增加推理的复杂性。我们表明，表达DL $\mathcal{SHOIQ}$和$\mathcal{SROIQ}$，作为OWL和即将到来的OWL 2的逻辑基础，可以容纳任意的布尔表达式。突出的OWL片段$\mathcal{SHIQ}$可以通过安全的角色表达式安全地扩展，而易处理的片段$\mathcal{EL}^{++}$和DLP如果通过角色上的合取扩展则保持可处理性，其中在DLP的情况下，对角色简单性的限制甚至可以被丢弃。
We investigate the possibility of incorporating Boolean role constructors on simple roles into some of today's most popular description logics, focussing on cases where those extensions do not increase complexity of reasoning. We show that the expressive DLs $\mathcal{SHOIQ}$ and $\mathcal{SROIQ}$, serving as the logical underpinning of OWL and the forthcoming OWL 2, can accommodate arbitrary Boolean expressions. The prominent OWL-fragment $\mathcal{SHIQ}$ can be safely extended by safe role expressions, and the tractable fragments $\mathcal{EL}^{++}$ and DLP retain tractability if extended by conjunction on roles, where in the case of DLP the restriction on role simplicity can even be discarded.
影响因子：
5
作者：
Glimm, Birte;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike