How to infer collection of individuals of a class as a constituent of some class in protege?

Question

如果我有个人自行车，手柄，轮胎等的“集合”类和“零件”类，并且到目前为止，我已经实现了自行车是猫头鹰 ， 递归对象属性的手柄，轮胎等的集合，但是现在我正面临问题这辆自行车及其组成部分是“收藏”的个人吗？

Answer 1

In this case you are trying to treat a "collection" of individuals as an individual itself. However any collection of individuals is defined as a class in OWL. Therefore what you are essentially trying to do is treat an OWL class as an individual. Now this is possible, however, not in OWL DL. Using the owl:sameAs tag. To quote the owl specification directly

In OWL Full, where a class can be treated as instances of (meta)classes, we can use the owl:sameAs construct to define class equality, thus indicating that two concepts have the same intensional meaning.

This is all well and good however, from your question, you are trying to "infer" this type of collection. There is no direct way to do this, especially since OWL Full cannot be reasoned on.

So we are left with the alternative, that is to model a class that has one or many object properties that connect an individual to all the individuals of a particular enumeration. This may not be as useful (or indeed accurate) on a semantic level, but it is better than nothing and some of the reasoning complexity can be offset in a program you create.