«Совместные» структурные свойства двух и более видов структуры

На основе вышеопределенных базовых терминов могут быть даны определения «совместных свойств таксономии и партономии» или другой структурной модели. Примеры совместных свойств таксономии и некоторой «предметно-ориентированной» структуры — отсутствие избыточности в свойствах или поведении сущности, связи (не-таксономической) между двумя сущностями, более абстрактной, чем связь между их предками, «полезность» множества свойств сущности, согласованность кардинальности некоторой топологической связи, указываемой и для предка, и для потомка, неудовлетворительная характеристика непересекаемости понятий верхнего уровня, наличие признаков «неудовлетворительной классификации», наличие признаков несогласованности определений, наличие специфических знаний о классах. Пример определения: отсутствие избыточности в свойствах или поведении сущности-потомка — наличие двух вершин, связанных путем в графе таксономии и имеющих одинаковую дугу с некоторой третьей вершиной в графе с не-таксономической структурой.

Пример вычисления свойств. Для отнологии компьютерных игр «совместные» структурные свойства двух видов структуры: Наличие признаков «неудовлетворительной классификации» — наличие одинаковых уточнений диапазонов атрибутов либо связей для всех потомков сущности — (значение «да», для всех представителей сущности TurnBasedStrategyGame; наличие «листовых» сущностей таксономии, которые нигде не использованы — «да» (введен экземпляр A3DO, но нигде не использован).

Наличие одинаковых значений атрибута runsOnPlatform и одинаковых уточнений диапазонов атрибута hasRequirements для всех представителей сущности TurnBasedStrategyGame в соответствии с [Gomez-Perez, 2001] означает неудовлетворительную классификацию. Возможные рекомендации таковы:

либо изменить классификацию, чтобы уточнить значения свойств runsOnPlatform и hasRequirements натуровне дополнительного подкласса;

либо вынести часть информации в отдельный модуль, т. е. отделить информацию, в которой описаны знания о конкретных представителях сущности TurnBasedStrategyGame (и других представителях других сущностей с одинаковыми значениями свойств) от собственно онтологии таких знаний.