QCRs与功能性质
我有一个基于这个主题的问题：
在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并不冷，但他只能推断子类。
最终文件/编辑/：文件系统或先生
谢谢你的回答。
回答 2
Stack Overflow用户
发布于 2014-11-18 14:47:55
在与丹尼斯进一步讨论后，他解释了这个问题。
基本上模型是正确的，但它需要实现的是，每所房子在左/右有一个最大的邻居。考虑情况: H5左H4左H3左H2左H1和附加H5左H3在原点模型中不可能，因为(逆)泛函不允许它。(如果H5左H4，H5左H3是不可能的)在我们的模型中，我们不再限制左向/右向。因此，考虑的情况是有效的。
为了解决这个问题，我们需要再添加一个声明: House SubClassOf left_to max 1 House /或/ House SubClassOf right_to max 1 House
结果表明: QCR的最大值为1=泛函，但模型是错误的。
Stack Overflow用户
发布于 2014-09-22 14:47:54
我相信这两种版本并不完全等同。如果饮料是相反的功能，那么两个人喝同一种酒的情况被推断为是同一个人。在第二个版本中，情况并非如此(根据您的描述，我还没有检查过本体)。
编辑:与Dmitry (FaCT++的主要开发人员)讨论了这个问题。他说，功能特征相当于最大基数1。确切地说，一个基数包括存在，这意味着推理者有一个不同的图表需要探索，这将是更复杂的。我已经向他指出了这个问题，以提供一个更全面的答案。
https://stackoverflow.com/questions/25967784
复制相似问题
腾讯云开发者
