本体论中的推论

Question

我有一个问题，偶然发现它。但是对你们中的一些人来说可能很简单。

我定义了3个类：发票， ProductCode 和 ProductName 。 我还定义了2个对象属性：

1. 包含（域名：发票;范围：产品代码）
2. hasCode （域名： ProductName ;范围： ProductCode ）

发票的实例是＆＃34; INV123＆＃34;

ProductName 的实例是＆＃34; Product1＆＃34;和＆＃34;产品2＆＃34;

ProductCode 的实例是＆＃34; CodeAAA＆＃34;和＆＃34; CodeBBB＆＃34;

我的关系是：

• hasCode （域名：＆＃34;产品1＆＃34 ;;范围：＆＃34; CodeAAA＆＃34;），
• hasCode （域名：＆＃34; Product2＆＃34 ;;范围：＆＃34; CodeBBB＆＃34;），
• 包含（域名：＆＃34; INV123＆＃34 ;;范围：＆＃34; CodeAAA＆＃34;，＆＃34; CodeBBB＆＃34;）

当我进行推理时，它看起来像＆＃34; Product1＆＃34; hasCode ＆＃34; CodeAAA＆＃34;和＆＃34; CodeBBB＆＃34;。我怎么能说虽然＆＃34; INV123＆＃34;包含＆＃34; CodeAAA＆＃34; ＆＃34; CodeBBB＆＃34;，但＆＃34;产品1＆＃34;仅 hasCode ＆＃34; CodeAAA＆＃34;和＆＃34;产品2＆＃34;仅 hasCode ＆＃34; CodeBBB＆＃34;？

谢谢大家的回复。

问候。