Uses of Interface
edu.stanford.smi.protegex.owl.inference.protegeowl.task.BooleanResultReasonerTask

Packages that use BooleanResultReasonerTask

edu.stanford.smi.protegex.owl.inference.protegeowl.task

Uses of BooleanResultReasonerTask in edu.stanford.smi.protegex.owl.inference.protegeowl.task

Classes in edu.stanford.smi.protegex.owl.inference.protegeowl.task that implement BooleanResultReasonerTask

class	GetConceptSatisfiableTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Aug 17, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
class	IsConceptIntersectionSatisfiableTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Aug 17, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
class	IsDisjointToTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Sep 12, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
class	IsSubsumedByTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Sep 12, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm