OWLFunctionalSyntaxParser (parsers 3.4.1 API)

java.lang.Object
- org.coode.owlapi.functionalparser.OWLFunctionalSyntaxParser

All Implemented Interfaces:: OWLFunctionalSyntaxParserConstants

public class OWLFunctionalSyntaxParser
extends Object
implements OWLFunctionalSyntaxParserConstants

Property Summary

Properties
Type	Property and Description
`OWLAnnotationProperty`	`Annotation`
`OWLPropertyAxiom`	`AsymmetricObject`
`OWLDataProperty`	`Data`
`OWLPropertyAxiom`	`FunctionalData`
`OWLPropertyAxiom`	`FunctionalObject`
`OWLPropertyAxiom`	`InverseFunctionalObject`
`OWLObjectPropertyExpression`	`InverseObject`
`OWLPropertyAxiom`	`IrreflexiveObject`
`OWLObjectProperty`	`Object`
`OWLPropertyAxiom`	`ReflexiveObject`
`OWLPropertyAxiom`	`SymmetricObject`
`OWLPropertyAxiom`	`TransitiveObject`

Field Summary

Fields
Modifier and Type Field and Description

Token jj_nt
Next token.

Token token
Current token.

OWLFunctionalSyntaxParserTokenManager token_source
Generated Token Manager.
- Fields inherited from interface org.coode.owlapi.functionalparser.OWLFunctionalSyntaxParserConstants
  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

Fields
Modifier and Type	Field and Description
`Token`	`jj_nt` Next token.
`Token`	`token` Current token.
`OWLFunctionalSyntaxParserTokenManager`	`token_source` Generated Token Manager.

Constructor Summary

Constructors
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.

Method Summary

Methods
Modifier and Type	Method and Description
`IRI`	`AbbreviatedIRI()`
`protected void`	`addAxiom(OWLAxiom ax)`
`OWLAnnotation`	`Annotation()`
`OWLAnnotationAssertionAxiom`	`AnnotationAssertion()`
`OWLAxiom`	`AnnotationAxiom()`
`OWLAnnotationProperty`	`AnnotationProperty()`
`OWLAnnotationPropertyDomainAxiom`	`AnnotationPropertyDomain()`
`OWLAnnotationProperty`	`AnnotationPropertyIRI()`
`OWLAnnotationPropertyRangeAxiom`	`AnnotationPropertyRange()`
`OWLAnnotationSubject`	`AnnotationSubject()`
`OWLAnnotationValue`	`AnnotationValue()`
`OWLAnonymousIndividual`	`AnonymousIndividual()`
`protected void`	`applyChange(OWLOntologyChange chg)`
`OWLPropertyAxiom`	`AsymmetricObjectProperty()`
`SWRLAtom`	`Atom()`
`OWLAxiom`	`Axiom()`
`Set<OWLAnnotation>`	`AxiomAnnotationSet()`
`SWRLBuiltInAtom`	`BuiltInAtom()`
`int`	`Cardinality()`
`OWLClass`	`Class()`
`OWLIndividualAxiom`	`ClassAssertion()`
`SWRLClassAtom`	`ClassAtom()`
`OWLClassAxiom`	`ClassAxiom()`
`OWLClassExpression`	`ClassExpression()`
`Set<OWLClassExpression>`	`ClassExpressionSet()`
`OWLClass`	`ClassIRI()`
`SWRLDArgument`	`DArg()`
`OWLClassExpression`	`DataAllValuesFrom()`
`OWLDataRange`	`DataComplementOf()`
`OWLClassExpression`	`DataExactCardinality()`
`OWLClassExpression`	`DataHasValue()`
`OWLDataRange`	`DataIntersectionOf()`
`OWLClassExpression`	`DataMaxCardinality()`
`OWLClassExpression`	`DataMinCardinality()`
`OWLDataRange`	`DataOneOf()`
`OWLDataProperty`	`DataProperty()`
`OWLIndividualAxiom`	`DataPropertyAssertion()`
`SWRLDataPropertyAtom`	`DataPropertyAtom()`
`OWLPropertyAxiom`	`DataPropertyAxiom()`
`OWLPropertyAxiom`	`DataPropertyDomain()`
`OWLDataPropertyExpression`	`DataPropertyExpression()`
`OWLDataProperty`	`DataPropertyIRI()`
`OWLPropertyAxiom`	`DataPropertyRange()`
`Set<OWLDataPropertyExpression>`	`DataPropertySet()`
`OWLDataRange`	`DataRange()`
`SWRLDataRangeAtom`	`DataRangeAtom()`
`OWLFacetRestriction`	`DataRangeFacetRestriction()`
`OWLDataRange`	`DataRangeRestriction()`
`OWLClassExpression`	`DataSomeValuesFrom()`
`OWLDatatype`	`Datatype()`
`OWLDatatypeDefinitionAxiom`	`DatatypeDefinitionAxiom()`
`OWLDatatype`	`DatatypeIRI()`
`OWLDataRange`	`DataUnionOf()`
`OWLAxiom`	`Declaration()`
`OWLIndividualAxiom`	`DifferentIndividuals()`
`SWRLDifferentIndividualsAtom`	`DifferentIndividualsAtom()`
`void`	`disable_tracing()` Disable tracing.
`OWLClassAxiom`	`DisjointClasses()`
`OWLPropertyAxiom`	`DisjointDataProperties()`
`OWLPropertyAxiom`	`DisjointObjectProperties()`
`OWLClassAxiom`	`DisjointUnion()`
`SWRLRule`	`DLSafeRule()`
`void`	`enable_tracing()` Enable tracing.
`OWLEntity`	`Entity()`
`OWLClassAxiom`	`EquivalentClasses()`
`OWLPropertyAxiom`	`EquivalentDataProperties()`
`OWLPropertyAxiom`	`EquivalentObjectProperties()`
`IRI`	`FullIRI()`
`OWLPropertyAxiom`	`FunctionalDataProperty()`
`OWLPropertyAxiom`	`FunctionalObjectProperty()`
`ParseException`	`generateParseException()` Generate ParseException.
`IRI`	`getIRI(String s)`
`Token`	`getNextToken()` Get the next Token.
`Token`	`getToken(int index)` Get the specific Token.
`OWLHasKeyAxiom`	`HasKey()`
`SWRLIArgument`	`IArg()`
`OWLImportsDeclaration`	`ImportsDeclaration()`
`OWLIndividual`	`Individual()`
`OWLIndividualAxiom`	`IndividualAxiom()`
`OWLNamedIndividual`	`IndividualIRI()`
`Set<OWLIndividual>`	`IndividualMinOneSet()`
`Set<OWLIndividual>`	`IndividualSet()`
`int`	`Integer()`
`OWLPropertyAxiom`	`InverseFunctionalObjectProperty()`
`OWLPropertyAxiom`	`InverseObjectProperties()`
`OWLObjectPropertyExpression`	`InverseObjectProperty()`
`IRI`	`IRI()`
`OWLPropertyAxiom`	`IrreflexiveObjectProperty()`
`String`	`LangTag()`
`OWLLiteral`	`Literal()`
`OWLNamedIndividual`	`NamedIndividual()`
`OWLIndividualAxiom`	`NegativeDataPropertyAssertion()`
`OWLIndividualAxiom`	`NegativeObjectPropertyAssertion()`
`OWLClassExpression`	`ObjectAllValuesFrom()`
`OWLClassExpression`	`ObjectComplementOf()`
`OWLClassExpression`	`ObjectExactCardinality()`
`OWLClassExpression`	`ObjectHasValue()`
`OWLClassExpression`	`ObjectIntersectionOf()`
`OWLClassExpression`	`ObjectMaxCardinality()`
`OWLClassExpression`	`ObjectMinCardinality()`
`OWLClassExpression`	`ObjectOneOf()`
`OWLObjectProperty`	`ObjectProperty()`
`OWLIndividualAxiom`	`ObjectPropertyAssertion()`
`SWRLObjectPropertyAtom`	`ObjectPropertyAtom()`
`OWLPropertyAxiom`	`ObjectPropertyAxiom()`
`OWLPropertyAxiom`	`ObjectPropertyDomain()`
`OWLObjectPropertyExpression`	`ObjectPropertyExpression()`
`OWLObjectProperty`	`ObjectPropertyIRI()`
`OWLPropertyAxiom`	`ObjectPropertyRange()`
`Set<OWLObjectPropertyExpression>`	`ObjectPropertySet()`
`OWLClassExpression`	`ObjectSelf()`
`OWLClassExpression`	`ObjectSomeValuesFrom()`
`OWLClassExpression`	`ObjectUnionOf()`
`void`	`Ontology()`
`OWLFunctionalSyntaxOntologyFormat`	`parse()`
`void`	`Prefix()`
`String`	`PrefixName()`
`String`	`QuotedString()`
`OWLPropertyAxiom`	`ReflexiveObjectProperty()`
`void`	`ReInit(InputStream stream)` Reinitialise.
`void`	`ReInit(InputStream stream, String encoding)` Reinitialise.
`void`	`ReInit(OWLFunctionalSyntaxParserTokenManager tm)` Reinitialise.
`void`	`ReInit(Reader stream)` Reinitialise.
`SWRLSameIndividualAtom`	`SameIndividualAtom()`
`OWLIndividualAxiom`	`SameIndividuals()`
`void`	`setIgnoreAnnotationsAndDeclarations(boolean b)`
`void`	`setPrefixes(PrefixManager nsm)`
`void`	`setUp(OWLOntologyManager man, OWLOntology ontology, OWLOntologyLoaderConfiguration configuration)` Deprecated.
`void`	`setUp(OWLOntology ontology, OWLOntologyLoaderConfiguration configuration)`
`OWLSubAnnotationPropertyOfAxiom`	`SubAnnotationPropertyOf()`
`OWLClassAxiom`	`SubClassOf()`
`OWLPropertyAxiom`	`SubDataPropertyOf()`
`List<OWLObjectPropertyExpression>`	`SubObjectPropertyChain()`
`OWLPropertyAxiom`	`SubObjectPropertyOf()`
`OWLPropertyAxiom`	`SymmetricObjectProperty()`
`OWLPropertyAxiom`	`TransitiveObjectProperty()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Property Detail
- InverseObject
  
  Throws:
  
  ParseException
- Object
  
  Throws:
  
  ParseException
- Data
  
  Throws:
  
  ParseException
- Annotation
  
  Throws:
  
  ParseException
- FunctionalObject
  
  Throws:
  
  ParseException
- InverseFunctionalObject
  
  Throws:
  
  ParseException
- SymmetricObject
  
  Throws:
  
  ParseException
- AsymmetricObject
  
  Throws:
  
  ParseException
- ReflexiveObject
  
  Throws:
  
  ParseException
- IrreflexiveObject
  
  Throws:
  
  ParseException
- TransitiveObject
  
  Throws:
  
  ParseException
- FunctionalData
  
  Throws:
  
  ParseException

Field Detail

token_source

public OWLFunctionalSyntaxParserTokenManager token_source

Generated Token Manager.

token
```
public Token token
```
Current token.

jj_nt
```
public Token jj_nt
```
Next token.

Constructor Detail

OWLFunctionalSyntaxParser

public OWLFunctionalSyntaxParser(InputStream stream)

Constructor with InputStream.

OWLFunctionalSyntaxParser

public OWLFunctionalSyntaxParser(InputStream stream,
                         String encoding)

Constructor with InputStream and supplied encoding

OWLFunctionalSyntaxParser

public OWLFunctionalSyntaxParser(Reader stream)

Constructor.

OWLFunctionalSyntaxParser

public OWLFunctionalSyntaxParser(OWLFunctionalSyntaxParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

setUp

@Deprecated
public void setUp(OWLOntologyManager man,
                    OWLOntology ontology,
                    OWLOntologyLoaderConfiguration configuration)

Deprecated.

setUp

public void setUp(OWLOntology ontology,
         OWLOntologyLoaderConfiguration configuration)

getIRI
```
public IRI getIRI(String s)
```

setIgnoreAnnotationsAndDeclarations

public void setIgnoreAnnotationsAndDeclarations(boolean b)

applyChange

protected void applyChange(OWLOntologyChange chg)

addAxiom
```
protected void addAxiom(OWLAxiom ax)
```

setPrefixes

public void setPrefixes(PrefixManager nsm)

parse

public final OWLFunctionalSyntaxOntologyFormat parse()
                                              throws ParseException,
                                                     OWLParserException,
                                                     IOException,
                                                     UnloadableImportException

Throws:: ParseException; OWLParserException; IOException; UnloadableImportException

Ontology

public final void Ontology()
                    throws ParseException,
                           OWLParserException,
                           UnloadableImportException

Throws:: ParseException; OWLParserException; UnloadableImportException

Prefix

public final void Prefix()
                  throws ParseException

Throws:: ParseException

IRI

public final IRI IRI()
              throws ParseException

Throws:: ParseException

FullIRI

public final IRI FullIRI()
                  throws ParseException

Throws:: ParseException

AbbreviatedIRI

public final IRI AbbreviatedIRI()
                         throws ParseException

Throws:: ParseException

PrefixName

public final String PrefixName()
                        throws ParseException

Throws:: ParseException

ClassExpression

public final OWLClassExpression ClassExpression()
                                         throws ParseException

Throws:: ParseException

ClassIRI

public final OWLClass ClassIRI()
                        throws ParseException

Throws:: ParseException

ClassExpressionSet

public final Set<OWLClassExpression> ClassExpressionSet()
                                                 throws ParseException

Throws:: ParseException

IndividualMinOneSet

public final Set<OWLIndividual> IndividualMinOneSet()
                                             throws ParseException

Throws:: ParseException

ObjectUnionOf

public final OWLClassExpression ObjectUnionOf()
                                       throws ParseException

Throws:: ParseException

ObjectIntersectionOf

public final OWLClassExpression ObjectIntersectionOf()
                                              throws ParseException

Throws:: ParseException

ObjectComplementOf

public final OWLClassExpression ObjectComplementOf()
                                            throws ParseException

Throws:: ParseException

ObjectOneOf

public final OWLClassExpression ObjectOneOf()
                                     throws ParseException

Throws:: ParseException

ObjectAllValuesFrom

public final OWLClassExpression ObjectAllValuesFrom()
                                             throws ParseException

Throws:: ParseException

ObjectSomeValuesFrom

public final OWLClassExpression ObjectSomeValuesFrom()
                                              throws ParseException

Throws:: ParseException

ObjectHasValue

public final OWLClassExpression ObjectHasValue()
                                        throws ParseException

Throws:: ParseException

ObjectSelf

public final OWLClassExpression ObjectSelf()
                                    throws ParseException

Throws:: ParseException

ObjectMinCardinality

public final OWLClassExpression ObjectMinCardinality()
                                              throws ParseException

Throws:: ParseException

ObjectExactCardinality

public final OWLClassExpression ObjectExactCardinality()
                                                throws ParseException

Throws:: ParseException

ObjectMaxCardinality

public final OWLClassExpression ObjectMaxCardinality()
                                              throws ParseException

Throws:: ParseException

DataAllValuesFrom

public final OWLClassExpression DataAllValuesFrom()
                                           throws ParseException

Throws:: ParseException

DataSomeValuesFrom

public final OWLClassExpression DataSomeValuesFrom()
                                            throws ParseException

Throws:: ParseException

DataHasValue

public final OWLClassExpression DataHasValue()
                                      throws ParseException

Throws:: ParseException

DataMinCardinality

public final OWLClassExpression DataMinCardinality()
                                            throws ParseException

Throws:: ParseException

DataExactCardinality

public final OWLClassExpression DataExactCardinality()
                                              throws ParseException

Throws:: ParseException

DataMaxCardinality

public final OWLClassExpression DataMaxCardinality()
                                            throws ParseException

Throws:: ParseException

Class

public final OWLClass Class()
                     throws ParseException

Throws:: ParseException

ObjectPropertyExpression

public final OWLObjectPropertyExpression ObjectPropertyExpression()
                                                           throws ParseException

Throws:: ParseException

InverseObjectProperty

public final OWLObjectPropertyExpression InverseObjectProperty()
                                                        throws ParseException

Throws:: ParseException

ObjectProperty

public final OWLObjectProperty ObjectProperty()
                                       throws ParseException

Throws:: ParseException

DataPropertyExpression

public final OWLDataPropertyExpression DataPropertyExpression()
                                                       throws ParseException

Throws:: ParseException

DataPropertyIRI

public final OWLDataProperty DataPropertyIRI()
                                      throws ParseException

Throws:: ParseException

DataProperty

public final OWLDataProperty DataProperty()
                                   throws ParseException

Throws:: ParseException

AnnotationProperty

public final OWLAnnotationProperty AnnotationProperty()
                                               throws ParseException

Throws:: ParseException

AnnotationPropertyIRI

public final OWLAnnotationProperty AnnotationPropertyIRI()
                                                  throws ParseException

Throws:: ParseException

NamedIndividual

public final OWLNamedIndividual NamedIndividual()
                                         throws ParseException

Throws:: ParseException

AnonymousIndividual

public final OWLAnonymousIndividual AnonymousIndividual()
                                                 throws ParseException

Throws:: ParseException

Datatype

public final OWLDatatype Datatype()
                           throws ParseException

Throws:: ParseException

DatatypeIRI

public final OWLDatatype DatatypeIRI()
                              throws ParseException

Throws:: ParseException

Cardinality

public final int Cardinality()
                      throws ParseException

Throws:: ParseException

Integer

public final int Integer()
                  throws ParseException

Throws:: ParseException

DatatypeDefinitionAxiom

public final OWLDatatypeDefinitionAxiom DatatypeDefinitionAxiom()
                                                         throws ParseException

Throws:: ParseException

DataRange

public final OWLDataRange DataRange()
                             throws ParseException

Throws:: ParseException

DataComplementOf

public final OWLDataRange DataComplementOf()
                                    throws ParseException

Throws:: ParseException

DataOneOf

public final OWLDataRange DataOneOf()
                             throws ParseException

Throws:: ParseException

DataUnionOf

public final OWLDataRange DataUnionOf()
                               throws ParseException

Throws:: ParseException

DataIntersectionOf

public final OWLDataRange DataIntersectionOf()
                                      throws ParseException

Throws:: ParseException

DataRangeRestriction

public final OWLDataRange DataRangeRestriction()
                                        throws ParseException

Throws:: ParseException

DataRangeFacetRestriction

public final OWLFacetRestriction DataRangeFacetRestriction()
                                                    throws ParseException

Throws:: ParseException

Axiom

public final OWLAxiom Axiom()
                     throws ParseException

Throws:: ParseException

ClassAxiom

public final OWLClassAxiom ClassAxiom()
                               throws ParseException

Throws:: ParseException

SubClassOf

public final OWLClassAxiom SubClassOf()
                               throws ParseException

Throws:: ParseException

EquivalentClasses

public final OWLClassAxiom EquivalentClasses()
                                      throws ParseException

Throws:: ParseException

DisjointClasses

public final OWLClassAxiom DisjointClasses()
                                    throws ParseException

Throws:: ParseException

DisjointUnion

public final OWLClassAxiom DisjointUnion()
                                  throws ParseException

Throws:: ParseException

ObjectPropertyAxiom

public final OWLPropertyAxiom ObjectPropertyAxiom()
                                           throws ParseException

Throws:: ParseException

SubObjectPropertyChain

public final List<OWLObjectPropertyExpression> SubObjectPropertyChain()
                                                               throws ParseException

Throws:: ParseException

SubObjectPropertyOf

public final OWLPropertyAxiom SubObjectPropertyOf()
                                           throws ParseException

Throws:: ParseException

EquivalentObjectProperties

public final OWLPropertyAxiom EquivalentObjectProperties()
                                                  throws ParseException

Throws:: ParseException

DisjointObjectProperties

public final OWLPropertyAxiom DisjointObjectProperties()
                                                throws ParseException

Throws:: ParseException

ObjectPropertySet

public final Set<OWLObjectPropertyExpression> ObjectPropertySet()
                                                         throws ParseException

Throws:: ParseException

ObjectPropertyRange

public final OWLPropertyAxiom ObjectPropertyRange()
                                           throws ParseException

Throws:: ParseException

ObjectPropertyDomain

public final OWLPropertyAxiom ObjectPropertyDomain()
                                            throws ParseException

Throws:: ParseException

FunctionalObjectProperty

public final OWLPropertyAxiom FunctionalObjectProperty()
                                                throws ParseException

Throws:: ParseException

InverseObjectProperties

public final OWLPropertyAxiom InverseObjectProperties()
                                               throws ParseException

Throws:: ParseException

InverseFunctionalObjectProperty

public final OWLPropertyAxiom InverseFunctionalObjectProperty()
                                                       throws ParseException

Throws:: ParseException

SymmetricObjectProperty

public final OWLPropertyAxiom SymmetricObjectProperty()
                                               throws ParseException

Throws:: ParseException

AsymmetricObjectProperty

public final OWLPropertyAxiom AsymmetricObjectProperty()
                                                throws ParseException

Throws:: ParseException

ReflexiveObjectProperty

public final OWLPropertyAxiom ReflexiveObjectProperty()
                                               throws ParseException

Throws:: ParseException

IrreflexiveObjectProperty

public final OWLPropertyAxiom IrreflexiveObjectProperty()
                                                 throws ParseException

Throws:: ParseException

TransitiveObjectProperty

public final OWLPropertyAxiom TransitiveObjectProperty()
                                                throws ParseException

Throws:: ParseException

DataPropertyAxiom

public final OWLPropertyAxiom DataPropertyAxiom()
                                         throws ParseException

Throws:: ParseException

SubDataPropertyOf

public final OWLPropertyAxiom SubDataPropertyOf()
                                         throws ParseException

Throws:: ParseException

EquivalentDataProperties

public final OWLPropertyAxiom EquivalentDataProperties()
                                                throws ParseException

Throws:: ParseException

DisjointDataProperties

public final OWLPropertyAxiom DisjointDataProperties()
                                              throws ParseException

Throws:: ParseException

DataPropertySet

public final Set<OWLDataPropertyExpression> DataPropertySet()
                                                     throws ParseException

Throws:: ParseException

DataPropertyDomain

public final OWLPropertyAxiom DataPropertyDomain()
                                          throws ParseException

Throws:: ParseException

DataPropertyRange

public final OWLPropertyAxiom DataPropertyRange()
                                         throws ParseException

Throws:: ParseException

FunctionalDataProperty

public final OWLPropertyAxiom FunctionalDataProperty()
                                              throws ParseException

Throws:: ParseException

IndividualAxiom

public final OWLIndividualAxiom IndividualAxiom()
                                         throws ParseException

Throws:: ParseException

IndividualSet

public final Set<OWLIndividual> IndividualSet()
                                       throws ParseException

Throws:: ParseException

SameIndividuals

public final OWLIndividualAxiom SameIndividuals()
                                         throws ParseException

Throws:: ParseException

DifferentIndividuals

public final OWLIndividualAxiom DifferentIndividuals()
                                              throws ParseException

Throws:: ParseException

ClassAssertion

public final OWLIndividualAxiom ClassAssertion()
                                        throws ParseException

Throws:: ParseException

ObjectPropertyAssertion

public final OWLIndividualAxiom ObjectPropertyAssertion()
                                                 throws ParseException

Throws:: ParseException

NegativeObjectPropertyAssertion

public final OWLIndividualAxiom NegativeObjectPropertyAssertion()
                                                         throws ParseException

Throws:: ParseException

DataPropertyAssertion

public final OWLIndividualAxiom DataPropertyAssertion()
                                               throws ParseException

Throws:: ParseException

NegativeDataPropertyAssertion

public final OWLIndividualAxiom NegativeDataPropertyAssertion()
                                                       throws ParseException

Throws:: ParseException

IndividualIRI

public final OWLNamedIndividual IndividualIRI()
                                       throws ParseException

Throws:: ParseException

Individual

public final OWLIndividual Individual()
                               throws ParseException

Throws:: ParseException

ObjectPropertyIRI

public final OWLObjectProperty ObjectPropertyIRI()
                                          throws ParseException

Throws:: ParseException

AnnotationAxiom

public final OWLAxiom AnnotationAxiom()
                               throws ParseException

Throws:: ParseException

Annotation

public final OWLAnnotation Annotation()
                               throws ParseException

Throws:: ParseException

AnnotationSubject

public final OWLAnnotationSubject AnnotationSubject()
                                             throws ParseException

Throws:: ParseException

AnnotationValue

public final OWLAnnotationValue AnnotationValue()
                                         throws ParseException

Throws:: ParseException

AxiomAnnotationSet

public final Set<OWLAnnotation> AxiomAnnotationSet()
                                            throws ParseException

Throws:: ParseException

ImportsDeclaration

public final OWLImportsDeclaration ImportsDeclaration()
                                               throws ParseException

Throws:: ParseException

AnnotationAssertion

public final OWLAnnotationAssertionAxiom AnnotationAssertion()
                                                      throws ParseException

Throws:: ParseException

SubAnnotationPropertyOf

public final OWLSubAnnotationPropertyOfAxiom SubAnnotationPropertyOf()
                                                              throws ParseException

Throws:: ParseException

AnnotationPropertyDomain

public final OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain()
                                                                throws ParseException

Throws:: ParseException

AnnotationPropertyRange

public final OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange()
                                                              throws ParseException

Throws:: ParseException

HasKey

public final OWLHasKeyAxiom HasKey()
                            throws ParseException

Throws:: ParseException

Declaration

public final OWLAxiom Declaration()
                           throws ParseException

Throws:: ParseException

Entity

public final OWLEntity Entity()
                       throws ParseException

Throws:: ParseException

Literal

public final OWLLiteral Literal()
                         throws ParseException

Throws:: ParseException

QuotedString

public final String QuotedString()
                          throws ParseException

Throws:: ParseException

LangTag

public final String LangTag()
                     throws ParseException

Throws:: ParseException

DLSafeRule

public final SWRLRule DLSafeRule()
                          throws ParseException

Throws:: ParseException

Atom

public final SWRLAtom Atom()
                    throws ParseException

Throws:: ParseException

ClassAtom

public final SWRLClassAtom ClassAtom()
                              throws ParseException

Throws:: ParseException

DataRangeAtom

public final SWRLDataRangeAtom DataRangeAtom()
                                      throws ParseException

Throws:: ParseException

ObjectPropertyAtom

public final SWRLObjectPropertyAtom ObjectPropertyAtom()
                                                throws ParseException

Throws:: ParseException

DataPropertyAtom

public final SWRLDataPropertyAtom DataPropertyAtom()
                                            throws ParseException

Throws:: ParseException

BuiltInAtom

public final SWRLBuiltInAtom BuiltInAtom()
                                  throws ParseException

Throws:: ParseException

SameIndividualAtom

public final SWRLSameIndividualAtom SameIndividualAtom()
                                                throws ParseException

Throws:: ParseException

DifferentIndividualsAtom

public final SWRLDifferentIndividualsAtom DifferentIndividualsAtom()
                                                            throws ParseException

Throws:: ParseException

IArg

public final SWRLIArgument IArg()
                         throws ParseException

Throws:: ParseException

DArg

public final SWRLDArgument DArg()
                         throws ParseException

Throws:: ParseException

ReInit

public void ReInit(InputStream stream)

Reinitialise.

ReInit

public void ReInit(InputStream stream,
          String encoding)

Reinitialise.

ReInit
```
public void ReInit(Reader stream)
```
Reinitialise.

ReInit

public void ReInit(OWLFunctionalSyntaxParserTokenManager tm)

Reinitialise.

getNextToken
```
public final Token getNextToken()
```
Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing
```
public final void enable_tracing()
```
Enable tracing.

disable_tracing
```
public final void disable_tracing()
```
Disable tracing.

Class OWLFunctionalSyntaxParser

Property Summary

Field Summary

Fields inherited from interface org.coode.owlapi.functionalparser.OWLFunctionalSyntaxParserConstants

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Property Detail

InverseObject

Object

Data

Annotation

FunctionalObject

InverseFunctionalObject

SymmetricObject

AsymmetricObject

ReflexiveObject

IrreflexiveObject

TransitiveObject

FunctionalData

Field Detail

token_source

token

jj_nt

Constructor Detail

OWLFunctionalSyntaxParser

OWLFunctionalSyntaxParser

OWLFunctionalSyntaxParser

OWLFunctionalSyntaxParser

Method Detail

setUp

setUp

getIRI

setIgnoreAnnotationsAndDeclarations

applyChange

addAxiom

setPrefixes

parse

Ontology

Prefix

IRI

FullIRI

AbbreviatedIRI

PrefixName

ClassExpression

ClassIRI

ClassExpressionSet

IndividualMinOneSet

ObjectUnionOf

ObjectIntersectionOf

ObjectComplementOf

ObjectOneOf

ObjectAllValuesFrom

ObjectSomeValuesFrom

ObjectHasValue

ObjectSelf

ObjectMinCardinality

ObjectExactCardinality

ObjectMaxCardinality

DataAllValuesFrom

DataSomeValuesFrom

DataHasValue

DataMinCardinality

DataExactCardinality

DataMaxCardinality

Class

ObjectPropertyExpression

InverseObjectProperty

ObjectProperty

DataPropertyExpression

DataPropertyIRI

DataProperty

AnnotationProperty

AnnotationPropertyIRI

NamedIndividual

AnonymousIndividual

Datatype

DatatypeIRI

Cardinality

Integer