public class SatisfiabilityReducer extends OWLAxiomVisitorExAdapter<OWLClassExpression>
Constructor and Description |
---|
SatisfiabilityReducer(OWLDataFactory dataFactory) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
visit(OWLClassAssertionAxiom axiom)
visit OWLClassAssertionAxiom type
|
OWLClassExpression |
visit(OWLDataPropertyAssertionAxiom axiom)
visit OWLDataPropertyAssertionAxiom type
|
OWLClassExpression |
visit(OWLDataPropertyDomainAxiom axiom)
visit OWLDataPropertyDomainAxiom type
|
OWLClassExpression |
visit(OWLDataPropertyRangeAxiom axiom)
visit OWLDataPropertyRangeAxiom type
|
OWLClassExpression |
visit(OWLFunctionalDataPropertyAxiom axiom)
visit OWLFunctionalDataPropertyAxiom type
|
OWLClassExpression |
visit(OWLFunctionalObjectPropertyAxiom axiom)
visit OWLFunctionalObjectPropertyAxiom type
|
OWLClassExpression |
visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
visit OWLInverseFunctionalObjectPropertyAxiom type
|
OWLClassExpression |
visit(OWLIrreflexiveObjectPropertyAxiom axiom)
visit OWLIrreflexiveObjectPropertyAxiom type
|
OWLClassExpression |
visit(OWLNegativeDataPropertyAssertionAxiom axiom)
visit OWLNegativeDataPropertyAssertionAxiom type
|
OWLClassExpression |
visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
visit OWLNegativeObjectPropertyAssertionAxiom type
|
OWLClassExpression |
visit(OWLObjectPropertyAssertionAxiom axiom)
visit OWLObjectPropertyAssertionAxiom type
|
OWLClassExpression |
visit(OWLObjectPropertyDomainAxiom axiom)
visit OWLObjectPropertyDomainAxiom type
|
OWLClassExpression |
visit(OWLObjectPropertyRangeAxiom axiom)
visit OWLObjectPropertyRangeAxiom type
|
OWLClassExpression |
visit(OWLReflexiveObjectPropertyAxiom axiom)
visit OWLReflexiveObjectPropertyAxiom type
|
OWLClassExpression |
visit(OWLSubClassOfAxiom axiom)
visit OWLSubClassOfAxiom type
|
public SatisfiabilityReducer(@Nonnull OWLDataFactory dataFactory)
dataFactory
- data factory to usepublic OWLClassExpression visit(OWLSubClassOfAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLReflexiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLObjectPropertyDomainAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLObjectPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLObjectPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLFunctionalObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLDataPropertyRangeAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLFunctionalDataPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLClassAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLIrreflexiveObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitpublic OWLClassExpression visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
OWLLogicalAxiomVisitorEx
visit
in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
visit
in class OWLAxiomVisitorExAdapter<OWLClassExpression>
axiom
- axiom to visitCopyright © 2020 The University of Manchester. All rights reserved.