org.eclipse.rdf4j.sail.inferencer.fc

Class DirectTypeHierarchyInferencer

java.lang.Object

org.eclipse.rdf4j.sail.helpers.SailWrapper

org.eclipse.rdf4j.sail.helpers.NotifyingSailWrapper

org.eclipse.rdf4j.sail.inferencer.fc.DirectTypeHierarchyInferencer

All Implemented Interfaces:

FederatedServiceResolverClient, NotifyingSail, Sail, StackableSail

public class DirectTypeHierarchyInferencer
extends org.eclipse.rdf4j.sail.helpers.NotifyingSailWrapper

A forward-chaining inferencer that infers the direct-type hierarchy relations sesame:directSubClassOf, sesame:directSubPropertyOf and sesame:directType.

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.
 

Field Summary

Fields

Modifier and Type	Field and Description
protected org.slf4j.Logger	logger

Constructor Summary

Constructors

Constructor and Description
DirectTypeHierarchyInferencer()
DirectTypeHierarchyInferencer(NotifyingSail baseSail)

Method Summary

Modifier and Type	Method and Description
InferencerConnection	getConnection()
void	initialize()

Methods inherited from class org.eclipse.rdf4j.sail.helpers.NotifyingSailWrapper

addSailChangedListener, getBaseSail, removeSailChangedListener, setBaseSail

Methods inherited from class org.eclipse.rdf4j.sail.helpers.SailWrapper

getDataDir, getDefaultIsolationLevel, getSupportedIsolationLevels, getValueFactory, isWritable, setDataDir, setFederatedServiceResolver, shutDown, verifyBaseSailSet

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.rdf4j.sail.Sail

getDataDir, getDefaultIsolationLevel, getSupportedIsolationLevels, getValueFactory, isWritable, setDataDir, shutDown

Field Detail

logger

protected final org.slf4j.Logger logger

Constructor Detail

DirectTypeHierarchyInferencer

public DirectTypeHierarchyInferencer()

DirectTypeHierarchyInferencer

public DirectTypeHierarchyInferencer(NotifyingSail baseSail)

Method Detail

getConnection

public InferencerConnection getConnection()
                                   throws SailException

Specified by:

getConnection in interface NotifyingSail

Specified by:

getConnection in interface Sail

Overrides:

getConnection in class org.eclipse.rdf4j.sail.helpers.NotifyingSailWrapper

Throws:

SailException

initialize

public void initialize()
                throws SailException

Specified by:

initialize in interface Sail

Overrides:

initialize in class org.eclipse.rdf4j.sail.helpers.SailWrapper

Throws:

SailException