org.semanticweb.owl.explanation.impl.laconic

Class OPlusGenerator

java.lang.Object

org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

All Implemented Interfaces:

AxiomTransformation, org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>, org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

public class OPlusGenerator
extends Object
implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>, AxiomTransformation

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 15-Sep-2008

Constructor Summary

Constructors

Constructor and Description
OPlusGenerator(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, OPlusSplitting splitting)

Method Summary

Methods

Modifier and Type	Method and Description
void	addSources(org.semanticweb.owlapi.model.OWLAxiom ax, Set<org.semanticweb.owlapi.model.OWLAxiom> sources)
Map<org.semanticweb.owlapi.model.OWLAxiom,Set<org.semanticweb.owlapi.model.OWLAxiom>>	getAxiom2SourceMap()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getSameSourceAxioms(org.semanticweb.owlapi.model.OWLAxiom axiom, Set<org.semanticweb.owlapi.model.OWLAxiom> toSearch) Gets axioms that have the same source axioms as the specified axiom.
Set<org.semanticweb.owlapi.model.OWLAxiom>	getSources(org.semanticweb.owlapi.model.OWLAxiom axiom)
boolean	hasMultipleSources(org.semanticweb.owlapi.model.OWLAxiom axiom)
boolean	hasSameSource(org.semanticweb.owlapi.model.OWLAxiom ax1, org.semanticweb.owlapi.model.OWLAxiom ax2)
boolean	isNothing(org.semanticweb.owlapi.model.OWLClassExpression desc)
boolean	isThing(org.semanticweb.owlapi.model.OWLClassExpression desc)
Set<org.semanticweb.owlapi.model.OWLAxiom>	log(org.semanticweb.owlapi.model.OWLAxiom source)
Set<org.semanticweb.owlapi.model.OWLAxiom>	log(org.semanticweb.owlapi.model.OWLAxiom source, Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
void	reset()
Set<org.semanticweb.owlapi.model.OWLAxiom>	transform(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom owlAnnotationPropertyDomainAxiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom owlAnnotationPropertyRangeAxiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom owlHasKeyAxiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom owlSubAnnotationPropertyOfAxiom)
Set<org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	visit(org.semanticweb.owlapi.model.SWRLRule rule)

Methods inherited from class java.lang.Object

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

Constructor Detail

OPlusGenerator

public OPlusGenerator(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
              OPlusSplitting splitting)

Method Detail

transform

public Set<org.semanticweb.owlapi.model.OWLAxiom> transform(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

Specified by:

transform in interface AxiomTransformation

isNothing

public boolean isNothing(org.semanticweb.owlapi.model.OWLClassExpression desc)

isThing

public boolean isThing(org.semanticweb.owlapi.model.OWLClassExpression desc)

reset

public void reset()

getAxiom2SourceMap

public Map<org.semanticweb.owlapi.model.OWLAxiom,Set<org.semanticweb.owlapi.model.OWLAxiom>> getAxiom2SourceMap()

hasSameSource

public boolean hasSameSource(org.semanticweb.owlapi.model.OWLAxiom ax1,
                    org.semanticweb.owlapi.model.OWLAxiom ax2)

hasMultipleSources

public boolean hasMultipleSources(org.semanticweb.owlapi.model.OWLAxiom axiom)

getSameSourceAxioms

public Set<org.semanticweb.owlapi.model.OWLAxiom> getSameSourceAxioms(org.semanticweb.owlapi.model.OWLAxiom axiom,
                                                             Set<org.semanticweb.owlapi.model.OWLAxiom> toSearch)

Gets axioms that have the same source axioms as the specified axiom.

Parameters:

axiom - The axiom for which axioms with the same sources will be retrieved.

toSearch - The set of axioms to seach for the same sources. If toSearch contains axiom then axiom will simply be ignored.

Returns:

The axioms that have the same sources as axiom. This set will not contain axiom.

addSources

public void addSources(org.semanticweb.owlapi.model.OWLAxiom ax,
              Set<org.semanticweb.owlapi.model.OWLAxiom> sources)

getSources

public Set<org.semanticweb.owlapi.model.OWLAxiom> getSources(org.semanticweb.owlapi.model.OWLAxiom axiom)

log

public Set<org.semanticweb.owlapi.model.OWLAxiom> log(org.semanticweb.owlapi.model.OWLAxiom source,
                                             Set<org.semanticweb.owlapi.model.OWLAxiom> axioms)

log

public Set<org.semanticweb.owlapi.model.OWLAxiom> log(org.semanticweb.owlapi.model.OWLAxiom source)

visit

public Set<org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom owlHasKeyAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom owlSubAnnotationPropertyOfAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom owlAnnotationPropertyDomainAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom owlAnnotationPropertyRangeAxiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>

visit

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> visit(org.semanticweb.owlapi.model.SWRLRule rule)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<Set<? extends org.semanticweb.owlapi.model.OWLAxiom>>