A B C D E F G H I J L M N O R S T U V

A

AbstractOWLDebugger - Class in org.semanticweb.owlapi.debugging

An abstract debugger which provides common infrastructure for finding multiple justification.

AbstractOWLMetric<M extends Serializable> - Class in org.semanticweb.owlapi.metrics

AbstractOWLMetric(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.AbstractOWLMetric

Instantiates a new abstract owl metric.

addAxiom(OWLAxiom, Set<OWLOntology>, OWLOntologyManager) - Static method in class com.clarkparsia.owlapi.explanation.util.OntologyUtils

Add the axiom to all the given ontologies.

addChild(MutableTree<N>) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

addChild(MutableTree<N>, Object) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

AlphaExplanationOrderer - Class in uk.ac.manchester.cs.owl.explanation.ordering

Orders an explanation in a flat list, sorting axioms alphabetically.

AlphaExplanationOrderer(OWLObjectRenderer) - Constructor for class uk.ac.manchester.cs.owl.explanation.ordering.AlphaExplanationOrderer

Instantiates a new alpha explanation orderer.

AverageAssertedNamedSuperclassCount - Class in org.semanticweb.owlapi.metrics

AverageAssertedNamedSuperclassCount(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.AverageAssertedNamedSuperclassCount

Instantiates a new average asserted named superclass count.

AxiomCount - Class in org.semanticweb.owlapi.metrics

AxiomCount(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.AxiomCount

Instantiates a new axiom count.

AxiomCountMetric - Class in org.semanticweb.owlapi.metrics

AxiomCountMetric(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.AxiomCountMetric

Instantiates a new axiom count metric.

AxiomTypeCountMetricFactory - Class in org.semanticweb.owlapi.metrics

AxiomTypeMetric - Class in org.semanticweb.owlapi.metrics

AxiomTypeMetric(OWLOntology, AxiomType<?>) - Constructor for class org.semanticweb.owlapi.metrics.AxiomTypeMetric

Instantiates a new axiom type metric.

B

beginTransaction() - Method in class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

beginTransaction() - Method in interface com.clarkparsia.owlapi.explanation.TransactionAwareSingleExpGen

Indicates to the explanation generator that a transaction which may modify the ontology state is starting.

BlackBoxExplanation - Class in com.clarkparsia.owlapi.explanation

A black box explanation.

BlackBoxExplanation(OWLOntology, OWLReasonerFactory, OWLReasoner) - Constructor for class com.clarkparsia.owlapi.explanation.BlackBoxExplanation

Instantiates a new black box explanation.

BlackBoxExplanation(OWLOntology, OWLReasonerFactory, OWLReasoner, int) - Constructor for class com.clarkparsia.owlapi.explanation.BlackBoxExplanation

Instantiates a new black box explanation.

BlackBoxOWLDebugger - Class in org.semanticweb.owlapi.debugging

This is an implementation of a black box debugger.

BlackBoxOWLDebugger(OWLOntologyManager, OWLOntology, OWLReasonerFactory) - Constructor for class org.semanticweb.owlapi.debugging.BlackBoxOWLDebugger

Instantiates a new black box owl debugger.

BlackBoxOWLDebugger(OWLOntologyManager, OWLOntology, OWLReasonerFactory, int) - Constructor for class org.semanticweb.owlapi.debugging.BlackBoxOWLDebugger

Instantiates a new black box owl debugger.

C

clearChildren() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

remove all children.

com.clarkparsia.owlapi.explanation - package com.clarkparsia.owlapi.explanation

Explanation package

com.clarkparsia.owlapi.explanation.io - package com.clarkparsia.owlapi.explanation.io

Explanation renderers package

com.clarkparsia.owlapi.explanation.util - package com.clarkparsia.owlapi.explanation.util

Explanation utils

com.clarkparsia.owlapi.modularity.locality - package com.clarkparsia.owlapi.modularity.locality

Locality package

ConciseExplanationRenderer - Class in com.clarkparsia.owlapi.explanation.io

Explanation renderer in concise form.

ConciseExplanationRenderer() - Constructor for class com.clarkparsia.owlapi.explanation.io.ConciseExplanationRenderer

constructHittingSetTree(Set<OWLAxiom>, Set<Set<OWLAxiom>>, Set<Set<OWLAxiom>>, Set<OWLAxiom>) - Method in class org.semanticweb.owlapi.debugging.AbstractOWLDebugger

This is a recursive method that builds a hitting set tree to obtain all justifications for an unsatisfiable class.

containsUnreferencedEntity(OWLOntology, OWLClassExpression) - Static method in class com.clarkparsia.owlapi.explanation.util.OntologyUtils

Determines if a class description contains any unreferenced entities with respect to the ontology that contains the entailments which are being explained.

convert(OWLAxiom) - Method in class com.clarkparsia.owlapi.explanation.SatisfiabilityConverter

Convert.

convertToNormalForm(OWLClassExpression) - Method in class org.semanticweb.owlapi.normalform.NegationalNormalFormConverter

convertToNormalForm(OWLClassExpression) - Method in interface org.semanticweb.owlapi.normalform.NormalFormRewriter

Convert to normal form.

createMetrics(OWLOntology) - Static method in class org.semanticweb.owlapi.metrics.AxiomTypeCountMetricFactory

Creates a new AxiomTypeCountMetric object.

D

DebuggerClassExpressionGenerator - Class in org.semanticweb.owlapi.debugging

DebuggerClassExpressionGenerator(OWLDataFactory) - Constructor for class org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

Instantiates a new debugger class expression generator.

DEFAULT_INITIAL_EXPANSION_LIMIT - Static variable in class com.clarkparsia.owlapi.explanation.BlackBoxExplanation

default expansion limit.

DefaultExplanationGenerator - Class in com.clarkparsia.owlapi.explanation

DefaultExplanationGenerator(OWLOntologyManager, OWLReasonerFactory, OWLOntology, ExplanationProgressMonitor) - Constructor for class com.clarkparsia.owlapi.explanation.DefaultExplanationGenerator

Instantiates a new default explanation generator.

DefaultExplanationGenerator(OWLOntologyManager, OWLReasonerFactory, OWLOntology, OWLReasoner, ExplanationProgressMonitor) - Constructor for class com.clarkparsia.owlapi.explanation.DefaultExplanationGenerator

Instantiates a new default explanation generator.

DefinitionTracker - Class in com.clarkparsia.owlapi.explanation.util

Tracker for definitions.

DefinitionTracker(OWLOntology) - Constructor for class com.clarkparsia.owlapi.explanation.util.DefinitionTracker

Instantiates a new definition tracker.

dispose() - Method in class com.clarkparsia.owlapi.explanation.BlackBoxExplanation

dispose() - Method in class com.clarkparsia.owlapi.explanation.HSTExplanationGenerator

dispose() - Method in interface com.clarkparsia.owlapi.explanation.SingleExplanationGenerator

dispose of the reasoners and ontologies.

dispose() - Method in class org.semanticweb.owlapi.debugging.BlackBoxOWLDebugger

dispose() - Method in interface org.semanticweb.owlapi.debugging.OWLDebugger

dispose of resources locked such as reasoners.

dispose() - Method in class org.semanticweb.owlapi.metrics.AbstractOWLMetric

dispose() - Method in interface org.semanticweb.owlapi.metrics.OWLMetric

Disposes of the metric.

DLExpressivity - Class in org.semanticweb.owlapi.metrics

DLExpressivity(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.DLExpressivity

DoubleValuedMetric - Class in org.semanticweb.owlapi.metrics

DoubleValuedMetric(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.DoubleValuedMetric

Instantiates a new double valued metric.

dump(PrintWriter) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

dump(PrintWriter, int) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

dump(PrintWriter) - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

Dump.

dump(PrintWriter, int) - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

Dump.

E

endRendering() - Method in class com.clarkparsia.owlapi.explanation.io.ConciseExplanationRenderer

endRendering() - Method in interface com.clarkparsia.owlapi.explanation.io.ExplanationRenderer

end of rendering.

endRendering() - Method in class com.clarkparsia.owlapi.explanation.io.SilentExplanationRenderer

endTransaction() - Method in class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

endTransaction() - Method in interface com.clarkparsia.owlapi.explanation.TransactionAwareSingleExpGen

End a transaction.

EntailedAxiomTree - Class in uk.ac.manchester.cs.owl.explanation.ordering

EntailedAxiomTree(OWLAxiom) - Constructor for class uk.ac.manchester.cs.owl.explanation.ordering.EntailedAxiomTree

Instantiates a new entailed axiom tree.

ExplanationGenerator - Interface in com.clarkparsia.owlapi.explanation

a generator for explanations.

ExplanationOrderer - Interface in uk.ac.manchester.cs.owl.explanation.ordering

ExplanationOrdererImpl - Class in uk.ac.manchester.cs.owl.explanation.ordering

Provides ordering and indenting of explanations based on various ordering heuristics.

ExplanationOrdererImpl(OWLOntologyManager) - Constructor for class uk.ac.manchester.cs.owl.explanation.ordering.ExplanationOrdererImpl

Instantiates a new explanation orderer impl.

ExplanationProgressMonitor - Interface in com.clarkparsia.owlapi.explanation.util

A progress monitor for an explanation generator.

ExplanationRenderer - Interface in com.clarkparsia.owlapi.explanation.io

Renderer for explanations.

ExplanationTree - Class in uk.ac.manchester.cs.owl.explanation.ordering

ExplanationTree(OWLAxiom) - Constructor for class uk.ac.manchester.cs.owl.explanation.ordering.ExplanationTree

Instantiates a new explanation tree.

extract(Set<OWLEntity>) - Method in interface org.semanticweb.owlapi.modularity.OntologySegmenter

Returns a set of axioms that is a segment of the ontology associated with this segmenter.

extract(Set<OWLEntity>, int, int, OWLReasoner) - Method in interface org.semanticweb.owlapi.modularity.OntologySegmenter

Returns a set of axioms that is a segment of the ontology associated with this segmenter.

extract(Set<OWLEntity>) - Method in class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor

extract(Set<OWLEntity>, int, int, OWLReasoner) - Method in class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor

extract(Set<OWLEntity>, int, int, OWLReasoner, boolean) - Method in class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor

Extracts a module from the associated ontology for a given signature and the associated module type, and returns the module as a set of axioms.

extractAsOntology(Set<OWLEntity>, IRI) - Method in interface org.semanticweb.owlapi.modularity.OntologySegmenter

Returns an ontology that is a segment of the ontology associated with this segmenter.

extractAsOntology(Set<OWLEntity>, IRI, int, int, OWLReasoner) - Method in interface org.semanticweb.owlapi.modularity.OntologySegmenter

Returns an ontology that is a segment of the ontology associated with this segmenter.

extractAsOntology(Set<OWLEntity>, IRI) - Method in class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor

extractAsOntology(Set<OWLEntity>, IRI, int, int, OWLReasoner) - Method in class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor

F

fillDepthFirst() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

fillDepthFirst() - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

Fill depth first.

foundAllExplanations() - Method in interface com.clarkparsia.owlapi.explanation.util.ExplanationProgressMonitor

Called when all explanations have been found.

foundAllExplanations() - Method in class com.clarkparsia.owlapi.explanation.util.SilentExplanationProgressMonitor

foundExplanation(Set<OWLAxiom>) - Method in interface com.clarkparsia.owlapi.explanation.util.ExplanationProgressMonitor

Called when an explanation has been found.

foundExplanation(Set<OWLAxiom>) - Method in class com.clarkparsia.owlapi.explanation.util.SilentExplanationProgressMonitor

G

GCICount - Class in org.semanticweb.owlapi.metrics

GCICount(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.GCICount

getAllSOSForInconsistentClass(OWLClassExpression) - Method in class org.semanticweb.owlapi.debugging.AbstractOWLDebugger

getAllSOSForInconsistentClass(OWLClassExpression) - Method in interface org.semanticweb.owlapi.debugging.OWLDebugger

Gets the all sos for inconsistent class.

getAxioms() - Method in class org.semanticweb.owlapi.metrics.AxiomCountMetric

Gets the axioms.

getAxiomType() - Method in class org.semanticweb.owlapi.metrics.AxiomTypeMetric

Gets the axiom type.

getChildAxioms(OWLAxiom) - Method in class org.semanticweb.owlapi.debugging.JustificationMap

Gets the child axioms.

getChildCount() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

getChildCount() - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

A convenience method that gets the number of child nodes that this node has.

getChildren() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

getChildren() - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

Gets the children of this tree node.

getComplementedClassExpressions(OWLClassExpression) - Method in class org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

Gets the complemented class expressions.

getDebuggerClassExpression() - Method in class org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

Gets the debugger class expression.

getDefinitionTracker() - Method in class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

getEdge(Tree<N>) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

getEdge(Tree<N>) - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

getExplanation(OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.BlackBoxExplanation

getExplanation(OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.DefaultExplanationGenerator

getExplanation(OWLAxiom) - Method in class com.clarkparsia.owlapi.explanation.DefaultExplanationGenerator

Gets the explanation.

getExplanation(OWLClassExpression) - Method in interface com.clarkparsia.owlapi.explanation.ExplanationGenerator

Returns a single explanation for the given unsatisfiable class.

getExplanation(OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.HSTExplanationGenerator

getExplanation(OWLClassExpression) - Method in interface com.clarkparsia.owlapi.explanation.SingleExplanationGenerator

Get a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.

getExplanations(OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.DefaultExplanationGenerator

getExplanations(OWLAxiom) - Method in class com.clarkparsia.owlapi.explanation.DefaultExplanationGenerator

Gets the explanations.

getExplanations(OWLClassExpression, int) - Method in class com.clarkparsia.owlapi.explanation.DefaultExplanationGenerator

getExplanations(OWLAxiom, int) - Method in class com.clarkparsia.owlapi.explanation.DefaultExplanationGenerator

Gets the explanations.

getExplanations(OWLClassExpression) - Method in interface com.clarkparsia.owlapi.explanation.ExplanationGenerator

Returns all the explanations for the given unsatisfiable class.

getExplanations(OWLClassExpression, int) - Method in interface com.clarkparsia.owlapi.explanation.ExplanationGenerator

Return a specified number of explanations for the given unsatisfiable class.

getExplanations(OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.HSTExplanationGenerator

getExplanations(OWLClassExpression, int) - Method in class com.clarkparsia.owlapi.explanation.HSTExplanationGenerator

getManager() - Method in class org.semanticweb.owlapi.metrics.AbstractOWLMetric

getManager() - Method in interface org.semanticweb.owlapi.metrics.OWLMetric

Gets the ontology manager which, amongst other things can be used to obtain the imports closure of the current ontology.

getMaxDepth() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

getMetrics() - Method in class org.semanticweb.owlapi.metrics.OWLMetricManager

getModuleType() - Method in class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor

Returns the module type for this extractor.

getName() - Method in class org.semanticweb.owlapi.metrics.AverageAssertedNamedSuperclassCount

getName() - Method in class org.semanticweb.owlapi.metrics.AxiomCount

getName() - Method in class org.semanticweb.owlapi.metrics.DLExpressivity

getName() - Method in class org.semanticweb.owlapi.metrics.HiddenGCICount

getName() - Method in class org.semanticweb.owlapi.metrics.ImportClosureSize

getName() - Method in class org.semanticweb.owlapi.metrics.MaximumNumberOfNamedSuperclasses

getName() - Method in class org.semanticweb.owlapi.metrics.NumberOfClassesWithMultipleInheritance

getName() - Method in class org.semanticweb.owlapi.metrics.ObjectCountMetric

getName() - Method in interface org.semanticweb.owlapi.metrics.OWLMetric

Gets the human readable name of this metric.

getName() - Method in class org.semanticweb.owlapi.metrics.UnsatisfiableClassCountMetric

getOntologies() - Method in class org.semanticweb.owlapi.metrics.AbstractOWLMetric

Gets the ontologies.

getOntology() - Method in class com.clarkparsia.owlapi.explanation.HSTExplanationGenerator

getOntology() - Method in interface com.clarkparsia.owlapi.explanation.SingleExplanationGenerator

Gets the ontology.

getOntology() - Method in class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

getOntology() - Method in class org.semanticweb.owlapi.metrics.AbstractOWLMetric

getOntology() - Method in interface org.semanticweb.owlapi.metrics.OWLMetric

Gets the ontology which the value of the metric should be based on.

getOntologyManager() - Method in class com.clarkparsia.owlapi.explanation.HSTExplanationGenerator

getOntologyManager() - Method in interface com.clarkparsia.owlapi.explanation.SingleExplanationGenerator

Gets the ontology manager.

getOntologyManager() - Method in class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

getOrderedExplanation(OWLAxiom, Set<OWLAxiom>) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.AlphaExplanationOrderer

getOrderedExplanation(OWLAxiom, Set<OWLAxiom>) - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.ExplanationOrderer

Gets an ordered (and possibly indented) explanation.

getOrderedExplanation(OWLAxiom, Set<OWLAxiom>) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.ExplanationOrdererImpl

getOrderedExplanation(OWLAxiom, Set<OWLAxiom>) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.NullExplanationOrderer

getOWLOntology() - Method in class org.semanticweb.owlapi.debugging.AbstractOWLDebugger

getOWLOntology() - Method in interface org.semanticweb.owlapi.debugging.OWLDebugger

getParent() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

getParent() - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

Gets the parent of this tree node.

getPathToRoot() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

getPathToRoot() - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

Gets the path to root.

getReasoner() - Method in class com.clarkparsia.owlapi.explanation.HSTExplanationGenerator

getReasoner() - Method in interface com.clarkparsia.owlapi.explanation.SingleExplanationGenerator

Gets the reasoner.

getReasoner() - Method in class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

getReasonerFactory() - Method in class com.clarkparsia.owlapi.explanation.HSTExplanationGenerator

getReasonerFactory() - Method in interface com.clarkparsia.owlapi.explanation.SingleExplanationGenerator

Gets the reasoner factory.

getReasonerFactory() - Method in class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

getRoot() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

getRoot() - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

A convenience method that gets the root of this tree.

getRootAxioms() - Method in class org.semanticweb.owlapi.debugging.JustificationMap

Gets the root axioms.

getSingleExplanationGenerator() - Method in class com.clarkparsia.owlapi.explanation.HSTExplanationGenerator

Gets the single explanation generator.

getSize() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

getSOSForInconsistentClass(OWLClassExpression) - Method in class org.semanticweb.owlapi.debugging.BlackBoxOWLDebugger

getSOSForInconsistentClass(OWLClassExpression) - Method in interface org.semanticweb.owlapi.debugging.OWLDebugger

Gets the sOS for inconsistent class.

getUserObject() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

getUserObject() - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

Gets the "content" of this tree node.

getUserObjectClosure() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

getUserObjectClosure() - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

Gets the user object closure.

getUserObjectPathToRoot() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

getUserObjectPathToRoot() - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

Gets the user object path to root.

getValue() - Method in class org.semanticweb.owlapi.metrics.AbstractOWLMetric

getValue() - Method in interface org.semanticweb.owlapi.metrics.OWLMetric

Gets the value of this metric.

H

HiddenGCICount - Class in org.semanticweb.owlapi.metrics

Counts the number of "hidden" GCIs in an ontology imports closure.

HiddenGCICount(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.HiddenGCICount

HSTExplanationGenerator - Class in com.clarkparsia.owlapi.explanation

HST explanation generator.

HSTExplanationGenerator(TransactionAwareSingleExpGen) - Constructor for class com.clarkparsia.owlapi.explanation.HSTExplanationGenerator

I

ImportClosureSize - Class in org.semanticweb.owlapi.metrics

ImportClosureSize(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.ImportClosureSize

Instantiates a new import closure size.

IntegerValuedMetric - Class in org.semanticweb.owlapi.metrics

An OWLMetric that returns an integer value.

isCancelled() - Method in interface com.clarkparsia.owlapi.explanation.util.ExplanationProgressMonitor

Determines if the process of generating explanations has been cancelled.

isCancelled() - Method in class com.clarkparsia.owlapi.explanation.util.SilentExplanationProgressMonitor

isDefined(OWLEntity) - Method in class com.clarkparsia.owlapi.explanation.util.DefinitionTracker

Checks if this entity is referred by a logical axiom in the imports closure of the designated ontology.

isDefined(OWLClassExpression) - Method in class com.clarkparsia.owlapi.explanation.util.DefinitionTracker

Checks if all the entities referred in the given concept are also referred by a logical axiom in the imports closure of the designated ontology.

isEntailed() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.EntailedAxiomTree

isEntailed() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.ExplanationTree

Checks if is entailed.

isImportsClosureUsed() - Method in class org.semanticweb.owlapi.metrics.AbstractOWLMetric

isImportsClosureUsed() - Method in interface org.semanticweb.owlapi.metrics.OWLMetric

Determines if the computation of the metric should take into account the imports closure of the current ontology.

isInNormalForm(OWLClassExpression) - Method in class org.semanticweb.owlapi.normalform.NegationalNormalFormConverter

isInNormalForm(OWLClassExpression) - Method in interface org.semanticweb.owlapi.normalform.NormalFormRewriter

Checks if is in normal form.

isLeaf() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

isLeaf() - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

A convenience method that determines if this node is a leaf node (because it has no children).

isLocal(OWLAxiom, Set<? extends OWLEntity>) - Method in interface com.clarkparsia.owlapi.modularity.locality.LocalityEvaluator

Tests whether a given axiom is local with respect to a given signature.

isLocal(OWLAxiom, Set<? extends OWLEntity>) - Method in class com.clarkparsia.owlapi.modularity.locality.SemanticLocalityEvaluator

isLocal(OWLAxiom, Set<? extends OWLEntity>) - Method in class com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator

isRoot() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

isRoot() - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

A convenience method that determines if this is a root node (because it has no parent node).

J

JustificationMap - Class in org.semanticweb.owlapi.debugging

JustificationMap(OWLClassExpression, Set<OWLAxiom>) - Constructor for class org.semanticweb.owlapi.debugging.JustificationMap

Instantiates a new justification map.

L

LocalityClass - Enum in com.clarkparsia.owlapi.modularity.locality

Types of locality classes that can be used.

LocalityEvaluator - Interface in com.clarkparsia.owlapi.modularity.locality

A locality evaluator.

LogicalAxiomCount - Class in org.semanticweb.owlapi.metrics

LogicalAxiomCount(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.LogicalAxiomCount

Instantiates a new logical axiom count.

M

MaximumNumberOfNamedSuperclasses - Class in org.semanticweb.owlapi.metrics

MaximumNumberOfNamedSuperclasses(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.MaximumNumberOfNamedSuperclasses

Instantiates a new maximum number of named superclasses.

ModuleType - Enum in org.semanticweb.owlapi.atomicdecomposition

Module types - for use with Chiara and Dmitry's implementation of modularisation and atomic decomposition, as implemented in FaCT++/OWLAPITOOLS

ModuleType - Enum in uk.ac.manchester.cs.owlapi.modularity

Enumeration for module types.

MultipleExplanationGenerator - Interface in com.clarkparsia.owlapi.explanation

multiple explanation generator.

MutableTree<N> - Class in uk.ac.manchester.cs.owl.explanation.ordering

MutableTree(N) - Constructor for class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

N

NegationalNormalFormConverter - Class in org.semanticweb.owlapi.normalform

NegationalNormalFormConverter(OWLDataFactory) - Constructor for class org.semanticweb.owlapi.normalform.NegationalNormalFormConverter

Instantiates a new negational normal form converter.

NodeRenderer<N> - Interface in uk.ac.manchester.cs.owl.explanation.ordering

NormalFormRewriter - Interface in org.semanticweb.owlapi.normalform

NullExplanationOrderer - Class in uk.ac.manchester.cs.owl.explanation.ordering

An implementation of an explanation order, which doesn't really do any ordering!.

NullExplanationOrderer() - Constructor for class uk.ac.manchester.cs.owl.explanation.ordering.NullExplanationOrderer

NumberOfClassesWithMultipleInheritance - Class in org.semanticweb.owlapi.metrics

NumberOfClassesWithMultipleInheritance(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.NumberOfClassesWithMultipleInheritance

Instantiates a new number of classes with multiple inheritance.

O

ObjectCountMetric<E> - Class in org.semanticweb.owlapi.metrics

ObjectCountMetric(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.ObjectCountMetric

Instantiates a new object count metric.

ontologiesChanged(List<? extends OWLOntologyChange>) - Method in class com.clarkparsia.owlapi.explanation.util.DefinitionTracker

ontologiesChanged(List<? extends OWLOntologyChange>) - Method in class org.semanticweb.owlapi.metrics.AbstractOWLMetric

OntologySegmenter - Interface in org.semanticweb.owlapi.modularity

An interface for any class implementing ontology segmentation or modularisation.

OntologyUtils - Class in com.clarkparsia.owlapi.explanation.util

Some ontology utils methods.

org.semanticweb.owlapi.atomicdecomposition - package org.semanticweb.owlapi.atomicdecomposition

org.semanticweb.owlapi.debugging - package org.semanticweb.owlapi.debugging

Debugging package

org.semanticweb.owlapi.metrics - package org.semanticweb.owlapi.metrics

Metrics package

org.semanticweb.owlapi.modularity - package org.semanticweb.owlapi.modularity

Modularity interface package

org.semanticweb.owlapi.normalform - package org.semanticweb.owlapi.normalform

Normal form package

OWLDebugger - Interface in org.semanticweb.owlapi.debugging

OWLMetric<M> - Interface in org.semanticweb.owlapi.metrics

Represents a metric about some aspect of an ontology and possibly its imports closure.

OWLMetricManager - Class in org.semanticweb.owlapi.metrics

OWLMetricManager(List<OWLMetric<?>>) - Constructor for class org.semanticweb.owlapi.metrics.OWLMetricManager

Instantiates a new OWL metric manager.

OWLObjectComplementOfExtractor - Class in org.semanticweb.owlapi.normalform

Extracts the parts of a class expression which are negated.

OWLObjectComplementOfExtractor() - Constructor for class org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

R

recomputeMetric() - Method in class org.semanticweb.owlapi.metrics.AverageAssertedNamedSuperclassCount

recomputeMetric() - Method in class org.semanticweb.owlapi.metrics.DLExpressivity

recomputeMetric() - Method in class org.semanticweb.owlapi.metrics.MaximumNumberOfNamedSuperclasses

recomputeMetric() - Method in class org.semanticweb.owlapi.metrics.NumberOfClassesWithMultipleInheritance

recomputeMetric() - Method in class org.semanticweb.owlapi.metrics.ObjectCountMetric

ReferencedClassCount - Class in org.semanticweb.owlapi.metrics

ReferencedClassCount(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.ReferencedClassCount

Instantiates a new referenced class count.

ReferencedDataPropertyCount - Class in org.semanticweb.owlapi.metrics

ReferencedDataPropertyCount(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.ReferencedDataPropertyCount

Instantiates a new referenced data property count.

ReferencedIndividualCount - Class in org.semanticweb.owlapi.metrics

ReferencedIndividualCount(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.ReferencedIndividualCount

Instantiates a new referenced individual count.

ReferencedObjectPropertyCount - Class in org.semanticweb.owlapi.metrics

ReferencedObjectPropertyCount(OWLOntology) - Constructor for class org.semanticweb.owlapi.metrics.ReferencedObjectPropertyCount

Instantiates a new referenced object property count.

removeAxiom(OWLAxiom, Set<OWLOntology>, OWLOntologyManager) - Static method in class com.clarkparsia.owlapi.explanation.util.OntologyUtils

Removes an axiom from all the given ontologies that contains the axiom and returns those ontologies.

removeChild(MutableTree<N>) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

render(OWLAxiom, Set<Set<OWLAxiom>>) - Method in class com.clarkparsia.owlapi.explanation.io.ConciseExplanationRenderer

render(OWLAxiom, Set<Set<OWLAxiom>>) - Method in interface com.clarkparsia.owlapi.explanation.io.ExplanationRenderer

Render.

render(OWLAxiom, Set<Set<OWLAxiom>>) - Method in class com.clarkparsia.owlapi.explanation.io.SilentExplanationRenderer

render(Tree<N>) - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.NodeRenderer

Render.

replace(MutableTree<N>) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

reset() - Method in class org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

clear the visitor.

S

SatisfiabilityConverter - Class in com.clarkparsia.owlapi.explanation

Satisfiability converter.

SatisfiabilityConverter(OWLDataFactory) - Constructor for class com.clarkparsia.owlapi.explanation.SatisfiabilityConverter

Instantiates a new satisfiability converter.

SemanticLocalityEvaluator - Class in com.clarkparsia.owlapi.modularity.locality

Semantic locality evaluator.

SemanticLocalityEvaluator(OWLOntologyManager, OWLReasonerFactory) - Constructor for class com.clarkparsia.owlapi.modularity.locality.SemanticLocalityEvaluator

Instantiates a new semantic locality evaluator.

setImportsClosureUsed(boolean) - Method in class org.semanticweb.owlapi.metrics.AbstractOWLMetric

setImportsClosureUsed(boolean) - Method in interface org.semanticweb.owlapi.metrics.OWLMetric

Sets whether this metric uses the imports closure of the current ontology.

setModuleType(ModuleType) - Method in class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor

Changes the module type for this extractor without deleting the stored referenced entities.

setNodeRenderer(NodeRenderer<N>) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

setNodeRenderer(NodeRenderer<N>) - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

Sets the node renderer.

setOntology(OWLOntology) - Method in class org.semanticweb.owlapi.metrics.AbstractOWLMetric

setOntology(OWLOntology) - Method in interface org.semanticweb.owlapi.metrics.OWLMetric

Sets the "root" ontology.

setOntology(OWLOntology) - Method in class org.semanticweb.owlapi.metrics.OWLMetricManager

setParent(MutableTree<N>) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

setProgressMonitor(ExplanationProgressMonitor) - Method in class com.clarkparsia.owlapi.explanation.HSTExplanationGenerator

setProgressMonitor(ExplanationProgressMonitor) - Method in interface com.clarkparsia.owlapi.explanation.MultipleExplanationGenerator

Sets the progress monitor for this multiple explanation generator.

SilentExplanationProgressMonitor - Class in com.clarkparsia.owlapi.explanation.util

The Class SilentExplanationProgressMonitor.

SilentExplanationProgressMonitor() - Constructor for class com.clarkparsia.owlapi.explanation.util.SilentExplanationProgressMonitor

SilentExplanationRenderer - Class in com.clarkparsia.owlapi.explanation.io

Null implementation.

SilentExplanationRenderer() - Constructor for class com.clarkparsia.owlapi.explanation.io.SilentExplanationRenderer

SingleExplanationGenerator - Interface in com.clarkparsia.owlapi.explanation

Explanation generator for a single explanation.

SingleExplanationGeneratorImpl - Class in com.clarkparsia.owlapi.explanation

The Class SingleExplanationGeneratorImpl.

SingleExplanationGeneratorImpl(OWLOntology, OWLReasonerFactory, OWLReasoner) - Constructor for class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl

Instantiates a new single explanation generator impl.

sortChildren(Comparator<Tree<N>>) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

sortChildren(Comparator<Tree<N>>) - Method in interface uk.ac.manchester.cs.owl.explanation.ordering.Tree

Sorts the children using the specified comparator.

startRendering(Writer) - Method in class com.clarkparsia.owlapi.explanation.io.ConciseExplanationRenderer

startRendering(Writer) - Method in interface com.clarkparsia.owlapi.explanation.io.ExplanationRenderer

Start rendering.

startRendering(Writer) - Method in class com.clarkparsia.owlapi.explanation.io.SilentExplanationRenderer

supportedLocalityClasses() - Static method in class com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator

Returns all supported locality classes.

SyntacticLocalityEvaluator - Class in com.clarkparsia.owlapi.modularity.locality

Syntactic locality evaluator.

SyntacticLocalityEvaluator(LocalityClass) - Constructor for class com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator

Constructs a new locality evaluator for the given locality class.

SyntacticLocalityModuleExtractor - Class in uk.ac.manchester.cs.owlapi.modularity

Implementation of module extraction based on syntactic locality.

SyntacticLocalityModuleExtractor(OWLOntologyManager, OWLOntology, Set<OWLAxiom>, ModuleType) - Constructor for class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor

Deprecated.

use the constructor that takes an IRI rather than an ontology as second argument. The second argument is used only in logging assertions and can be null.

SyntacticLocalityModuleExtractor(OWLOntologyManager, IRI, Set<OWLAxiom>, ModuleType) - Constructor for class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor

Creates a new module extractor for a subset of a given ontology, its manager, and a specified type of locality.

SyntacticLocalityModuleExtractor(OWLOntologyManager, IRI, Set<OWLAxiom>, ModuleType, boolean) - Constructor for class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor

SyntacticLocalityModuleExtractor(OWLOntologyManager, OWLOntologyLoaderConfiguration, IRI, Set<OWLAxiom>, ModuleType, boolean) - Constructor for class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor

SyntacticLocalityModuleExtractor(OWLOntologyManager, OWLOntology, ModuleType) - Constructor for class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor

Creates a new module extractor for a given ontology, its manager, and a specified type of locality.

T

toString() - Method in class com.clarkparsia.owlapi.explanation.BlackBoxExplanation

toString() - Method in class org.semanticweb.owlapi.metrics.AbstractOWLMetric

toString() - Method in class org.semanticweb.owlapi.metrics.OWLMetricManager

toString() - Method in class uk.ac.manchester.cs.owl.explanation.ordering.MutableTree

toString() - Method in enum uk.ac.manchester.cs.owlapi.modularity.ModuleType

TransactionAwareSingleExpGen - Interface in com.clarkparsia.owlapi.explanation

transactional support for single explanation generator.

Tree<N> - Interface in uk.ac.manchester.cs.owl.explanation.ordering

U

uk.ac.manchester.cs.owl.explanation.ordering - package uk.ac.manchester.cs.owl.explanation.ordering

Explanation ordering package

uk.ac.manchester.cs.owlapi.modularity - package uk.ac.manchester.cs.owlapi.modularity

Modularity package

UnsatisfiableClassCountMetric - Class in org.semanticweb.owlapi.metrics

UnsatisfiableClassCountMetric(OWLReasoner) - Constructor for class org.semanticweb.owlapi.metrics.UnsatisfiableClassCountMetric

Instantiates a new unsatisfiable class count metric.

V

valueOf(String) - Static method in enum com.clarkparsia.owlapi.modularity.locality.LocalityClass

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.owlapi.atomicdecomposition.ModuleType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum uk.ac.manchester.cs.owlapi.modularity.ModuleType

Returns the enum constant of this type with the specified name.

values() - Static method in enum com.clarkparsia.owlapi.modularity.locality.LocalityClass

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.owlapi.atomicdecomposition.ModuleType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum uk.ac.manchester.cs.owlapi.modularity.ModuleType

Returns an array containing the constants of this enum type, in the order they are declared.

visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

visit(OWLObjectComplementOf) - Method in class org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

visit(OWLObjectExactCardinality) - Method in class org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

visit(OWLObjectMinCardinality) - Method in class org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

visit(OWLObjectUnionOf) - Method in class org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

A B C D E F G H I J L M N O R S T U V