org.coode.patterns.locality

Class BottomReplacer

java.lang.Object

org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

org.coode.patterns.locality.BottomReplacer

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLClassExpressionVisitor

public class BottomReplacer
extends org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
implements org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLClassExpressionVisitor

Author:

Luigi Iannone

Method Summary

Methods

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLAxiom	getResult()
org.semanticweb.owlapi.model.OWLAxiom	replaceBottom(org.semanticweb.owlapi.model.OWLAxiom axiom, Set<? extends org.semanticweb.owlapi.model.OWLEntity> sig)
org.semanticweb.owlapi.model.OWLClassExpression	replaceBottom(org.semanticweb.owlapi.model.OWLClassExpression desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	replaceBottom(Set<org.semanticweb.owlapi.model.OWLClassExpression> descriptions)
void	reset(Set<? extends org.semanticweb.owlapi.model.OWLEntity> sig)
void	visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLClass desc)
void	visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)
void	visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)
void	visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)
void	visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)
void	visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)
void	visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom ax)
void	visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom ax)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc)
void	visit(org.semanticweb.owlapi.model.OWLObjectComplementOf desc)
void	visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc)
void	visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc)
void	visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc)
void	visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc)
void	visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality desc)
void	visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc)
void	visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc)
void	visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc)
void	visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom ax)
void	visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.SWRLRule rule)

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

handleDefault, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, 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

Method Detail

getResult

public org.semanticweb.owlapi.model.OWLAxiom getResult()

Returns:

new axiom

replaceBottom

public org.semanticweb.owlapi.model.OWLAxiom replaceBottom(org.semanticweb.owlapi.model.OWLAxiom axiom,
                                                  Set<? extends org.semanticweb.owlapi.model.OWLEntity> sig)

Parameters:

axiom - axiom

sig - sig

Returns:

axiom with bottom replaced

replaceBottom

public org.semanticweb.owlapi.model.OWLClassExpression replaceBottom(org.semanticweb.owlapi.model.OWLClassExpression desc)

Parameters:

desc - desc

Returns:

class expression with bottom replaced

replaceBottom

public Set<org.semanticweb.owlapi.model.OWLClassExpression> replaceBottom(Set<org.semanticweb.owlapi.model.OWLClassExpression> descriptions)

Parameters:

descriptions - descriptions

Returns:

class expressions with bottom replaced

reset

public void reset(Set<? extends org.semanticweb.owlapi.model.OWLEntity> sig)

Parameters:

sig - sig

visit

public void visit(org.semanticweb.owlapi.model.OWLClass desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom ax)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom ax)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectComplementOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom ax)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.SWRLRule rule)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter