关联标签
7得票1回答
如何在DL Manchester OWL语法中查询个体？
我知道这听起来像是一个非常愚蠢的问题，但我一直在尝试解决它，却找不到任何相关内容，虽然看起来应该可以做到。 我正在开发一个使用Manchester OWL Syntax和HermiT推理器通过其API查询OWL文件的东西。我也会在Protege 4的DL Query选项卡中运行查询，以检查该...
7得票2回答
使用反向属性推理OWL本体？
我正在使用Protege v4.3制作本体论。我有一个关于OWL本体论和DL查询的问题。 例如，在Pizza本体论中， http://owl.cs.manchester.ac.uk/co-ode-files/ontologies/pizza.owl 我可以执行DL查询 hasTopping...