|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.el.ELSyntaxUtils
public class ELSyntaxUtils
Title:
Description:
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| 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 |
|---|
public ELSyntaxUtils()
| Method Detail |
|---|
public static boolean isEL(aterm.ATermAppl concept)
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).
concept -
public static aterm.ATermAppl simplify(aterm.ATermAppl elConcept)
throws InternalReasonerException
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.
elConcept - an EL class expression
InternalReasonerException - if the concept is not an LE class expression
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||