|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Classes in org.semanticweb.owl.inference used by com.clarkparsia.explanation | |
|---|---|
| OWLClassReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 14-Nov-2006 A reasoner that provides reasoning support for class, property and individual reasoning. |
|
| OWLReasonerFactory
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 20-Jun-2007 Represents a reasoner creation point. |
|
| Classes in org.semanticweb.owl.inference used by com.clarkparsia.modularity.locality | |
|---|---|
| OWLReasonerFactory
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 20-Jun-2007 Represents a reasoner creation point. |
|
| Classes in org.semanticweb.owl.inference used by org.semanticweb.owl.debugging | |
|---|---|
| OWLSatisfiabilityChecker
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 01-Mar-2007 A minimal reasoner interface which allows the satisfiability of a class description to be checked. |
|
| Classes in org.semanticweb.owl.inference used by org.semanticweb.owl.inference | |
|---|---|
| MonitorableOWLReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 18-Mar-2007 An OWLReasoner whose classification progress
can be monitored. |
|
| OWLClassReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLConsistencyChecker
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLIndividualReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLPropertyReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 14-Nov-2006 A reasoner that provides reasoning support for class, property and individual reasoning. |
|
| OWLReasonerAdapter
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 18-Mar-2007 |
|
| OWLReasonerBase
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 The base interface for OWL reasoner. |
|
| OWLReasonerException
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 13-Apr-2007 Describes a problem with a reasoner. |
|
| OWLReasonerFactory
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 20-Jun-2007 Represents a reasoner creation point. |
|
| OWLReasonerManager
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 02-Jun-2008 A convenience point for managing various reasoners (for use in applications etc.). |
|
| OWLReasonerManagerEvent
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 02-Jun-2008 Represents an event that is generated by an OWLReasonerManager. |
|
| OWLReasonerManagerListener
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 02-Jun-2008 Represents a listener that will be informed of events that are generated by a reasoner manager. |
|
| OWLSatisfiabilityChecker
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 01-Mar-2007 A minimal reasoner interface which allows the satisfiability of a class description to be checked. |
|
| Classes in org.semanticweb.owl.inference used by org.semanticweb.owl.metrics | |
|---|---|
| OWLReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 14-Nov-2006 A reasoner that provides reasoning support for class, property and individual reasoning. |
|
| Classes in org.semanticweb.owl.inference used by org.semanticweb.owl.util | |
|---|---|
| OWLClassReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLConsistencyChecker
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLIndividualReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLPropertyReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 14-Nov-2006 A reasoner that provides reasoning support for class, property and individual reasoning. |
|
| OWLReasonerBase
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 The base interface for OWL reasoner. |
|
| OWLReasonerException
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 13-Apr-2007 Describes a problem with a reasoner. |
|
| OWLSatisfiabilityChecker
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 01-Mar-2007 A minimal reasoner interface which allows the satisfiability of a class description to be checked. |
|
| Classes in org.semanticweb.owl.inference used by org.semanticweb.reasonerfactory | |
|---|---|
| OWLReasonerFactory
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 20-Jun-2007 Represents a reasoner creation point. |
|
| Classes in org.semanticweb.owl.inference used by org.semanticweb.reasonerfactory.factpp | |
|---|---|
| OWLReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 14-Nov-2006 A reasoner that provides reasoning support for class, property and individual reasoning. |
|
| OWLReasonerFactory
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 20-Jun-2007 Represents a reasoner creation point. |
|
| Classes in org.semanticweb.owl.inference used by org.semanticweb.reasonerfactory.pellet | |
|---|---|
| OWLReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 14-Nov-2006 A reasoner that provides reasoning support for class, property and individual reasoning. |
|
| OWLReasonerFactory
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 20-Jun-2007 Represents a reasoner creation point. |
|
| Classes in org.semanticweb.owl.inference used by uk.ac.manchester.cs.owl.inference.dig11 | |
|---|---|
| OWLClassReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLConsistencyChecker
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLIndividualReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLPropertyReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
|
| OWLReasoner
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 14-Nov-2006 A reasoner that provides reasoning support for class, property and individual reasoning. |
|
| OWLReasonerAdapter
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 18-Mar-2007 |
|
| OWLReasonerBase
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 The base interface for OWL reasoner. |
|
| OWLReasonerException
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 13-Apr-2007 Describes a problem with a reasoner. |
|
| OWLSatisfiabilityChecker
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 01-Mar-2007 A minimal reasoner interface which allows the satisfiability of a class description to be checked. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||