Uses of Class
org.topbraid.core.inference.AbstractInference

Packages that use AbstractInference

org.topbraid.core.inference

Uses of AbstractInference in org.topbraid.core.inference

Subclasses of AbstractInference in org.topbraid.core.inference

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