我有基于主题的问题:
SOF - OWL 中的爱因斯坦谜题 https://stackoverflow.com/questions/4145706/how-to-get-individual-results-while-solving-einsteins-riddle-with-owl-in-prot%C3%A9g
在 owl 中,所有基数限制都基于对象属性的函数和反函数属性。我已经使用 QCR 对其进行了改造。
旧型号(示例):
man drinks some beverage;
drinks -> functional, inferse functional
新模型/EDITED/:
man drinks exactly 1 beverage;
beverage drinkedBy exactly 1 man;
drinks -> domain:man, range:beverage
drinkedBy -> domain:beverage, range:man
drinks inverseOf drinkedBy
我将所有“一些”替换为“恰好 1”。
我认为第一种类型相当于第二种模型,但推理机 FaCT++ 在启动 15 秒后被冻结(3+ GB RAM 浪费并冻结)。 HermiT 没有冻结,但他除了子类之外无法推断任何东西。
最终文件/EDITED/:
FS http://www.fileshare.sk/shares/ik6u08ht/zebraFinal.owl or MR http://megarapid.cz/soubor/190903/zebrafinal_owl
谢谢您的回答。
这三个公理
- Man SubClassOf drinks some Beverage
- drinks : Functional, InverseFunctional
- 事物⊑ x leq;1 饮料。东西
- Thing ⊑ ≤1 drinks-1.Thing
逻辑上不等于
- Man SubClassOf drinks exactly 1 Beverage
以下是一些在第一个模型中不一致的数据,但在第二个模型中则不一致:
m1 rdf:类型 Man 。
d1 rdf:类型饮料。
d2 rdf:类型(不是饮料)。
m1 喝 d1, d2 。
“该物业p是功能性的”是与“事物p最多 1 件事。”
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)