|
Class Summary |
| ABoxRollbackBuffer |
support for AboxUpdaters that need undo functionality for doing rollbacks
classes extending this must not create or change individuals from the target AssertionSet
without using the appropriate methods of this class
instances of this class are not reusable! |
| AbstractASetUpdater |
|
| AbstractIndividualWrapper<T extends WrappedIndividual> |
|
| AbstractReasonerResult |
|
| AbstractWrapperFactory<T extends WrappedIndividual> |
abstract base class for factories for a custom accessors |
| AssertionSet |
|
| BooleanDigNodeHandling |
information about a given DIG subtree containing some class description
for domain of a property and similar things
as usual this is local to a TBoxVersion |
| BuiltInClassDescriptions |
|
| BuiltInPropertyDescriptions |
|
| CheckedCumulatingASetUpdater |
An ASetUpdater that simply adds all property values and asserted classes,
only removing old property values if a maxCardinality is exactly fullfilled by the
new data and fails safely if any inconsistency is met
Note that this does not check for completeness, as there will likely be some
referenced individuals without property fillers included as property fillers
of "first class message citizens" |
| CompleteCheckResult |
|
| DummyIndividualSetExpander |
An IndividualSetExpander that does not expand the IndividualSet at all... |
| GenericIndividual |
Generic java representation of an individual. |
| IncomingDocument |
Common base class for TBox and ABox owl documents,
does the parsing into DOM and
does the fitting into the namespaces of TBox |
| IncomingInformMessage |
|
| IncomingMessage |
|
| IncomingQueryRefMessage |
|
| KnowledgeBase |
|
| OutgoingInformMessage |
|
| OutgoingMessage |
|
| OutgoingQueryRefMessage |
|
| OWLAllDifferentDescription |
|
| OWLClassDescription |
Runtime representation of a class. |
| OWLDifferentFromDescription |
|
| OWLDistinctMembersDescription |
|
| OWLNothingDescription |
|
| OWLPropertyDescription |
this has become much more simplistic than it used to be to keep reasoner
work to the reasoner and only support the parsing (most notably the unstriping) |
| OWLSameAsDescription |
|
| OWLThingDescription |
|
| QuickTellResult |
parses the resulting DOM from a tell
to give easy access to result state, warnings and errors
this is no complete consistency check, use CompleteCheckResult
to get a full check after this gives ok |
| RDFOWLDocument |
|
| Reasoner |
|
| ReasonerKBHandle |
a little data structure to keep kb-uris and reasoners together |
| SemiRecursiveIndividualSetExpander |
An IndividualSetExpander that, for each individual from the initial set of "first class" individuals,
recursively includes all (sub)individuals from objectProperties,
unless one of the most specific classes of the "sub"individual already has a member of itself
in set of classes that have a member in the recursion stack for this "first class" individual
(checking is only done against the mpst specific classes of an individual, but all classes go
in the "set of classes that have a member in the recursion stack") |
| TBoxDocument |
|
| TBoxMergerImpl |
|
| TBoxVersion |
a TBox, meant to be copied when merged with anything incoming
basically wraps a TBoxDocument but provides much more information |
| UncheckedOverwritingASetUpdater |
A simple ASetUpdater that simply dumps all existing class and property
information found for this URI in the target ASet,
without even doing consistency checking and rollback if the kb ends up inconsistent
Use this for copying into outgoing AssertionSets
Note that this can be unsafe because other individuals might reference
this individual with restrictions demanding certain implicit or explicit
class membership that might not be given after the update |