public class KRSS2Parser extends Object implements KRSS2ParserConstants
Modifier and Type | Field and Description |
---|---|
Token |
jj_nt
Next token.
|
Token |
token
Current token.
|
KRSS2ParserTokenManager |
token_source
Generated Token Manager.
|
ALL, AND, ATLEAST, ATMOST, BOTTOM, CLOSEPAR, COMMENT_START, COMPOSE, DEFAULT, DEFINECONCEPT, DEFINEINDIVIDUAL, DEFINEPRIMITIVECONCEPT, DEFINEPRIMITIVEROLE, DEFINEROLE, DISJOINT, DISJOINTROLES, DISTINCT, DOMAIN_ATTRIBUTE, DPOINT, ENDABOX, ENDTBOX, ENUM, EOF, EQUAL, EQUIVALENT, ERROR, EXACTLY, IMPLIES, IMPLIESROLE, IN_COMMENT, IN_IRI, INSTANCE, INT, INV, INVERSE, INVERSE_ATTRIBUTE, IRI_END, IRI_START, LEFT_IDENTITY_ATTRIBUTE, NAME, NCCHAR_FULL, NCCHAR1, NIL, NOT, ONEOF, OPENPAR, OR, PARENT, PARENTS, RANGE, RANGE_ATTRIBUTE, REFLEXIVE_ATTRIBUTE, RELATED, RIGHT_IDENTITY_ATTRIBUTE, ROLE_INCLUSION, ROLESEQUIVALENT, SOME, SUBROLE, SYMMETRIC_ATTRIBUTE, tokenImage, TOP, TRANSITIVE, TRANSITIVE_ATTRIBUTE, TRUE
Constructor and Description |
---|
KRSS2Parser(InputStream stream)
Constructor with InputStream.
|
KRSS2Parser(InputStream stream,
String encoding)
Constructor with InputStream and supplied encoding.
|
KRSS2Parser(KRSS2ParserTokenManager tm)
Constructor with generated Token Manager.
|
KRSS2Parser(Reader stream)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
ABoxStatement()
A box statement.
|
OWLClassExpression |
All()
All.
|
OWLClassExpression |
And()
And.
|
OWLClassExpression |
AtLeast()
At least.
|
OWLClassExpression |
AtMost()
At most.
|
void |
ComplexRoleInclusion()
Complex role inclusion.
|
OWLClassExpression |
ConceptExpression()
Concept expression.
|
OWLClassExpression |
ConceptName()
Concept name.
|
Set<OWLClassExpression> |
ConceptSet()
Concept set.
|
void |
DefineConcept()
Define concept.
|
void |
DefinePrimitiveConcept()
Define primitive concept.
|
void |
DefinePrimitiveRole()
Define primitive role.
|
void |
DefineRole()
Define role.
|
void |
disable_tracing()
Disable tracing.
|
void |
Disjoint()
Disjoint.
|
void |
DisjointRoles()
Disjoint roles.
|
void |
Distinct()
Distinct.
|
void |
DomainAttribute(OWLObjectProperty subProp)
Domain attribute.
|
void |
enable_tracing()
Enable tracing.
|
void |
Equal()
Equal.
|
void |
Equivalent()
Equivalent.
|
OWLClassExpression |
Exactly()
Exactly.
|
ParseException |
generateParseException()
Generate ParseException.
|
IRI |
getIRI(String s)
Gets the iri.
|
Token |
getNextToken()
Get the next Token.
|
Token |
getToken(int index)
Get the specific Token.
|
void |
Implies()
Implies.
|
void |
ImpliesRole()
Implies role.
|
OWLIndividual |
IndividualName()
Individual name.
|
void |
Instance()
Instance.
|
int |
Integer()
Integer.
|
void |
InverseProperty(OWLObjectProperty subProp)
Inverse property.
|
void |
Inverses()
Inverses.
|
void |
LeftIdentity(OWLObjectProperty r)
Left identity.
|
IRI |
Name()
Name.
|
OWLClassExpression |
Not()
Not.
|
OWLClassExpression |
Or()
Or.
|
void |
Parent(OWLObjectProperty subProp)
Parent.
|
void |
Parents(OWLObjectProperty subProp)
Parents.
|
void |
parse()
Parses the.
|
boolean |
parseBoolean()
Parses the boolean.
|
List<OWLObjectPropertyExpression> |
propertyChain()
Property chain.
|
void |
Range()
Range.
|
void |
RangeAttribute(OWLObjectProperty subProp)
Range attribute.
|
void |
ReflexiveAttribute(OWLObjectProperty property)
Reflexive attribute.
|
void |
ReInit(InputStream stream)
Reinitialise.
|
void |
ReInit(InputStream stream,
String encoding)
Reinitialise.
|
void |
ReInit(KRSS2ParserTokenManager tm)
Reinitialise.
|
void |
ReInit(Reader stream)
Reinitialise.
|
void |
Related()
Related.
|
void |
RightIdentity(OWLObjectProperty r)
Right identity.
|
OWLObjectPropertyExpression |
RoleExpression()
Role expression.
|
OWLObjectProperty |
RoleName()
Role name.
|
Set<OWLObjectProperty> |
RoleNameSet()
Role name set.
|
void |
RolesEquivalent()
Roles equivalent.
|
void |
setNameResolution(NameResolverStrategy nameResolution)
Sets the name resolution.
|
void |
setOntology(OWLOntology ontology,
OWLDataFactory dataFactory)
Sets the ontology.
|
OWLClassExpression |
Some()
Some.
|
void |
SymmetricAttribute(OWLObjectProperty property)
Symmetric attribute.
|
void |
TBoxStatement()
T box statement.
|
void |
Transitive()
Transitive.
|
void |
TransitiveAttribute(OWLObjectProperty property)
Transitive attribute.
|
public KRSS2ParserTokenManager token_source
public Token token
public Token jj_nt
public KRSS2Parser(InputStream stream)
stream
- the streampublic KRSS2Parser(InputStream stream, String encoding)
stream
- the streamencoding
- the encodingpublic KRSS2Parser(Reader stream)
stream
- the streampublic KRSS2Parser(KRSS2ParserTokenManager tm)
tm
- the tmpublic void setOntology(OWLOntology ontology, OWLDataFactory dataFactory)
ontology
- the ontologydataFactory
- the data factorypublic IRI getIRI(String s) throws URISyntaxException
s
- the sURISyntaxException
- the uRI syntax exceptionpublic void setNameResolution(NameResolverStrategy nameResolution)
nameResolution
- the new name resolutionpublic final void parse() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void TBoxStatement() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void DefinePrimitiveConcept() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void DefineConcept() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void Disjoint() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void Equivalent() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void Implies() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void DefineRole() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void DefinePrimitiveRole() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void RightIdentity(OWLObjectProperty r) throws ParseException, KRSS2OWLParserException
r
- the rParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void LeftIdentity(OWLObjectProperty r) throws ParseException, KRSS2OWLParserException
r
- the rParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void InverseProperty(OWLObjectProperty subProp) throws ParseException, KRSS2OWLParserException
subProp
- the sub propParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void DomainAttribute(OWLObjectProperty subProp) throws ParseException, KRSS2OWLParserException
subProp
- the sub propParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void RangeAttribute(OWLObjectProperty subProp) throws ParseException, KRSS2OWLParserException
subProp
- the sub propParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void TransitiveAttribute(OWLObjectProperty property) throws ParseException, KRSS2OWLParserException
property
- the propertyParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void SymmetricAttribute(OWLObjectProperty property) throws ParseException, KRSS2OWLParserException
property
- the propertyParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void ReflexiveAttribute(OWLObjectProperty property) throws ParseException, KRSS2OWLParserException
property
- the propertyParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void Parents(OWLObjectProperty subProp) throws ParseException, KRSS2OWLParserException
subProp
- the sub propParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void Parent(OWLObjectProperty subProp) throws ParseException, KRSS2OWLParserException
subProp
- the sub propParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void DisjointRoles() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void ImpliesRole() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void Inverses() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void RolesEquivalent() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void ComplexRoleInclusion() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final List<OWLObjectPropertyExpression> propertyChain() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void Transitive() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void Range() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLClassExpression ConceptExpression() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLClassExpression ConceptName() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final Set<OWLClassExpression> ConceptSet() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLClassExpression And() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLClassExpression Or() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLClassExpression Not() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLClassExpression All() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLClassExpression Some() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLClassExpression AtLeast() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLClassExpression AtMost() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLClassExpression Exactly() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLObjectProperty RoleName() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final Set<OWLObjectProperty> RoleNameSet() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLObjectPropertyExpression RoleExpression() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void ABoxStatement() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void Instance() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void Related() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void Equal() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final void Distinct() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final OWLIndividual IndividualName() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final int Integer() throws ParseException, KRSS2OWLParserException
ParseException
- the parse exceptionKRSS2OWLParserException
- the kRS s2 owl parser exceptionpublic final boolean parseBoolean() throws ParseException
ParseException
- the parse exceptionpublic final IRI Name() throws ParseException
ParseException
- the parse exceptionpublic void ReInit(InputStream stream)
stream
- the streampublic void ReInit(InputStream stream, String encoding)
stream
- the streamencoding
- the encodingpublic void ReInit(Reader stream)
stream
- the streampublic void ReInit(KRSS2ParserTokenManager tm)
tm
- the tmpublic final Token getNextToken()
public final Token getToken(int index)
index
- the indexpublic ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()
Copyright © 2017 The University of Manchester. All Rights Reserved.