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

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.

add(OWLEntity) - Method in class org.semanticweb.owlapitools.decomposition.Signature

add(int) - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

add(int) - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

add(int) - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

addAll(Stream<OWLEntity>) - Method in class org.semanticweb.owlapitools.decomposition.Signature

addAll(FastSet) - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

addAll(FastSet) - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

addAll(FastSet) - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

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

Deprecated.

use OntologyUtils.addAxiom(OWLAxiom, Stream)

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

Add the axiom to all the given ontologies.

addAxiom(AxiomWrapper) - Method in class org.semanticweb.owlapitools.decomposition.OntologyAtom

addAxioms(Collection<AxiomWrapper>) - Method in class org.semanticweb.owlapitools.decomposition.OntologyAtom

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

addDepAtom(OntologyAtom) - Method in class org.semanticweb.owlapitools.decomposition.OntologyAtom

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.

ArrayIntMap - Class in uk.ac.manchester.cs.chainsaw

a multimap for int to collection of int values.

ArrayIntMap() - Constructor for class uk.ac.manchester.cs.chainsaw.ArrayIntMap

Atom - Class in uk.ac.manchester.cs.atomicdecomposition

An atom in the atomic decomposition

Atom(Collection<OWLAxiom>) - Constructor for class uk.ac.manchester.cs.atomicdecomposition.Atom

AtomicDecomposition - Interface in uk.ac.manchester.cs.atomicdecomposition

The atomic decomposition graph

AtomicDecompositionImpl - Class in uk.ac.manchester.cs.atomicdecomposition

atomc decomposition implementation

AtomicDecompositionImpl(OWLOntology) - Constructor for class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

AtomicDecompositionImpl(OWLOntology, ModuleType) - Constructor for class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

AtomicDecompositionImpl(List<OWLAxiom>, ModuleType) - Constructor for class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

AtomList - Class in org.semanticweb.owlapitools.decomposition

atomical ontology structure

AtomList() - Constructor for class org.semanticweb.owlapitools.decomposition.AtomList

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.

AxiomSelector - Class in org.semanticweb.owlapitools.decomposition

A filter for axioms

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.

AxiomWrapper - Class in org.semanticweb.owlapitools.decomposition

Wrapper around an OWLAxiom to hold attributes such as used, included in a module, included in search space and atom which contains it.

AxiomWrapper(OWLAxiom) - Constructor for class org.semanticweb.owlapitools.decomposition.AxiomWrapper

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.

BlackBoxOWLDebugger - Class in org.semanticweb.owlapi.debugging

This is an implementation of a blackbox debugger.

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

Instantiates a new black box owl debugger.

BotEquivalenceEvaluator - Class in org.semanticweb.owlapitools.decomposition

check whether class expressions are equivalent to bottom wrt given locality class

BotEquivalenceEvaluator(LocalityChecker) - Constructor for class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

buildAllDepAtoms(Set<OntologyAtom>) - Method in class org.semanticweb.owlapitools.decomposition.OntologyAtom

build all dep atoms; filter them from DepAtoms

buildModulariser(List<AxiomWrapper>, LocalityChecker) - Static method in class org.semanticweb.owlapitools.decomposition.Decomposer

C

clear() - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

clear() - Method in class org.semanticweb.owlapitools.decomposition.SigIndex

clear internal structures

clear() - Method in class uk.ac.manchester.cs.chainsaw.ArrayIntMap

Clear the map

clear() - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

clear the set

clear() - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

clear() - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

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.

completeSet(int) - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

completeSet(int) - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

completeSet(int) - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

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.

contains(K, V) - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

contains(OWLEntity) - Method in class org.semanticweb.owlapitools.decomposition.Signature

contains(OWLAxiom) - Method in class uk.ac.manchester.cs.atomicdecomposition.Atom

contains(int) - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

contains(int) - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

contains(int) - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

containsAll(FastSet) - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

containsAll(FastSet) - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

containsAll(FastSet) - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

containsAny(FastSet) - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

containsAny(FastSet) - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

containsAny(FastSet) - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

containsKey(K) - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

containsKey(int) - Method in class uk.ac.manchester.cs.chainsaw.ArrayIntMap

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.

containsValue(V) - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

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.

create() - Static method in class uk.ac.manchester.cs.chainsaw.FastSetFactory

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.

Decomposer - Class in org.semanticweb.owlapitools.decomposition

atomical decomposer of the ontology

Decomposer(List<AxiomWrapper>, LocalityChecker) - Constructor for class org.semanticweb.owlapitools.decomposition.Decomposer

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

Diposes of the metric.

DLExpressivity - Class in org.semanticweb.owlapi.metrics

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

Instantiates a new dL expressivity.

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.

equals(Object) - Method in class org.semanticweb.owlapitools.decomposition.Signature

equals(Object) - Method in class uk.ac.manchester.cs.atomicdecomposition.Atom

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(List<AxiomWrapper>, Signature, ModuleType) - Method in class org.semanticweb.owlapitools.decomposition.Modularizer

extract module wrt SIGNATURE and TYPE from the set of axioms

extract(AxiomWrapper, Signature, ModuleType) - Method in class org.semanticweb.owlapitools.decomposition.Modularizer

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

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

FastSet - Interface in uk.ac.manchester.cs.chainsaw

sorted set of ints.

FastSetFactory - Class in uk.ac.manchester.cs.chainsaw

factory for int sets

FastSetSimple - Class in uk.ac.manchester.cs.chainsaw

FastSetSimple() - Constructor for class uk.ac.manchester.cs.chainsaw.FastSetSimple

Default constructor.

FastSetSimple(FastSetSimple, FastSetSimple) - Constructor for class uk.ac.manchester.cs.chainsaw.FastSetSimple

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.

filterDep() - Method in class org.semanticweb.owlapitools.decomposition.OntologyAtom

remove all atoms in AllDepAtoms from DepAtoms

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

Called when all explanations have been found.

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

Called when an explanation has been found.

G

GCICount - Class in org.semanticweb.owlapi.metrics

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

Instantiates a new gCI count.

get(int) - Method in class org.semanticweb.owlapitools.decomposition.AtomList

get(K) - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

returns a mutable set of values connected to the key; if no value is connected, returns an immutable empty set

get(int) - Method in class uk.ac.manchester.cs.chainsaw.ArrayIntMap

returns a mutable set of values connected to the key; if no value is connected, returns an immutable empty set

get(int) - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

get(int) - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

get(int) - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

getAllDepAtoms(Set<OntologyAtom>) - Method in class org.semanticweb.owlapitools.decomposition.OntologyAtom

get all the atoms the current one depends on; build this set if necessary

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 incosistent class.

getAllValues() - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

getAllValues() - Method in class uk.ac.manchester.cs.chainsaw.ArrayIntMap

getAOS() - Method in class org.semanticweb.owlapitools.decomposition.Decomposer

getAOS(ModuleType) - Method in class org.semanticweb.owlapitools.decomposition.Decomposer

getAtom() - Method in class org.semanticweb.owlapitools.decomposition.AxiomWrapper

getAtomAxioms() - Method in class org.semanticweb.owlapitools.decomposition.OntologyAtom

getAtomForAxiom(OWLAxiom) - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getAtomForAxiom(OWLAxiom) - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

getAtomList() - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getAtomList() - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

getAtoms() - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getAtoms() - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

getAxiom() - Method in class org.semanticweb.owlapitools.decomposition.AxiomWrapper

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

Gets the axioms.

getAxioms(OWLEntity) - Method in class org.semanticweb.owlapitools.decomposition.SigIndex

given an entity, return a set of all axioms that contain this entity in a signature

getAxioms() - Method in class uk.ac.manchester.cs.atomicdecomposition.Atom

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

Gets the axiom type.

getBottomAtoms() - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getBottomAtoms() - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

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

getDependencies() - Method in class org.semanticweb.owlapitools.decomposition.OntologyAtom

getDependencies(Atom) - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getDependencies(Atom, boolean) - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getDependencies(Atom) - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

getDependencies(Atom, boolean) - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

getDependents(Atom) - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getDependents(Atom, boolean) - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getDependents(Atom) - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

getDependents(Atom, boolean) - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

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

getId() - Method in class org.semanticweb.owlapitools.decomposition.AxiomWrapper

getId() - Method in class org.semanticweb.owlapitools.decomposition.OntologyAtom

getLabel() - Method in class uk.ac.manchester.cs.atomicdecomposition.Atom

getLocalityChecker() - Method in class org.semanticweb.owlapitools.decomposition.Modularizer

getLocalityChecker() - Method in class uk.ac.manchester.cs.factplusplusad.Modularizer

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

getModularizer() - Method in class org.semanticweb.owlapitools.decomposition.Decomposer

getModule(Stream<OWLEntity>, boolean, ModuleType) - Method in class org.semanticweb.owlapitools.decomposition.Decomposer

getModule() - Method in class org.semanticweb.owlapitools.decomposition.Modularizer

getModule() - Method in class org.semanticweb.owlapitools.decomposition.OntologyAtom

getModule(Stream<OWLEntity>, boolean, ModuleType) - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getModule(Stream<OWLEntity>, boolean, ModuleType) - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

getModule() - Method in class uk.ac.manchester.cs.factplusplusad.Modularizer

getModule(Stream<OWLEntity>, ModuleType) - Method in class uk.ac.manchester.cs.factplusplusad.OntologyBasedModularizer

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

getNonLocal(Stream<OWLEntity>, ModuleType) - Method in class org.semanticweb.owlapitools.decomposition.Decomposer

getNonLocal(boolean) - Method in class org.semanticweb.owlapitools.decomposition.SigIndex

get the non-local axioms with top-locality value TOP

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

Gets the oWL ontology.

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.

getPrincipalIdeal(Atom) - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getPrincipalIdeal(Atom) - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

getPrincipalIdealSignature(Atom) - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getPrincipalIdealSignature(Atom) - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

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

getRelatedAtoms(Atom) - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getRelatedAtoms(Atom) - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

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.

getSignature() - Method in interface org.semanticweb.owlapitools.decomposition.LocalityChecker

getSignature() - Method in class org.semanticweb.owlapitools.decomposition.Modularizer

getSignature() - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

getSignature() - Method in class org.semanticweb.owlapitools.decomposition.Signature

getSignature() - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

getSignature() - Method in class uk.ac.manchester.cs.atomicdecomposition.Atom

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 incosistent class.

getTautologies() - Method in class org.semanticweb.owlapitools.decomposition.Decomposer

getTautologies() - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getTautologies() - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

getTermBasedIndex() - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getTermBasedIndex() - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

getTopAtoms() - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

getTopAtoms() - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

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

hashCode() - Method in class org.semanticweb.owlapitools.decomposition.Signature

hashCode() - Method in class uk.ac.manchester.cs.atomicdecomposition.Atom

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

Instantiates a new hidden gci count.

HSTExplanationGenerator - Class in com.clarkparsia.owlapi.explanation

HST explanation generator.

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

Instantiates a new hST explanation generator.

I

IdentityMultiMap<K,V> - Class in org.semanticweb.owlapitools.decomposition

IdentityMultiMap() - Constructor for class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

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.

intersect(Signature) - Method in class org.semanticweb.owlapitools.decomposition.Signature

intersect(FastSet) - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

intersect(FastSet) - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

intersect(FastSet) - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

isBotEquivalent(OWLObject) - Method in interface org.semanticweb.owlapitools.decomposition.LocalityChecker

isBotEquivalent(OWLObject) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

isBotEquivalent(OWLObject) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

isBottomAtom(Atom) - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

isBottomAtom(Atom) - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

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

Determines if the process of generating explanations has been cancelled.

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.

isEmpty() - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

isEmpty() - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

isEmpty() - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

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.

isInModule() - Method in class org.semanticweb.owlapitools.decomposition.AxiomWrapper

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.

isInSearchSpace() - Method in class org.semanticweb.owlapitools.decomposition.AxiomWrapper

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, Collection<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, Collection<OWLEntity>) - Method in class com.clarkparsia.owlapi.modularity.locality.SemanticLocalityEvaluator

isLocal(OWLAxiom, Collection<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).

isTautology(OWLAxiom, ModuleType) - Method in class org.semanticweb.owlapitools.decomposition.Modularizer

isTautology(OWLAxiom, ModuleType) - Method in class uk.ac.manchester.cs.factplusplusad.Modularizer

isTopAtom(Atom) - Method in interface uk.ac.manchester.cs.atomicdecomposition.AtomicDecomposition

isTopAtom(Atom) - Method in class uk.ac.manchester.cs.atomicdecomposition.AtomicDecompositionImpl

isTopEquivalent(OWLObject) - Method in interface org.semanticweb.owlapitools.decomposition.LocalityChecker

isTopEquivalent(OWLObject) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

isTopEquivalent(OWLObject) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

isTopEquivalent(OWLObject) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

isTopOrBuiltInDataType(OWLDataRange) - Method in class org.semanticweb.owlapitools.decomposition.SigAccessor

isUsed() - Method in class org.semanticweb.owlapitools.decomposition.AxiomWrapper

isValueSetsEqual() - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

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.

K

keySet() - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

keySet() - Method in class uk.ac.manchester.cs.chainsaw.ArrayIntMap

L

local(OWLAxiom) - Method in interface org.semanticweb.owlapitools.decomposition.LocalityChecker

local(OWLAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

local(OWLAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

LocalFastSet - Class in uk.ac.manchester.cs.chainsaw

LocalFastSet() - Constructor for class uk.ac.manchester.cs.chainsaw.LocalFastSet

LocalityChecker - Interface in org.semanticweb.owlapitools.decomposition

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.

Modularizer - Class in org.semanticweb.owlapitools.decomposition

class to create modules of an ontology wrt module type

Modularizer(LocalityChecker) - Constructor for class org.semanticweb.owlapitools.decomposition.Modularizer

Modularizer - Class in uk.ac.manchester.cs.factplusplusad

class to create modules of an ontology wrt module type

ModuleMethod - 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.

newAtom() - Method in class org.semanticweb.owlapitools.decomposition.AtomList

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

NormalFormRewriter - Interface in org.semanticweb.owlapi.normalform

nProcessedAx() - Method in class org.semanticweb.owlapitools.decomposition.SigIndex

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

OntologyAtom - Class in org.semanticweb.owlapitools.decomposition

An ontology atom including module and dependencies information.

OntologyAtom() - Constructor for class org.semanticweb.owlapitools.decomposition.OntologyAtom

OntologyBasedModularizer - Class in uk.ac.manchester.cs.factplusplusad

Ontology based modularizer.

OntologyBasedModularizer(OWLOntology, ModuleMethod) - Constructor for class uk.ac.manchester.cs.factplusplusad.OntologyBasedModularizer

init c'tor

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.

org.semanticweb.owlapitools.decomposition - package org.semanticweb.owlapitools.decomposition

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

P

preprocessOntology(Collection<AxiomWrapper>) - Method in interface org.semanticweb.owlapitools.decomposition.LocalityChecker

allow the checker to preprocess an ontology if necessary

preprocessOntology(Collection<AxiomWrapper>) - Method in class org.semanticweb.owlapitools.decomposition.Modularizer

allow the checker to preprocess an ontology if necessary

preprocessOntology(Collection<AxiomWrapper>) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

preprocessOntology(Collection<AxiomWrapper>) - Method in class org.semanticweb.owlapitools.decomposition.SigIndex

preprocess given set of axioms

preprocessOntology(Collection<AxiomWrapper>) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

preprocessOntology(Collection<AxiomWrapper>) - Method in class uk.ac.manchester.cs.factplusplusad.Modularizer

allow the checker to preprocess an ontology if necessary

processAx(AxiomWrapper) - Method in class org.semanticweb.owlapitools.decomposition.SigIndex

process an axiom wrt its Used status

put(K, V) - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

put(int, int) - Method in class uk.ac.manchester.cs.chainsaw.ArrayIntMap

putAll(IdentityMultiMap<K, V>) - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

putAll(K, Collection<V>) - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

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

reduceGraph() - Method in class org.semanticweb.owlapitools.decomposition.AtomList

reduce graph of the atoms in the structure

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.

remove(K) - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

removes the set of values connected to the key

remove(K, V) - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

removes the value connected to the key; if there is more than one value connected to the key, only one is removed

remove(int) - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

remove(int) - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

remove(int) - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

removeAll(int, int) - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

remove all elements between the two positions

removeAll(int, int) - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

removeAll(int, int) - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

removeAllValues(int...) - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

removeAllValues(int...) - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

removeAllValues(int...) - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

removeAt(int) - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

removeAt(int) - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

removeAt(int) - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

removeAxiom(OWLAxiom, Stream<OWLOntology>) - 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.

selectAxioms(OWLOntology) - Static method in class org.semanticweb.owlapitools.decomposition.AxiomSelector

SemanticLocalityChecker - Class in org.semanticweb.owlapitools.decomposition

semantic locality checker for DL axioms

SemanticLocalityChecker(OWLReasonerFactory, OWLOntologyManager) - Constructor for class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

init c'tor

SemanticLocalityChecker(OWLReasoner) - Constructor for class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

init c'tor

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.

setAtom(OntologyAtom) - Method in class org.semanticweb.owlapitools.decomposition.AxiomWrapper

setEntry(K, Collection<V>) - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

setId(int) - Method in class org.semanticweb.owlapitools.decomposition.AxiomWrapper

setId(int) - Method in class org.semanticweb.owlapitools.decomposition.OntologyAtom

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.

setInModule(boolean) - Method in class org.semanticweb.owlapitools.decomposition.AxiomWrapper

setInSearchSpace(boolean) - Method in class org.semanticweb.owlapitools.decomposition.AxiomWrapper

setLabel(Collection<OWLEntity>) - Method in class uk.ac.manchester.cs.atomicdecomposition.Atom

setLocality(boolean) - Method in class org.semanticweb.owlapitools.decomposition.Signature

setLocality(boolean, boolean) - Method in class org.semanticweb.owlapitools.decomposition.Signature

setModule(Collection<AxiomWrapper>) - Method in class org.semanticweb.owlapitools.decomposition.OntologyAtom

set the module axioms

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.

setSignatureValue(Signature) - Method in interface org.semanticweb.owlapitools.decomposition.LocalityChecker

setSignatureValue(Signature) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

set a new value of a signature (without changing a locality parameters)

setSignatureValue(Signature) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

set a new value of a signature (without changing a locality parameters)

setUsed(boolean) - Method in class org.semanticweb.owlapitools.decomposition.AxiomWrapper

SigAccessor - Class in org.semanticweb.owlapitools.decomposition

helper class to set signature and locality class

SigAccessor(LocalityChecker) - Constructor for class org.semanticweb.owlapitools.decomposition.SigAccessor

SigIndex - Class in org.semanticweb.owlapitools.decomposition

signature index

SigIndex(LocalityChecker) - Constructor for class org.semanticweb.owlapitools.decomposition.SigIndex

signature() - Method in class org.semanticweb.owlapitools.decomposition.AxiomWrapper

Signature - Class in org.semanticweb.owlapitools.decomposition

class to hold the signature of a module

Signature() - Constructor for class org.semanticweb.owlapitools.decomposition.Signature

empty signature

Signature(Stream<OWLEntity>) - Constructor for class org.semanticweb.owlapitools.decomposition.Signature

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.

size() - Method in class org.semanticweb.owlapitools.decomposition.AtomList

size() - Method in class org.semanticweb.owlapitools.decomposition.IdentityMultiMap

size() - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

size() - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

size() - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

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.

SyntacticLocalityChecker - Class in org.semanticweb.owlapitools.decomposition

syntactic locality checker for DL axioms

SyntacticLocalityChecker() - Constructor for class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

init c'tor

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, Stream<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, 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

toIntArray() - Method in interface uk.ac.manchester.cs.chainsaw.FastSet

toIntArray() - Method in class uk.ac.manchester.cs.chainsaw.FastSetSimple

toIntArray() - Method in class uk.ac.manchester.cs.chainsaw.LocalFastSet

topCLocal() - Method in class org.semanticweb.owlapitools.decomposition.Signature

TopEquivalenceEvaluator - Class in org.semanticweb.owlapitools.decomposition

check whether class expressions are equivalent to top wrt given locality class

TopEquivalenceEvaluator(LocalityChecker) - Constructor for class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

topRLocal() - Method in class org.semanticweb.owlapitools.decomposition.SigAccessor

topRLocal() - Method in class org.semanticweb.owlapitools.decomposition.Signature

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 org.semanticweb.owlapitools.decomposition.IdentityMultiMap

toString() - Method in class uk.ac.manchester.cs.atomicdecomposition.Atom

toString() - Method in class uk.ac.manchester.cs.chainsaw.ArrayIntMap

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.atomicdecomposition - package uk.ac.manchester.cs.atomicdecomposition

uk.ac.manchester.cs.chainsaw - package uk.ac.manchester.cs.chainsaw

uk.ac.manchester.cs.factplusplusad - package uk.ac.manchester.cs.factplusplusad

This package contains a port of FaCT++ Atomic Decomposition implementation.

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.ModuleMethod

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.ModuleMethod

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

visit(OWLClass) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectComplementOf) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectUnionOf) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectOneOf) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectHasSelf) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectHasValue) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectMinCardinality) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectExactCardinality) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLDataHasValue) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLDataMinCardinality) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLDataMaxCardinality) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLDataExactCardinality) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectProperty) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLObjectInverseOf) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLDataProperty) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLDatatype) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLLiteral) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLDataComplementOf) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLDataOneOf) - Method in class org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

visit(OWLDeclarationAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLDisjointUnionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLDisjointDataPropertiesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLInverseObjectPropertiesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLSubPropertyChainOfAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLSubDataPropertyOfAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

Domain(R) = C is tautology iff ER.Top [= C

visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

Range(R) = C is tautology iff ER.~C is unsatisfiable

visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLFunctionalDataPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

for top locality, this might be local

visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

R(i,j) holds if {i} [= \ER.{j}

visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

!R(i,j) holds if {i} [= \AR.!{j}=!\ER.{j}

visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

R(i,v) holds if {i} [= \ER.{v}

visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

visit(OWLDeclarationAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLDisjointUnionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLDisjointDataPropertiesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLInverseObjectPropertiesAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLSubDataPropertyOfAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

as BotRole is irreflexive, the only local axiom is topEquivalent(R)

visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLFunctionalDataPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLAnnotationAssertionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLSubAnnotationPropertyOfAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLAnnotationPropertyDomainAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLAnnotationPropertyRangeAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLSubPropertyChainOfAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLHasKeyAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLDatatypeDefinitionAxiom) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(SWRLRule) - Method in class org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

visit(OWLClass) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectComplementOf) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectUnionOf) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectOneOf) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectHasSelf) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectHasValue) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectMinCardinality) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectExactCardinality) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLDataHasValue) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLDataMinCardinality) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLDataMaxCardinality) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLDataExactCardinality) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectProperty) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLObjectInverseOf) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLDataProperty) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLDatatype) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLLiteral) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLDataComplementOf) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLDatatypeRestriction) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

visit(OWLDataOneOf) - Method in class org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

W

wrap(List<OWLAxiom>) - Static method in class org.semanticweb.owlapitools.decomposition.AxiomSelector

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