org.semanticweb.owlapi.debugging

Class DebuggerClassExpressionGenerator

java.lang.Object

org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

All Implemented Interfaces:

OWLAnnotationAxiomVisitor, OWLAxiomVisitor, OWLLogicalAxiomVisitor

public class DebuggerClassExpressionGenerator
extends OWLAxiomVisitorAdapter

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Constructor Summary

Constructors

Constructor and Description
DebuggerClassExpressionGenerator(OWLDataFactory dataFactory) Instantiates a new debugger class expression generator.

Method Summary

Modifier and Type	Method and Description
OWLClassExpression	getDebuggerClassExpression() Gets the debugger class expression.
void	visit(OWLClassAssertionAxiom axiom)
void	visit(OWLDataPropertyDomainAxiom axiom)
void	visit(OWLEquivalentClassesAxiom axiom)
void	visit(OWLObjectPropertyDomainAxiom axiom)
void	visit(OWLObjectPropertyRangeAxiom axiom)
void	visit(OWLSubClassOfAxiom axiom)
void	visit(OWLSubObjectPropertyOfAxiom axiom)

Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DebuggerClassExpressionGenerator

public DebuggerClassExpressionGenerator(@Nonnull
                                        OWLDataFactory dataFactory)

Instantiates a new debugger class expression generator.

Parameters:

dataFactory - factory to use

Method Detail

getDebuggerClassExpression

@Nullable
public OWLClassExpression getDebuggerClassExpression()

Gets the debugger class expression.

Returns:

the class expression

visit

public void visit(@Nonnull
                  OWLSubClassOfAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLSubObjectPropertyOfAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLClassAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter

visit

public void visit(OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

Overrides:

visit in class OWLAxiomVisitorAdapter