OWLFunctionalSyntaxParser (OWLAPI Distribution 3.4.10 API)

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

All Implemented Interfaces:: OWLFunctionalSyntaxParserConstants

public class OWLFunctionalSyntaxParser
extends Object
implements OWLFunctionalSyntaxParserConstants

The Class OWLFunctionalSyntaxParser.

Property Summary

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

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()` Abbreviated iri.
`protected void`	`addAxiom(OWLAxiom ax)` Adds the axiom.
`OWLAnnotation`	`Annotation()` Annotation.
`OWLAnnotationAssertionAxiom`	`AnnotationAssertion()` Annotation assertion.
`OWLAxiom`	`AnnotationAxiom()` Annotation axiom.
`OWLAnnotationProperty`	`AnnotationProperty()` Annotation property.
`OWLAnnotationPropertyDomainAxiom`	`AnnotationPropertyDomain()` Annotation property domain.
`OWLAnnotationProperty`	`AnnotationPropertyIRI()` Annotation property iri.
`OWLAnnotationPropertyRangeAxiom`	`AnnotationPropertyRange()` Annotation property range.
`OWLAnnotationSubject`	`AnnotationSubject()` Annotation subject.
`OWLAnnotationValue`	`AnnotationValue()` Annotation value.
`OWLAnonymousIndividual`	`AnonymousIndividual()` Anonymous individual.
`protected void`	`applyChange(OWLOntologyChange chg)` Apply change.
`OWLPropertyAxiom`	`AsymmetricObjectProperty()` Asymmetric object property.
`SWRLAtom`	`Atom()` Atom.
`OWLAxiom`	`Axiom()` Axiom.
`Set<OWLAnnotation>`	`AxiomAnnotationSet()` Axiom annotation set.
`SWRLBuiltInAtom`	`BuiltInAtom()` Built in atom.
`int`	`Cardinality()` Cardinality.
`OWLClass`	`Class()` Class.
`OWLIndividualAxiom`	`ClassAssertion()` Class assertion.
`SWRLClassAtom`	`ClassAtom()` Class atom.
`OWLClassAxiom`	`ClassAxiom()` Class axiom.
`OWLClassExpression`	`ClassExpression()` Class expression.
`Set<OWLClassExpression>`	`ClassExpressionSet()` Class expression set.
`OWLClass`	`ClassIRI()` Class iri.
`SWRLDArgument`	`DArg()` D arg.
`OWLClassExpression`	`DataAllValuesFrom()` Data all values from.
`OWLDataRange`	`DataComplementOf()` Data complement of.
`OWLClassExpression`	`DataExactCardinality()` Data exact cardinality.
`OWLClassExpression`	`DataHasValue()` Data has value.
`OWLDataRange`	`DataIntersectionOf()` Data intersection of.
`OWLClassExpression`	`DataMaxCardinality()` Data max cardinality.
`OWLClassExpression`	`DataMinCardinality()` Data min cardinality.
`OWLDataRange`	`DataOneOf()` Data one of.
`OWLDataProperty`	`DataProperty()` Data property.
`OWLIndividualAxiom`	`DataPropertyAssertion()` Data property assertion.
`SWRLDataPropertyAtom`	`DataPropertyAtom()` Data property atom.
`OWLPropertyAxiom`	`DataPropertyAxiom()` Data property axiom.
`OWLPropertyAxiom`	`DataPropertyDomain()` Data property domain.
`OWLDataPropertyExpression`	`DataPropertyExpression()` Data property expression.
`OWLDataProperty`	`DataPropertyIRI()` Data property iri.
`OWLPropertyAxiom`	`DataPropertyRange()` Data property range.
`Set<OWLDataPropertyExpression>`	`DataPropertySet()` Data property set.
`OWLDataRange`	`DataRange()` Data range.
`SWRLDataRangeAtom`	`DataRangeAtom()` Data range atom.
`OWLFacetRestriction`	`DataRangeFacetRestriction()` Data range facet restriction.
`OWLDataRange`	`DataRangeRestriction()` Data range restriction.
`OWLClassExpression`	`DataSomeValuesFrom()` Data some values from.
`OWLDatatype`	`Datatype()` Datatype.
`OWLDatatypeDefinitionAxiom`	`DatatypeDefinitionAxiom()` Datatype definition axiom.
`OWLDatatype`	`DatatypeIRI()` Datatype iri.
`OWLDataRange`	`DataUnionOf()` Data union of.
`OWLAxiom`	`Declaration()` Declaration.
`OWLIndividualAxiom`	`DifferentIndividuals()` Different individuals.
`SWRLDifferentIndividualsAtom`	`DifferentIndividualsAtom()` Different individuals atom.
`void`	`disable_tracing()` Disable tracing.
`OWLClassAxiom`	`DisjointClasses()` Disjoint classes.
`OWLPropertyAxiom`	`DisjointDataProperties()` Disjoint data properties.
`OWLPropertyAxiom`	`DisjointObjectProperties()` Disjoint object properties.
`OWLClassAxiom`	`DisjointUnion()` Disjoint union.
`SWRLRule`	`DLSafeRule()` DL safe rule.
`void`	`enable_tracing()` Enable tracing.
`OWLEntity`	`Entity()` Entity.
`OWLClassAxiom`	`EquivalentClasses()` Equivalent classes.
`OWLPropertyAxiom`	`EquivalentDataProperties()` Equivalent data properties.
`OWLPropertyAxiom`	`EquivalentObjectProperties()` Equivalent object properties.
`IRI`	`FullIRI()` Full iri.
`OWLPropertyAxiom`	`FunctionalDataProperty()` Functional data property.
`OWLPropertyAxiom`	`FunctionalObjectProperty()` Functional object property.
`ParseException`	`generateParseException()` Generate ParseException.
`IRI`	`getIRI(String s)` Gets the iri.
`Token`	`getNextToken()` Get the next Token.
`Token`	`getToken(int index)` Get the specific Token.
`OWLHasKeyAxiom`	`HasKey()` Checks for key.
`SWRLIArgument`	`IArg()` I arg.
`OWLImportsDeclaration`	`ImportsDeclaration()` Imports declaration.
`OWLIndividual`	`Individual()` Individual.
`OWLIndividualAxiom`	`IndividualAxiom()` Individual axiom.
`OWLNamedIndividual`	`IndividualIRI()` Individual iri.
`Set<OWLIndividual>`	`IndividualMinOneSet()` Individual min one set.
`Set<OWLIndividual>`	`IndividualSet()` Individual set.
`int`	`Integer()` Integer.
`OWLPropertyAxiom`	`InverseFunctionalObjectProperty()` Inverse functional object property.
`OWLPropertyAxiom`	`InverseObjectProperties()` Inverse object properties.
`OWLObjectPropertyExpression`	`InverseObjectProperty()` Inverse object property.
`IRI`	`IRI()` Iri.
`OWLPropertyAxiom`	`IrreflexiveObjectProperty()` Irreflexive object property.
`String`	`LangTag()` Lang tag.
`OWLLiteral`	`Literal()` Literal.
`OWLNamedIndividual`	`NamedIndividual()` Named individual.
`OWLIndividualAxiom`	`NegativeDataPropertyAssertion()` Negative data property assertion.
`OWLIndividualAxiom`	`NegativeObjectPropertyAssertion()` Negative object property assertion.
`OWLClassExpression`	`ObjectAllValuesFrom()` Object all values from.
`OWLClassExpression`	`ObjectComplementOf()` Object complement of.
`OWLClassExpression`	`ObjectExactCardinality()` Object exact cardinality.
`OWLClassExpression`	`ObjectHasValue()` Object has value.
`OWLClassExpression`	`ObjectIntersectionOf()` Object intersection of.
`OWLClassExpression`	`ObjectMaxCardinality()` Object max cardinality.
`OWLClassExpression`	`ObjectMinCardinality()` Object min cardinality.
`OWLClassExpression`	`ObjectOneOf()` Object one of.
`OWLObjectProperty`	`ObjectProperty()` Object property.
`OWLIndividualAxiom`	`ObjectPropertyAssertion()` Object property assertion.
`SWRLObjectPropertyAtom`	`ObjectPropertyAtom()` Object property atom.
`OWLPropertyAxiom`	`ObjectPropertyAxiom()` Object property axiom.
`OWLPropertyAxiom`	`ObjectPropertyDomain()` Object property domain.
`OWLObjectPropertyExpression`	`ObjectPropertyExpression()` Object property expression.
`OWLObjectProperty`	`ObjectPropertyIRI()` Object property iri.
`OWLPropertyAxiom`	`ObjectPropertyRange()` Object property range.
`Set<OWLObjectPropertyExpression>`	`ObjectPropertySet()` Object property set.
`OWLClassExpression`	`ObjectSelf()` Object self.
`OWLClassExpression`	`ObjectSomeValuesFrom()` Object some values from.
`OWLClassExpression`	`ObjectUnionOf()` Object union of.
`void`	`Ontology()` Ontology.
`OWLFunctionalSyntaxOntologyFormat`	`parse()` Parses the.
`void`	`Prefix()` Prefix.
`String`	`PrefixName()` Prefix name.
`String`	`QuotedString()` Quoted string.
`OWLPropertyAxiom`	`ReflexiveObjectProperty()` Reflexive object property.
`void`	`ReInit(InputStream stream)` Reinitialise.
`void`	`ReInit(InputStream stream, String encoding)` Reinitialise.
`void`	`ReInit(OWLFunctionalSyntaxParserTokenManager tm)` Reinitialise.
`void`	`ReInit(Reader stream)` Reinitialise.
`SWRLSameIndividualAtom`	`SameIndividualAtom()` Same individual atom.
`OWLIndividualAxiom`	`SameIndividuals()` Same individuals.
`void`	`setIgnoreAnnotationsAndDeclarations(boolean b)` Sets the ignore annotations and declarations.
`void`	`setPrefixes(PrefixManager nsm)` Sets the prefixes.
`void`	`setUp(OWLOntologyManager man, OWLOntology ontology, OWLOntologyLoaderConfiguration configuration)` Deprecated.
`void`	`setUp(OWLOntology ontology, OWLOntologyLoaderConfiguration configuration)` Sets the up.
`OWLSubAnnotationPropertyOfAxiom`	`SubAnnotationPropertyOf()` Sub annotation property of.
`OWLClassAxiom`	`SubClassOf()` Sub class of.
`OWLPropertyAxiom`	`SubDataPropertyOf()` Sub data property of.
`List<OWLObjectPropertyExpression>`	`SubObjectPropertyChain()` Sub object property chain.
`OWLPropertyAxiom`	`SubObjectPropertyOf()` Sub object property of.
`OWLPropertyAxiom`	`SymmetricObjectProperty()` Symmetric object property.
`OWLPropertyAxiom`	`TransitiveObjectProperty()` Transitive object property.

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

Property Detail
- InverseObject
  
  Inverse object property.
  
  Returns:
  the oWL object property expression
  
  Throws:
  
  ParseException - the parse exception
- Object
  
  Object property.
  
  Returns:
  the oWL object property
  
  Throws:
  
  ParseException - the parse exception
- Data
  
  Data property.
  
  Returns:
  the oWL data property
  
  Throws:
  
  ParseException - the parse exception
- Annotation
  
  Annotation property.
  
  Returns:
  the oWL annotation property
  
  Throws:
  
  ParseException - the parse exception
- FunctionalObject
  
  Functional object property.
  
  Returns:
  the oWL property axiom
  
  Throws:
  
  ParseException - the parse exception
- InverseFunctionalObject
  
  Inverse functional object property.
  
  Returns:
  the oWL property axiom
  
  Throws:
  
  ParseException - the parse exception
- SymmetricObject
  
  Symmetric object property.
  
  Returns:
  the oWL property axiom
  
  Throws:
  
  ParseException - the parse exception
- AsymmetricObject
  
  Asymmetric object property.
  
  Returns:
  the oWL property axiom
  
  Throws:
  
  ParseException - the parse exception
- ReflexiveObject
  
  Reflexive object property.
  
  Returns:
  the oWL property axiom
  
  Throws:
  
  ParseException - the parse exception
- IrreflexiveObject
  
  Irreflexive object property.
  
  Returns:
  the oWL property axiom
  
  Throws:
  
  ParseException - the parse exception
- TransitiveObject
  
  Transitive object property.
  
  Returns:
  the oWL property axiom
  
  Throws:
  
  ParseException - the parse exception
- FunctionalData
  
  Functional data property.
  
  Returns:
  the oWL property axiom
  
  Throws:
  
  ParseException - the parse exception

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.
  
  Parameters:
  stream - the stream
- OWLFunctionalSyntaxParser
```
public OWLFunctionalSyntaxParser(InputStream stream,
                         String encoding)
```
  Constructor with InputStream and supplied encoding.
  
  Parameters:
  stream - the stream
  encoding - the encoding
- OWLFunctionalSyntaxParser
```
public OWLFunctionalSyntaxParser(Reader stream)
```
  Constructor.
  
  Parameters:
  stream - the stream
- OWLFunctionalSyntaxParser
```
public OWLFunctionalSyntaxParser(OWLFunctionalSyntaxParserTokenManager tm)
```
  Constructor with generated Token Manager.
  
  Parameters:
  tm - the tm

Method Detail

setUp

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

Deprecated.

Sets the up.

Parameters:: man - the man; ontology - the ontology; configuration - the configuration

setUp

public void setUp(OWLOntology ontology,
         OWLOntologyLoaderConfiguration configuration)

Sets the up.

Parameters:: ontology - the ontology; configuration - the configuration

getIRI
```
public IRI getIRI(String s)
```
Gets the iri.

Parameters:
s - the s

Returns:
the iri

setIgnoreAnnotationsAndDeclarations
```
public void setIgnoreAnnotationsAndDeclarations(boolean b)
```
Sets the ignore annotations and declarations.

Parameters:
b - the new ignore annotations and declarations

applyChange

protected void applyChange(OWLOntologyChange chg)

Apply change.

Parameters:: chg - the chg

addAxiom
```
protected void addAxiom(OWLAxiom ax)
```
Adds the axiom.

Parameters:
ax - the ax

setPrefixes
```
public void setPrefixes(PrefixManager nsm)
```
Sets the prefixes.

Parameters:
nsm - the new prefixes

parse

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

Parses the.

Returns:: the oWL functional syntax ontology format
Throws:: ParseException - the parse exception; OWLParserException - the oWL parser exception; UnloadableImportException - the unloadable import exception

Ontology

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

Ontology.

Throws:: ParseException - the parse exception; OWLParserException - the oWL parser exception; UnloadableImportException - the unloadable import exception

Prefix

public final void Prefix()
                  throws ParseException

Prefix.

Throws:: ParseException - the parse exception

IRI

public final IRI IRI()
              throws ParseException

Iri.

Returns:: the iri
Throws:: ParseException - the parse exception

FullIRI

public final IRI FullIRI()
                  throws ParseException

Full iri.

Returns:: the iri
Throws:: ParseException - the parse exception

AbbreviatedIRI

public final IRI AbbreviatedIRI()
                         throws ParseException

Abbreviated iri.

Returns:: the iri
Throws:: ParseException - the parse exception

PrefixName

public final String PrefixName()
                        throws ParseException

Prefix name.

Returns:: the string
Throws:: ParseException - the parse exception

ClassExpression

public final OWLClassExpression ClassExpression()
                                         throws ParseException

Class expression.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

ClassIRI

public final OWLClass ClassIRI()
                        throws ParseException

Class iri.

Returns:: the oWL class
Throws:: ParseException - the parse exception

ClassExpressionSet

public final Set<OWLClassExpression> ClassExpressionSet()
                                                 throws ParseException

Class expression set.

Returns:: the sets the
Throws:: ParseException - the parse exception

IndividualMinOneSet

public final Set<OWLIndividual> IndividualMinOneSet()
                                             throws ParseException

Individual min one set.

Returns:: the sets the
Throws:: ParseException - the parse exception

ObjectUnionOf

public final OWLClassExpression ObjectUnionOf()
                                       throws ParseException

Object union of.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

ObjectIntersectionOf

public final OWLClassExpression ObjectIntersectionOf()
                                              throws ParseException

Object intersection of.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

ObjectComplementOf

public final OWLClassExpression ObjectComplementOf()
                                            throws ParseException

Object complement of.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

ObjectOneOf

public final OWLClassExpression ObjectOneOf()
                                     throws ParseException

Object one of.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

ObjectAllValuesFrom

public final OWLClassExpression ObjectAllValuesFrom()
                                             throws ParseException

Object all values from.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

ObjectSomeValuesFrom

public final OWLClassExpression ObjectSomeValuesFrom()
                                              throws ParseException

Object some values from.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

ObjectHasValue

public final OWLClassExpression ObjectHasValue()
                                        throws ParseException

Object has value.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

ObjectSelf

public final OWLClassExpression ObjectSelf()
                                    throws ParseException

Object self.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

ObjectMinCardinality

public final OWLClassExpression ObjectMinCardinality()
                                              throws ParseException

Object min cardinality.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

ObjectExactCardinality

public final OWLClassExpression ObjectExactCardinality()
                                                throws ParseException

Object exact cardinality.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

ObjectMaxCardinality

public final OWLClassExpression ObjectMaxCardinality()
                                              throws ParseException

Object max cardinality.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

DataAllValuesFrom

public final OWLClassExpression DataAllValuesFrom()
                                           throws ParseException

Data all values from.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

DataSomeValuesFrom

public final OWLClassExpression DataSomeValuesFrom()
                                            throws ParseException

Data some values from.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

DataHasValue

public final OWLClassExpression DataHasValue()
                                      throws ParseException

Data has value.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

DataMinCardinality

public final OWLClassExpression DataMinCardinality()
                                            throws ParseException

Data min cardinality.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

DataExactCardinality

public final OWLClassExpression DataExactCardinality()
                                              throws ParseException

Data exact cardinality.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

DataMaxCardinality

public final OWLClassExpression DataMaxCardinality()
                                            throws ParseException

Data max cardinality.

Returns:: the oWL class expression
Throws:: ParseException - the parse exception

Class

public final OWLClass Class()
                     throws ParseException

Class.

Returns:: the oWL class
Throws:: ParseException - the parse exception

ObjectPropertyExpression

public final OWLObjectPropertyExpression ObjectPropertyExpression()
                                                           throws ParseException

Object property expression.

Returns:: the oWL object property expression
Throws:: ParseException - the parse exception

InverseObjectProperty

public final OWLObjectPropertyExpression InverseObjectProperty()
                                                        throws ParseException

Inverse object property.

Returns:: the oWL object property expression
Throws:: ParseException - the parse exception

ObjectProperty

public final OWLObjectProperty ObjectProperty()
                                       throws ParseException

Object property.

Returns:: the oWL object property
Throws:: ParseException - the parse exception

DataPropertyExpression

public final OWLDataPropertyExpression DataPropertyExpression()
                                                       throws ParseException

Data property expression.

Returns:: the oWL data property expression
Throws:: ParseException - the parse exception

DataPropertyIRI

public final OWLDataProperty DataPropertyIRI()
                                      throws ParseException

Data property iri.

Returns:: the oWL data property
Throws:: ParseException - the parse exception

DataProperty

public final OWLDataProperty DataProperty()
                                   throws ParseException

Data property.

Returns:: the oWL data property
Throws:: ParseException - the parse exception

AnnotationProperty

public final OWLAnnotationProperty AnnotationProperty()
                                               throws ParseException

Annotation property.

Returns:: the oWL annotation property
Throws:: ParseException - the parse exception

AnnotationPropertyIRI

public final OWLAnnotationProperty AnnotationPropertyIRI()
                                                  throws ParseException

Annotation property iri.

Returns:: the oWL annotation property
Throws:: ParseException - the parse exception

NamedIndividual

public final OWLNamedIndividual NamedIndividual()
                                         throws ParseException

Named individual.

Returns:: the oWL named individual
Throws:: ParseException - the parse exception

AnonymousIndividual

public final OWLAnonymousIndividual AnonymousIndividual()
                                                 throws ParseException

Anonymous individual.

Returns:: the oWL anonymous individual
Throws:: ParseException - the parse exception

Datatype

public final OWLDatatype Datatype()
                           throws ParseException

Datatype.

Returns:: the oWL datatype
Throws:: ParseException - the parse exception

DatatypeIRI

public final OWLDatatype DatatypeIRI()
                              throws ParseException

Datatype iri.

Returns:: the oWL datatype
Throws:: ParseException - the parse exception

Cardinality
```
public final int Cardinality()
                      throws ParseException
```
Cardinality.

Returns:
the int

Throws:

ParseException - the parse exception

Integer
```
public final int Integer()
                  throws ParseException
```
Integer.

Returns:
the int

Throws:

ParseException - the parse exception

DatatypeDefinitionAxiom

public final OWLDatatypeDefinitionAxiom DatatypeDefinitionAxiom()
                                                         throws ParseException

Datatype definition axiom.

Returns:: the oWL datatype definition axiom
Throws:: ParseException - the parse exception

DataRange

public final OWLDataRange DataRange()
                             throws ParseException

Data range.

Returns:: the oWL data range
Throws:: ParseException - the parse exception

DataComplementOf

public final OWLDataRange DataComplementOf()
                                    throws ParseException

Data complement of.

Returns:: the oWL data range
Throws:: ParseException - the parse exception

DataOneOf

public final OWLDataRange DataOneOf()
                             throws ParseException

Data one of.

Returns:: the oWL data range
Throws:: ParseException - the parse exception

DataUnionOf

public final OWLDataRange DataUnionOf()
                               throws ParseException

Data union of.

Returns:: the oWL data range
Throws:: ParseException - the parse exception

DataIntersectionOf

public final OWLDataRange DataIntersectionOf()
                                      throws ParseException

Data intersection of.

Returns:: the oWL data range
Throws:: ParseException - the parse exception

DataRangeRestriction

public final OWLDataRange DataRangeRestriction()
                                        throws ParseException

Data range restriction.

Returns:: the oWL data range
Throws:: ParseException - the parse exception

DataRangeFacetRestriction

public final OWLFacetRestriction DataRangeFacetRestriction()
                                                    throws ParseException

Data range facet restriction.

Returns:: the oWL facet restriction
Throws:: ParseException - the parse exception

Axiom

public final OWLAxiom Axiom()
                     throws ParseException

Axiom.

Returns:: the oWL axiom
Throws:: ParseException - the parse exception

ClassAxiom

public final OWLClassAxiom ClassAxiom()
                               throws ParseException

Class axiom.

Returns:: the oWL class axiom
Throws:: ParseException - the parse exception

SubClassOf

public final OWLClassAxiom SubClassOf()
                               throws ParseException

Sub class of.

Returns:: the oWL class axiom
Throws:: ParseException - the parse exception

EquivalentClasses

public final OWLClassAxiom EquivalentClasses()
                                      throws ParseException

Equivalent classes.

Returns:: the oWL class axiom
Throws:: ParseException - the parse exception

DisjointClasses

public final OWLClassAxiom DisjointClasses()
                                    throws ParseException

Disjoint classes.

Returns:: the oWL class axiom
Throws:: ParseException - the parse exception

DisjointUnion

public final OWLClassAxiom DisjointUnion()
                                  throws ParseException

Disjoint union.

Returns:: the oWL class axiom
Throws:: ParseException - the parse exception

ObjectPropertyAxiom

public final OWLPropertyAxiom ObjectPropertyAxiom()
                                           throws ParseException

Object property axiom.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

SubObjectPropertyChain

public final List<OWLObjectPropertyExpression> SubObjectPropertyChain()
                                                               throws ParseException

Sub object property chain.

Returns:: the list
Throws:: ParseException - the parse exception

SubObjectPropertyOf

public final OWLPropertyAxiom SubObjectPropertyOf()
                                           throws ParseException

Sub object property of.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

EquivalentObjectProperties

public final OWLPropertyAxiom EquivalentObjectProperties()
                                                  throws ParseException

Equivalent object properties.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

DisjointObjectProperties

public final OWLPropertyAxiom DisjointObjectProperties()
                                                throws ParseException

Disjoint object properties.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

ObjectPropertySet

public final Set<OWLObjectPropertyExpression> ObjectPropertySet()
                                                         throws ParseException

Object property set.

Returns:: the sets the
Throws:: ParseException - the parse exception

ObjectPropertyRange

public final OWLPropertyAxiom ObjectPropertyRange()
                                           throws ParseException

Object property range.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

ObjectPropertyDomain

public final OWLPropertyAxiom ObjectPropertyDomain()
                                            throws ParseException

Object property domain.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

FunctionalObjectProperty

public final OWLPropertyAxiom FunctionalObjectProperty()
                                                throws ParseException

Functional object property.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

InverseObjectProperties

public final OWLPropertyAxiom InverseObjectProperties()
                                               throws ParseException

Inverse object properties.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

InverseFunctionalObjectProperty

public final OWLPropertyAxiom InverseFunctionalObjectProperty()
                                                       throws ParseException

Inverse functional object property.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

SymmetricObjectProperty

public final OWLPropertyAxiom SymmetricObjectProperty()
                                               throws ParseException

Symmetric object property.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

AsymmetricObjectProperty

public final OWLPropertyAxiom AsymmetricObjectProperty()
                                                throws ParseException

Asymmetric object property.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

ReflexiveObjectProperty

public final OWLPropertyAxiom ReflexiveObjectProperty()
                                               throws ParseException

Reflexive object property.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

IrreflexiveObjectProperty

public final OWLPropertyAxiom IrreflexiveObjectProperty()
                                                 throws ParseException

Irreflexive object property.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

TransitiveObjectProperty

public final OWLPropertyAxiom TransitiveObjectProperty()
                                                throws ParseException

Transitive object property.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

DataPropertyAxiom

public final OWLPropertyAxiom DataPropertyAxiom()
                                         throws ParseException

Data property axiom.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

SubDataPropertyOf

public final OWLPropertyAxiom SubDataPropertyOf()
                                         throws ParseException

Sub data property of.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

EquivalentDataProperties

public final OWLPropertyAxiom EquivalentDataProperties()
                                                throws ParseException

Equivalent data properties.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

DisjointDataProperties

public final OWLPropertyAxiom DisjointDataProperties()
                                              throws ParseException

Disjoint data properties.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

DataPropertySet

public final Set<OWLDataPropertyExpression> DataPropertySet()
                                                     throws ParseException

Data property set.

Returns:: the sets the
Throws:: ParseException - the parse exception

DataPropertyDomain

public final OWLPropertyAxiom DataPropertyDomain()
                                          throws ParseException

Data property domain.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

DataPropertyRange

public final OWLPropertyAxiom DataPropertyRange()
                                         throws ParseException

Data property range.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

FunctionalDataProperty

public final OWLPropertyAxiom FunctionalDataProperty()
                                              throws ParseException

Functional data property.

Returns:: the oWL property axiom
Throws:: ParseException - the parse exception

IndividualAxiom

public final OWLIndividualAxiom IndividualAxiom()
                                         throws ParseException

Individual axiom.

Returns:: the oWL individual axiom
Throws:: ParseException - the parse exception

IndividualSet

public final Set<OWLIndividual> IndividualSet()
                                       throws ParseException

Individual set.

Returns:: the sets the
Throws:: ParseException - the parse exception

SameIndividuals

public final OWLIndividualAxiom SameIndividuals()
                                         throws ParseException

Same individuals.

Returns:: the oWL individual axiom
Throws:: ParseException - the parse exception

DifferentIndividuals

public final OWLIndividualAxiom DifferentIndividuals()
                                              throws ParseException

Different individuals.

Returns:: the oWL individual axiom
Throws:: ParseException - the parse exception

ClassAssertion

public final OWLIndividualAxiom ClassAssertion()
                                        throws ParseException

Class assertion.

Returns:: the oWL individual axiom
Throws:: ParseException - the parse exception

ObjectPropertyAssertion

public final OWLIndividualAxiom ObjectPropertyAssertion()
                                                 throws ParseException

Object property assertion.

Returns:: the oWL individual axiom
Throws:: ParseException - the parse exception

NegativeObjectPropertyAssertion

public final OWLIndividualAxiom NegativeObjectPropertyAssertion()
                                                         throws ParseException

Negative object property assertion.

Returns:: the oWL individual axiom
Throws:: ParseException - the parse exception

DataPropertyAssertion

public final OWLIndividualAxiom DataPropertyAssertion()
                                               throws ParseException

Data property assertion.

Returns:: the oWL individual axiom
Throws:: ParseException - the parse exception

NegativeDataPropertyAssertion

public final OWLIndividualAxiom NegativeDataPropertyAssertion()
                                                       throws ParseException

Negative data property assertion.

Returns:: the oWL individual axiom
Throws:: ParseException - the parse exception

IndividualIRI

public final OWLNamedIndividual IndividualIRI()
                                       throws ParseException

Individual iri.

Returns:: the oWL named individual
Throws:: ParseException - the parse exception

Individual

public final OWLIndividual Individual()
                               throws ParseException

Individual.

Returns:: the oWL individual
Throws:: ParseException - the parse exception

ObjectPropertyIRI

public final OWLObjectProperty ObjectPropertyIRI()
                                          throws ParseException

Object property iri.

Returns:: the oWL object property
Throws:: ParseException - the parse exception

AnnotationAxiom

public final OWLAxiom AnnotationAxiom()
                               throws ParseException

Annotation axiom.

Returns:: the oWL axiom
Throws:: ParseException - the parse exception

Annotation

public final OWLAnnotation Annotation()
                               throws ParseException

Annotation.

Returns:: the oWL annotation
Throws:: ParseException - the parse exception

AnnotationSubject

public final OWLAnnotationSubject AnnotationSubject()
                                             throws ParseException

Annotation subject.

Returns:: the oWL annotation subject
Throws:: ParseException - the parse exception

AnnotationValue

public final OWLAnnotationValue AnnotationValue()
                                         throws ParseException

Annotation value.

Returns:: the oWL annotation value
Throws:: ParseException - the parse exception

AxiomAnnotationSet

public final Set<OWLAnnotation> AxiomAnnotationSet()
                                            throws ParseException

Axiom annotation set.

Returns:: the sets the
Throws:: ParseException - the parse exception

ImportsDeclaration

public final OWLImportsDeclaration ImportsDeclaration()
                                               throws ParseException

Imports declaration.

Returns:: the oWL imports declaration
Throws:: ParseException - the parse exception

AnnotationAssertion

public final OWLAnnotationAssertionAxiom AnnotationAssertion()
                                                      throws ParseException

Annotation assertion.

Returns:: the oWL annotation assertion axiom
Throws:: ParseException - the parse exception

SubAnnotationPropertyOf

public final OWLSubAnnotationPropertyOfAxiom SubAnnotationPropertyOf()
                                                              throws ParseException

Sub annotation property of.

Returns:: the oWL sub annotation property of axiom
Throws:: ParseException - the parse exception

AnnotationPropertyDomain

public final OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain()
                                                                throws ParseException

Annotation property domain.

Returns:: the oWL annotation property domain axiom
Throws:: ParseException - the parse exception

AnnotationPropertyRange

public final OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange()
                                                              throws ParseException

Annotation property range.

Returns:: the oWL annotation property range axiom
Throws:: ParseException - the parse exception

HasKey

public final OWLHasKeyAxiom HasKey()
                            throws ParseException

Checks for key.

Returns:: the oWL has key axiom
Throws:: ParseException - the parse exception

Declaration

public final OWLAxiom Declaration()
                           throws ParseException

Declaration.

Returns:: the oWL axiom
Throws:: ParseException - the parse exception

Entity

public final OWLEntity Entity()
                       throws ParseException

Entity.

Returns:: the oWL entity
Throws:: ParseException - the parse exception

Literal

public final OWLLiteral Literal()
                         throws ParseException

Literal.

Returns:: the oWL literal
Throws:: ParseException - the parse exception

QuotedString

public final String QuotedString()
                          throws ParseException

Quoted string.

Returns:: the string
Throws:: ParseException - the parse exception

LangTag

public final String LangTag()
                     throws ParseException

Lang tag.

Returns:: the string
Throws:: ParseException - the parse exception

DLSafeRule

public final SWRLRule DLSafeRule()
                          throws ParseException

DL safe rule.

Returns:: the sWRL rule
Throws:: ParseException - the parse exception

Atom

public final SWRLAtom Atom()
                    throws ParseException

Atom.

Returns:: the sWRL atom
Throws:: ParseException - the parse exception

ClassAtom

public final SWRLClassAtom ClassAtom()
                              throws ParseException

Class atom.

Returns:: the sWRL class atom
Throws:: ParseException - the parse exception

DataRangeAtom

public final SWRLDataRangeAtom DataRangeAtom()
                                      throws ParseException

Data range atom.

Returns:: the sWRL data range atom
Throws:: ParseException - the parse exception

ObjectPropertyAtom

public final SWRLObjectPropertyAtom ObjectPropertyAtom()
                                                throws ParseException

Object property atom.

Returns:: the sWRL object property atom
Throws:: ParseException - the parse exception

DataPropertyAtom

public final SWRLDataPropertyAtom DataPropertyAtom()
                                            throws ParseException

Data property atom.

Returns:: the sWRL data property atom
Throws:: ParseException - the parse exception

BuiltInAtom

public final SWRLBuiltInAtom BuiltInAtom()
                                  throws ParseException

Built in atom.

Returns:: the sWRL built in atom
Throws:: ParseException - the parse exception

SameIndividualAtom

public final SWRLSameIndividualAtom SameIndividualAtom()
                                                throws ParseException

Same individual atom.

Returns:: the sWRL same individual atom
Throws:: ParseException - the parse exception

DifferentIndividualsAtom

public final SWRLDifferentIndividualsAtom DifferentIndividualsAtom()
                                                            throws ParseException

Different individuals atom.

Returns:: the sWRL different individuals atom
Throws:: ParseException - the parse exception

IArg

public final SWRLIArgument IArg()
                         throws ParseException

I arg.

Returns:: the sWRLI argument
Throws:: ParseException - the parse exception

DArg

public final SWRLDArgument DArg()
                         throws ParseException

D arg.

Returns:: the sWRLD argument
Throws:: ParseException - the parse exception

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

Parameters:
stream - the stream

ReInit

public void ReInit(InputStream stream,
          String encoding)

Reinitialise.

Parameters:: stream - the stream; encoding - the encoding

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

Parameters:
stream - the stream

ReInit

public void ReInit(OWLFunctionalSyntaxParserTokenManager tm)

Reinitialise.

Parameters:: tm - the tm

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

Returns:
the next token

getToken
```
public final Token getToken(int index)
```
Get the specific Token.

Parameters:
index - the index

Returns:
the token

generateParseException
```
public ParseException generateParseException()
```
Generate ParseException.

Returns:
the parses the exception

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