Package org.kr.dl.dig.reasoner.v1_1.impl

Implementations of the DIG 1.1 reasoner interfaces.

See:
Description

Class Summary

FaCTPlusPlusReasoner	An implementation of Reasoner that passes its requests to a FaCT++ reasoner.
HTTPReasoner	An implementation of Reasoner that passes its requests to a remote reasoner via HTTP POST requests (see the DIG specification for more details).
TReasoner	TBox reasoner wrapper for Reasoners.

Package org.kr.dl.dig.reasoner.v1_1.impl Description

Implementations of the DIG 1.1 reasoner interfaces.

Author:

Daniele Turi