Class RdfsSubClassOfReasoner
- java.lang.Object
-
- org.eclipse.rdf4j.sail.shacl.wrapper.data.RdfsSubClassOfReasoner
-
@InternalUseOnly public class RdfsSubClassOfReasoner extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.Map<Resource,java.util.Set<Resource>>backwardsChainCacheprivate java.util.Map<Resource,java.util.Set<Resource>>forwardChainCacheprivate static org.slf4j.Loggerloggerprivate java.util.Collection<Statement>subClassOfStatementsprivate java.util.Collection<Resource>types
-
Constructor Summary
Constructors Constructor Description RdfsSubClassOfReasoner()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description private voidaddSubClassOfStatement(Statement st)java.util.Set<Resource>backwardsChain(Resource type)private voidcalculateSubClassOf(java.util.Collection<Statement> subClassOfStatements)static RdfsSubClassOfReasonercreateReasoner(SailConnection sailConnection, SailConnection secondConnection, ValidationSettings validationSettings)static RdfsSubClassOfReasonercreateReasoner(SailConnection sailConnection, ValidationSettings validationSettings)java.util.stream.Stream<Statement>forwardChain(Statement statement)private voidforwardChainUntilFixPoint(java.util.Map<Resource,java.util.Set<Resource>> forwardChainCache)booleanisEmpty()private java.util.Set<Resource>resolveTypes(Resource value, java.util.Map<Resource,java.util.Set<Resource>> forwardChainCache)
-
-
-
Method Detail
-
addSubClassOfStatement
private void addSubClassOfStatement(Statement st)
-
calculateSubClassOf
private void calculateSubClassOf(java.util.Collection<Statement> subClassOfStatements)
-
forwardChainUntilFixPoint
private void forwardChainUntilFixPoint(java.util.Map<Resource,java.util.Set<Resource>> forwardChainCache)
-
resolveTypes
private java.util.Set<Resource> resolveTypes(Resource value, java.util.Map<Resource,java.util.Set<Resource>> forwardChainCache)
-
createReasoner
public static RdfsSubClassOfReasoner createReasoner(SailConnection sailConnection, ValidationSettings validationSettings)
-
createReasoner
public static RdfsSubClassOfReasoner createReasoner(SailConnection sailConnection, SailConnection secondConnection, ValidationSettings validationSettings)
-
isEmpty
public boolean isEmpty()
-
-