Package 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	Description
DebuggerClassExpressionGenerator(OWLDataFactory dataFactory)	Instantiates a new debugger class expression generator.

Method Summary

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

Methods inherited from class java.lang.Object

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

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

visit, visit, visit, visit

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

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

doDefault, getDefaultReturnValue, handleDefault

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

visit

Constructor Details

DebuggerClassExpressionGenerator

public DebuggerClassExpressionGenerator(OWLDataFactory dataFactory)

Instantiates a new debugger class expression generator.

Parameters:

dataFactory - factory to use

Method Details

getDebuggerClassExpression

@Nullable
public OWLClassExpression getDebuggerClassExpression()

Gets the debugger class expression.

Returns:

the class expression

visit

public void visit(OWLSubClassOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubClassOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDataPropertyDomainAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDataPropertyDomainAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLObjectPropertyDomainAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLObjectPropertyRangeAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSubObjectPropertyOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubObjectPropertyOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLClassAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLClassAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLEquivalentClassesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLEquivalentClassesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit