org.semanticweb.owlapi.debugging

Class DebuggerClassExpressionGenerator

java.lang.Object

org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator

All Implemented Interfaces:

OWLAnnotationAxiomVisitor, OWLAxiomVisitor, OWLLogicalAxiomVisitor, OWLVisitorBase, SWRLRuleVisitorBase

public class DebuggerClassExpressionGenerator
extends Object
implements OWLAxiomVisitor

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 java.lang.Object

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

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit, visit, visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

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 interface org.semanticweb.owlapi.model.SWRLRuleVisitorBase

visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLVisitorBase

doDefault, getDefaultReturnValue, handleDefault

Constructor Detail

DebuggerClassExpressionGenerator

public DebuggerClassExpressionGenerator(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(OWLSubClassOfAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLSubObjectPropertyOfAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLClassAssertionAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor

visit

public void visit(OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface OWLLogicalAxiomVisitor