public class OWLFunctionalSyntaxParser extends Object
| Modifier and Type | Field and Description |
|---|---|
static int |
ANNOTATION
RegularExpression Id.
|
static int |
ANNOTATIONASSERTION
RegularExpression Id.
|
static int |
ANNOTATIONPROPERTY
RegularExpression Id.
|
static int |
ANNOTATIONPROPERTYDOMAIN
RegularExpression Id.
|
static int |
ANNOTATIONPROPERTYRANGE
RegularExpression Id.
|
static int |
ANY_CHAR
RegularExpression Id.
|
static int |
ANY_ESCAPED_CHAR
RegularExpression Id.
|
static int |
ASYMMETRICOBJECTPROPERTY
RegularExpression Id.
|
static int |
BODY
RegularExpression Id.
|
static int |
BUILTINATOM
RegularExpression Id.
|
static int |
CLASS
RegularExpression Id.
|
static int |
CLASSASSERTION
RegularExpression Id.
|
static int |
CLASSATOM
RegularExpression Id.
|
static int |
CLOSEPAR
RegularExpression Id.
|
static int |
COMMENT
RegularExpression Id.
|
static int |
COMMENT_START
RegularExpression Id.
|
static int |
DATAALLVALUESFROM
RegularExpression Id.
|
static int |
DATACOMPLEMENTOF
RegularExpression Id.
|
static int |
DATAEXACTCARDINALITY
RegularExpression Id.
|
static int |
DATAHASVALUE
RegularExpression Id.
|
static int |
DATAINTERSECTIONOF
RegularExpression Id.
|
static int |
DATAMAXCARDINALITY
RegularExpression Id.
|
static int |
DATAMINCARDINALITY
RegularExpression Id.
|
static int |
DATAONEOF
RegularExpression Id.
|
static int |
DATAPROP
RegularExpression Id.
|
static int |
DATAPROPERTYASSERTION
RegularExpression Id.
|
static int |
DATAPROPERTYATOM
RegularExpression Id.
|
static int |
DATAPROPERTYDOMAIN
RegularExpression Id.
|
static int |
DATAPROPERTYRANGE
RegularExpression Id.
|
static int |
DATARANGEATOM
RegularExpression Id.
|
static int |
DATASOMEVALUESFROM
RegularExpression Id.
|
static int |
DATATYPE
RegularExpression Id.
|
static int |
DATATYPEDEFINITION
RegularExpression Id.
|
static int |
DATATYPEIDENTIFIER
RegularExpression Id.
|
static int |
DATATYPERESTRICTION
RegularExpression Id.
|
static int |
DATAUNIONOF
RegularExpression Id.
|
static int |
DECLARATION
RegularExpression Id.
|
static int |
DEFAULT
Lexical state.
|
static int |
DESCRIPTIONGRAPH
RegularExpression Id.
|
static int |
DGRULE
RegularExpression Id.
|
static int |
DIFFERENTINDIVIDUALS
RegularExpression Id.
|
static int |
DIFFERENTINDIVIDUALSATOM
RegularExpression Id.
|
static int |
DISJOINTCLASSES
RegularExpression Id.
|
static int |
DISJOINTDATAPROPERTIES
RegularExpression Id.
|
static int |
DISJOINTOBJECTPROPERTIES
RegularExpression Id.
|
static int |
DISJOINTUNION
RegularExpression Id.
|
static int |
DLSAFERULE
RegularExpression Id.
|
static int |
DOCUMENTATION
RegularExpression Id.
|
static int |
EDGEASSERTION
RegularExpression Id.
|
static int |
EDGES
RegularExpression Id.
|
static int |
EOF
End of File.
|
static int |
EQUALS
RegularExpression Id.
|
static int |
EQUIVALENTCLASSES
RegularExpression Id.
|
static int |
EQUIVALENTDATAPROPERTIES
RegularExpression Id.
|
static int |
EQUIVALENTOBJECTPROPERTIES
RegularExpression Id.
|
static int |
ERROR
RegularExpression Id.
|
static int |
FRACTIONDIGITS
RegularExpression Id.
|
static int |
FULLIRI
RegularExpression Id.
|
static int |
FUNCTIONALDATAPROPERTY
RegularExpression Id.
|
static int |
FUNCTIONALOBJECTPROPERTY
RegularExpression Id.
|
static int |
HASKEY
RegularExpression Id.
|
static int |
HEAD
RegularExpression Id.
|
static int |
IMPORT
RegularExpression Id.
|
static int |
IN_COMMENT
Lexical state.
|
static int |
IN_STRING_LITERAL
Lexical state.
|
static int |
INT
RegularExpression Id.
|
static int |
INVERSEFUNCTIONALOBJECTPROPERTY
RegularExpression Id.
|
static int |
INVERSEOBJECTPROPERTIES
RegularExpression Id.
|
static int |
IRREFLEXIVEOBJECTPROPERTY
RegularExpression Id.
|
org.semanticweb.owlapi.functional.parser.Token |
jj_nt
Next token.
|
static int |
LABEL
RegularExpression Id.
|
static int |
LANGIDENTIFIER
RegularExpression Id.
|
static int |
LENGTH
RegularExpression Id.
|
static int |
MAINCLASSES
RegularExpression Id.
|
static int |
MAXEXCLUSIVE
RegularExpression Id.
|
static int |
MAXINCLUSIVE
RegularExpression Id.
|
static int |
MAXLENGTH
RegularExpression Id.
|
static int |
MINEXCLUSIVE
RegularExpression Id.
|
static int |
MININCLUSIVE
RegularExpression Id.
|
static int |
MINLENGTH
RegularExpression Id.
|
static int |
NAMEDINDIVIDUAL
RegularExpression Id.
|
static int |
NEGATIVEDATAPROPERTYASSERTION
RegularExpression Id.
|
static int |
NEGATIVEOBJECTPROPERTYASSERTION
RegularExpression Id.
|
static int |
NODEASSERTION
RegularExpression Id.
|
static int |
NODEID
RegularExpression Id.
|
static int |
NODES
RegularExpression Id.
|
static int |
OBJECTALLVALUESFROM
RegularExpression Id.
|
static int |
OBJECTCOMPLEMENTOF
RegularExpression Id.
|
static int |
OBJECTEXACTCARDINALITY
RegularExpression Id.
|
static int |
OBJECTHASSELF
RegularExpression Id.
|
static int |
OBJECTHASVALUE
RegularExpression Id.
|
static int |
OBJECTINTERSECTIONOF
RegularExpression Id.
|
static int |
OBJECTINVERSEOF
RegularExpression Id.
|
static int |
OBJECTMAXCARDINALITY
RegularExpression Id.
|
static int |
OBJECTMINCARDINALITY
RegularExpression Id.
|
static int |
OBJECTONEOF
RegularExpression Id.
|
static int |
OBJECTPROP
RegularExpression Id.
|
static int |
OBJECTPROPERTYASSERTION
RegularExpression Id.
|
static int |
OBJECTPROPERTYATOM
RegularExpression Id.
|
static int |
OBJECTPROPERTYDOMAIN
RegularExpression Id.
|
static int |
OBJECTPROPERTYRANGE
RegularExpression Id.
|
static int |
OBJECTSOMEVALUESFROM
RegularExpression Id.
|
static int |
OBJECTUNIONOF
RegularExpression Id.
|
static int |
ONTOLOGY
RegularExpression Id.
|
static int |
OPENPAR
RegularExpression Id.
|
static int |
PATTERN
RegularExpression Id.
|
static int |
PN_CHARS
RegularExpression Id.
|
static int |
PN_CHARS_BASE
RegularExpression Id.
|
static int |
PN_CHARS_U
RegularExpression Id.
|
static int |
PN_LOCAL
RegularExpression Id.
|
static int |
PN_PREFIX
RegularExpression Id.
|
static int |
PNAME_LN
RegularExpression Id.
|
static int |
PNAME_NS
RegularExpression Id.
|
static int |
PREFIX
RegularExpression Id.
|
static int |
REFLEXIVEOBJECTPROPERTY
RegularExpression Id.
|
static int |
SAMEINDIVIDUAL
RegularExpression Id.
|
static int |
SAMEINDIVIDUALATOM
RegularExpression Id.
|
static int |
STRINGLITERAL
RegularExpression Id.
|
static int |
STRINGLITERAL_START
RegularExpression Id.
|
static int |
SUBANNOTATIONPROPERTYOF
RegularExpression Id.
|
static int |
SUBCLASSOF
RegularExpression Id.
|
static int |
SUBDATAPROPERTYOF
RegularExpression Id.
|
static int |
SUBOBJECTPROPERTYCHAIN
RegularExpression Id.
|
static int |
SUBOBJECTPROPERTYOF
RegularExpression Id.
|
static int |
SYMMETRICOBJECTPROPERTY
RegularExpression Id.
|
org.semanticweb.owlapi.functional.parser.Token |
token
Current token.
|
org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxParserTokenManager |
token_source
Generated Token Manager.
|
static String[] |
tokenImage
Literal token values.
|
static int |
TOTALDIGITS
RegularExpression Id.
|
static int |
TRANSITIVEOBJECTPROPERTY
RegularExpression Id.
|
static int |
VARIABLE
RegularExpression Id.
|
| Constructor and Description |
|---|
OWLFunctionalSyntaxParser(org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxParserTokenManager tm)
Constructor with generated Token Manager.
|
OWLFunctionalSyntaxParser(Provider stream)
Constructor.
|
OWLFunctionalSyntaxParser(String dsl)
Constructor.
|
public final OWLObjectPropertyExpression InverseObjectProperty
ParseExceptionpublic final OWLObjectProperty ObjectProperty
ParseExceptionpublic final OWLDataProperty DataProperty
ParseExceptionpublic final OWLAnnotationProperty AnnotationProperty
ParseExceptionpublic final OWLPropertyAxiom FunctionalObjectProperty
ParseExceptionpublic final OWLPropertyAxiom InverseFunctionalObjectProperty
ParseExceptionpublic final OWLPropertyAxiom SymmetricObjectProperty
ParseExceptionpublic final OWLPropertyAxiom AsymmetricObjectProperty
ParseExceptionpublic final OWLPropertyAxiom ReflexiveObjectProperty
ParseExceptionpublic final OWLPropertyAxiom IrreflexiveObjectProperty
ParseExceptionpublic final OWLPropertyAxiom TransitiveObjectProperty
ParseExceptionpublic final OWLPropertyAxiom FunctionalDataProperty
ParseExceptionpublic org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxParserTokenManager token_source
public org.semanticweb.owlapi.functional.parser.Token token
public org.semanticweb.owlapi.functional.parser.Token jj_nt
public static final int EOF
public static final int COMMENT_START
public static final int STRINGLITERAL_START
public static final int ANY_ESCAPED_CHAR
public static final int ANY_CHAR
public static final int STRINGLITERAL
public static final int OPENPAR
public static final int CLOSEPAR
public static final int ONTOLOGY
public static final int LABEL
public static final int IMPORT
public static final int COMMENT
public static final int SUBCLASSOF
public static final int LANGIDENTIFIER
public static final int DATATYPEIDENTIFIER
public static final int EQUIVALENTCLASSES
public static final int DISJOINTCLASSES
public static final int DISJOINTUNION
public static final int ANNOTATION
public static final int ANNOTATIONPROPERTY
public static final int ANNOTATIONASSERTION
public static final int SUBANNOTATIONPROPERTYOF
public static final int ANNOTATIONPROPERTYDOMAIN
public static final int ANNOTATIONPROPERTYRANGE
public static final int HASKEY
public static final int DECLARATION
public static final int DOCUMENTATION
public static final int CLASS
public static final int OBJECTPROP
public static final int DATAPROP
public static final int NAMEDINDIVIDUAL
public static final int DATATYPE
public static final int DATAONEOF
public static final int DATAUNIONOF
public static final int DATAINTERSECTIONOF
public static final int OBJECTONEOF
public static final int OBJECTUNIONOF
public static final int OBJECTHASVALUE
public static final int OBJECTINVERSEOF
public static final int INVERSEOBJECTPROPERTIES
public static final int DATACOMPLEMENTOF
public static final int DATATYPERESTRICTION
public static final int DATATYPEDEFINITION
public static final int OBJECTINTERSECTIONOF
public static final int OBJECTCOMPLEMENTOF
public static final int OBJECTALLVALUESFROM
public static final int OBJECTSOMEVALUESFROM
public static final int OBJECTHASSELF
public static final int OBJECTMINCARDINALITY
public static final int OBJECTMAXCARDINALITY
public static final int OBJECTEXACTCARDINALITY
public static final int DATAALLVALUESFROM
public static final int DATASOMEVALUESFROM
public static final int DATAHASVALUE
public static final int DATAMINCARDINALITY
public static final int DATAMAXCARDINALITY
public static final int DATAEXACTCARDINALITY
public static final int SUBOBJECTPROPERTYCHAIN
public static final int SUBOBJECTPROPERTYOF
public static final int EQUIVALENTOBJECTPROPERTIES
public static final int DISJOINTOBJECTPROPERTIES
public static final int OBJECTPROPERTYDOMAIN
public static final int OBJECTPROPERTYRANGE
public static final int FUNCTIONALOBJECTPROPERTY
public static final int INVERSEFUNCTIONALOBJECTPROPERTY
public static final int REFLEXIVEOBJECTPROPERTY
public static final int IRREFLEXIVEOBJECTPROPERTY
public static final int SYMMETRICOBJECTPROPERTY
public static final int ASYMMETRICOBJECTPROPERTY
public static final int TRANSITIVEOBJECTPROPERTY
public static final int SUBDATAPROPERTYOF
public static final int EQUIVALENTDATAPROPERTIES
public static final int DISJOINTDATAPROPERTIES
public static final int DATAPROPERTYDOMAIN
public static final int DATAPROPERTYRANGE
public static final int FUNCTIONALDATAPROPERTY
public static final int SAMEINDIVIDUAL
public static final int DIFFERENTINDIVIDUALS
public static final int CLASSASSERTION
public static final int OBJECTPROPERTYASSERTION
public static final int NEGATIVEOBJECTPROPERTYASSERTION
public static final int DATAPROPERTYASSERTION
public static final int NEGATIVEDATAPROPERTYASSERTION
public static final int PREFIX
public static final int LENGTH
public static final int MINLENGTH
public static final int MAXLENGTH
public static final int PATTERN
public static final int MININCLUSIVE
public static final int MAXINCLUSIVE
public static final int MINEXCLUSIVE
public static final int MAXEXCLUSIVE
public static final int TOTALDIGITS
public static final int FRACTIONDIGITS
public static final int DLSAFERULE
public static final int BODY
public static final int HEAD
public static final int CLASSATOM
public static final int DATARANGEATOM
public static final int OBJECTPROPERTYATOM
public static final int DATAPROPERTYATOM
public static final int BUILTINATOM
public static final int SAMEINDIVIDUALATOM
public static final int DIFFERENTINDIVIDUALSATOM
public static final int VARIABLE
public static final int DGRULE
public static final int DESCRIPTIONGRAPH
public static final int NODES
public static final int NODEASSERTION
public static final int EDGES
public static final int EDGEASSERTION
public static final int MAINCLASSES
public static final int EQUALS
public static final int INT
public static final int FULLIRI
public static final int PNAME_NS
public static final int PN_LOCAL
public static final int PNAME_LN
public static final int PN_PREFIX
public static final int PN_CHARS_BASE
public static final int PN_CHARS
public static final int PN_CHARS_U
public static final int NODEID
public static final int ERROR
public static final int DEFAULT
public static final int IN_COMMENT
public static final int IN_STRING_LITERAL
public static final String[] tokenImage
public OWLFunctionalSyntaxParser(Provider stream)
public OWLFunctionalSyntaxParser(String dsl) throws ParseException, org.semanticweb.owlapi.functional.parser.TokenMgrException
public OWLFunctionalSyntaxParser(org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxParserTokenManager tm)
public void setUp(OWLOntology ontology, OWLOntologyLoaderConfiguration configuration)
public void setIgnoreAnnotationsAndDeclarations(boolean b)
public void setPrefixes(PrefixManager nsm)
public final FunctionalSyntaxDocumentFormat parse() throws ParseException, OWLParserException, UnloadableImportException
public final void Ontology()
throws ParseException,
OWLParserException,
UnloadableImportException
public final void Prefix()
throws ParseException
ParseExceptionpublic final IRI IRI() throws ParseException
ParseExceptionpublic final IRI FullIRI() throws ParseException
ParseExceptionpublic final IRI AbbreviatedIRI() throws ParseException
ParseExceptionpublic final String PrefixName() throws ParseException
ParseExceptionpublic final OWLClassExpression ClassExpression() throws ParseException
ParseExceptionpublic final OWLClass ClassIRI() throws ParseException
ParseExceptionpublic final Set<OWLClassExpression> ClassExpressionSet() throws ParseException
ParseExceptionpublic final Set<OWLIndividual> IndividualMinOneSet() throws ParseException
ParseExceptionpublic final OWLClassExpression ObjectUnionOf() throws ParseException
ParseExceptionpublic final OWLClassExpression ObjectIntersectionOf() throws ParseException
ParseExceptionpublic final OWLClassExpression ObjectComplementOf() throws ParseException
ParseExceptionpublic final OWLClassExpression ObjectOneOf() throws ParseException
ParseExceptionpublic final OWLClassExpression ObjectAllValuesFrom() throws ParseException
ParseExceptionpublic final OWLClassExpression ObjectSomeValuesFrom() throws ParseException
ParseExceptionpublic final OWLClassExpression ObjectHasValue() throws ParseException
ParseExceptionpublic final OWLClassExpression ObjectSelf() throws ParseException
ParseExceptionpublic final OWLClassExpression ObjectMinCardinality() throws ParseException
ParseExceptionpublic final OWLClassExpression ObjectExactCardinality() throws ParseException
ParseExceptionpublic final OWLClassExpression ObjectMaxCardinality() throws ParseException
ParseExceptionpublic final OWLClassExpression DataAllValuesFrom() throws ParseException
ParseExceptionpublic final OWLClassExpression DataSomeValuesFrom() throws ParseException
ParseExceptionpublic final OWLClassExpression DataHasValue() throws ParseException
ParseExceptionpublic final OWLClassExpression DataMinCardinality() throws ParseException
ParseExceptionpublic final OWLClassExpression DataExactCardinality() throws ParseException
ParseExceptionpublic final OWLClassExpression DataMaxCardinality() throws ParseException
ParseExceptionpublic final OWLClass Class() throws ParseException
ParseExceptionpublic final OWLObjectPropertyExpression ObjectPropertyExpression() throws ParseException
ParseExceptionpublic final OWLObjectPropertyExpression InverseObjectProperty() throws ParseException
ParseExceptionpublic final OWLObjectProperty ObjectProperty() throws ParseException
ParseExceptionpublic final OWLDataPropertyExpression DataPropertyExpression() throws ParseException
ParseExceptionpublic final OWLDataProperty DataPropertyIRI() throws ParseException
ParseExceptionpublic final OWLDataProperty DataProperty() throws ParseException
ParseExceptionpublic final OWLAnnotationProperty AnnotationProperty() throws ParseException
ParseExceptionpublic final OWLAnnotationProperty AnnotationPropertyIRI() throws ParseException
ParseExceptionpublic final OWLNamedIndividual NamedIndividual() throws ParseException
ParseExceptionpublic final OWLAnonymousIndividual AnonymousIndividual() throws ParseException
ParseExceptionpublic final OWLDatatype Datatype() throws ParseException
ParseExceptionpublic final OWLDatatype DatatypeIRI() throws ParseException
ParseExceptionpublic final int Cardinality()
throws ParseException
ParseExceptionpublic final int Integer()
throws ParseException
ParseExceptionpublic final OWLDatatypeDefinitionAxiom DatatypeDefinitionAxiom() throws ParseException
ParseExceptionpublic final OWLDataRange DataRange() throws ParseException
ParseExceptionpublic final OWLDataRange DataComplementOf() throws ParseException
ParseExceptionpublic final OWLDataRange DataOneOf() throws ParseException
ParseExceptionpublic final OWLDataRange DataUnionOf() throws ParseException
ParseExceptionpublic final OWLDataRange DataIntersectionOf() throws ParseException
ParseExceptionpublic final OWLDataRange DataRangeRestriction() throws ParseException
ParseExceptionpublic final OWLFacetRestriction DataRangeFacetRestriction() throws ParseException
ParseExceptionpublic final OWLAxiom Axiom() throws ParseException
ParseExceptionpublic final OWLClassAxiom ClassAxiom() throws ParseException
ParseExceptionpublic final OWLClassAxiom SubClassOf() throws ParseException
ParseExceptionpublic final OWLClassAxiom EquivalentClasses() throws ParseException
ParseExceptionpublic final OWLClassAxiom DisjointClasses() throws ParseException
ParseExceptionpublic final OWLClassAxiom DisjointUnion() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom ObjectPropertyAxiom() throws ParseException
ParseExceptionpublic final List<OWLObjectPropertyExpression> SubObjectPropertyChain() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom SubObjectPropertyOf() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom EquivalentObjectProperties() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom DisjointObjectProperties() throws ParseException
ParseExceptionpublic final Set<OWLObjectPropertyExpression> ObjectPropertySet() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom ObjectPropertyRange() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom ObjectPropertyDomain() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom FunctionalObjectProperty() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom InverseObjectProperties() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom InverseFunctionalObjectProperty() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom SymmetricObjectProperty() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom AsymmetricObjectProperty() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom ReflexiveObjectProperty() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom IrreflexiveObjectProperty() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom TransitiveObjectProperty() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom DataPropertyAxiom() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom SubDataPropertyOf() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom EquivalentDataProperties() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom DisjointDataProperties() throws ParseException
ParseExceptionpublic final Set<OWLDataPropertyExpression> DataPropertySet() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom DataPropertyDomain() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom DataPropertyRange() throws ParseException
ParseExceptionpublic final OWLPropertyAxiom FunctionalDataProperty() throws ParseException
ParseExceptionpublic final OWLIndividualAxiom IndividualAxiom() throws ParseException
ParseExceptionpublic final Set<OWLIndividual> IndividualSet() throws ParseException
ParseExceptionpublic final OWLIndividualAxiom SameIndividuals() throws ParseException
ParseExceptionpublic final OWLIndividualAxiom DifferentIndividuals() throws ParseException
ParseExceptionpublic final OWLIndividualAxiom ClassAssertion() throws ParseException
ParseExceptionpublic final OWLIndividualAxiom ObjectPropertyAssertion() throws ParseException
ParseExceptionpublic final OWLIndividualAxiom NegativeObjectPropertyAssertion() throws ParseException
ParseExceptionpublic final OWLIndividualAxiom DataPropertyAssertion() throws ParseException
ParseExceptionpublic final OWLIndividualAxiom NegativeDataPropertyAssertion() throws ParseException
ParseExceptionpublic final OWLNamedIndividual IndividualIRI() throws ParseException
ParseExceptionpublic final OWLIndividual Individual() throws ParseException
ParseExceptionpublic final OWLObjectProperty ObjectPropertyIRI() throws ParseException
ParseExceptionpublic final OWLAxiom AnnotationAxiom() throws ParseException
ParseExceptionpublic final OWLAnnotation Annotation() throws ParseException
ParseExceptionpublic final OWLAnnotationSubject AnnotationSubject() throws ParseException
ParseExceptionpublic final OWLAnnotationValue AnnotationValue() throws ParseException
ParseExceptionpublic final Set<OWLAnnotation> AxiomAnnotationSet() throws ParseException
ParseExceptionpublic final OWLImportsDeclaration ImportsDeclaration() throws ParseException
ParseExceptionpublic final OWLAnnotationAssertionAxiom AnnotationAssertion() throws ParseException
ParseExceptionpublic final OWLSubAnnotationPropertyOfAxiom SubAnnotationPropertyOf() throws ParseException
ParseExceptionpublic final OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain() throws ParseException
ParseExceptionpublic final OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange() throws ParseException
ParseExceptionpublic final OWLHasKeyAxiom HasKey() throws ParseException
ParseExceptionpublic final OWLAxiom Declaration() throws ParseException
ParseExceptionpublic final OWLEntity Entity() throws ParseException
ParseExceptionpublic final OWLLiteral Literal() throws ParseException
ParseExceptionpublic final String QuotedString() throws ParseException
ParseExceptionpublic final String LangTag() throws ParseException
ParseExceptionpublic final SWRLRule DLSafeRule() throws ParseException
ParseExceptionpublic final SWRLAtom Atom() throws ParseException
ParseExceptionpublic final SWRLClassAtom ClassAtom() throws ParseException
ParseExceptionpublic final SWRLDataRangeAtom DataRangeAtom() throws ParseException
ParseExceptionpublic final SWRLObjectPropertyAtom ObjectPropertyAtom() throws ParseException
ParseExceptionpublic final SWRLDataPropertyAtom DataPropertyAtom() throws ParseException
ParseExceptionpublic final SWRLBuiltInAtom BuiltInAtom() throws ParseException
ParseExceptionpublic final SWRLSameIndividualAtom SameIndividualAtom() throws ParseException
ParseExceptionpublic final SWRLDifferentIndividualsAtom DifferentIndividualsAtom() throws ParseException
ParseExceptionpublic final SWRLIArgument IArg() throws ParseException
ParseExceptionpublic final SWRLDArgument DArg() throws ParseException
ParseExceptionpublic void ReInit(String s)
public void ReInit(Provider stream)
public void ReInit(org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxParserTokenManager tm)
public final org.semanticweb.owlapi.functional.parser.Token getNextToken()
public final org.semanticweb.owlapi.functional.parser.Token getToken(int index)
public ParseException generateParseException()
public final boolean trace_enabled()
public final void enable_tracing()
public final void disable_tracing()
Copyright © 2017 The University of Manchester. All rights reserved.