用DL语法编写本体？

Question

我刚刚发现了OWL和Pr​​otege。通过阅读this参考页面（我在下面引用），我想知道是否有可能不使用抽象的OWL语法，而是用DL语法编写。我的背景是逻辑上的，所以听起来它会更有趣，即使我以后必须翻译本体（虽然我确信必须有应用程序来执行此操作 - 除此之外，don't reasoners use DL？）。< / p>

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

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

  

OWL DL是描述逻辑SHOIN，支持数据值，数据类型   和数据类型属性，即SHOIN（D），但由于OWL基于RDF（S），   术语略有不同。 ...有关OWL本体或知识的描述   base，可以使用DL语法。有一种类似LISP的“抽象”语法   定义为更容易用ASCII字符集写入。

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

Answer 1

  

不要让reasoners使用DL？

不一定。他们使用各种逻辑，其中一些是DL，有些则不是。

  

如果可能，我应该在Protege（或您建议的其他软件）中使用哪些设置配置才能执行此操作？

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

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

BTW，目前的标准Web Ontology Language是OWL 2。其DL变体（即OWL 2 DL）基于the even more irresistible SROIQ。