Package | Description |
---|---|
org.semanticweb.owlapi.reasoner.impl |
OWLReasoner implementation package
|
org.semanticweb.owlapi.util |
Utilities package
|
uk.ac.manchester.cs.owl.owlapi |
OWL API reference implementation package
|
Modifier and Type | Class and Description |
---|---|
class |
SatisfiabilityReducer |
Modifier and Type | Class and Description |
---|---|
class |
HornAxiomVisitorEx
Returns true if the visited axioms are an ontology in Horn-SHIQ form.
|
Modifier and Type | Class and Description |
---|---|
static class |
InitVisitorFactory.InitCollectionVisitor<K> |
static class |
InitVisitorFactory.InitIndividualVisitor<K extends OWLObject> |
static class |
InitVisitorFactory.InitVisitor<K> |
Copyright © 2020 The University of Manchester. All rights reserved.