RDFS与OWL推理程序-设计注意事项

Question

我在StackOverflow上读到了许多与RDF相关的问题，它们既有RDFS解决方案，也有OWL解决方案。(值得注意的是，my own question)

我理解推理机的概念，OWL推理机在推断复杂关系时更彻底，但这是有代价的，经常被引用的是更新性能。

有没有人能解释一下在做设计决策时需要考虑哪些因素，是否使用OWL推理机，以及如何评估RDFS推理机是否足以满足一组需求。(我强烈建议使用AllegroGraph的RDFS++推理机。)

我已经开始研究本体，并且已经使用owl:ObjectProperty、owl:FunctionalProperty之类的东西定义了三元组，并且有owl:Thing的几个子类。这是不是意味着我已经过了门槛，需要一个猫头鹰推理机？人们在哪里跨越了这条线，为什么？

Answer 1

当您开始使用RDFS和OWL建模时，可以使用不同类型的构造(或公理)(如rdfs:subClassOf或owl:FunctionalProperty)。这些构造中的每一个都增加了一些计算复杂性，例如，关于推理器要做的事情，即一致性检查或分类。作为一个经验法则，构造的表现力越强，计算它们所需的时间就越长。

当你使用the constructs available with RDFS时，你限制了你可以表达的东西的类型，但作为回报，你可以使用专用的高效推理器，比如AllegroGraph的。

然而，RDFS推理器将不能计算OWL公理。OWL比RDFS更具表现力，OWL推理器必须处理更多的构造。OWL推理程序理解RDFS公理(因为所有的RDFS构造都是OWL的一部分)，所以您可以将OWL推理程序与RDFS一起使用。

因此，总结一下：

• 的表现力越强，计算这些构造所需的内容就变得越复杂。
• RDFS的表现力不如OWL，所以如果你只使用RDFS构造，你可以期待更好的性能。但有时你需要OWL来表达你想要的东西，设计者的工作就是找到好的trade-off.
• OWL2引入一些概要(OWL2 EL, RL and QL)，专注于一组特定的公理，以保证有效的推理。您有一些专门用于这些配置文件的特殊推理器(如OWL2 EL的ELK )。
• 您可以阅读W3C documentation以了解有关RDFS和OWL的计算属性的更多信息。