Автоматичне виправлення синтаксичних помилок у вхідних даних.

Стиснення бази даних для економії місця.

Генерація нових фактів на основі вже існуючих правил та аксіом.

Візуалізація зв'язків між об'єктами у вигляді графа.