public class DirectTypeHierarchyInferencer extends NotifyingSailWrapper
The semantics of this inferencer are defined as follows:
Class A is a direct subclass of B iff: 1. A is a subclass of B and; 2. A and B are not equa and; 3. there is no class C (unequal A and B) such that A is a subclass of C and C of B. Property P is a direct subproperty of Q iff: 1. P is a subproperty of Q and; 2. P and Q are not equal and; 3. there is no property R (unequal P and Q) such that P is a subproperty of R and R of Q. Resource I is of direct type T iff: 1. I is of type T and 2. There is no class U (unequal T) such that: a. U is a subclass of T and; b. I is of type U.
|Constructor and Description|
|Modifier and Type||Method and Description|
Opens a connection on the Sail which can be used to query and update data.
Initializes the Sail.
addSailChangedListener, getBaseSail, removeSailChangedListener, setBaseSail
getDataDir, getDefaultIsolationLevel, getSupportedIsolationLevels, getValueFactory, isWritable, setDataDir, setFederatedServiceResolver, shutDown, verifyBaseSailSet
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public DirectTypeHierarchyInferencer(NotifyingSail baseSail)
public InferencerConnection getConnection() throws SailException
public void initialize() throws SailException
Copyright © 2015-2020 Eclipse Foundation. All Rights Reserved.