假造中的描述逻辑 (SHACL: A Description Logic in Disguise)

SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. In recent years, SHACL's popularity has risen quickly. This rise in popularity comes with questions related to its place in the semantic web, particularly about its relation to OWL (the de facto standard for expressing ontological information on the web) and description logics (which form the formal foundations of OWL). We answer these questions by arguing that SHACL is in fact a description logic. On the one hand, our answer is surprisingly simple, some might even say obvious. But, on the hand, our answer is also controversial. By resolving this issue once and for all, we establish the field of description logics as the solid formal foundations of SHACL.

翻译：SHACL是表达RDF图表结构性限制的W3C拟议语言。近年来,SHACL的受欢迎程度迅速提高。这种受欢迎程度的提高与它在语义网中的位置有关的问题有关,特别是它与OWL(在网上表达肿瘤信息的实际标准)和描述逻辑(构成OWL的正式基础)的关系。我们回答这些问题时,认为SHACL事实上是一种描述逻辑。一方面,我们的答复令人惊讶地简单,有些人甚至可以说是显而易见的。但另一方面,我们的答复也是有争议的。一劳永逸地解决这个问题,我们就将描述逻辑领域确定为SHACL的坚实的正式基础。