com.clarkparsia.pellet.el

Class ELSyntaxUtils

java.lang.Object

com.clarkparsia.pellet.el.ELSyntaxUtils

public class ELSyntaxUtils
extends Object

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin

Constructor Summary

Constructors

Constructor and Description
ELSyntaxUtils()

Method Summary

Methods

Modifier and Type	Method and Description
static boolean	isEL(aterm.ATermAppl concept) Checks is this concept is a valid EL concept expression.
static aterm.ATermAppl	simplify(aterm.ATermAppl elConcept) Simplifies an EL class expression.

Methods inherited from class java.lang.Object

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

Constructor Detail

ELSyntaxUtils

public ELSyntaxUtils()

Method Detail

isEL

public static boolean isEL(aterm.ATermAppl concept)

Checks is this concept is a valid EL concept expression. Only valid EL constructs are and and some (although EL++ allows limited use of nominals Pellet's specialized EL classifier currently does not support nominals so we treat them as non-EL).

Parameters:

concept -

Returns:

simplify

public static aterm.ATermAppl simplify(aterm.ATermAppl elConcept)
                                throws InternalReasonerException

Simplifies an EL class expression. Simplification flattens and constructs and propagates owl:Nothing (Concept p some owl:Nothing and any and construct with owl:Nothing in it is simplified to owl:Nothing.

Parameters:

elConcept - an EL class expression

Returns:

a simplified form of the given class expression

Throws:

InternalReasonerException - if the concept is not an LE class expression