Сова протеже, как я могу описать класс, который имеет только некоторые свойства?

Question

Можно ли в протеже (таким образом, в сове) описать класс в зависимости от того, обладает ли он какими-либо свойствами?

Например

У меня есть класс Homeи я хочу сказать, что каждый экземпляр, который имеет property1 а также property2 а также property2 считается экземпляром этого класса?

Answer 1

Предположим, у вас есть классная утка, и вы хотите сказать, что если что-то ходит, как утка, и говорит, как утка, то это утка. Вы можете сделать это с помощью аксиомы класса:

((Ходит как утка) и (Говорит как утка)) Подкласс утки

Аксиома подкласса, подобная этой, где левая часть - это не просто имя класса, а сложное выражение класса, называется аксиомой общего класса. Вы можете ввести их в Protégé на вкладке Active Ontology:

Чтобы больше узнать об аксиомах общего класса, вы можете найти Быть сложным с левой стороны: Включения в общую концепцию полезны.