Package org.semanticweb.owlapi.reasoner.impl

@ParametersAreNonnullByDefault package org.semanticweb.owlapi.reasoner.impl

OWLReasoner implementation package.

Classes

Class	Description
DefaultNode<E extends OWLObject>
DefaultNodeSet<E extends OWLObject>
NodeFactory
OWLClassNode
OWLClassNodeSet	A node set of OWL classes.
OWLDataPropertyNode
OWLDataPropertyNodeSet
OWLDatatypeNode
OWLDatatypeNodeSet
OWLNamedIndividualNode
OWLNamedIndividualNodeSet
OWLObjectPropertyNode
OWLObjectPropertyNodeSet
OWLReasonerBase
SatisfiabilityReducer