de.fau.cs.www8.jadeowlcodec

Interfaces  ASetUpdater IndividualSetExpander TBoxMerger WrappedIndividual

Classes  ABoxRollbackBuffer AbstractASetUpdater AbstractIndividualWrapper AbstractReasonerResult AbstractWrapperFactory AssertionSet BooleanDigNodeHandling BuiltInClassDescriptions BuiltInPropertyDescriptions CheckedCumulatingASetUpdater CompleteCheckResult DummyIndividualSetExpander GenericIndividual IncomingDocument IncomingInformMessage IncomingMessage IncomingQueryRefMessage KnowledgeBase OutgoingInformMessage OutgoingMessage OutgoingQueryRefMessage OWLAllDifferentDescription OWLClassDescription OWLDifferentFromDescription OWLDistinctMembersDescription OWLNothingDescription OWLPropertyDescription OWLSameAsDescription OWLThingDescription QuickTellResult RDFOWLDocument Reasoner ReasonerKBHandle SemiRecursiveIndividualSetExpander TBoxDocument TBoxMergerImpl TBoxVersion UncheckedOverwritingASetUpdater

Exceptions  TBoxMerger.MergeException