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 |
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 |
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.TokenManager |
token_source
User defined 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.TokenManager tm)
Constructor with user supplied Token Manager.
|
public final OWLObjectPropertyExpression InverseObjectProperty
public final OWLObjectProperty ObjectProperty
public final OWLDataProperty DataProperty
public final OWLAnnotationProperty AnnotationProperty
public final OWLPropertyAxiom FunctionalObjectProperty
public final OWLPropertyAxiom InverseFunctionalObjectProperty
public final OWLPropertyAxiom SymmetricObjectProperty
public final OWLPropertyAxiom AsymmetricObjectProperty
public final OWLPropertyAxiom ReflexiveObjectProperty
public final OWLPropertyAxiom IrreflexiveObjectProperty
public final OWLPropertyAxiom TransitiveObjectProperty
public final OWLPropertyAxiom FunctionalDataProperty
public org.semanticweb.owlapi.functional.parser.TokenManager 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 String[] tokenImage
public OWLFunctionalSyntaxParser(org.semanticweb.owlapi.functional.parser.TokenManager tm)
public void setUp(OWLOntology ontology, OWLOntologyLoaderConfiguration configuration)
public void setIgnoreAnnotationsAndDeclarations(boolean b)
public void setPrefixes(PrefixManager nsm)
public final FunctionalSyntaxDocumentFormat parse() throws org.semanticweb.owlapi.functional.parser.ParseException, OWLParserException, UnloadableImportException
public final void Ontology() throws org.semanticweb.owlapi.functional.parser.ParseException, OWLParserException, UnloadableImportException
public final void Prefix() throws org.semanticweb.owlapi.functional.parser.ParseException
public final IRI IRI() throws org.semanticweb.owlapi.functional.parser.ParseException
public final IRI FullIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
public final IRI AbbreviatedIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
public final String PrefixName() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression ClassExpression() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClass ClassIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
public final Set<OWLClassExpression> ClassExpressionSet() throws org.semanticweb.owlapi.functional.parser.ParseException
public final Set<OWLIndividual> IndividualMinOneSet() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression ObjectUnionOf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression ObjectIntersectionOf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression ObjectComplementOf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression ObjectOneOf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression ObjectAllValuesFrom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression ObjectSomeValuesFrom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression ObjectHasValue() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression ObjectSelf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression ObjectMinCardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression ObjectExactCardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression ObjectMaxCardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression DataAllValuesFrom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression DataSomeValuesFrom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression DataHasValue() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression DataMinCardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression DataExactCardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassExpression DataMaxCardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClass Class() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLObjectPropertyExpression ObjectPropertyExpression() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLObjectPropertyExpression InverseObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLObjectProperty ObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLDataPropertyExpression DataPropertyExpression() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLDataProperty DataPropertyIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLDataProperty DataProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLAnnotationProperty AnnotationProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLAnnotationProperty AnnotationPropertyIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLNamedIndividual NamedIndividual() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLAnonymousIndividual AnonymousIndividual() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLDatatype Datatype() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLDatatype DatatypeIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
public final int Cardinality() throws org.semanticweb.owlapi.functional.parser.ParseException
public final int Integer() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLDatatypeDefinitionAxiom DatatypeDefinitionAxiom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLDataRange DataRange() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLDataRange DataComplementOf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLDataRange DataOneOf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLDataRange DataUnionOf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLDataRange DataIntersectionOf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLDataRange DataRangeRestriction() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLFacetRestriction DataRangeFacetRestriction() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLAxiom Axiom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassAxiom ClassAxiom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassAxiom SubClassOf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassAxiom EquivalentClasses() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassAxiom DisjointClasses() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLClassAxiom DisjointUnion() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom ObjectPropertyAxiom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final List<OWLObjectPropertyExpression> SubObjectPropertyChain() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom SubObjectPropertyOf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom EquivalentObjectProperties() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom DisjointObjectProperties() throws org.semanticweb.owlapi.functional.parser.ParseException
public final Set<OWLObjectPropertyExpression> ObjectPropertySet() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom ObjectPropertyRange() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom ObjectPropertyDomain() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom FunctionalObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom InverseObjectProperties() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom InverseFunctionalObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom SymmetricObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom AsymmetricObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom ReflexiveObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom IrreflexiveObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom TransitiveObjectProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom DataPropertyAxiom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom SubDataPropertyOf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom EquivalentDataProperties() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom DisjointDataProperties() throws org.semanticweb.owlapi.functional.parser.ParseException
public final Set<OWLDataPropertyExpression> DataPropertySet() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom DataPropertyDomain() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom DataPropertyRange() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLPropertyAxiom FunctionalDataProperty() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLIndividualAxiom IndividualAxiom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final Set<OWLIndividual> IndividualSet() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLIndividualAxiom SameIndividuals() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLIndividualAxiom DifferentIndividuals() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLIndividualAxiom ClassAssertion() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLIndividualAxiom ObjectPropertyAssertion() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLIndividualAxiom NegativeObjectPropertyAssertion() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLIndividualAxiom DataPropertyAssertion() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLIndividualAxiom NegativeDataPropertyAssertion() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLNamedIndividual IndividualIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLIndividual Individual() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLObjectProperty ObjectPropertyIRI() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLAxiom AnnotationAxiom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLAnnotation Annotation() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLAnnotationSubject AnnotationSubject() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLAnnotationValue AnnotationValue() throws org.semanticweb.owlapi.functional.parser.ParseException
public final Set<OWLAnnotation> AxiomAnnotationSet() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLImportsDeclaration ImportsDeclaration() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLAnnotationAssertionAxiom AnnotationAssertion() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLSubAnnotationPropertyOfAxiom SubAnnotationPropertyOf() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLHasKeyAxiom HasKey() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLAxiom Declaration() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLEntity Entity() throws org.semanticweb.owlapi.functional.parser.ParseException
public final OWLLiteral Literal() throws org.semanticweb.owlapi.functional.parser.ParseException
public final String QuotedString() throws org.semanticweb.owlapi.functional.parser.ParseException
public final String LangTag() throws org.semanticweb.owlapi.functional.parser.ParseException
public final SWRLRule DLSafeRule() throws org.semanticweb.owlapi.functional.parser.ParseException
public final SWRLAtom Atom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final SWRLClassAtom ClassAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final SWRLDataRangeAtom DataRangeAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final SWRLObjectPropertyAtom ObjectPropertyAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final SWRLDataPropertyAtom DataPropertyAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final SWRLBuiltInAtom BuiltInAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final SWRLSameIndividualAtom SameIndividualAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final SWRLDifferentIndividualsAtom DifferentIndividualsAtom() throws org.semanticweb.owlapi.functional.parser.ParseException
public final SWRLIArgument IArg() throws org.semanticweb.owlapi.functional.parser.ParseException
public final SWRLDArgument DArg() throws org.semanticweb.owlapi.functional.parser.ParseException
public void ReInit(org.semanticweb.owlapi.functional.parser.TokenManager tm)
public final org.semanticweb.owlapi.functional.parser.Token getNextToken()
public final org.semanticweb.owlapi.functional.parser.Token getToken(int index)
public org.semanticweb.owlapi.functional.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.