Package org.semanticweb.owlapi.functional.parser

Class OWLFunctionalSyntaxParser

java.lang.Object
org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxParser
public class OWLFunctionalSyntaxParser extends Object

  • Field Details

    • token_source

      public org.semanticweb.owlapi.functional.parser.TokenManager token_source
      User defined Token Manager.

    • token

      public org.semanticweb.owlapi.functional.parser.Token token
      Current token.

    • jj_nt

      public org.semanticweb.owlapi.functional.parser.Token jj_nt
      Next token.

    • EOF

      static final int EOF
      End of File.
      See Also:

    • COMMENT_START

      static final int COMMENT_START
      RegularExpression Id.
      See Also:

    • STRINGLITERAL_START

      static final int STRINGLITERAL_START
      RegularExpression Id.
      See Also:

    • ANY_ESCAPED_CHAR

      static final int ANY_ESCAPED_CHAR
      RegularExpression Id.
      See Also:

    • ANY_CHAR

      static final int ANY_CHAR
      RegularExpression Id.
      See Also:

    • STRINGLITERAL

      static final int STRINGLITERAL
      RegularExpression Id.
      See Also:

    • OPENPAR

      static final int OPENPAR
      RegularExpression Id.
      See Also:

    • CLOSEPAR

      static final int CLOSEPAR
      RegularExpression Id.
      See Also:

    • ONTOLOGY

      static final int ONTOLOGY
      RegularExpression Id.
      See Also:

    • LABEL

      static final int LABEL
      RegularExpression Id.
      See Also:

    • IMPORT

      static final int IMPORT
      RegularExpression Id.
      See Also:

    • COMMENT

      static final int COMMENT
      RegularExpression Id.
      See Also:

    • SUBCLASSOF

      static final int SUBCLASSOF
      RegularExpression Id.
      See Also:

    • LANGIDENTIFIER

      static final int LANGIDENTIFIER
      RegularExpression Id.
      See Also:

    • DATATYPEIDENTIFIER

      static final int DATATYPEIDENTIFIER
      RegularExpression Id.
      See Also:

    • EQUIVALENTCLASSES

      static final int EQUIVALENTCLASSES
      RegularExpression Id.
      See Also:

    • DISJOINTCLASSES

      static final int DISJOINTCLASSES
      RegularExpression Id.
      See Also:

    • DISJOINTUNION

      static final int DISJOINTUNION
      RegularExpression Id.
      See Also:

    • ANNOTATION

      static final int ANNOTATION
      RegularExpression Id.
      See Also:

    • ANNOTATIONPROPERTY

      static final int ANNOTATIONPROPERTY
      RegularExpression Id.
      See Also:

    • ANNOTATIONASSERTION

      static final int ANNOTATIONASSERTION
      RegularExpression Id.
      See Also:

    • SUBANNOTATIONPROPERTYOF

      static final int SUBANNOTATIONPROPERTYOF
      RegularExpression Id.
      See Also:

    • ANNOTATIONPROPERTYDOMAIN

      static final int ANNOTATIONPROPERTYDOMAIN
      RegularExpression Id.
      See Also:

    • ANNOTATIONPROPERTYRANGE

      static final int ANNOTATIONPROPERTYRANGE
      RegularExpression Id.
      See Also:

    • HASKEY

      static final int HASKEY
      RegularExpression Id.
      See Also:

    • DECLARATION

      static final int DECLARATION
      RegularExpression Id.
      See Also:

    • DOCUMENTATION

      static final int DOCUMENTATION
      RegularExpression Id.
      See Also:

    • CLASS

      static final int CLASS
      RegularExpression Id.
      See Also:

    • OBJECTPROP

      static final int OBJECTPROP
      RegularExpression Id.
      See Also:

    • DATAPROP

      static final int DATAPROP
      RegularExpression Id.
      See Also:

    • NAMEDINDIVIDUAL

      static final int NAMEDINDIVIDUAL
      RegularExpression Id.
      See Also:

    • DATATYPE

      static final int DATATYPE
      RegularExpression Id.
      See Also:

    • DATAONEOF

      static final int DATAONEOF
      RegularExpression Id.
      See Also:

    • DATAUNIONOF

      static final int DATAUNIONOF
      RegularExpression Id.
      See Also:

    • DATAINTERSECTIONOF

      static final int DATAINTERSECTIONOF
      RegularExpression Id.
      See Also:

    • OBJECTONEOF

      static final int OBJECTONEOF
      RegularExpression Id.
      See Also:

    • OBJECTUNIONOF

      static final int OBJECTUNIONOF
      RegularExpression Id.
      See Also:

    • OBJECTHASVALUE

      static final int OBJECTHASVALUE
      RegularExpression Id.
      See Also:

    • OBJECTINVERSEOF

      static final int OBJECTINVERSEOF
      RegularExpression Id.
      See Also:

    • INVERSEOBJECTPROPERTIES

      static final int INVERSEOBJECTPROPERTIES
      RegularExpression Id.
      See Also:

    • DATACOMPLEMENTOF

      static final int DATACOMPLEMENTOF
      RegularExpression Id.
      See Also:

    • DATATYPERESTRICTION

      static final int DATATYPERESTRICTION
      RegularExpression Id.
      See Also:

    • DATATYPEDEFINITION

      static final int DATATYPEDEFINITION
      RegularExpression Id.
      See Also:

    • OBJECTINTERSECTIONOF

      static final int OBJECTINTERSECTIONOF
      RegularExpression Id.
      See Also:

    • OBJECTCOMPLEMENTOF

      static final int OBJECTCOMPLEMENTOF
      RegularExpression Id.
      See Also:

    • OBJECTALLVALUESFROM

      static final int OBJECTALLVALUESFROM
      RegularExpression Id.
      See Also:

    • OBJECTSOMEVALUESFROM

      static final int OBJECTSOMEVALUESFROM
      RegularExpression Id.
      See Also:

    • OBJECTHASSELF

      static final int OBJECTHASSELF
      RegularExpression Id.
      See Also:

    • OBJECTMINCARDINALITY

      static final int OBJECTMINCARDINALITY
      RegularExpression Id.
      See Also:

    • OBJECTMAXCARDINALITY

      static final int OBJECTMAXCARDINALITY
      RegularExpression Id.
      See Also:

    • OBJECTEXACTCARDINALITY

      static final int OBJECTEXACTCARDINALITY
      RegularExpression Id.
      See Also:

    • DATAALLVALUESFROM

      static final int DATAALLVALUESFROM
      RegularExpression Id.
      See Also:

    • DATASOMEVALUESFROM

      static final int DATASOMEVALUESFROM
      RegularExpression Id.
      See Also:

    • DATAHASVALUE

      static final int DATAHASVALUE
      RegularExpression Id.
      See Also:

    • DATAMINCARDINALITY

      static final int DATAMINCARDINALITY
      RegularExpression Id.
      See Also:

    • DATAMAXCARDINALITY

      static final int DATAMAXCARDINALITY
      RegularExpression Id.
      See Also:

    • DATAEXACTCARDINALITY

      static final int DATAEXACTCARDINALITY
      RegularExpression Id.
      See Also:

    • SUBOBJECTPROPERTYCHAIN

      static final int SUBOBJECTPROPERTYCHAIN
      RegularExpression Id.
      See Also:

    • SUBOBJECTPROPERTYOF

      static final int SUBOBJECTPROPERTYOF
      RegularExpression Id.
      See Also:

    • EQUIVALENTOBJECTPROPERTIES

      static final int EQUIVALENTOBJECTPROPERTIES
      RegularExpression Id.
      See Also:

    • DISJOINTOBJECTPROPERTIES

      static final int DISJOINTOBJECTPROPERTIES
      RegularExpression Id.
      See Also:

    • OBJECTPROPERTYDOMAIN

      static final int OBJECTPROPERTYDOMAIN
      RegularExpression Id.
      See Also:

    • OBJECTPROPERTYRANGE

      static final int OBJECTPROPERTYRANGE
      RegularExpression Id.
      See Also:

    • FUNCTIONALOBJECTPROPERTY

      static final int FUNCTIONALOBJECTPROPERTY
      RegularExpression Id.
      See Also:

    • INVERSEFUNCTIONALOBJECTPROPERTY

      static final int INVERSEFUNCTIONALOBJECTPROPERTY
      RegularExpression Id.
      See Also:

    • REFLEXIVEOBJECTPROPERTY

      static final int REFLEXIVEOBJECTPROPERTY
      RegularExpression Id.
      See Also:

    • IRREFLEXIVEOBJECTPROPERTY

      static final int IRREFLEXIVEOBJECTPROPERTY
      RegularExpression Id.
      See Also:

    • SYMMETRICOBJECTPROPERTY

      static final int SYMMETRICOBJECTPROPERTY
      RegularExpression Id.
      See Also:

    • ASYMMETRICOBJECTPROPERTY

      static final int ASYMMETRICOBJECTPROPERTY
      RegularExpression Id.
      See Also:

    • TRANSITIVEOBJECTPROPERTY

      static final int TRANSITIVEOBJECTPROPERTY
      RegularExpression Id.
      See Also:

    • SUBDATAPROPERTYOF

      static final int SUBDATAPROPERTYOF
      RegularExpression Id.
      See Also:

    • EQUIVALENTDATAPROPERTIES

      static final int EQUIVALENTDATAPROPERTIES
      RegularExpression Id.
      See Also:

    • DISJOINTDATAPROPERTIES

      static final int DISJOINTDATAPROPERTIES
      RegularExpression Id.
      See Also:

    • DATAPROPERTYDOMAIN

      static final int DATAPROPERTYDOMAIN
      RegularExpression Id.
      See Also:

    • DATAPROPERTYRANGE

      static final int DATAPROPERTYRANGE
      RegularExpression Id.
      See Also:

    • FUNCTIONALDATAPROPERTY

      static final int FUNCTIONALDATAPROPERTY
      RegularExpression Id.
      See Also:

    • SAMEINDIVIDUAL

      static final int SAMEINDIVIDUAL
      RegularExpression Id.
      See Also:

    • DIFFERENTINDIVIDUALS

      static final int DIFFERENTINDIVIDUALS
      RegularExpression Id.
      See Also:

    • CLASSASSERTION

      static final int CLASSASSERTION
      RegularExpression Id.
      See Also:

    • OBJECTPROPERTYASSERTION

      static final int OBJECTPROPERTYASSERTION
      RegularExpression Id.
      See Also:

    • NEGATIVEOBJECTPROPERTYASSERTION

      static final int NEGATIVEOBJECTPROPERTYASSERTION
      RegularExpression Id.
      See Also:

    • DATAPROPERTYASSERTION

      static final int DATAPROPERTYASSERTION
      RegularExpression Id.
      See Also:

    • NEGATIVEDATAPROPERTYASSERTION

      static final int NEGATIVEDATAPROPERTYASSERTION
      RegularExpression Id.
      See Also:

    • PREFIX

      static final int PREFIX
      RegularExpression Id.
      See Also:

    • LENGTH

      static final int LENGTH
      RegularExpression Id.
      See Also:

    • MINLENGTH

      static final int MINLENGTH
      RegularExpression Id.
      See Also:

    • MAXLENGTH

      static final int MAXLENGTH
      RegularExpression Id.
      See Also:

    • PATTERN

      static final int PATTERN
      RegularExpression Id.
      See Also:

    • MININCLUSIVE

      static final int MININCLUSIVE
      RegularExpression Id.
      See Also:

    • MAXINCLUSIVE

      static final int MAXINCLUSIVE
      RegularExpression Id.
      See Also:

    • MINEXCLUSIVE

      static final int MINEXCLUSIVE
      RegularExpression Id.
      See Also:

    • MAXEXCLUSIVE

      static final int MAXEXCLUSIVE
      RegularExpression Id.
      See Also:

    • TOTALDIGITS

      static final int TOTALDIGITS
      RegularExpression Id.
      See Also:

    • FRACTIONDIGITS

      static final int FRACTIONDIGITS
      RegularExpression Id.
      See Also:

    • DLSAFERULE

      static final int DLSAFERULE
      RegularExpression Id.
      See Also:

    • BODY

      static final int BODY
      RegularExpression Id.
      See Also:

    • CLASSATOM

      static final int CLASSATOM
      RegularExpression Id.
      See Also:

    • DATARANGEATOM

      static final int DATARANGEATOM
      RegularExpression Id.
      See Also:

    • OBJECTPROPERTYATOM

      static final int OBJECTPROPERTYATOM
      RegularExpression Id.
      See Also:

    • DATAPROPERTYATOM

      static final int DATAPROPERTYATOM
      RegularExpression Id.
      See Also:

    • BUILTINATOM

      static final int BUILTINATOM
      RegularExpression Id.
      See Also:

    • SAMEINDIVIDUALATOM

      static final int SAMEINDIVIDUALATOM
      RegularExpression Id.
      See Also:

    • DIFFERENTINDIVIDUALSATOM

      static final int DIFFERENTINDIVIDUALSATOM
      RegularExpression Id.
      See Also:

    • VARIABLE

      static final int VARIABLE
      RegularExpression Id.
      See Also:

    • DGRULE

      static final int DGRULE
      RegularExpression Id.
      See Also:

    • DESCRIPTIONGRAPH

      static final int DESCRIPTIONGRAPH
      RegularExpression Id.
      See Also:

    • NODES

      static final int NODES
      RegularExpression Id.
      See Also:

    • NODEASSERTION

      static final int NODEASSERTION
      RegularExpression Id.
      See Also:

    • EDGES

      static final int EDGES
      RegularExpression Id.
      See Also:

    • EDGEASSERTION

      static final int EDGEASSERTION
      RegularExpression Id.
      See Also:

    • MAINCLASSES

      static final int MAINCLASSES
      RegularExpression Id.
      See Also:

    • EQUALS

      static final int EQUALS
      RegularExpression Id.
      See Also:

    • INT

      static final int INT
      RegularExpression Id.
      See Also:

    • FULLIRI

      static final int FULLIRI
      RegularExpression Id.
      See Also:

    • PNAME_NS

      static final int PNAME_NS
      RegularExpression Id.
      See Also:

    • PN_LOCAL

      static final int PN_LOCAL
      RegularExpression Id.
      See Also:

    • PNAME_LN

      static final int PNAME_LN
      RegularExpression Id.
      See Also:

    • PN_PREFIX

      static final int PN_PREFIX
      RegularExpression Id.
      See Also:

    • PN_CHARS_BASE

      static final int PN_CHARS_BASE
      RegularExpression Id.
      See Also:

    • PN_CHARS

      static final int PN_CHARS
      RegularExpression Id.
      See Also:

    • PN_CHARS_U

      static final int PN_CHARS_U
      RegularExpression Id.
      See Also:

    • NODEID

      static final int NODEID
      RegularExpression Id.
      See Also:

    • ERROR

      static final int ERROR
      RegularExpression Id.
      See Also:

    • tokenImage

      static final String[] tokenImage
      Literal token values.

  • Constructor Details

    • OWLFunctionalSyntaxParser

      public OWLFunctionalSyntaxParser(org.semanticweb.owlapi.functional.parser.TokenManager tm)
      Constructor with user supplied Token Manager.

  • Method Details

    • setUp

      public void setUp(OWLOntology ontology, OWLOntologyLoaderConfiguration configuration)

    • getIRI

      public IRI getIRI(String s)

    • setIgnoreAnnotationsAndDeclarations

      public void setIgnoreAnnotationsAndDeclarations(boolean b)

    • setPrefixes

      public void setPrefixes(PrefixManager nsm)

    • parse

      public final FunctionalSyntaxDocumentFormat parse() throws org.semanticweb.owlapi.functional.parser.ParseException, OWLParserException, UnloadableImportException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException
      OWLParserException
      UnloadableImportException

    • Ontology

      public final void Ontology() throws org.semanticweb.owlapi.functional.parser.ParseException, OWLParserException, UnloadableImportException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException
      OWLParserException
      UnloadableImportException

    • Prefix

      public final void Prefix() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • IRI

      public final IRI IRI() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • FullIRI

      public final IRI FullIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • AbbreviatedIRI

      public final IRI AbbreviatedIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • PrefixName

      public final String PrefixName() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ClassExpression

      public final OWLClassExpression ClassExpression() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ClassIRI

      public final OWLClass ClassIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ClassExpressionSet

      public final Set<OWLClassExpression> ClassExpressionSet() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • IndividualMinOneSet

      public final Set<OWLIndividual> IndividualMinOneSet() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectUnionOf

      public final OWLClassExpression ObjectUnionOf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectIntersectionOf

      public final OWLClassExpression ObjectIntersectionOf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectComplementOf

      public final OWLClassExpression ObjectComplementOf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectOneOf

      public final OWLClassExpression ObjectOneOf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectAllValuesFrom

      public final OWLClassExpression ObjectAllValuesFrom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectSomeValuesFrom

      public final OWLClassExpression ObjectSomeValuesFrom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectHasValue

      public final OWLClassExpression ObjectHasValue() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectSelf

      public final OWLClassExpression ObjectSelf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectMinCardinality

      public final OWLClassExpression ObjectMinCardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectExactCardinality

      public final OWLClassExpression ObjectExactCardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectMaxCardinality

      public final OWLClassExpression ObjectMaxCardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataAllValuesFrom

      public final OWLClassExpression DataAllValuesFrom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataSomeValuesFrom

      public final OWLClassExpression DataSomeValuesFrom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataHasValue

      public final OWLClassExpression DataHasValue() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataMinCardinality

      public final OWLClassExpression DataMinCardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataExactCardinality

      public final OWLClassExpression DataExactCardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataMaxCardinality

      public final OWLClassExpression DataMaxCardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • Class

      public final OWLClass Class() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectPropertyExpression

      public final OWLObjectPropertyExpression ObjectPropertyExpression() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • InverseObjectProperty

      public final OWLObjectPropertyExpression InverseObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectProperty

      public final OWLObjectProperty ObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataPropertyExpression

      public final OWLDataPropertyExpression DataPropertyExpression() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataPropertyIRI

      public final OWLDataProperty DataPropertyIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataProperty

      public final OWLDataProperty DataProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • AnnotationProperty

      public final OWLAnnotationProperty AnnotationProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • AnnotationPropertyIRI

      public final OWLAnnotationProperty AnnotationPropertyIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • NamedIndividual

      public final OWLNamedIndividual NamedIndividual() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • AnonymousIndividual

      public final OWLAnonymousIndividual AnonymousIndividual() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • Datatype

      public final OWLDatatype Datatype() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DatatypeIRI

      public final OWLDatatype DatatypeIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • Cardinality

      public final int Cardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • Integer

      public final int Integer() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DatatypeDefinitionAxiom

      public final OWLDatatypeDefinitionAxiom DatatypeDefinitionAxiom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataRange

      public final OWLDataRange DataRange() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataComplementOf

      public final OWLDataRange DataComplementOf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataOneOf

      public final OWLDataRange DataOneOf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataUnionOf

      public final OWLDataRange DataUnionOf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataIntersectionOf

      public final OWLDataRange DataIntersectionOf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataRangeRestriction

      public final OWLDataRange DataRangeRestriction() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataRangeFacetRestriction

      public final OWLFacetRestriction DataRangeFacetRestriction() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • Axiom

      public final OWLAxiom Axiom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ClassAxiom

      public final OWLClassAxiom ClassAxiom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • SubClassOf

      public final OWLClassAxiom SubClassOf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • EquivalentClasses

      public final OWLClassAxiom EquivalentClasses() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DisjointClasses

      public final OWLClassAxiom DisjointClasses() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DisjointUnion

      public final OWLClassAxiom DisjointUnion() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectPropertyAxiom

      public final OWLPropertyAxiom ObjectPropertyAxiom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • SubObjectPropertyChain

      public final List<OWLObjectPropertyExpression> SubObjectPropertyChain() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • SubObjectPropertyOf

      public final OWLPropertyAxiom SubObjectPropertyOf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • EquivalentObjectProperties

      public final OWLPropertyAxiom EquivalentObjectProperties() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DisjointObjectProperties

      public final OWLPropertyAxiom DisjointObjectProperties() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectPropertySet

      public final Set<OWLObjectPropertyExpression> ObjectPropertySet() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectPropertyRange

      public final OWLPropertyAxiom ObjectPropertyRange() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectPropertyDomain

      public final OWLPropertyAxiom ObjectPropertyDomain() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • FunctionalObjectProperty

      public final OWLPropertyAxiom FunctionalObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • InverseObjectProperties

      public final OWLPropertyAxiom InverseObjectProperties() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • InverseFunctionalObjectProperty

      public final OWLPropertyAxiom InverseFunctionalObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • SymmetricObjectProperty

      public final OWLPropertyAxiom SymmetricObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • AsymmetricObjectProperty

      public final OWLPropertyAxiom AsymmetricObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ReflexiveObjectProperty

      public final OWLPropertyAxiom ReflexiveObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • IrreflexiveObjectProperty

      public final OWLPropertyAxiom IrreflexiveObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • TransitiveObjectProperty

      public final OWLPropertyAxiom TransitiveObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataPropertyAxiom

      public final OWLPropertyAxiom DataPropertyAxiom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • SubDataPropertyOf

      public final OWLPropertyAxiom SubDataPropertyOf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • EquivalentDataProperties

      public final OWLPropertyAxiom EquivalentDataProperties() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DisjointDataProperties

      public final OWLPropertyAxiom DisjointDataProperties() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataPropertySet

      public final Set<OWLDataPropertyExpression> DataPropertySet() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataPropertyDomain

      public final OWLPropertyAxiom DataPropertyDomain() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataPropertyRange

      public final OWLPropertyAxiom DataPropertyRange() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • FunctionalDataProperty

      public final OWLPropertyAxiom FunctionalDataProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • IndividualAxiom

      public final OWLIndividualAxiom IndividualAxiom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • IndividualSet

      public final Set<OWLIndividual> IndividualSet() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • SameIndividuals

      public final OWLIndividualAxiom SameIndividuals() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DifferentIndividuals

      public final OWLIndividualAxiom DifferentIndividuals() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ClassAssertion

      public final OWLIndividualAxiom ClassAssertion() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectPropertyAssertion

      public final OWLIndividualAxiom ObjectPropertyAssertion() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • NegativeObjectPropertyAssertion

      public final OWLIndividualAxiom NegativeObjectPropertyAssertion() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataPropertyAssertion

      public final OWLIndividualAxiom DataPropertyAssertion() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • NegativeDataPropertyAssertion

      public final OWLIndividualAxiom NegativeDataPropertyAssertion() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • IndividualIRI

      public final OWLNamedIndividual IndividualIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • Individual

      public final OWLIndividual Individual() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectPropertyIRI

      public final OWLObjectProperty ObjectPropertyIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • AnnotationAxiom

      public final OWLAxiom AnnotationAxiom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • Annotation

      public final OWLAnnotation Annotation() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • AnnotationSubject

      public final OWLAnnotationSubject AnnotationSubject() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • AnnotationValue

      public final OWLAnnotationValue AnnotationValue() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • AxiomAnnotationSet

      public final Set<OWLAnnotation> AxiomAnnotationSet() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ImportsDeclaration

      public final OWLImportsDeclaration ImportsDeclaration() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • AnnotationAssertion

      public final OWLAnnotationAssertionAxiom AnnotationAssertion() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • SubAnnotationPropertyOf

      public final OWLSubAnnotationPropertyOfAxiom SubAnnotationPropertyOf() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • AnnotationPropertyDomain

      public final OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • AnnotationPropertyRange

      public final OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • HasKey

      public final OWLHasKeyAxiom HasKey() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • Declaration

      public final OWLAxiom Declaration() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • Entity

      public final OWLEntity Entity() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • Literal

      public final OWLLiteral Literal() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • QuotedString

      public final String QuotedString() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • LangTag

      public final String LangTag() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DLSafeRule

      public final SWRLRule DLSafeRule() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • Atom

      public final SWRLAtom Atom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ClassAtom

      public final SWRLClassAtom ClassAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataRangeAtom

      public final SWRLDataRangeAtom DataRangeAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ObjectPropertyAtom

      public final SWRLObjectPropertyAtom ObjectPropertyAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DataPropertyAtom

      public final SWRLDataPropertyAtom DataPropertyAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • BuiltInAtom

      public final SWRLBuiltInAtom BuiltInAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • SameIndividualAtom

      public final SWRLSameIndividualAtom SameIndividualAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DifferentIndividualsAtom

      public final SWRLDifferentIndividualsAtom DifferentIndividualsAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • IArg

      public final SWRLIArgument IArg() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • DArg

      public final SWRLDArgument DArg() throws org.semanticweb.owlapi.functional.parser.ParseException
      Throws:
      org.semanticweb.owlapi.functional.parser.ParseException

    • ReInit

      public void ReInit(org.semanticweb.owlapi.functional.parser.TokenManager tm)
      Reinitialise.

    • getNextToken

      public final org.semanticweb.owlapi.functional.parser.Token getNextToken()
      Get the next Token.

    • getToken

      public final org.semanticweb.owlapi.functional.parser.Token getToken(int index)
      Get the specific Token.

    • generateParseException

      public org.semanticweb.owlapi.functional.parser.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.