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

A

AbstractModuleExtractor - Class in org.semanticweb.owlapi.modularity

Abstract class for convenience implementation of ModuleExtractors able of precomputing global axioms and tautologies.

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

Add the axiom to all the given ontologies.

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 - Class in org.semanticweb.owlapi.modularity

Class to represent the atomic decomposition of a set of axioms.

AtomicDecomposition(OWLOntology) - Constructor for class org.semanticweb.owlapi.modularity.AtomicDecomposition

Constructs the AtomicDecomposition for the given axiom base based on the module extraction an SyntacticLocalityModuleExtractor provides by using LocalityClass.STAR.

AtomicDecomposition(OWLOntology, Function<Stream<OWLAxiom>, ? extends ModuleExtractor>) - Constructor for class org.semanticweb.owlapi.modularity.AtomicDecomposition

Constructs the AtomicDecomposition for the given axiom base based on the module extraction the ModuleExtractor the given Function supplies.

AtomicDecomposition(Stream<OWLAxiom>) - Constructor for class org.semanticweb.owlapi.modularity.AtomicDecomposition

Constructs the AtomicDecomposition for the given axiom base based on the module extraction an SyntacticLocalityModuleExtractor provides by using LocalityClass.STAR.

AtomicDecomposition(Stream<OWLAxiom>, Function<Stream<OWLAxiom>, ? extends ModuleExtractor>) - Constructor for class org.semanticweb.owlapi.modularity.AtomicDecomposition

Constructs the AtomicDecomposition for the given axiom base based on the module extraction the ModuleExtractor the given Function supplies.

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

The atomic decomposition graph

AtomicDecomposition.Atom - Class in org.semanticweb.owlapi.modularity

Class to represent atoms.

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

Atomic 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(OWLOntology, ModuleType, boolean) - 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

Atomic ontology structure.

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

atomOf(OWLAxiom) - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition

Returns the AtomicDecomposition.Atom associated with the given OWLAxiom.

atoms() - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition

Returns a Stream of the AtomicDecomposition.Atoms computed by this AtomicDecomposition.

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.

axiomBase() - Method in class org.semanticweb.owlapi.modularity.AbstractModuleExtractor

axiomBase() - Method in class org.semanticweb.owlapi.modularity.locality.LocalityModuleExtractor

axiomBase() - Method in interface org.semanticweb.owlapi.modularity.ModuleExtractor

Return the axioms all modules of this ModuleExtractor are computed against, including global axioms and tautologies.

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.

axioms() - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition.Atom

axioms() - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition

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.

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.

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

containsAxiom(OWLAxiom) - Method in class org.semanticweb.owlapi.modularity.AbstractModuleExtractor

containsAxiom(OWLAxiom) - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition.Atom

containsAxiom(OWLAxiom) - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition

Returns whether or not the given OWLAxiom is part of the axiom base of this AtomicDecomposition.

containsAxiom(OWLAxiom) - Method in class org.semanticweb.owlapi.modularity.locality.LocalityModuleExtractor

containsAxiom(OWLAxiom) - Method in interface org.semanticweb.owlapi.modularity.ModuleExtractor

Returns whether or not the axiom base of this ModuleExtractor contains the given OWLAxiom.

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

Atomic decomposer for an 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.

dependencies() - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition.Atom

Returns the AtomicDecomposition.Atoms this AtomicDecomposition.Atom (directly or indirectly) depends on, excluding this atom.

dependents() - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition.Atom

Returns the AtomicDecomposition.Atoms that (directly or indirectly) depend on this AtomicDecomposition.Atom, excluding this atom.

dependsOn(AtomicDecomposition.Atom) - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition.Atom

Checks if this AtomicDecomposition.Atom (directly or indirectly) depends on the given AtomicDecomposition.Atom.

directDependencies() - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition.Atom

Returns the AtomicDecomposition.Atoms this AtomicDecomposition.Atom DIRECTLY depends on, excluding this atom.

directDependents() - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition.Atom

Returns the AtomicDecomposition.Atoms that DIRECTLY depend on this AtomicDecomposition.Atom, excluding this atom.

directlyDependsOn(AtomicDecomposition.Atom) - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition.Atom

Checks if this AtomicDecomposition.Atom DIRECTLY depends on the given one.

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.

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

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

everyModuleContains(OWLAxiom) - Method in class org.semanticweb.owlapi.modularity.AbstractModuleExtractor

everyModuleContains(OWLAxiom) - Method in interface org.semanticweb.owlapi.modularity.ModuleExtractor

Returns true if it is guaranteed that the given OWLAxiom is contained in every module calculated by the module extraction method this ModuleExtractor is based on; false when no such guarantee can be made (Note: This does not mean that there is some module regardless of other axioms or the signature that does not contain the given axiom).

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.

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

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

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

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(Stream<OWLEntity>, Optional<Predicate<OWLAxiom>>) - Method in class org.semanticweb.owlapi.modularity.locality.LocalityModuleExtractor

extract(Stream<OWLEntity>) - Method in interface org.semanticweb.owlapi.modularity.ModuleExtractor

Extracts a module with respect to the given signature against the axiom base of this ModuleExtractor.

extract(Stream<OWLEntity>, Optional<Predicate<OWLAxiom>>) - Method in interface org.semanticweb.owlapi.modularity.ModuleExtractor

Extracts a module with respect to the given signature against the subset of the axiom base this ModuleExtractors axiom base that matches the given Predicate, if any.

extract(Stream<OWLEntity>, Predicate<OWLAxiom>) - Method in interface org.semanticweb.owlapi.modularity.ModuleExtractor

Extracts a module with respect to the given signature against the subset of the axiom base this ModuleExtractors axiom base that matches the given Predicate.

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(Stream<OWLEntity>, OWLOntologyManager, IRI) - Method in interface org.semanticweb.owlapi.modularity.ModuleExtractor

Extracts a module as an OWLOntology with respect to the given signature over the given axiom base.

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

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

Get all SOS for inconsistent 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

getAxiomCount() - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition.Atom

Returns the number of axioms within this AtomicDecomposition.Atom.

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

getLocalityClass() - Method in class org.semanticweb.owlapi.modularity.locality.LocalityModuleExtractor

Returns the locality class used by this LocalityModuleExtractor.

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

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

globals() - Method in class org.semanticweb.owlapi.modularity.AbstractModuleExtractor

globals() - Method in interface org.semanticweb.owlapi.modularity.ModuleExtractor

Returns from the axiom base of this extractor exactly those that are guaranteed to be contained in every module calculated by this ModuleExtractor.

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

HSTExplanationGenerator - Class in com.clarkparsia.owlapi.explanation

HST explanation generator.

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

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.

isDependencyOf(AtomicDecomposition.Atom) - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition.Atom

Checks if the given AtomicDecomposition.Atom (directly or indirectly) depends on this AtomicDecomposition.Atom.

isDirectDependencyOf(AtomicDecomposition.Atom) - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition.Atom

Checks if the given AtomicDecomposition.Atom DIRECTLY depends on this AtomicDecomposition.Atom.

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

isLocal(OWLAxiom, Collection<OWLEntity>) - Method in interface org.semanticweb.owlapi.modularity.locality.LocalityEvaluator

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

isLocal(OWLAxiom, Stream<OWLEntity>) - Method in interface org.semanticweb.owlapi.modularity.locality.LocalityEvaluator

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

isLocal(OWLAxiom, Collection<OWLEntity>) - Method in class org.semanticweb.owlapi.modularity.locality.SemanticLocalityEvaluator

isLocal(OWLAxiom, Collection<OWLEntity>) - Method in enum org.semanticweb.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.

LocalityClass - Enum in org.semanticweb.owlapi.modularity.locality

Types of locality classes that can be used.

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

A locality evaluator.

LocalityEvaluator - Interface in org.semanticweb.owlapi.modularity.locality

Interface for classes that test whether an axiom is local with respect to a signature.

LocalityModuleExtractor - Class in org.semanticweb.owlapi.modularity.locality

Abstract class for convenience implementation of locality-based ModuleExtractors.

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

ModuleExtractor - Interface in org.semanticweb.owlapi.modularity

Interface for classes that extract modules based on fixed axiom bases.

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.

moduleToSignatureOf(OWLAxiom) - Method in class org.semanticweb.owlapi.modularity.AtomicDecomposition

Returns the module within the AtomicDecomposition.axioms() with respect to the signature of the given axiom.

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

noModuleContains(OWLAxiom) - Method in class org.semanticweb.owlapi.modularity.AbstractModuleExtractor

noModuleContains(OWLAxiom) - Method in interface org.semanticweb.owlapi.modularity.ModuleExtractor

Returns true if it is guaranteed that the given OWLAxiom is not contained in any module (regardless of other axioms or the signature) calculated by the module extraction method this ModuleExtractor is based on; false when no such guarantee can be made (Note: This does not mean that there is some module that contains the given axiom).

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

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.modularity.locality - package org.semanticweb.owlapi.modularity.locality

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

selectAxioms(OWLOntology, boolean) - 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

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

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.

SemanticLocalityEvaluator - Class in org.semanticweb.owlapi.modularity.locality

Thread safe class for checking semantic locality.

SemanticLocalityEvaluator(LocalityClass, OWLOntologyManager, OWLReasonerFactory) - Constructor for class org.semanticweb.owlapi.modularity.locality.SemanticLocalityEvaluator

Instantiates a new SemanticLocalityEvaluator

SemanticLocalityModuleExtractor - Class in org.semanticweb.owlapi.modularity.locality

Class to extract modules based on semantic locality.

SemanticLocalityModuleExtractor(LocalityClass, Stream<OWLAxiom>, OWLOntologyManager, OWLReasonerFactory) - Constructor for class org.semanticweb.owlapi.modularity.locality.SemanticLocalityModuleExtractor

Instantiates a new SemanticLocalityEvaluator.

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

Fresh checker.

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.

SyntacticLocalityEvaluator - Enum in org.semanticweb.owlapi.modularity.locality

Thread safe class for checking syntactic locality.

SyntacticLocalityModuleExtractor - Class in org.semanticweb.owlapi.modularity.locality

Class to extract modules based on syntactic locality.

SyntacticLocalityModuleExtractor(LocalityClass, Stream<OWLAxiom>) - Constructor for class org.semanticweb.owlapi.modularity.locality.SyntacticLocalityModuleExtractor

Instantiates a new SyntacticLocalityModuleExtractor.

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, Stream<OWLAxiom>, ModuleType, boolean) - 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, OWLOntologyLoaderConfiguration, Stream<OWLAxiom>, ModuleType, boolean) - 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

tautologies() - Method in class org.semanticweb.owlapi.modularity.AbstractModuleExtractor

tautologies() - Method in interface org.semanticweb.owlapi.modularity.ModuleExtractor

Returns from the axiom base of this extractor exactly those that are guaranteed not to be contained in any module calculated by this ModuleExtractor.

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 org.semanticweb.owlapi.modularity.locality.LocalityClass

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

valueOf(String) - Static method in enum org.semanticweb.owlapi.modularity.locality.SyntacticLocalityEvaluator

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 org.semanticweb.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.modularity.locality.SyntacticLocalityEvaluator

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