HornAxiomVisitorEx (OWLAPI :: Distribution 4.5.19 API)

java.lang.Object
- org.semanticweb.owlapi.util.OWLBaseVisitorExAdapter<O,OWLAxiom>
- - org.semanticweb.owlapi.util.OWLAxiomVisitorExAdapter<Boolean>
  - - org.semanticweb.owlapi.util.HornAxiomVisitorEx

All Implemented Interfaces:

OWLAnnotationAxiomVisitorEx<Boolean>, OWLAxiomVisitorEx<Boolean>, OWLLogicalAxiomVisitorEx<Boolean>
```
public class HornAxiomVisitorEx
extends OWLAxiomVisitorExAdapter<Boolean>
```
Returns true if the visited axioms are an ontology in Horn-SHIQ form.

Constructor Summary

Constructors
Constructor and Description

HornAxiomVisitorEx()
default constructor

Constructors
Constructor and Description
`HornAxiomVisitorEx()` default constructor

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Boolean`	`visit(OWLAnnotationAssertionAxiom axiom)` visit OWLAnnotationAssertionAxiom type
`Boolean`	`visit(OWLAnnotationPropertyDomainAxiom axiom)` visit OWLAnnotationPropertyDomainAxiom type
`Boolean`	`visit(OWLAnnotationPropertyRangeAxiom axiom)` visit OWLAnnotationPropertyRangeAxiom type
`Boolean`	`visit(OWLDeclarationAxiom axiom)` visit OWLDeclarationAxiom type
`Boolean`	`visit(OWLDisjointClassesAxiom axiom)` visit OWLDisjointClassesAxiom type
`Boolean`	`visit(OWLDisjointUnionAxiom axiom)` visit OWLDisjointUnionAxiom type
`Boolean`	`visit(OWLEquivalentClassesAxiom axiom)` visit OWLEquivalentClassesAxiom type
`Boolean`	`visit(OWLEquivalentObjectPropertiesAxiom axiom)` visit OWLEquivalentObjectPropertiesAxiom type
`Boolean`	`visit(OWLFunctionalObjectPropertyAxiom axiom)` visit OWLFunctionalObjectPropertyAxiom type
`Boolean`	`visit(OWLInverseFunctionalObjectPropertyAxiom axiom)` visit OWLInverseFunctionalObjectPropertyAxiom type
`Boolean`	`visit(OWLInverseObjectPropertiesAxiom axiom)` visit OWLInverseObjectPropertiesAxiom type
`Boolean`	`visit(OWLObjectPropertyDomainAxiom axiom)` visit OWLObjectPropertyDomainAxiom type
`Boolean`	`visit(OWLObjectPropertyRangeAxiom axiom)` visit OWLObjectPropertyRangeAxiom type
`Boolean`	`visit(OWLSubAnnotationPropertyOfAxiom axiom)` visit OWLSubAnnotationPropertyOfAxiom type
`Boolean`	`visit(OWLSubClassOfAxiom axiom)` visit OWLSubClassOfAxiom type
`Boolean`	`visit(OWLSubObjectPropertyOfAxiom axiom)` visit OWLSubObjectPropertyOfAxiom type
`Boolean`	`visit(OWLSymmetricObjectPropertyAxiom axiom)` visit OWLSymmetricObjectPropertyAxiom type
`Boolean`	`visit(OWLTransitiveObjectPropertyAxiom axiom)` visit OWLTransitiveObjectPropertyAxiom 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

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

- Constructor Detail
  - HornAxiomVisitorEx
```
public HornAxiomVisitorEx()
```
    default constructor
- Method Detail
  - visit
```
public Boolean visit(OWLSubAnnotationPropertyOfAxiom axiom)
```
    Description copied from interface: OWLAnnotationAxiomVisitorEx
    
    visit OWLSubAnnotationPropertyOfAxiom type
    
    Specified by:
    
    visit in interface OWLAnnotationAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - object to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLAnnotationPropertyDomainAxiom axiom)
```
    Description copied from interface: OWLAnnotationAxiomVisitorEx
    
    visit OWLAnnotationPropertyDomainAxiom type
    
    Specified by:
    
    visit in interface OWLAnnotationAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - object to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLAnnotationPropertyRangeAxiom axiom)
```
    Description copied from interface: OWLAnnotationAxiomVisitorEx
    
    visit OWLAnnotationPropertyRangeAxiom type
    
    Specified by:
    
    visit in interface OWLAnnotationAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - object to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(@Nonnull
                     OWLSubClassOfAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLSubClassOfAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLDisjointClassesAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLDisjointClassesAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLObjectPropertyDomainAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLObjectPropertyDomainAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLEquivalentObjectPropertiesAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLEquivalentObjectPropertiesAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLObjectPropertyRangeAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLObjectPropertyRangeAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLFunctionalObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLFunctionalObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLSubObjectPropertyOfAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLSubObjectPropertyOfAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLDisjointUnionAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLDisjointUnionAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLDeclarationAxiom axiom)
```
    Description copied from interface: OWLAxiomVisitorEx
    
    visit OWLDeclarationAxiom type
    
    Specified by:
    
    visit in interface OWLAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLAnnotationAssertionAxiom axiom)
```
    Description copied from interface: OWLAnnotationAxiomVisitorEx
    
    visit OWLAnnotationAssertionAxiom type
    
    Specified by:
    
    visit in interface OWLAnnotationAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - object to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLSymmetricObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLSymmetricObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLEquivalentClassesAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLEquivalentClassesAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLTransitiveObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLTransitiveObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLInverseFunctionalObjectPropertyAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value
  - visit
```
public Boolean visit(OWLInverseObjectPropertiesAxiom axiom)
```
    Description copied from interface: OWLLogicalAxiomVisitorEx
    
    visit OWLInverseObjectPropertiesAxiom type
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitorEx<Boolean>
    
    Overrides:
    
    visit in class OWLAxiomVisitorExAdapter<Boolean>
    
    Parameters:
    
    axiom - axiom to visit
    
    Returns:
    
    visitor value

Class HornAxiomVisitorEx

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Constructor Detail

HornAxiomVisitorEx

Method Detail

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit

visit