public class SatisfiabilityReducer extends 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>Copyright © 2013 CSIRO HRPPC. All Rights Reserved.