public class KRSS2Parser extends Object
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 |
BOTTOM
RegularExpression Id.
|
static int |
CLOSEPAR
RegularExpression Id.
|
static int |
COMMENT_START
RegularExpression Id.
|
static int |
COMPOSE
RegularExpression Id.
|
static int |
DEFAULT
Lexical state.
|
static int |
DEFINECONCEPT
RegularExpression Id.
|
static int |
DEFINEINDIVIDUAL
RegularExpression Id.
|
static int |
DEFINEPRIMITIVECONCEPT
RegularExpression Id.
|
static int |
DEFINEPRIMITIVEROLE
RegularExpression Id.
|
static int |
DEFINEROLE
RegularExpression Id.
|
static int |
DISJOINT
RegularExpression Id.
|
static int |
DISJOINTROLES
RegularExpression Id.
|
static int |
DISTINCT
RegularExpression Id.
|
static int |
DOMAIN_ATTRIBUTE
RegularExpression Id.
|
static int |
DPOINT
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 |
EQUIVALENT
RegularExpression Id.
|
static int |
ERROR
RegularExpression Id.
|
static int |
EXACTLY
RegularExpression Id.
|
static int |
IMPLIES
RegularExpression Id.
|
static int |
IMPLIESROLE
RegularExpression Id.
|
static int |
IN_COMMENT
Lexical state.
|
static int |
IN_IRI
Lexical state.
|
static int |
INSTANCE
RegularExpression Id.
|
static int |
INT
RegularExpression Id.
|
static int |
INV
RegularExpression Id.
|
static int |
INVERSE
RegularExpression Id.
|
static int |
INVERSE_ATTRIBUTE
RegularExpression Id.
|
static int |
IRI_END
RegularExpression Id.
|
static int |
IRI_START
RegularExpression Id.
|
org.semanticweb.owlapi.krss2.parser.Token |
jj_nt
Next token.
|
static int |
LEFT_IDENTITY_ATTRIBUTE
RegularExpression Id.
|
static int |
NAME
RegularExpression Id.
|
static int |
NCCHAR_FULL
RegularExpression Id.
|
static int |
NCCHAR1
RegularExpression Id.
|
static int |
NIL
RegularExpression Id.
|
static int |
NOT
RegularExpression Id.
|
static int |
ONEOF
RegularExpression Id.
|
static int |
OPENPAR
RegularExpression Id.
|
static int |
OR
RegularExpression Id.
|
static int |
PARENT
RegularExpression Id.
|
static int |
PARENTS
RegularExpression Id.
|
static int |
RANGE
RegularExpression Id.
|
static int |
RANGE_ATTRIBUTE
RegularExpression Id.
|
static int |
REFLEXIVE_ATTRIBUTE
RegularExpression Id.
|
static int |
RELATED
RegularExpression Id.
|
static int |
RIGHT_IDENTITY_ATTRIBUTE
RegularExpression Id.
|
static int |
ROLE_INCLUSION
RegularExpression Id.
|
static int |
ROLESEQUIVALENT
RegularExpression Id.
|
static int |
SOME
RegularExpression Id.
|
static int |
SUBROLE
RegularExpression Id.
|
static int |
SYMMETRIC_ATTRIBUTE
RegularExpression Id.
|
org.semanticweb.owlapi.krss2.parser.Token |
token
Current token.
|
org.semanticweb.owlapi.krss2.parser.KRSS2ParserTokenManager |
token_source
Generated Token Manager.
|
static String[] |
tokenImage
Literal token values.
|
static int |
TOP
RegularExpression Id.
|
static int |
TRANSITIVE
RegularExpression Id.
|
static int |
TRANSITIVE_ATTRIBUTE
RegularExpression Id.
|
static int |
TRUE
RegularExpression Id.
|
Constructor and Description |
---|
KRSS2Parser(org.semanticweb.owlapi.krss2.parser.KRSS2ParserTokenManager tm)
Constructor with generated Token Manager.
|
KRSS2Parser(org.semanticweb.owlapi.krss2.parser.Provider stream)
Constructor.
|
KRSS2Parser(String dsl)
Constructor.
|
public org.semanticweb.owlapi.krss2.parser.KRSS2ParserTokenManager token_source
public org.semanticweb.owlapi.krss2.parser.Token token
public org.semanticweb.owlapi.krss2.parser.Token jj_nt
public static final int EOF
public static final int COMMENT_START
public static final int IRI_START
public static final int IRI_END
public static final int TOP
public static final int BOTTOM
public static final int NIL
public static final int TRUE
public static final int OPENPAR
public static final int CLOSEPAR
public static final int ENDTBOX
public static final int ENDABOX
public static final int COMPOSE
public static final int DEFINECONCEPT
public static final int DEFINEPRIMITIVECONCEPT
public static final int DISJOINT
public static final int EQUIVALENT
public static final int IMPLIES
public static final int AND
public static final int OR
public static final int NOT
public static final int ALL
public static final int ONEOF
public static final int SOME
public static final int ATLEAST
public static final int ATMOST
public static final int EXACTLY
public static final int DEFINEROLE
public static final int DEFINEPRIMITIVEROLE
public static final int DISJOINTROLES
public static final int DOMAIN_ATTRIBUTE
public static final int IMPLIESROLE
public static final int INV
public static final int INVERSE
public static final int INVERSE_ATTRIBUTE
public static final int LEFT_IDENTITY_ATTRIBUTE
public static final int PARENT
public static final int PARENTS
public static final int RANGE
public static final int RANGE_ATTRIBUTE
public static final int REFLEXIVE_ATTRIBUTE
public static final int RIGHT_IDENTITY_ATTRIBUTE
public static final int ROLESEQUIVALENT
public static final int ROLE_INCLUSION
public static final int SUBROLE
public static final int SYMMETRIC_ATTRIBUTE
public static final int TRANSITIVE
public static final int TRANSITIVE_ATTRIBUTE
public static final int DEFINEINDIVIDUAL
public static final int DISTINCT
public static final int EQUAL
public static final int INSTANCE
public static final int RELATED
public static final int DPOINT
public static final int ENUM
public static final int INT
public static final int NAME
public static final int NCCHAR_FULL
public static final int NCCHAR1
public static final int ERROR
public static final int DEFAULT
public static final int IN_COMMENT
public static final int IN_IRI
public static final String[] tokenImage
public KRSS2Parser(org.semanticweb.owlapi.krss2.parser.Provider stream)
public KRSS2Parser(String dsl) throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.TokenMgrException
public KRSS2Parser(org.semanticweb.owlapi.krss2.parser.KRSS2ParserTokenManager tm)
public KRSS2Parser setOntology(OWLOntology ontology)
public void setNameResolution(NameResolverStrategy nameResolution)
public void setIgnoreAnnotationsAndDeclarations(boolean b)
public final void parse() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void TBoxStatement() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void DefinePrimitiveConcept() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void DefineConcept() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void Disjoint() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void Equivalent() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void Implies() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void DefineRole() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void DefinePrimitiveRole() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void RightIdentity(OWLObjectProperty r) throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void LeftIdentity(OWLObjectProperty r) throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void InverseProperty(OWLObjectProperty subProp) throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void DomainAttribute(OWLObjectProperty subProp) throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void RangeAttribute(OWLObjectProperty subProp) throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void TransitiveAttribute(OWLObjectProperty property) throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void SymmetricAttribute(OWLObjectProperty property) throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void ReflexiveAttribute(OWLObjectProperty property) throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void Parents(OWLObjectProperty subProp) throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void Parent(OWLObjectProperty subProp) throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void DisjointRoles() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void ImpliesRole() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void Inverses() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void RolesEquivalent() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void ComplexRoleInclusion() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final List<OWLObjectPropertyExpression> propertyChain() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void Transitive() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void Range() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLClassExpression ConceptExpression() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLClassExpression ConceptName() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final Set<OWLClassExpression> ConceptSet() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLClassExpression And() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLClassExpression Or() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLClassExpression Not() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLClassExpression All() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLClassExpression Some() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLClassExpression AtLeast() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLClassExpression AtMost() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLClassExpression Exactly() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLObjectProperty RoleName() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final Set<OWLObjectProperty> RoleNameSet() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLObjectPropertyExpression RoleExpression() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void ABoxStatement() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void Instance() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void Related() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void Equal() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final void Distinct() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final OWLIndividual IndividualName() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final int Integer() throws org.semanticweb.owlapi.krss2.parser.ParseException, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserException
public final boolean parseBoolean() throws org.semanticweb.owlapi.krss2.parser.ParseException
public final IRI Name() throws org.semanticweb.owlapi.krss2.parser.ParseException
public void ReInit(String s)
public void ReInit(org.semanticweb.owlapi.krss2.parser.Provider stream)
public void ReInit(org.semanticweb.owlapi.krss2.parser.KRSS2ParserTokenManager tm)
public final org.semanticweb.owlapi.krss2.parser.Token getNextToken()
public final org.semanticweb.owlapi.krss2.parser.Token getToken(int index)
public org.semanticweb.owlapi.krss2.parser.ParseException generateParseException()
public final boolean trace_enabled()
public final void enable_tracing()
public final void disable_tracing()
Copyright © 2020 The University of Manchester. All rights reserved.