QCRs与功能性质
QCRs与功能性质
提问于 2014-09-22 06:22:36
我有一个基于这个主题的问题：
在owl中，所有的基数限制都是基于对象属性的泛函和逆函数性质。我用QCRs改造了它。
旧模式(例如)：
man drinks some beverage;
drinks -> functional, inferse functional新型号/编辑/
man drinks exactly 1 beverage;
beverage drinkedBy exactly 1 man;
drinks -> domain:man, range:beverage
drinkedBy -> domain:beverage, range:man
drinks inverseOf drinkedBy我把所有的“一些”都换成了“1”。我认为第一种类型相当于第二种类型，但是reasoner FaCT++在启动15秒后就被冻结了(3+ GB浪费和冻结)。HermiT并不冷，但他只能推断子类。
最终文件/编辑/：文件系统或先生
谢谢你的回答。
Stack Overflow用户
发布于 2014-09-22 14:47:54
我相信这两种版本并不完全等同。如果饮料是相反的功能，那么两个人喝同一种酒的情况被推断为是同一个人。在第二个版本中，情况并非如此(根据您的描述，我还没有检查过本体)。
编辑:与Dmitry (FaCT++的主要开发人员)讨论了这个问题。他说，功能特征相当于最大基数1。确切地说，一个基数包括存在，这意味着推理者有一个不同的图表需要探索，这将是更复杂的。我已经向他指出了这个问题，以提供一个更全面的答案。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/25967784
复制相关文章
相似问题
腾讯云开发者
