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

A

AbstractOWLDebugger - Class in org.semanticweb.owlapi.debugging

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Nov-2006

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

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

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

Add the axiom to all the given ontologies.

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

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Jan-2008

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

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

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

BlackBoxOWLDebugger - Class in org.semanticweb.owlapi.debugging

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Nov-2006

This is an implementation of a blackbox debugger.

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

C

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

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

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

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

Explanation renderer in concise form

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

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

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

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

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

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

D

DebuggerClassExpressionGenerator - Class in org.semanticweb.owlapi.debugging

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 01-Mar-2007

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

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

default expansion limit

DEFAULT_INITIAL_EXPANSION_LIMIT - Static variable in class org.semanticweb.owlapi.debugging.BlackBoxOWLDebugger

default expansion limit

DefaultExplanationGenerator - Class in com.clarkparsia.owlapi.explanation

Author: Matthew Horridge
Clark & Parsia, LLC
Bio-Health Informatics Group
Date: 24-Jan-2008

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

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

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

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Jan-2008

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

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

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

Tracker for definitions

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

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

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

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

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Jan-2008

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

ExplanationGenerator - Interface in com.clarkparsia.owlapi.explanation

a generator for explanations

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

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Jan-2008

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

Author: Matthew Horridge
Clark & Parsia, LLC
Bio-Health Informatics Group
Date: 26-Nov-2007

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

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Jan-2008

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

F

factory - Variable in class com.clarkparsia.owlapi.explanation.SatisfiabilityConverter

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

Called when all explanations have been found.

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

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

Called when an explanation has been found.

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

G

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

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

getAxiomsForLHS(OWLEntity) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.DefaultExplanationOrderer

Gets axioms that have a LHS corresponding to the specified entity.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 class uk.ac.manchester.cs.owl.explanation.ordering.DefaultExplanationOrderer

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

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

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

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

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

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

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

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

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

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

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

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

H

HSTExplanationGenerator - Class in com.clarkparsia.owlapi.explanation

HST explanation generator

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

I

indexAxiomsByRHSEntities(OWLObject, OWLAxiom) - Method in class uk.ac.manchester.cs.owl.explanation.ordering.DefaultExplanationOrderer

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

Determines if the process of generating explanations has been cancelled.

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

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

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

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

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

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

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

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

J

JustificationMap - Class in org.semanticweb.owlapi.debugging

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 30-Apr-2007

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

M

MultipleExplanationGenerator - Interface in com.clarkparsia.owlapi.explanation

multiple explanation generator

N

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

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Jan-2008

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

O

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

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

Some ontology utils methods

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

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

OWLDebugger - Interface in org.semanticweb.owlapi.debugging

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Nov-2006

P

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

R

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

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

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(OWLAxiom, Set<Set<OWLAxiom>>) - Method in class com.clarkparsia.owlapi.explanation.io.SilentExplanationRenderer

renderer - Variable in class uk.ac.manchester.cs.owl.explanation.ordering.AlphaExplanationOrderer

S

SatisfiabilityConverter - Class in com.clarkparsia.owlapi.explanation

Satisfiability converter

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

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

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

Sets the progress monitor for this multiple explanation generator.

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

Author: Matthew Horridge
Clark & Parsia, LLC
Bio-Health Informatics Group
Date: 26-Nov-2007

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

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

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

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

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

T

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

TransactionAwareSingleExpGen - Interface in com.clarkparsia.owlapi.explanation

transactional support for single explanation generator

U

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

V

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

visit(OWLEquivalentDataPropertiesAxiom) - 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(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

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

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

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

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

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

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

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

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

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

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

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

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

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

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