public class OWLFunctionalSyntaxParser extends Object implements OWLFunctionalSyntaxParserConstants
Modifier and Type | Field and Description |
---|---|
org.semanticweb.owlapi.functional.parser.Token |
jj_nt
Next token.
|
org.semanticweb.owlapi.functional.parser.Token |
token
Current token.
|
org.semanticweb.owlapi.functional.parser.TokenManager |
token_source
User defined Token Manager.
|
ANNOTATION, ANNOTATIONASSERTION, ANNOTATIONPROPERTY, ANNOTATIONPROPERTYDOMAIN, ANNOTATIONPROPERTYRANGE, ANY_CHAR, ANY_ESCAPED_CHAR, ASYMMETRICOBJECTPROPERTY, BODY, BUILTINATOM, CLASS, CLASSASSERTION, CLASSATOM, CLOSEPAR, COMMENT, COMMENT_START, DATAALLVALUESFROM, DATACOMPLEMENTOF, DATAEXACTCARDINALITY, DATAHASVALUE, DATAINTERSECTIONOF, DATAMAXCARDINALITY, DATAMINCARDINALITY, DATAONEOF, DATAPROP, DATAPROPERTYASSERTION, DATAPROPERTYATOM, DATAPROPERTYDOMAIN, DATAPROPERTYRANGE, DATARANGEATOM, DATASOMEVALUESFROM, DATATYPE, DATATYPEDEFINITION, DATATYPEIDENTIFIER, DATATYPERESTRICTION, DATAUNIONOF, DECLARATION, DESCRIPTIONGRAPH, DGRULE, DIFFERENTINDIVIDUALS, DIFFERENTINDIVIDUALSATOM, DISJOINTCLASSES, DISJOINTDATAPROPERTIES, DISJOINTOBJECTPROPERTIES, DISJOINTUNION, DLSAFERULE, DOCUMENTATION, EDGEASSERTION, EDGES, EOF, EQUALS, EQUIVALENTCLASSES, EQUIVALENTDATAPROPERTIES, EQUIVALENTOBJECTPROPERTIES, ERROR, FRACTIONDIGITS, FULLIRI, FUNCTIONALDATAPROPERTY, FUNCTIONALOBJECTPROPERTY, HASKEY, HEAD, IMPORT, INT, INVERSEFUNCTIONALOBJECTPROPERTY, INVERSEOBJECTPROPERTIES, IRREFLEXIVEOBJECTPROPERTY, LABEL, LANGIDENTIFIER, LENGTH, MAINCLASSES, MAXEXCLUSIVE, MAXINCLUSIVE, MAXLENGTH, MINEXCLUSIVE, MININCLUSIVE, MINLENGTH, NAMEDINDIVIDUAL, NEGATIVEDATAPROPERTYASSERTION, NEGATIVEOBJECTPROPERTYASSERTION, NODEASSERTION, NODEID, NODES, OBJECTALLVALUESFROM, OBJECTCOMPLEMENTOF, OBJECTEXACTCARDINALITY, OBJECTHASSELF, OBJECTHASVALUE, OBJECTINTERSECTIONOF, OBJECTINVERSEOF, OBJECTMAXCARDINALITY, OBJECTMINCARDINALITY, OBJECTONEOF, OBJECTPROP, OBJECTPROPERTYASSERTION, OBJECTPROPERTYATOM, OBJECTPROPERTYDOMAIN, OBJECTPROPERTYRANGE, OBJECTSOMEVALUESFROM, OBJECTUNIONOF, ONTOLOGY, OPENPAR, PATTERN, PN_CHARS, PN_CHARS_BASE, PN_CHARS_U, PN_LOCAL, PN_PREFIX, PNAME_LN, PNAME_NS, PREFIX, REFLEXIVEOBJECTPROPERTY, SAMEINDIVIDUAL, SAMEINDIVIDUALATOM, STRINGLITERAL, STRINGLITERAL_START, SUBANNOTATIONPROPERTYOF, SUBCLASSOF, SUBDATAPROPERTYOF, SUBOBJECTPROPERTYCHAIN, SUBOBJECTPROPERTYOF, SYMMETRICOBJECTPROPERTY, tokenImage, TOTALDIGITS, TRANSITIVEOBJECTPROPERTY, VARIABLE
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 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.