BriefGPT.xyz
Jan, 2014
名词、逆并、计数和连接查询,或:为什么无限是你的朋友!
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
HTML
PDF
Sebastian Rudolph, Birte Glimm
TL;DR
本篇研究针对 OWL 1 和 OWL 2 DL 中的名词、反向角色和数字限制问题,提出了在 DL ALCHOIQb 中的联合查询包含了所有三个构造的可决定性结果。
Abstract
description logics
are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C
owl standards
.
conjunct
→