Java OWL如何使protege中的C类等同于A类和B类

我有三个班： 甲级：高 B班：大 丙级：超人

一个人可以是a的实例，也可以是B的实例，或者两者的实例。当一个人是a和B的实例时，她就是C的实例

我把C类等同于“A和B”，我创造了一个高大的个体

---

当我启动我的推理机时，我的个体只在C类中。但由于C=A联合体B，我的个体必须是A、B和C的实例。那么我如何使他成为A、B和C的实例呢？

A和B

表示交叉点。要获得并集，必须使用

A或B

A和B

表示交叉点。为了得到联合，你必须有

A或B

，你的整个问题包含了矛盾的陈述：但既然C=A联合，我就把C类等同于“A和B”。现在什么是正确的？

C等价于A和B

->

C

的个体属于

A

，

B

C等价于A或B

->

C

的个体属于

A

或

B

，因此，推理者无法推断a类或B类中的哪一类-即使两者都有可能表示a和BAs的交叉点a侧注，Protege并没有显示所有的推论，尤其是对于ABox公理，它们可能太多并且会减慢GUI。如果您转到DL查询选项卡，并查询

A

的“实例”，则会显示个体，因此推理器按预期工作。您的整个问题包含矛盾的陈述：但由于C=A联合B，我将C类等同于“A和B”。现在什么是正确的？

C等价于A和B

->

C

的个体属于

A

，

B

C等价于A或B

->

C

的个体属于

A

或

B

，因此，推理者无法推断a类或B类中的哪一类-即使两者都有可能表示a和BAs的交叉点a侧注，Protege并没有显示所有的推论，尤其是对于ABox公理，它们可能太多并且会减慢GUI。如果您转到DL查询选项卡，并查询

A

的“实例”，则将显示个人，因此推理器按预期工作。很抱歉，我想要交叉点，因此我将C等效为“A和B”。我的问题是，推理者说我的个体是C的唯一实例（但他是A、B和C的实例）。很抱歉，我想要交叉点，所以我用C表示“A和B”。我的问题是推理者说我的个体只是C的实例（但他是A、B和C的实例）