SatisfiabilityReducer (OWLAPI Distribution 4.2.2 API)

java.lang.Object
- org.semanticweb.owlapi.util.OWLBaseVisitorExAdapter<O,OWLAxiom>
- - org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<OWLClassExpression>
  - - org.semanticweb.owlapi.reasoner.impl.SatisfiabilityReducer

All Implemented Interfaces:

OWLAnnotationAxiomVisitorEx<OWLClassExpression>, OWLAxiomVisitorEx<OWLClassExpression>, OWLLogicalAxiomVisitorEx<OWLClassExpression>
```
public class SatisfiabilityReducer
extends OWLAxiomVisitorExAdapter<OWLClassExpression>
```
Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Constructor Summary

Constructors
Constructor and Description

SatisfiabilityReducer(OWLDataFactory dataFactory)

Constructors
Constructor and Description
`SatisfiabilityReducer(OWLDataFactory dataFactory)`

Method Summary

All Methods Instance Methods Concrete Methods
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

Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

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

- Constructor Detail
  - SatisfiabilityReducer
```
public SatisfiabilityReducer(@Nonnull
                             OWLDataFactory dataFactory)
```
    Parameters:
    
    dataFactory - data factory to use
- Method Detail
  - visit
```
public OWLClassExpression visit(OWLSubClassOfAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLSubClassOfAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLNegativeObjectPropertyAssertionAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLReflexiveObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLReflexiveObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLDataPropertyDomainAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLObjectPropertyDomainAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLObjectPropertyDomainAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLNegativeDataPropertyAssertionAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLNegativeDataPropertyAssertionAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLObjectPropertyRangeAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLObjectPropertyRangeAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLObjectPropertyAssertionAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLObjectPropertyAssertionAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLFunctionalObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLFunctionalObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDataPropertyRangeAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLDataPropertyRangeAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLFunctionalDataPropertyAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLFunctionalDataPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLClassAssertionAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLClassAssertionAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLDataPropertyAssertionAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLDataPropertyAssertionAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLIrreflexiveObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLIrreflexiveObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public OWLClassExpression visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLInverseFunctionalObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<OWLClassExpression>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<OWLClassExpression>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value

Class SatisfiabilityReducer

Constructor Summary

Method Summary

Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter

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