我刚刚发现了 OWL 和 Protege。在阅读了这个参考页面(我在下面引用)后,我想知道是否可以不使用抽象的 OWL 语法,而是用 DL 语法编写。我的背景是逻辑,所以听起来即使我以后必须翻译本体也会更有趣(尽管我确信必须有应用程序来做到这一点——此外,推理者不使用 DL吗?)。
如果可能的话,我应该在 Protege(或您建议的其他软件)中使用什么设置配置才能做到这一点?我怀疑这是不可能的,但我想确定一下,因为除了特殊符号的尴尬之外,我认为没有什么好的理由。
编辑:如果不可能,DL 语言究竟是如何使用的?
OWL DL 是支持数据值、数据类型和数据类型属性的描述逻辑SHOIN,即SHOIN(D),但由于OWL 是基于RDF(S),所以术语略有不同。...对于OWL本体或知识库的描述,可以使用DL语法。定义了一种“抽象的”类似 LISP 的语法,它更容易用 ASCII 字符集编写。
这是相同数据的两种语法样式的一个非常简短的工作示例。