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

Interface Summary
ProtegeOWLReasoner User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Jun 4, 2004

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

The ProtegeOWLReasoner is an interface to an external DIG compliant reasoner.

 

Class Summary
DefaultProtegeOWLReasoner User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Jun 14, 2004

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

ReasonerManager User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Jun 22, 2004

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm