semantic-web - 在语义网中，OWL EL，RL，QL是否都是DL的实例？有什么区别？里面更多

Question

我在许多本体上使用了颗粒推理程序，并在IRI列表(在本例中为URL)上运行了info方法。我感兴趣的两个指标是DL Expressivity和OWL Profile。

我正在获取的OWL个人资料的范围包括“OWL 2”，“OWL 2 DL”，“OWL 2 EL”，“OWL 2 QL”，“OWL 2 RL”。什么时候说“OWL 2”，是否意味着本体已填充OWL 2？所有其他变体是否都是DL？我发现了一个描述不同配置文件的规范(特别是表10)[作为新用户，我不能发布多个超链接；认为即将到来的一个在两个中比较重要)，但到目前为止，我还无法自己回答这个问题。

至于“DL Expressivity”，其名称暗示所有的Expressivity代码(例如ALCH，ALCH(D))都是DL。我发现this highly academic catalogue可以说是代码及其在复杂性方面的技术含义，但是我至少需要知道如何通过查看表达能力来判断本体是DL还是Full。任何帮助或解释这些事情的链接将不胜感激。

如果有帮助，我还应该为我要使用的这些东西提供一些背景信息。我只是根据“pellet info”数据构建一个表，该表具有本体ID号(来自url列表)，每个本体的表达性和OWL Profile，还说该本体是完整的，DL还是Lite。

Answer 1

如果某个本体告诉您的是什么(本体？)，那么当本体可以声明诸如EL，QL或RL之类的配置文件之一时，本体就是“OWL2”，那么也许它所报告的本体包括了每个本体的表达能力之外的结构。概要文件中的内容，但其他内容也包含在OWL2规范中。

据我了解，每个配置文件都基于针对不同目的的不同描述逻辑(DL):

OWL2 (DL)基于描述逻辑SROIQ，面向语言中具有高度表达能力的本体。用这种语言，推理任务可能会相对昂贵。

OWL2-EL基于EL++，它适合TBox中的可伸缩推理(即，用于大多数推理任务(例如分类)的多项式时间推理)。

OWL2-QL基于DL-Lite，它适用于ABox中的可伸缩查询应答(当处理大量实例数据和相对简单的TBox时)。

OWL2-RL基于Description Logic Programs (DLP)，它的表现力是OWL2 DL(可以使用逻辑程序处理的片段)的表现力的子集。

据我所知，您链接到的catalogue是最新的，但是如果您不熟悉逻辑并且可以识别每种语言所涵盖的构造，则很难使用。 W3C OWL2 profiles页面总结了OWL语法中每个配置文件的语言表达能力。您可能可以引用此文件来确定每个OWL2语言配置文件的相交表达方式，而不必解释它们的语义(就DL而言，除非您对描述逻辑感到满意，否则很难理解，对于OWL2 -RL，描述逻辑程序)。

最后，请注意，Full，DL和Lite的OWL1“配置文件”分别对应于其他描述逻辑:

OWL1 DL 对应于描述逻辑SHOIN。

OWL1精简版对应于描述逻辑SHIF。

OWL1完整对应于一个不确定的逻辑，该逻辑至少会超集SHOIN(尽管我不确定这到底是什么!:-)