public class OWLFunctionalSyntaxParser extends Object implements OWLFunctionalSyntaxParserConstants
Type | Property and Description |
---|---|
OWLAnnotationProperty |
Annotation
Annotation property.
|
OWLPropertyAxiom |
AsymmetricObject
Asymmetric object property.
|
OWLDataProperty |
Data
Data property.
|
OWLPropertyAxiom |
FunctionalData
Functional data property.
|
OWLPropertyAxiom |
FunctionalObject
Functional object property.
|
OWLPropertyAxiom |
InverseFunctionalObject
Inverse functional object property.
|
OWLObjectPropertyExpression |
InverseObject
Inverse object property.
|
OWLPropertyAxiom |
IrreflexiveObject
Irreflexive object property.
|
OWLObjectProperty |
Object
Object property.
|
OWLPropertyAxiom |
ReflexiveObject
Reflexive object property.
|
OWLPropertyAxiom |
SymmetricObject
Symmetric object property.
|
OWLPropertyAxiom |
TransitiveObject
Transitive object property.
|
Modifier and Type | Field and Description |
---|---|
Token |
jj_nt
Next token.
|
Token |
token
Current token.
|
OWLFunctionalSyntaxParserTokenManager |
token_source
Generated 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, DEFAULT, 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, IN_COMMENT, IN_STRING_LITERAL, 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(InputStream stream)
Constructor with InputStream.
|
OWLFunctionalSyntaxParser(InputStream stream,
String encoding)
Constructor with InputStream and supplied encoding.
|
OWLFunctionalSyntaxParser(OWLFunctionalSyntaxParserTokenManager tm)
Constructor with generated Token Manager.
|
OWLFunctionalSyntaxParser(Reader stream)
Constructor.
|
public final OWLObjectPropertyExpression InverseObjectProperty
ParseException
public final OWLObjectProperty ObjectProperty
ParseException
public final OWLDataProperty DataProperty
ParseException
public final OWLAnnotationProperty AnnotationProperty
ParseException
public final OWLPropertyAxiom FunctionalObjectProperty
ParseException
public final OWLPropertyAxiom InverseFunctionalObjectProperty
ParseException
public final OWLPropertyAxiom SymmetricObjectProperty
ParseException
public final OWLPropertyAxiom AsymmetricObjectProperty
ParseException
public final OWLPropertyAxiom ReflexiveObjectProperty
ParseException
public final OWLPropertyAxiom IrreflexiveObjectProperty
ParseException
public final OWLPropertyAxiom TransitiveObjectProperty
ParseException
public final OWLPropertyAxiom FunctionalDataProperty
ParseException
public OWLFunctionalSyntaxParserTokenManager token_source
public Token token
public Token jj_nt
public OWLFunctionalSyntaxParser(InputStream stream)
stream
- the streampublic OWLFunctionalSyntaxParser(InputStream stream, String encoding)
stream
- the streamencoding
- the encodingpublic OWLFunctionalSyntaxParser(Reader stream)
stream
- the streampublic OWLFunctionalSyntaxParser(OWLFunctionalSyntaxParserTokenManager tm)
tm
- the tm@Deprecated public void setUp(OWLOntologyManager man, OWLOntology ontology, OWLOntologyLoaderConfiguration configuration)
man
- the manontology
- the ontologyconfiguration
- the configurationpublic void setUp(OWLOntology ontology, OWLOntologyLoaderConfiguration configuration)
ontology
- the ontologyconfiguration
- the configurationpublic void setIgnoreAnnotationsAndDeclarations(boolean b)
b
- the new ignore annotations and declarationspublic void setPrefixes(PrefixManager nsm)
nsm
- the new prefixespublic final OWLFunctionalSyntaxOntologyFormat parse() throws ParseException, OWLParserException, UnloadableImportException
ParseException
- the parse exceptionOWLParserException
- the oWL parser exceptionUnloadableImportException
- the unloadable import exceptionpublic final void Ontology() throws ParseException, OWLParserException, UnloadableImportException
ParseException
- the parse exceptionOWLParserException
- the oWL parser exceptionUnloadableImportException
- the unloadable import exceptionpublic final void Prefix() throws ParseException
ParseException
- the parse exceptionpublic final IRI IRI() throws ParseException
ParseException
- the parse exceptionpublic final IRI FullIRI() throws ParseException
ParseException
- the parse exceptionpublic final IRI AbbreviatedIRI() throws ParseException
ParseException
- the parse exceptionpublic final String PrefixName() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression ClassExpression() throws ParseException
ParseException
- the parse exceptionpublic final OWLClass ClassIRI() throws ParseException
ParseException
- the parse exceptionpublic final Set<OWLClassExpression> ClassExpressionSet() throws ParseException
ParseException
- the parse exceptionpublic final Set<OWLIndividual> IndividualMinOneSet() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression ObjectUnionOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression ObjectIntersectionOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression ObjectComplementOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression ObjectOneOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression ObjectAllValuesFrom() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression ObjectSomeValuesFrom() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression ObjectHasValue() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression ObjectSelf() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression ObjectMinCardinality() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression ObjectExactCardinality() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression ObjectMaxCardinality() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression DataAllValuesFrom() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression DataSomeValuesFrom() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression DataHasValue() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression DataMinCardinality() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression DataExactCardinality() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression DataMaxCardinality() throws ParseException
ParseException
- the parse exceptionpublic final OWLClass Class() throws ParseException
ParseException
- the parse exceptionpublic final OWLObjectPropertyExpression ObjectPropertyExpression() throws ParseException
ParseException
- the parse exceptionpublic final OWLObjectPropertyExpression InverseObjectProperty() throws ParseException
ParseException
public final OWLObjectProperty ObjectProperty() throws ParseException
ParseException
public final OWLDataPropertyExpression DataPropertyExpression() throws ParseException
ParseException
- the parse exceptionpublic final OWLDataProperty DataPropertyIRI() throws ParseException
ParseException
- the parse exceptionpublic final OWLDataProperty DataProperty() throws ParseException
ParseException
public final OWLAnnotationProperty AnnotationProperty() throws ParseException
ParseException
public final OWLAnnotationProperty AnnotationPropertyIRI() throws ParseException
ParseException
- the parse exceptionpublic final OWLNamedIndividual NamedIndividual() throws ParseException
ParseException
- the parse exceptionpublic final OWLAnonymousIndividual AnonymousIndividual() throws ParseException
ParseException
- the parse exceptionpublic final OWLDatatype Datatype() throws ParseException
ParseException
- the parse exceptionpublic final OWLDatatype DatatypeIRI() throws ParseException
ParseException
- the parse exceptionpublic final int Cardinality() throws ParseException
ParseException
- the parse exceptionpublic final int Integer() throws ParseException
ParseException
- the parse exceptionpublic final OWLDatatypeDefinitionAxiom DatatypeDefinitionAxiom() throws ParseException
ParseException
- the parse exceptionpublic final OWLDataRange DataRange() throws ParseException
ParseException
- the parse exceptionpublic final OWLDataRange DataComplementOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLDataRange DataOneOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLDataRange DataUnionOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLDataRange DataIntersectionOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLDataRange DataRangeRestriction() throws ParseException
ParseException
- the parse exceptionpublic final OWLFacetRestriction DataRangeFacetRestriction() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom Axiom() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassAxiom ClassAxiom() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassAxiom SubClassOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassAxiom EquivalentClasses() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassAxiom DisjointClasses() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassAxiom DisjointUnion() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom ObjectPropertyAxiom() throws ParseException
ParseException
- the parse exceptionpublic final List<OWLObjectPropertyExpression> SubObjectPropertyChain() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom SubObjectPropertyOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom EquivalentObjectProperties() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom DisjointObjectProperties() throws ParseException
ParseException
- the parse exceptionpublic final Set<OWLObjectPropertyExpression> ObjectPropertySet() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom ObjectPropertyRange() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom ObjectPropertyDomain() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom FunctionalObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom InverseObjectProperties() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom InverseFunctionalObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom SymmetricObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom AsymmetricObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom ReflexiveObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom IrreflexiveObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom TransitiveObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom DataPropertyAxiom() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom SubDataPropertyOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom EquivalentDataProperties() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom DisjointDataProperties() throws ParseException
ParseException
- the parse exceptionpublic final Set<OWLDataPropertyExpression> DataPropertySet() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom DataPropertyDomain() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom DataPropertyRange() throws ParseException
ParseException
- the parse exceptionpublic final OWLPropertyAxiom FunctionalDataProperty() throws ParseException
ParseException
public final OWLIndividualAxiom IndividualAxiom() throws ParseException
ParseException
- the parse exceptionpublic final Set<OWLIndividual> IndividualSet() throws ParseException
ParseException
- the parse exceptionpublic final OWLIndividualAxiom SameIndividuals() throws ParseException
ParseException
- the parse exceptionpublic final OWLIndividualAxiom DifferentIndividuals() throws ParseException
ParseException
- the parse exceptionpublic final OWLIndividualAxiom ClassAssertion() throws ParseException
ParseException
- the parse exceptionpublic final OWLIndividualAxiom ObjectPropertyAssertion() throws ParseException
ParseException
- the parse exceptionpublic final OWLIndividualAxiom NegativeObjectPropertyAssertion() throws ParseException
ParseException
- the parse exceptionpublic final OWLIndividualAxiom DataPropertyAssertion() throws ParseException
ParseException
- the parse exceptionpublic final OWLIndividualAxiom NegativeDataPropertyAssertion() throws ParseException
ParseException
- the parse exceptionpublic final OWLNamedIndividual IndividualIRI() throws ParseException
ParseException
- the parse exceptionpublic final OWLIndividual Individual() throws ParseException
ParseException
- the parse exceptionpublic final OWLObjectProperty ObjectPropertyIRI() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom AnnotationAxiom() throws ParseException
ParseException
- the parse exceptionpublic final OWLAnnotation Annotation() throws ParseException
ParseException
- the parse exceptionpublic final OWLAnnotationSubject AnnotationSubject() throws ParseException
ParseException
- the parse exceptionpublic final OWLAnnotationValue AnnotationValue() throws ParseException
ParseException
- the parse exceptionpublic final Set<OWLAnnotation> AxiomAnnotationSet() throws ParseException
ParseException
- the parse exceptionpublic final OWLImportsDeclaration ImportsDeclaration() throws ParseException
ParseException
- the parse exceptionpublic final OWLAnnotationAssertionAxiom AnnotationAssertion() throws ParseException
ParseException
- the parse exceptionpublic final OWLSubAnnotationPropertyOfAxiom SubAnnotationPropertyOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain() throws ParseException
ParseException
- the parse exceptionpublic final OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange() throws ParseException
ParseException
- the parse exceptionpublic final OWLHasKeyAxiom HasKey() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom Declaration() throws ParseException
ParseException
- the parse exceptionpublic final OWLEntity Entity() throws ParseException
ParseException
- the parse exceptionpublic final OWLLiteral Literal() throws ParseException
ParseException
- the parse exceptionpublic final String QuotedString() throws ParseException
ParseException
- the parse exceptionpublic final String LangTag() throws ParseException
ParseException
- the parse exceptionpublic final SWRLRule DLSafeRule() throws ParseException
ParseException
- the parse exceptionpublic final SWRLAtom Atom() throws ParseException
ParseException
- the parse exceptionpublic final SWRLClassAtom ClassAtom() throws ParseException
ParseException
- the parse exceptionpublic final SWRLDataRangeAtom DataRangeAtom() throws ParseException
ParseException
- the parse exceptionpublic final SWRLObjectPropertyAtom ObjectPropertyAtom() throws ParseException
ParseException
- the parse exceptionpublic final SWRLDataPropertyAtom DataPropertyAtom() throws ParseException
ParseException
- the parse exceptionpublic final SWRLBuiltInAtom BuiltInAtom() throws ParseException
ParseException
- the parse exceptionpublic final SWRLSameIndividualAtom SameIndividualAtom() throws ParseException
ParseException
- the parse exceptionpublic final SWRLDifferentIndividualsAtom DifferentIndividualsAtom() throws ParseException
ParseException
- the parse exceptionpublic final SWRLIArgument IArg() throws ParseException
ParseException
- the parse exceptionpublic final SWRLDArgument DArg() throws ParseException
ParseException
- the parse exceptionpublic void ReInit(InputStream stream)
stream
- the streampublic void ReInit(InputStream stream, String encoding)
stream
- the streamencoding
- the encodingpublic void ReInit(Reader stream)
stream
- the streampublic void ReInit(OWLFunctionalSyntaxParserTokenManager tm)
tm
- the tmpublic final Token getNextToken()
public final Token getToken(int index)
index
- the indexpublic ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()
Copyright © 2017 The University of Manchester. All Rights Reserved.