Вопрос, кажется, немного открытый. Я нахожусь в процессе обработки правил (в основном производственных правил) с арифметическими c операторами. У меня также есть онтология, которая определяет отношения между элементами этих правил (это по крайней мере начальная установка). Например,
Тривиальный пример
Факты
NoOfItems('100')
BaseRental('300')
Правило производства
Profit = (NoOfUnits * ProductionCostPerUnit) + TransportationCost - (NoOfUnits * SellingPricePerUnit)
TransportationCost = (FuelCost/Litre * FuelUsedInLitre) + DriverCost
Онтология:
Profit owl:sameAs ProfitPerQuarter
NoOfUnits owl:sameAs NoOfItems
Я справился они независимо друг от друга, т. е. использовали Пролог (SWI-Пролог) для обработки правил типа производства или даже Друлы для обработки их в другом случае. Для запроса RDF / OWL я использовал Apache Jena. включая правила написания в Triple Store.
Но, вы, ребята, можете предложить структуру, которая может справиться с обоими, как в этой ситуации. Я слышал о Prova, который может справиться с этим. Но может ли Джена или Друлс иметь рассуждения, которые могут справиться с обоими.