OntologyLogicException (robot-core 1.8.3 API)

java.lang.Object
- java.lang.Throwable
- - java.lang.Exception
  - - org.obolibrary.robot.exceptions.OntologyLogicException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

IncoherentRBoxException, IncoherentTBoxException, InconsistentOntologyException
```
public class OntologyLogicException
extends Exception
```
Ontology contains unsatisfiable classes, properties or inconsistencies.

Author:

cjm

See Also:

Serialized Form

Constructor Summary

Constructors
Constructor	Description
`OntologyLogicException()`	Default constructor
`OntologyLogicException(String s)`	Throw a new OntologyLogicException with string message.
`OntologyLogicException(Set<? extends org.semanticweb.owlapi.model.OWLEntity> unsatisfiable)`	Throw a new OntologyLogicException with a set of unsatisfiable classes or properties.

Method Summary
- Methods inherited from class java.lang.Throwable
  addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - OntologyLogicException
```
public OntologyLogicException(String s)
```
    Throw a new OntologyLogicException with string message.
    
    Parameters:
    
    s - message
  - OntologyLogicException
```
public OntologyLogicException(Set<? extends org.semanticweb.owlapi.model.OWLEntity> unsatisfiable)
```
    Throw a new OntologyLogicException with a set of unsatisfiable classes or properties.
    
    Parameters:
    
    unsatisfiable - set of unsatisfiable classes or properties
  - OntologyLogicException
```
public OntologyLogicException()
```
    Default constructor