Возможности: Проверяет соответствие онтологии дескриптивной логике.
Изготовитель: Lockheed Martin.
Соответствие стандартам и общим соглашениям:
|
|
Книга: "Системы управления знаниями (методы и технологии)", Тузовский А.Ф., 2005 г., Томск, изд-во науч.-техн. лит., 258 стр., ISBN 5-89503-241-9.
Исходный раздел: ConVisOr
Найти книгу в продаже
|
См. также:
OntoClean (ODE)
OilED
Cerebra Inference Engine