Очередная подборка полезной информации по OWL:
Что означает факт, что классы equivalent или disjoint?
PavelK: equivalent означает, что все экземпляры класса А являются экземплярами Б и наоборот. disjoint означает, что ни один экземпляр класса А не является экземпляром класса Б.
Насчет аксиом. Правильно ли можно считать, что когда мы задаем disjoint и equivalent классы, мы уже на них накладываем ограничения и это можно считать аксиомами. Если да, то для чего используется вкладка General class axioms? И как вообще в ней задавать аксиому (приведите, пожалуйста, небольшой пример)?
PavelK: Правильно. Эквивалентность и взаимоисключаемость задаются аксиомами. GCI - это утверждения общего вида, не относящиеся к конкретному классу (например A or B subclassof C and D).
