Protégé-OWL 3.4.1

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

Interface Summary
BooleanResultReasonerTask 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

Implemented by tasks that return a boolean result.

CollectionResultReasonerTask 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

Implemented by tasks that return a Collection as a result.

IntegerResultReasonerTask User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: May 6, 2005

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

 

Class Summary
AbstractReasonerTask User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Aug 13, 2004

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

A partial implementation of ReasonerTask that implements several useful methods to set the task state and simultaneously notify listeners of state changes.

AbstractSingleConceptWithConceptCollectionResultTask 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

An abstract base class for task that take a single concept as a parameter, and return a collection of concepts as a result.

ClassifyTaxonomyTask User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Aug 16, 2004

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

The classify taxonomy task excompases three reasoner tasks:
a) Checking an updating for inconsistent concepts
b) Computing the inferred superclasses for consistent concepts
c) Computing equivalent concepts for consistent concepts

GetAncestorConceptsTask 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

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

GetDescendantConceptsTask 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

GetEquivalentConceptsTask 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

GetIndividualInferredTypesTask 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

GetIndividualPropertyValuesTask  
GetIndividualsBelongingToConceptTask 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

GetSubConceptsTask 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

GetSuperConceptsTask 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

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

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

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

ResetInferredHierarchyTask User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Aug 19, 2004

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

SynchronizeReasonerTask  
UpdateEquivalentClassesTask User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Jul 23, 2004

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

UpdateInconsistentClassesTask  
UpdateInferredHierarchyTask User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Jul 22, 2004

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

UpdateInferredTypesTask  
 


Protégé-OWL 3.4.1

Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.