Rdf OWL-对对象属性的多重限制

Rdf OWL-对对象属性的多重限制,rdf,owl,semantic-web,object-property,Rdf,Owl,Semantic Web,Object Property,考虑这个知识表示的例子 使用OWL,有没有一种方法可以说只有连接“Lolita(Book)”和“Lolita(1962)”的“派生自”属性是正确的,因为“Vladimir Nabokov”分别与“作者”和“作者”连接 然而,我想断言另一种情况(其中“派生自”连接“Lolita(Book)”和“Lolita(1997)”是错误的,因为它没有先前的条件。这需要SWRL。但是:Neither OWL及其规则扩展SWRL都不是用于约束验证的。正确性检查——他们只做演绎推理,不多不少。在你的情况下,你应该

考虑这个知识表示的例子

使用OWL,有没有一种方法可以说只有连接“Lolita(Book)”和“Lolita(1962)”的“派生自”属性是正确的,因为“Vladimir Nabokov”分别与“作者”和“作者”连接


然而,我想断言另一种情况(其中“派生自”连接“Lolita(Book)”和“Lolita(1997)”是错误的,因为它没有先前的条件。

这需要SWRL。但是:Neither OWL及其规则扩展SWRL都不是用于约束验证的。正确性检查——他们只做演绎推理,不多不少。在你的情况下,你应该思考和阅读关于沙克、舍克斯等的内容。我想谢谢你的回答!我的问题更多的是关于表达这类信息的方法,而不是验证策略。我相信SWRL是解决方案!这需要SWRL。但是:Neither OWL及其规则扩展SWRL都不是用于约束验证的。正确性检查——他们只做演绎推理,不多不少。在你的情况下,你应该思考和阅读关于沙克、舍克斯等的内容。我想谢谢你的回答!我的问题更多的是关于表达这类信息的方法,而不是验证策略。我相信SWRL是解决方案!