| Package | Description |
|---|---|
| org.semanticweb.owlapi.util |
Utilities package
|
| Modifier and Type | Class and Description |
|---|---|
class |
HornAxiomVisitorEx
Returns true if the visited axioms are an ontology in Horn-SHIQ form.
|
Copyright © 2016 The University of Manchester. All Rights Reserved.