de.tudresden.inf.lat.jcel.owlapi.main
Classes
JcelOntologyChangeVisitorEx
JcelReasoner
JcelReasonerFactory
Exceptions
JcelReasonerException
UnsupportedReasonerOperationInJcelException