io.konig.core.showl

Class ShowlUtil

java.lang.Object

io.konig.core.showl.ShowlUtil

public class ShowlUtil
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	ENUM_SHAPE_BASE_IRI

Constructor Summary

Constructors

Constructor and Description
ShowlUtil()

Method Summary

Modifier and Type	Method and Description
static ShowlPropertyShape	asPropertyShape(ShowlExpression e)
static ShowlChannel	channelFor(ShowlNodeShape enumNode, List<ShowlChannel> channelList)
static ShowlNodeShape	containingEnumNode(ShowlPropertyShape p, OwlReasoner owlReasoner)
static ShowlNodeShape	enumClassNode(ShowlNodeShape enumNode)
static ShowlExpression	enumExpression(ShowlEqualStatement equal)
static boolean	isEnumField(ShowlExpression e)
static boolean	isEnumNode(ShowlExpression e)
static boolean	isEnumNode(ShowlNodeShape node)
static boolean	isEnumProperty(ShowlPropertyShape p)
static boolean	isEnumSourceNode(ShowlNodeShape sourceNode, OwlReasoner reasoner)
static boolean	isUndefinedClass(ShowlClass owlClass)
static boolean	isUniqueKey(ShowlPropertyShape p, OwlReasoner reasoner)
static boolean	isWellDefined(ShowlExpression e) Determine whether a given expression is well defined.
static boolean	isWellDefined(ShowlNodeShape node) Determine whether a given node is well-defined.
static boolean	isWellDefined(ShowlPropertyShape p) Determine whether a given property has a well-defined value.
static KqlType	kqlType(org.openrdf.model.URI rdfType)
static ShowlPropertyShape	otherProperty(ShowlEqualStatement equal, ShowlNodeShape node)
static ShowlNodeShape	parentEnumNode(ShowlPropertyShape p)
static ShowlNodeShape	parentEnumNode(ShowlPropertyShape p, OwlReasoner reasoner)
static ShowlPropertyExpression	propertyExpression(ShowlPropertyShape p)
static ShowlDirectPropertyShape	propertyMappedTo(ShowlNodeShape targetNode, ShowlPropertyShape sourceProperty)
static ShowlPropertyShape	propertyOf(ShowlEqualStatement equal, ShowlNodeShape node)
static ShowlPropertyShape	propertyOf(ShowlExpression e, ShowlNodeShape node)
static List<org.openrdf.model.URI>	relativePath(ShowlNodeShape a, ShowlNodeShape b) Compute the path of a relative to b.
static String	shortShapeName(ShowlNodeShape node)
static String	shortShapeName(org.openrdf.model.URI shapeId)
static List<ShowlExpression>	transform(List<ShowlExpression> memberList)
static ShowlExpression	transform(ShowlExpression e)
static Set<ShowlPredicatePath>	uniqueKeys(org.openrdf.model.URI enumClass, ShowlNodeShape targetShape) Get the list of all enum properties referenced by a join condition within a given target NodeShape.

Methods inherited from class java.lang.Object

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

Field Detail

ENUM_SHAPE_BASE_IRI

public static final String ENUM_SHAPE_BASE_IRI

See Also:

Constant Field Values

Constructor Detail

ShowlUtil

public ShowlUtil()

Method Detail

isUndefinedClass

public static boolean isUndefinedClass(ShowlClass owlClass)

kqlType

public static KqlType kqlType(org.openrdf.model.URI rdfType)

isWellDefined

public static boolean isWellDefined(ShowlPropertyShape p)

Determine whether a given property has a well-defined value. A value is well-defined if one of the following conditions is satisfied:

1. The property is direct and has no nested shape.
2. The property has a direct synonym without a nested shape
3. The property is derived from a formula where all the parameters are well-defined.
4. The property has a selected formula where all the parameters are well-defined.

Returns:

isWellDefined

public static boolean isWellDefined(ShowlExpression e)

Determine whether a given expression is well defined. An expression is well defined if all of its parameters are well defined.

relativePath

public static List<org.openrdf.model.URI> relativePath(ShowlNodeShape a,
                                                       ShowlNodeShape b)

Compute the path of a relative to b.

Parameters:

a -

b -

Returns:

isWellDefined

public static boolean isWellDefined(ShowlNodeShape node)

Determine whether a given node is well-defined. A node is well-defined if each of it's direct properties is well defined, recursively.

propertyExpression

public static ShowlPropertyExpression propertyExpression(ShowlPropertyShape p)

channelFor

public static ShowlChannel channelFor(ShowlNodeShape enumNode,
                                      List<ShowlChannel> channelList)

otherProperty

public static ShowlPropertyShape otherProperty(ShowlEqualStatement equal,
                                               ShowlNodeShape node)

propertyOf

public static ShowlPropertyShape propertyOf(ShowlEqualStatement equal,
                                            ShowlNodeShape node)

propertyOf

public static ShowlPropertyShape propertyOf(ShowlExpression e,
                                            ShowlNodeShape node)

propertyMappedTo

public static ShowlDirectPropertyShape propertyMappedTo(ShowlNodeShape targetNode,
                                                        ShowlPropertyShape sourceProperty)

asPropertyShape

public static ShowlPropertyShape asPropertyShape(ShowlExpression e)

isEnumSourceNode

public static boolean isEnumSourceNode(ShowlNodeShape sourceNode,
                                       OwlReasoner reasoner)

shortShapeName

public static String shortShapeName(org.openrdf.model.URI shapeId)

shortShapeName

public static String shortShapeName(ShowlNodeShape node)

enumExpression

public static ShowlExpression enumExpression(ShowlEqualStatement equal)

uniqueKeys

public static Set<ShowlPredicatePath> uniqueKeys(org.openrdf.model.URI enumClass,
                                                 ShowlNodeShape targetShape)

Get the list of all enum properties referenced by a join condition within a given target NodeShape.

Parameters:

enumClass - The enum class of interest

targetShape - The target NodeShape to be scanned

Returns:

isEnumNode

public static boolean isEnumNode(ShowlExpression e)

parentEnumNode

public static ShowlNodeShape parentEnumNode(ShowlPropertyShape p)

isEnumProperty

public static boolean isEnumProperty(ShowlPropertyShape p)

isEnumField

public static boolean isEnumField(ShowlExpression e)

isEnumNode

public static boolean isEnumNode(ShowlNodeShape node)

containingEnumNode

public static ShowlNodeShape containingEnumNode(ShowlPropertyShape p,
                                                OwlReasoner owlReasoner)

isUniqueKey

public static boolean isUniqueKey(ShowlPropertyShape p,
                                  OwlReasoner reasoner)

transform

public static List<ShowlExpression> transform(List<ShowlExpression> memberList)

transform

public static ShowlExpression transform(ShowlExpression e)

parentEnumNode

public static ShowlNodeShape parentEnumNode(ShowlPropertyShape p,
                                            OwlReasoner reasoner)

enumClassNode

public static ShowlNodeShape enumClassNode(ShowlNodeShape enumNode)
                                    throws ShowlProcessingException

Throws:

ShowlProcessingException