Лингвофорум

Попытался быстро вникнуть в информацию, касающуюся онтологий, OWL, Reasoner-ов, логического вывода , графических баз данных, логик разных порядков, продукционных правил), однако на данный момент каша в голове. Хочется понять в каком направлении двигаться чтобы найти решение следующей задачи.

Имеется:
1. Информация о нашей текущей системе, состоящая из сущностей, их свойств и отношений между сущностями. Я так понимаю, это можно задать в виде OWL онтологии.
2. Правила. Правила о сущностях, по типу ЕСЛИ, ТО.
3. Текущая задача.

Информация о нашей текущей системе
Tom has a car.
Helen has phone.
Tom is 20 years old.
Helen is 30 years old.
Tom is a friend of Helen.

Правила (паттерны)
IF (X has car AND Y has phone and X older than 18 AND Y older than 18 AND X is a friend of Y), THEN -> They can start taxi business.

Задача
Сгенерировать варианты бизнеса для Тома. В частности, система должна распознать паттерн, ситуации (чтобы его можно было свести к правлу). На базе паттерна должно быть сгенерировано решение, спроецированное на текущую ситуацию, например:

Поскольку у Тома есть подруга Хелен, им обоим больше 18 лет, у него есть машина, а у нее есть телефон, то Том может организовать бизнес в виде службы такси с Еленой.

Вопросы
1. С помощью каких решений или технологий можно реализовтаь эту задачу или хотя бы приблизиться к ее решению?
2. Есть наглядный пример работы подобной системы?