Class RdfsSubClassOfReasoner
java.lang.Object
org.eclipse.rdf4j.sail.shacl.wrapper.data.RdfsSubClassOfReasoner
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final org.slf4j.Logger
private final Collection
<Statement> private final Collection
<Resource> -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate void
backwardsChain
(Resource type) private void
calculateSubClassOf
(Collection<Statement> subClassOfStatements) static RdfsSubClassOfReasoner
createReasoner
(SailConnection sailConnection, SailConnection secondConnection, ValidationSettings validationSettings) static RdfsSubClassOfReasoner
createReasoner
(SailConnection sailConnection, ValidationSettings validationSettings) forwardChain
(Statement statement) private void
forwardChainUntilFixPoint
(Map<Resource, Set<Resource>> forwardChainCache) boolean
isEmpty()
-
Field Details
-
logger
private static final org.slf4j.Logger logger -
subClassOfStatements
-
types
-
forwardChainCache
-
backwardsChainCache
-
-
Constructor Details
-
RdfsSubClassOfReasoner
public RdfsSubClassOfReasoner()
-
-
Method Details
-
forwardChain
-
backwardsChain
-
addSubClassOfStatement
-
calculateSubClassOf
-
forwardChainUntilFixPoint
-
resolveTypes
-
createReasoner
public static RdfsSubClassOfReasoner createReasoner(SailConnection sailConnection, ValidationSettings validationSettings) -
createReasoner
public static RdfsSubClassOfReasoner createReasoner(SailConnection sailConnection, SailConnection secondConnection, ValidationSettings validationSettings) -
isEmpty
public boolean isEmpty()
-