Why there is forward chaining inference engine (reasoner) for description logics only and not for other logics?
문제
Reasoner is forward chaining inference engine (https://en.wikipedia.org/wiki/Semantic_reasoner) as opposite to Prolog backward chaining SAT solver (for queries). Why there is reasoner for description logics and not for other logics?
올바른 솔루션이 없습니다
제휴하지 않습니다 cs.stackexchange