SatisfiabilityReducer (OWLAPI Distribution 3.4.10 API)

java.lang.Object
- org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

All Implemented Interfaces:

OWLAnnotationAxiomVisitorEx<OWLClassExpression>, OWLAxiomVisitorEx<OWLClassExpression>
```
public class SatisfiabilityReducer
extends Object
implements OWLAxiomVisitorEx<OWLClassExpression>
```
Author:

Matthew Horridge, The University of Manchester, Information Management Group, Date: 01-Aug-2009

Constructor Summary

Constructors
Constructor and Description

SatisfiabilityReducer(OWLDataFactory dataFactory)

Constructors
Constructor and Description
`SatisfiabilityReducer(OWLDataFactory dataFactory)`

Method Summary

Methods
Modifier and Type	Method and Description
`OWLClassExpression`	`visit(OWLAnnotationAssertionAxiom axiom)` visit OWLAnnotationAssertionAxiom type
`OWLClassExpression`	`visit(OWLAnnotationPropertyDomainAxiom axiom)` visit OWLAnnotationPropertyDomainAxiom type
`OWLClassExpression`	`visit(OWLAnnotationPropertyRangeAxiom axiom)` visit OWLAnnotationPropertyRangeAxiom type
`OWLClassExpression`	`visit(OWLAsymmetricObjectPropertyAxiom axiom)` visit OWLAsymmetricObjectPropertyAxiom type
`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(OWLDatatypeDefinitionAxiom axiom)` visit OWLDatatypeDefinitionAxiom type
`OWLClassExpression`	`visit(OWLDeclarationAxiom axiom)` visit OWLDeclarationAxiom type
`OWLClassExpression`	`visit(OWLDifferentIndividualsAxiom axiom)` visit OWLDifferentIndividualsAxiom type
`OWLClassExpression`	`visit(OWLDisjointClassesAxiom axiom)` visit OWLDisjointClassesAxiom type
`OWLClassExpression`	`visit(OWLDisjointDataPropertiesAxiom axiom)` visit OWLDisjointDataPropertiesAxiom type
`OWLClassExpression`	`visit(OWLDisjointObjectPropertiesAxiom axiom)` visit OWLDisjointObjectPropertiesAxiom type
`OWLClassExpression`	`visit(OWLDisjointUnionAxiom axiom)` visit OWLDisjointUnionAxiom type
`OWLClassExpression`	`visit(OWLEquivalentClassesAxiom axiom)` visit OWLEquivalentClassesAxiom type
`OWLClassExpression`	`visit(OWLEquivalentDataPropertiesAxiom axiom)` visit OWLEquivalentDataPropertiesAxiom type
`OWLClassExpression`	`visit(OWLEquivalentObjectPropertiesAxiom axiom)` visit OWLEquivalentObjectPropertiesAxiom type
`OWLClassExpression`	`visit(OWLFunctionalDataPropertyAxiom axiom)` visit OWLFunctionalDataPropertyAxiom type
`OWLClassExpression`	`visit(OWLFunctionalObjectPropertyAxiom axiom)` visit OWLFunctionalObjectPropertyAxiom type
`OWLClassExpression`	`visit(OWLHasKeyAxiom axiom)` visit OWLHasKeyAxiom type
`OWLClassExpression`	`visit(OWLInverseFunctionalObjectPropertyAxiom axiom)` visit OWLInverseFunctionalObjectPropertyAxiom type
`OWLClassExpression`	`visit(OWLInverseObjectPropertiesAxiom axiom)` visit OWLInverseObjectPropertiesAxiom 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(OWLSameIndividualAxiom axiom)` visit OWLSameIndividualAxiom type
`OWLClassExpression`	`visit(OWLSubAnnotationPropertyOfAxiom axiom)` visit OWLSubAnnotationPropertyOfAxiom type
`OWLClassExpression`	`visit(OWLSubClassOfAxiom axiom)` visit OWLSubClassOfAxiom type
`OWLClassExpression`	`visit(OWLSubDataPropertyOfAxiom axiom)` visit OWLSubDataPropertyOfAxiom type
`OWLClassExpression`	`visit(OWLSubObjectPropertyOfAxiom axiom)` visit OWLSubObjectPropertyOfAxiom type
`OWLClassExpression`	`visit(OWLSubPropertyChainOfAxiom axiom)` visit OWLSubPropertyChainOfAxiom type
`OWLClassExpression`	`visit(OWLSymmetricObjectPropertyAxiom axiom)` visit OWLSymmetricObjectPropertyAxiom type
`OWLClassExpression`	`visit(OWLTransitiveObjectPropertyAxiom axiom)` visit OWLTransitiveObjectPropertyAxiom type
`OWLClassExpression`	`visit(SWRLRule rule)` visit SWRLRule type

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SatisfiabilityReducer
```
public SatisfiabilityReducer(OWLDataFactory dataFactory)
```
    Parameters:
    dataFactory - data factory to use
- Method Detail
  - visit
```
public OWLClassExpression visit(OWLSubClassOfAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLSubClassOfAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLNegativeObjectPropertyAssertionAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLAsymmetricObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLAsymmetricObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLReflexiveObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLReflexiveObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDisjointClassesAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLDisjointClassesAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLDataPropertyDomainAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLObjectPropertyDomainAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLObjectPropertyDomainAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLEquivalentObjectPropertiesAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLEquivalentObjectPropertiesAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLNegativeDataPropertyAssertionAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDifferentIndividualsAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLDifferentIndividualsAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDisjointDataPropertiesAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLDisjointDataPropertiesAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDisjointObjectPropertiesAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLDisjointObjectPropertiesAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLObjectPropertyRangeAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLObjectPropertyRangeAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLObjectPropertyAssertionAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLObjectPropertyAssertionAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLFunctionalObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLFunctionalObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLSubObjectPropertyOfAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLSubObjectPropertyOfAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDisjointUnionAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLDisjointUnionAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDeclarationAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLDeclarationAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLSymmetricObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLSymmetricObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDataPropertyRangeAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLDataPropertyRangeAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLFunctionalDataPropertyAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLFunctionalDataPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLEquivalentDataPropertiesAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLEquivalentDataPropertiesAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLClassAssertionAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLClassAssertionAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLEquivalentClassesAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLEquivalentClassesAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLDataPropertyAssertionAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLTransitiveObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLTransitiveObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLIrreflexiveObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLIrreflexiveObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLSubDataPropertyOfAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLSubDataPropertyOfAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLInverseFunctionalObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLSameIndividualAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLSameIndividualAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLSubPropertyChainOfAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLSubPropertyChainOfAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLInverseObjectPropertiesAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLInverseObjectPropertiesAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLHasKeyAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLHasKeyAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDatatypeDefinitionAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLDatatypeDefinitionAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(SWRLRule rule)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit SWRLRule type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    rule - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLAnnotationAssertionAxiom axiom)
```
    Description copied from interface: OWLAnnotationAxiomVisitorEx
    
    visit OWLAnnotationAssertionAxiom type
    
    Specified by:
    
    visit in interface OWLAnnotationAxiomVisitorEx<OWLClassExpression>
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLSubAnnotationPropertyOfAxiom axiom)
```
    Description copied from interface: OWLAnnotationAxiomVisitorEx
    
    visit OWLSubAnnotationPropertyOfAxiom type
    
    Specified by:
    
    visit in interface OWLAnnotationAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLAnnotationPropertyDomainAxiom axiom)
```
    Description copied from interface: OWLAnnotationAxiomVisitorEx
    
    visit OWLAnnotationPropertyDomainAxiom type
    
    Specified by:
    
    visit in interface OWLAnnotationAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value
  - visit
```
public OWLClassExpression visit(OWLAnnotationPropertyRangeAxiom axiom)
```
    Description copied from interface: OWLAnnotationAxiomVisitorEx
    
    visit OWLAnnotationPropertyRangeAxiom type
    
    Specified by:
    
    visit in interface OWLAnnotationAxiomVisitorEx<OWLClassExpression>
    
    Parameters:
    axiom - object to visit
    
    Returns:
    visitor value

Class SatisfiabilityReducer

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

SatisfiabilityReducer

Method Detail

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit