logic - 用 DL 语法编写本体？

Question

我刚刚发现了 OWL 和 Protege。通读后this引用页(我在下面引用)，我想知道是否可以不使用抽象的 OWL 语法，而是用 DL 语法编写。我的背景是逻辑学，所以听起来即使我以后必须翻译本体也会更有趣(尽管我确信必须有应用程序来做到这一点——此外，don't reasoners use DL？)。

如果可能的话，为了做到这一点，我应该在 Protege(或您建议的其他软件)中使用什么设置配置？我怀疑这是不可能的，但我想确定，因为除了特殊符号的笨拙之外，我认为没有其他好的理由。

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

OWL DL is the description logic SHOIN with support of data values, data types and datatype properties, i.e., SHOIN(D), but since OWL is based on RDF(S), the terminology slightly differs. ... For description of OWL ontology or knowledge base, the DL syntax can be used. There is an "abstract" LISP-like syntax defined that is easier to write in ASCII character set.

这是一个 very brief working example of the two syntax styles对于相同的数据。

Answer 1

don't reasoners use DL?

不必要。他们使用各种逻辑，其中一些是 DL，一些不是。

If it is possible, what configuration of settings should I use in Protege (or other software of your suggestion) in order to do this?

我很确定 Protégé 没有这样的插件。但是，如果您真的想要一些乐趣，请使用文本编辑器并手动编写本体。您可以使用多种语法: functional syntax , OWL/XML syntax , RDF/XML syntax都是规范的。此外，您可以使用 Manchester syntax , Turtle , N-Triples , JSON-LD ，这将是 future 编写 RDF(以及 OWL)的建议。或者更有异国情调的 RDF/JSON , HDT .或者，更“强大”的语法，如 Notation3 , TriG , TriX , NQuads .很有趣!

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

顺便说一句，当前标准的 Web Ontology Language 是 OWL 2 .它的 DL 变体(即 OWL 2 DL)基于 the even more irresistible SROIQ .