com.clarkparsia.pellet.el
Class ELSyntaxUtils

java.lang.Object
  extended by com.clarkparsia.pellet.el.ELSyntaxUtils

public class ELSyntaxUtils
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:
Harris Lin

Constructor Summary
ELSyntaxUtils()
           
 
Method Summary
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
equals, 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


Copyright © 2004 Evren Sirin. All Rights Reserved.