public class SatisfiabilityReducer extends java.lang.Object implements OWLAxiomVisitorEx<OWLClassExpression>
Constructor and Description |
---|
SatisfiabilityReducer(OWLDataFactory dataFactory) |
public SatisfiabilityReducer(OWLDataFactory dataFactory)
public OWLClassExpression visit(OWLSubClassOfAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLAsymmetricObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLReflexiveObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDisjointClassesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectPropertyDomainAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLEquivalentObjectPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDifferentIndividualsAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDisjointDataPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDisjointObjectPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectPropertyRangeAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLObjectPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLFunctionalObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLSubObjectPropertyOfAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDisjointUnionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDeclarationAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLSymmetricObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDataPropertyRangeAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLFunctionalDataPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLEquivalentDataPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLClassAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLEquivalentClassesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLTransitiveObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLIrreflexiveObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLSubDataPropertyOfAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLSameIndividualAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLSubPropertyChainOfAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLInverseObjectPropertiesAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLHasKeyAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLDatatypeDefinitionAxiom axiom)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(SWRLRule rule)
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLAnnotationAssertionAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitorEx<OWLClassExpression>
visit
in interface OWLAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLSubAnnotationPropertyOfAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLAnnotationPropertyDomainAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitorEx<OWLClassExpression>
public OWLClassExpression visit(OWLAnnotationPropertyRangeAxiom axiom)
visit
in interface OWLAnnotationAxiomVisitorEx<OWLClassExpression>