Uses of Interface
org.kr.dl.dig.reasoner.v1_1.Reasoner

Packages that use Reasoner

org.kr.dl.dig.reasoner.v1_1	DIG 1.1 reasoner interfaces.
org.kr.dl.dig.reasoner.v1_1.impl	Implementations of the DIG 1.1 reasoner interfaces.

Uses of Reasoner in org.kr.dl.dig.reasoner.v1_1

Subinterfaces of Reasoner in org.kr.dl.dig.reasoner.v1_1

interface

TReasoner DIG 1.1 TBox reasoner interface.

Uses of Reasoner in org.kr.dl.dig.reasoner.v1_1.impl

Classes in org.kr.dl.dig.reasoner.v1_1.impl that implement Reasoner

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

Methods in org.kr.dl.dig.reasoner.v1_1.impl that return Reasoner

Reasoner

TReasoner.getReasoner()

Methods in org.kr.dl.dig.reasoner.v1_1.impl with parameters of type Reasoner

void	TReasoner.setReasoner(Reasoner reasoner)

Constructors in org.kr.dl.dig.reasoner.v1_1.impl with parameters of type Reasoner

TReasoner(Reasoner reasoner)
Sets reasoner.