用DL语法编写本体？

Question

我刚刚发现了OWL和Pr​​otege.通过阅读这个参考页面(我在下面引用),我想知道是否可以不使用抽象的OWL语法,而是用DL语法编写.我的背景是逻辑上的,所以听起来它会更有趣,即使我以后必须翻译本体(虽然我确信必须有应用程序才能做到这一点 - 此外,不要让reasoners使用DL吗？).

如果可能,我应该在Protege(或您建议的其他软件)中使用哪些设置配置才能执行此操作？我怀疑这是不可能的,但我想确定,因为除了特殊符号的尴尬之外我没有其他正当理由.

编辑:如果不可能,DL语言究竟是如何使用的？

OWL DL是描述逻辑SHOIN,支持数据值,数据类型和数据类型属性,即SHOIN(D),但由于OWL基于RDF(S),因此术语略有不同....对于OWL本体或知识库的描述,可以使用DL语法.有一个类似LISP的"抽象"语法定义,更容易用ASCII字符集编写.

这是相同数据的两种语法样式的一个非常简短的工作示例.

Answer 1

\n

推理机不使用深度学习吗？

\n

\n\n

不必要。它们使用各种逻辑，其中一些是深度学习，一些则不是。

\n\n

\n

如果可能的话，我应该在 Protege（或您建议的其他软件）中使用什么配置配置才能做到这一点？

\n

\n\n

我很确定 Prot\xc3\xa9g\xc3\xa9 没有这样的插件。但如果您真的想要一些乐趣，请使用文本编辑器并手动编写本体。您可以使用多种语法：函数式语法、OWL/XML 语法、RDF/XML 语法都是规范的。此外，您可以使用曼彻斯特语法、Turtle、N-Triples、JSON-LD，这将是未来编写 RDF（以及 OWL）的建议。或者更奇特的RDF/JSON、HDT。或者，更“强大”的语法，如Notation3、TriG、TriX、NQuads。很有趣！

\n\n

无论如何，如果您想使用 DL 语法进行编写，则需要使用特殊的 Unicode 字符或特殊命令，例如在 LaTeX 中。处理它的解析器必须读取这些字符或命令。如果您正在编程，这并不理想。但您始终可以在作品中使用 DL 语法。

\n\n

顺便说一句，当前标准的 Web 本体语言是OWL 2。它的 DL 变体（即 OWL 2 DL）基于更令人难以抗拒的 SROIQ。

\n