我正在使用Protege v4.3来制作本体.我有一个关于OWL本体和DL查询的问题.
例如,在Pizza ontology中, http://owl.cs.manchester.ac.uk/co-ode-files/ontologies/pizza.owl
我可以执行DL查询
hasTopping some CheeseTopping
结果是American,AmericanHot,Cajun,..等等没关系.
现在,我尝试了DL查询
isToppingOf some American
但结果却一无所获.
由于物业isToppingOf是hasTopping的逆属性,我希望得到的结果,包括FourCheesesTopping,CheeseyVegetableTopping等从该查询(通过推理).芽它没有.
这样的自动推理有什么办法吗？