Package org.topbraid.core.inference

Interface Summary

IInference

Class Summary

AbstractInference
DefaultSuperClassInference
DomainRangeInheritanceInference	An inference that propagates the domains and ranges of properties into their sub-properties, unless the sub-properties have local definitions.
DomainRangeSynchronizationInference
Inferences
InverseFunctionalSynchronizationInference
InverseStatementsInitInference	An inference that adds or removes values of inverse properties when an owl:inverseOf statement has been added or removed.
InverseStatementsUpdateInference	An inference that synchronizes values of inverse properties.
SymmetricInverseInference	An inference that declares a property inverse of itself if it has been asserted to be an owl:SymmetricProperty.