Class Shacl#

Class Documentation#

class Shacl#

API for LDScript SHACL Interpreter Interpreter is defined in corese-core resources/function/datashape.

define LDScript global variable: shacl.input().setVariable(“?var”, val).

Author

Olivier Corby, Wimmics, INRIA, 2019

Public Functions

inline Shacl(Graph g)#
inline Shacl(Graph g, Graph shacl)#
inline Binding input()#
inline Binding output()#
inline Shacl setTrace(boolean b)#

Define trace=true as LDScript global variable.

inline IDatatype setup()#
inline Shacl setup(String name, boolean b)#
inline Shacl booleanDetail(boolean b)#
inline Graph shacl()#

API aligned with LDScript.

inline Graph shex()#
inline Graph shaclshape(IDatatype shape)#
inline Graph shaclshape(IDatatype shape, IDatatype node)#
inline Graph shaclnode(IDatatype node)#
inline IDatatype funparse()#

Native Java API.

Parse shacl RDF graph and return a list expression

inline Graph funeval(IDatatype shapeList)#

Execute shacl as list expression shapeList : list of (list expression)

inline Graph funeval()#

Parse shacl graph as list expression and execute expression.

inline Graph eval()#

Evaluate shacl shape whole graph.

inline Graph eval(Graph shacl)#
inline Graph shape(IDatatype sh)#

Evaluate shape/node.

inline Graph shape(IDatatype sh, IDatatype node)#
inline Graph node(IDatatype node)#
inline IDatatype focus()#
inline IDatatype focus(Graph shacl)#
inline boolean conform(Graph g)#

Validation report is conform ?

inline int nbResult(Graph g)#
inline int nbAbstractResult(Graph g)#
inline void trace()#

Display list of constraints that have been evaluated.

inline void tracerecord()#

Display additional information about evaluation.

inline IDatatype getVariable(String name)#
inline Graph getResult()#
inline Graph getGraph()#
inline void setGraph(Graph graph)#
inline void setResult(Graph result)#
inline Graph getShacl()#
inline void setShacl(Graph shacl)#
inline Binding getBind()#
inline void setBind(Binding bind)#
inline Binding getInput()#
inline void setInput(Binding input)#
inline DataManager getDataManager()#
inline void setDataManager(DataManager dataManager)#

Public Static Functions

static inline void setSHACL_Interpreter(String SHACL_Interpreter)#

Set a different SHACL interpreter, ex.

SHACL-S

static inline String getSHACL_Interpreter()#

Public Static Attributes

static final String TRACEMAPSUC_VAR   = "?recordmapsuc"
static final String TRACEMAPFAIL_VAR   = "?recordmapfail"
static final String MAPMAP_VAR   = "?mapmap"
static final String SETUP_VAR   = "?setup"
static final String SETUP_DETAIL   = SH + "nodeDetail"
static final String SETUP_DETAIL_BOOLEAN   = SH + "booleanDetail"
static final String SETUP_TYPE   = SH + "type"