在语义Web中,OWL EL,RL,QL是DL的所有实例吗？有什么不同？内心更多

Question

我在许多本体上使用了pellet推理器,并在IRI列表上运行了info方法(在本例中为URL).我感兴趣的两个指标是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表达性",这个名字暗示所有表达性代码(例如ALCH,ALCH(D))都是DL.我已经找到了这个高度学术性的目录,可以说,代码及其在复杂性方面的技术含义,但我需要知道如何通过查看表达式来说明,至少一般来说,本体是DL还是Full.任何帮助或链接解释这些事情将是非常感谢.

如果它有所帮助,我还应该为我正在尝试用这些东西做些什么.我只是根据"pellet info"数据构建一个表,该数据具有本体ID号(来自url列表),表达性和每个OWL Profile,还说明该本体是完整的,DL还是Lite.

Answer 1

如果告诉你的任何事情(Pellet？)而不是本体是"OWL2",否则它可以说明EL,QL或RL之类的一个配置文件,那么它所报道的本体论可能包含超出每个配置文件的表达式的构造.的配置文件,但以其他方式包含在OWL2规范中.

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

• OWL2(DL)基于描述逻辑 SROIQ,并且旨在使语言中具有高度表达性的本体成为可能.
• OWL2-EL基于 EL ++,它适用于TBox中的可扩展推理(即大多数推理任务(如分类)的多项式时间推理).
• OWL2-QL基于 DL-Lite,它适用于ABox中的可扩展查询应答(当处理大量实例数据和相对简单的TBox时).
• OWL2-RL是基于描述逻辑程序(DLP) ,其具有亚群OWL2 DL(即可以使用描述逻辑来处理的片段)的表现力.

据我所知,该目录您连达最新的,但它是一个有点困难,如果你不熟悉的逻辑,并且可以识别每个的langauge覆盖的结构使用.在W3C OWL2配置文件页面汇总了每个在OWL语法型材的语言表达能力.你可能指的这个决定每个OWL2的langauge曲线的相交表现力,而无需解释它们的语义(在DL的,这是很难的方面把握,除非你满意描述逻辑,并在OWL2的情况下, -RL,描述逻辑程序).

最后,请注意Full,DL和Lite的OWL1'配置文件'各自对应于其他描述逻辑:

• OWL1 DL对应于描述逻辑SHOIN.
• OWL1 Lite对应于描述逻辑SHIF.
• OWL1 Full对应于一个至少超集SHOIN的不可判断的逻辑(虽然,我不太确定这究竟是什么!:-)