org.semanticweb.owlapi.krss1.parser

Class KRSSParser

java.lang.Object

org.semanticweb.owlapi.krss1.parser.KRSSParser

public class KRSSParser
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	ALL RegularExpression Id.
static int	AND RegularExpression Id.
static int	ATLEAST RegularExpression Id.
static int	ATMOST RegularExpression Id.
static int	CLOSEPAR RegularExpression Id.
static int	COMMENT_START RegularExpression Id.
static int	DEFAULT Lexical state.
static int	DEFINECONCEPT RegularExpression Id.
static int	DEFINEPRIMITIVECONCEPT RegularExpression Id.
static int	DEFINEPRIMITIVEROLE RegularExpression Id.
static int	DISTINCT RegularExpression Id.
static int	ENDABOX RegularExpression Id.
static int	ENDTBOX RegularExpression Id.
static int	ENUM RegularExpression Id.
static int	EOF End of File.
static int	EQUAL RegularExpression Id.
static int	EXACTLY RegularExpression Id.
static int	IN_COMMENT Lexical state.
static int	IN_IRI Lexical state.
static int	IN_STRING_LITERAL Lexical state.
static int	INSTANCE RegularExpression Id.
static int	INT RegularExpression Id.
static int	IRI_END RegularExpression Id.
static int	IRI_START RegularExpression Id.
org.semanticweb.owlapi.krss1.parser.Token	jj_nt Next token.
static int	NAME RegularExpression Id.
static int	NONE RegularExpression Id.
static int	NOT RegularExpression Id.
static int	OPENPAR RegularExpression Id.
static int	OR RegularExpression Id.
static int	PRIMITIVECONCEPT RegularExpression Id.
static int	RANGE RegularExpression Id.
static int	RELATED RegularExpression Id.
static int	SOME RegularExpression Id.
static int	STRING_LITERAL_START RegularExpression Id.
static int	STRINGLITERAL RegularExpression Id.
static int	SUBROLE RegularExpression Id.
org.semanticweb.owlapi.krss1.parser.Token	token Current token.
org.semanticweb.owlapi.krss1.parser.KRSSParserTokenManager	token_source Generated Token Manager.
static String[]	tokenImage Literal token values.
static int	TRANSITIVE RegularExpression Id.

Constructor Summary

Constructors

Constructor and Description
KRSSParser(org.semanticweb.owlapi.krss1.parser.KRSSParserTokenManager tm) Constructor with generated Token Manager.
KRSSParser(Provider stream) Constructor.
KRSSParser(String dsl) Constructor.

Method Summary

Modifier and Type	Method and Description
OWLAxiom	ABoxStatement()
OWLClassExpression	All()
OWLClassExpression	And()
OWLClassExpression	AtLeast()
OWLClassExpression	AtMost()
OWLClassExpression	ConceptExpression()
OWLClassExpression	ConceptName()
Set<OWLClassExpression>	ConceptSet()
OWLAxiom	DefineConcept()
OWLAxiom	DefinePrimitiveConcept()
OWLAxiom	DefinePrimitiveRole()
void	disable_tracing() Disable tracing.
OWLAxiom	Distinct()
void	enable_tracing() Enable tracing.
OWLAxiom	Equal()
OWLClassExpression	Exactly()
ParseException	generateParseException() Generate ParseException.
IRI	getIRI(String s)
org.semanticweb.owlapi.krss1.parser.Token	getNextToken() Get the next Token.
org.semanticweb.owlapi.krss1.parser.Token	getToken(int index) Get the specific Token.
OWLIndividual	IndividualName()
OWLAxiom	Instance()
int	Integer()
IRI	Name()
OWLClassExpression	Not()
OWLClassExpression	Or()
void	parse()
OWLAxiom	Range()
void	ReInit(org.semanticweb.owlapi.krss1.parser.KRSSParserTokenManager tm) Reinitialise.
void	ReInit(Provider stream) Reinitialise.
void	ReInit(String s)
OWLAxiom	Related()
OWLObjectProperty	RoleName()
void	setIgnoreAnnotationsAndDeclarations(boolean b)
KRSSParser	setOntology(OWLOntology ontology)
OWLClassExpression	Some()
OWLAxiom	TBoxStatement()
boolean	trace_enabled() Trace enabled.
OWLAxiom	Transitive()

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public org.semanticweb.owlapi.krss1.parser.KRSSParserTokenManager token_source

Generated Token Manager.

token

public org.semanticweb.owlapi.krss1.parser.Token token

Current token.

jj_nt

public org.semanticweb.owlapi.krss1.parser.Token jj_nt

Next token.

EOF

public static final int EOF

End of File.

See Also:

Constant Field Values

COMMENT_START

public static final int COMMENT_START

RegularExpression Id.

See Also:

Constant Field Values

IRI_START

public static final int IRI_START

RegularExpression Id.

See Also:

Constant Field Values

IRI_END

public static final int IRI_END

RegularExpression Id.

See Also:

Constant Field Values

STRING_LITERAL_START

public static final int STRING_LITERAL_START

RegularExpression Id.

See Also:

Constant Field Values

STRINGLITERAL

public static final int STRINGLITERAL

RegularExpression Id.

See Also:

Constant Field Values

OPENPAR

public static final int OPENPAR

RegularExpression Id.

See Also:

Constant Field Values

CLOSEPAR

public static final int CLOSEPAR

RegularExpression Id.

See Also:

Constant Field Values

ENDTBOX

public static final int ENDTBOX

RegularExpression Id.

See Also:

Constant Field Values

ENDABOX

public static final int ENDABOX

RegularExpression Id.

See Also:

Constant Field Values

PRIMITIVECONCEPT

public static final int PRIMITIVECONCEPT

RegularExpression Id.

See Also:

Constant Field Values

DEFINEPRIMITIVECONCEPT

public static final int DEFINEPRIMITIVECONCEPT

RegularExpression Id.

See Also:

Constant Field Values

DEFINECONCEPT

public static final int DEFINECONCEPT

RegularExpression Id.

See Also:

Constant Field Values

DEFINEPRIMITIVEROLE

public static final int DEFINEPRIMITIVEROLE

RegularExpression Id.

See Also:

Constant Field Values

SUBROLE

public static final int SUBROLE

RegularExpression Id.

See Also:

Constant Field Values

TRANSITIVE

public static final int TRANSITIVE

RegularExpression Id.

See Also:

Constant Field Values

ENUM

public static final int ENUM

RegularExpression Id.

See Also:

Constant Field Values

RANGE

public static final int RANGE

RegularExpression Id.

See Also:

Constant Field Values

AND

public static final int AND

RegularExpression Id.

See Also:

Constant Field Values

OR

public static final int OR

RegularExpression Id.

See Also:

Constant Field Values

NOT

public static final int NOT

RegularExpression Id.

See Also:

Constant Field Values

ALL

public static final int ALL

RegularExpression Id.

See Also:

Constant Field Values

SOME

public static final int SOME

RegularExpression Id.

See Also:

Constant Field Values

NONE

public static final int NONE

RegularExpression Id.

See Also:

Constant Field Values

ATLEAST

public static final int ATLEAST

RegularExpression Id.

See Also:

Constant Field Values

ATMOST

public static final int ATMOST

RegularExpression Id.

See Also:

Constant Field Values

EXACTLY

public static final int EXACTLY

RegularExpression Id.

See Also:

Constant Field Values

INSTANCE

public static final int INSTANCE

RegularExpression Id.

See Also:

Constant Field Values

RELATED

public static final int RELATED

RegularExpression Id.

See Also:

Constant Field Values

EQUAL

public static final int EQUAL

RegularExpression Id.

See Also:

Constant Field Values

DISTINCT

public static final int DISTINCT

RegularExpression Id.

See Also:

Constant Field Values

NAME

public static final int NAME

RegularExpression Id.

See Also:

Constant Field Values

INT

public static final int INT

RegularExpression Id.

See Also:

Constant Field Values

DEFAULT

public static final int DEFAULT

Lexical state.

See Also:

Constant Field Values

IN_COMMENT

public static final int IN_COMMENT

Lexical state.

See Also:

Constant Field Values

IN_IRI

public static final int IN_IRI

Lexical state.

See Also:

Constant Field Values

IN_STRING_LITERAL

public static final int IN_STRING_LITERAL

Lexical state.

See Also:

Constant Field Values

tokenImage

public static final String[] tokenImage

Literal token values.

Constructor Detail

KRSSParser

public KRSSParser(Provider stream)

Constructor.

KRSSParser

public KRSSParser(String dsl)
           throws ParseException,
                  org.semanticweb.owlapi.krss1.parser.TokenMgrException

Constructor.

Throws:

ParseException

org.semanticweb.owlapi.krss1.parser.TokenMgrException

KRSSParser

public KRSSParser(org.semanticweb.owlapi.krss1.parser.KRSSParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

setOntology

public KRSSParser setOntology(OWLOntology ontology)

getIRI

public IRI getIRI(String s)

setIgnoreAnnotationsAndDeclarations

public void setIgnoreAnnotationsAndDeclarations(boolean b)

parse

public final void parse()
                 throws ParseException,
                        org.semanticweb.owlapi.krss1.parser.KRSSOWLParserException

Throws:

ParseException

org.semanticweb.owlapi.krss1.parser.KRSSOWLParserException

TBoxStatement

public final OWLAxiom TBoxStatement()
                             throws ParseException

Throws:

ParseException

DefinePrimitiveConcept

public final OWLAxiom DefinePrimitiveConcept()
                                      throws ParseException

Throws:

ParseException

DefineConcept

public final OWLAxiom DefineConcept()
                             throws ParseException

Throws:

ParseException

DefinePrimitiveRole

public final OWLAxiom DefinePrimitiveRole()
                                   throws ParseException

Throws:

ParseException

Transitive

public final OWLAxiom Transitive()
                          throws ParseException

Throws:

ParseException

Range

public final OWLAxiom Range()
                     throws ParseException

Throws:

ParseException

ConceptExpression

public final OWLClassExpression ConceptExpression()
                                           throws ParseException

Throws:

ParseException

ConceptName

public final OWLClassExpression ConceptName()
                                     throws ParseException

Throws:

ParseException

ConceptSet

public final Set<OWLClassExpression> ConceptSet()
                                         throws ParseException

Throws:

ParseException

And

public final OWLClassExpression And()
                             throws ParseException

Throws:

ParseException

Or

public final OWLClassExpression Or()
                            throws ParseException

Throws:

ParseException

Not

public final OWLClassExpression Not()
                             throws ParseException

Throws:

ParseException

All

public final OWLClassExpression All()
                             throws ParseException

Throws:

ParseException

Some

public final OWLClassExpression Some()
                              throws ParseException

Throws:

ParseException

AtLeast

public final OWLClassExpression AtLeast()
                                 throws ParseException

Throws:

ParseException

AtMost

public final OWLClassExpression AtMost()
                                throws ParseException

Throws:

ParseException

Exactly

public final OWLClassExpression Exactly()
                                 throws ParseException

Throws:

ParseException

RoleName

public final OWLObjectProperty RoleName()
                                 throws ParseException

Throws:

ParseException

ABoxStatement

public final OWLAxiom ABoxStatement()
                             throws ParseException

Throws:

ParseException

Instance

public final OWLAxiom Instance()
                        throws ParseException

Throws:

ParseException

Related

public final OWLAxiom Related()
                       throws ParseException

Throws:

ParseException

Equal

public final OWLAxiom Equal()
                     throws ParseException

Throws:

ParseException

Distinct

public final OWLAxiom Distinct()
                        throws ParseException

Throws:

ParseException

IndividualName

public final OWLIndividual IndividualName()
                                   throws ParseException

Throws:

ParseException

Name

public final IRI Name()
               throws ParseException

Throws:

ParseException

Integer

public final int Integer()
                  throws ParseException

Throws:

ParseException

ReInit

public void ReInit(String s)

ReInit

public void ReInit(Provider stream)

Reinitialise.

ReInit

public void ReInit(org.semanticweb.owlapi.krss1.parser.KRSSParserTokenManager tm)

Reinitialise.

getNextToken

public final org.semanticweb.owlapi.krss1.parser.Token getNextToken()

Get the next Token.

getToken

public final org.semanticweb.owlapi.krss1.parser.Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

trace_enabled

public final boolean trace_enabled()

Trace enabled.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.