Package org.semanticweb.owlapi.functional.parser

Class OWLFunctionalSyntaxParser

java.lang.Object

org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxParser

public class OWLFunctionalSyntaxParser
extends Object

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
OWLFunctionalSyntaxParser(org.semanticweb.owlapi.functional.parser.TokenManager tm)	Constructor with user supplied Token Manager.

Method Summary

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

token_source

public org.semanticweb.owlapi.functional.parser.TokenManager token_source

User defined Token Manager.

token

public org.semanticweb.owlapi.functional.parser.Token token

Current token.

jj_nt

public org.semanticweb.owlapi.functional.parser.Token jj_nt

Next token.

EOF

static final int EOF

End of File.

See Also:

• Constant Field Values

COMMENT_START

static final int COMMENT_START

RegularExpression Id.

See Also:

• Constant Field Values

STRINGLITERAL_START

static final int STRINGLITERAL_START

RegularExpression Id.

See Also:

• Constant Field Values

ANY_ESCAPED_CHAR

static final int ANY_ESCAPED_CHAR

RegularExpression Id.

See Also:

• Constant Field Values

ANY_CHAR

static final int ANY_CHAR

RegularExpression Id.

See Also:

• Constant Field Values

STRINGLITERAL

static final int STRINGLITERAL

RegularExpression Id.

See Also:

• Constant Field Values

OPENPAR

static final int OPENPAR

RegularExpression Id.

See Also:

• Constant Field Values

CLOSEPAR

static final int CLOSEPAR

RegularExpression Id.

See Also:

• Constant Field Values

ONTOLOGY

static final int ONTOLOGY

RegularExpression Id.

See Also:

• Constant Field Values

LABEL

static final int LABEL

RegularExpression Id.

See Also:

• Constant Field Values

IMPORT

static final int IMPORT

RegularExpression Id.

See Also:

• Constant Field Values

COMMENT

static final int COMMENT

RegularExpression Id.

See Also:

• Constant Field Values

SUBCLASSOF

static final int SUBCLASSOF

RegularExpression Id.

See Also:

• Constant Field Values

LANGIDENTIFIER

static final int LANGIDENTIFIER

RegularExpression Id.

See Also:

• Constant Field Values

DATATYPEIDENTIFIER

static final int DATATYPEIDENTIFIER

RegularExpression Id.

See Also:

• Constant Field Values

EQUIVALENTCLASSES

static final int EQUIVALENTCLASSES

RegularExpression Id.

See Also:

• Constant Field Values

DISJOINTCLASSES

static final int DISJOINTCLASSES

RegularExpression Id.

See Also:

• Constant Field Values

DISJOINTUNION

static final int DISJOINTUNION

RegularExpression Id.

See Also:

• Constant Field Values

ANNOTATION

static final int ANNOTATION

RegularExpression Id.

See Also:

• Constant Field Values

ANNOTATIONPROPERTY

static final int ANNOTATIONPROPERTY

RegularExpression Id.

See Also:

• Constant Field Values

ANNOTATIONASSERTION

static final int ANNOTATIONASSERTION

RegularExpression Id.

See Also:

• Constant Field Values

SUBANNOTATIONPROPERTYOF

static final int SUBANNOTATIONPROPERTYOF

RegularExpression Id.

See Also:

• Constant Field Values

ANNOTATIONPROPERTYDOMAIN

static final int ANNOTATIONPROPERTYDOMAIN

RegularExpression Id.

See Also:

• Constant Field Values

ANNOTATIONPROPERTYRANGE

static final int ANNOTATIONPROPERTYRANGE

RegularExpression Id.

See Also:

• Constant Field Values

HASKEY

static final int HASKEY

RegularExpression Id.

See Also:

• Constant Field Values

DECLARATION

static final int DECLARATION

RegularExpression Id.

See Also:

• Constant Field Values

DOCUMENTATION

static final int DOCUMENTATION

RegularExpression Id.

See Also:

• Constant Field Values

CLASS

static final int CLASS

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTPROP

static final int OBJECTPROP

RegularExpression Id.

See Also:

• Constant Field Values

DATAPROP

static final int DATAPROP

RegularExpression Id.

See Also:

• Constant Field Values

NAMEDINDIVIDUAL

static final int NAMEDINDIVIDUAL

RegularExpression Id.

See Also:

• Constant Field Values

DATATYPE

static final int DATATYPE

RegularExpression Id.

See Also:

• Constant Field Values

DATAONEOF

static final int DATAONEOF

RegularExpression Id.

See Also:

• Constant Field Values

DATAUNIONOF

static final int DATAUNIONOF

RegularExpression Id.

See Also:

• Constant Field Values

DATAINTERSECTIONOF

static final int DATAINTERSECTIONOF

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTONEOF

static final int OBJECTONEOF

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTUNIONOF

static final int OBJECTUNIONOF

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTHASVALUE

static final int OBJECTHASVALUE

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTINVERSEOF

static final int OBJECTINVERSEOF

RegularExpression Id.

See Also:

• Constant Field Values

INVERSEOBJECTPROPERTIES

static final int INVERSEOBJECTPROPERTIES

RegularExpression Id.

See Also:

• Constant Field Values

DATACOMPLEMENTOF

static final int DATACOMPLEMENTOF

RegularExpression Id.

See Also:

• Constant Field Values

DATATYPERESTRICTION

static final int DATATYPERESTRICTION

RegularExpression Id.

See Also:

• Constant Field Values

DATATYPEDEFINITION

static final int DATATYPEDEFINITION

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTINTERSECTIONOF

static final int OBJECTINTERSECTIONOF

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTCOMPLEMENTOF

static final int OBJECTCOMPLEMENTOF

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTALLVALUESFROM

static final int OBJECTALLVALUESFROM

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTSOMEVALUESFROM

static final int OBJECTSOMEVALUESFROM

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTHASSELF

static final int OBJECTHASSELF

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTMINCARDINALITY

static final int OBJECTMINCARDINALITY

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTMAXCARDINALITY

static final int OBJECTMAXCARDINALITY

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTEXACTCARDINALITY

static final int OBJECTEXACTCARDINALITY

RegularExpression Id.

See Also:

• Constant Field Values

DATAALLVALUESFROM

static final int DATAALLVALUESFROM

RegularExpression Id.

See Also:

• Constant Field Values

DATASOMEVALUESFROM

static final int DATASOMEVALUESFROM

RegularExpression Id.

See Also:

• Constant Field Values

DATAHASVALUE

static final int DATAHASVALUE

RegularExpression Id.

See Also:

• Constant Field Values

DATAMINCARDINALITY

static final int DATAMINCARDINALITY

RegularExpression Id.

See Also:

• Constant Field Values

DATAMAXCARDINALITY

static final int DATAMAXCARDINALITY

RegularExpression Id.

See Also:

• Constant Field Values

DATAEXACTCARDINALITY

static final int DATAEXACTCARDINALITY

RegularExpression Id.

See Also:

• Constant Field Values

SUBOBJECTPROPERTYCHAIN

static final int SUBOBJECTPROPERTYCHAIN

RegularExpression Id.

See Also:

• Constant Field Values

SUBOBJECTPROPERTYOF

static final int SUBOBJECTPROPERTYOF

RegularExpression Id.

See Also:

• Constant Field Values

EQUIVALENTOBJECTPROPERTIES

static final int EQUIVALENTOBJECTPROPERTIES

RegularExpression Id.

See Also:

• Constant Field Values

DISJOINTOBJECTPROPERTIES

static final int DISJOINTOBJECTPROPERTIES

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTPROPERTYDOMAIN

static final int OBJECTPROPERTYDOMAIN

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTPROPERTYRANGE

static final int OBJECTPROPERTYRANGE

RegularExpression Id.

See Also:

• Constant Field Values

FUNCTIONALOBJECTPROPERTY

static final int FUNCTIONALOBJECTPROPERTY

RegularExpression Id.

See Also:

• Constant Field Values

INVERSEFUNCTIONALOBJECTPROPERTY

static final int INVERSEFUNCTIONALOBJECTPROPERTY

RegularExpression Id.

See Also:

• Constant Field Values

REFLEXIVEOBJECTPROPERTY

static final int REFLEXIVEOBJECTPROPERTY

RegularExpression Id.

See Also:

• Constant Field Values

IRREFLEXIVEOBJECTPROPERTY

static final int IRREFLEXIVEOBJECTPROPERTY

RegularExpression Id.

See Also:

• Constant Field Values

SYMMETRICOBJECTPROPERTY

static final int SYMMETRICOBJECTPROPERTY

RegularExpression Id.

See Also:

• Constant Field Values

ASYMMETRICOBJECTPROPERTY

static final int ASYMMETRICOBJECTPROPERTY

RegularExpression Id.

See Also:

• Constant Field Values

TRANSITIVEOBJECTPROPERTY

static final int TRANSITIVEOBJECTPROPERTY

RegularExpression Id.

See Also:

• Constant Field Values

SUBDATAPROPERTYOF

static final int SUBDATAPROPERTYOF

RegularExpression Id.

See Also:

• Constant Field Values

EQUIVALENTDATAPROPERTIES

static final int EQUIVALENTDATAPROPERTIES

RegularExpression Id.

See Also:

• Constant Field Values

DISJOINTDATAPROPERTIES

static final int DISJOINTDATAPROPERTIES

RegularExpression Id.

See Also:

• Constant Field Values

DATAPROPERTYDOMAIN

static final int DATAPROPERTYDOMAIN

RegularExpression Id.

See Also:

• Constant Field Values

DATAPROPERTYRANGE

static final int DATAPROPERTYRANGE

RegularExpression Id.

See Also:

• Constant Field Values

FUNCTIONALDATAPROPERTY

static final int FUNCTIONALDATAPROPERTY

RegularExpression Id.

See Also:

• Constant Field Values

SAMEINDIVIDUAL

static final int SAMEINDIVIDUAL

RegularExpression Id.

See Also:

• Constant Field Values

DIFFERENTINDIVIDUALS

static final int DIFFERENTINDIVIDUALS

RegularExpression Id.

See Also:

• Constant Field Values

CLASSASSERTION

static final int CLASSASSERTION

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTPROPERTYASSERTION

static final int OBJECTPROPERTYASSERTION

RegularExpression Id.

See Also:

• Constant Field Values

NEGATIVEOBJECTPROPERTYASSERTION

static final int NEGATIVEOBJECTPROPERTYASSERTION

RegularExpression Id.

See Also:

• Constant Field Values

DATAPROPERTYASSERTION

static final int DATAPROPERTYASSERTION

RegularExpression Id.

See Also:

• Constant Field Values

NEGATIVEDATAPROPERTYASSERTION

static final int NEGATIVEDATAPROPERTYASSERTION

RegularExpression Id.

See Also:

• Constant Field Values

PREFIX

static final int PREFIX

RegularExpression Id.

See Also:

• Constant Field Values

LENGTH

static final int LENGTH

RegularExpression Id.

See Also:

• Constant Field Values

MINLENGTH

static final int MINLENGTH

RegularExpression Id.

See Also:

• Constant Field Values

MAXLENGTH

static final int MAXLENGTH

RegularExpression Id.

See Also:

• Constant Field Values

PATTERN

static final int PATTERN

RegularExpression Id.

See Also:

• Constant Field Values

MININCLUSIVE

static final int MININCLUSIVE

RegularExpression Id.

See Also:

• Constant Field Values

MAXINCLUSIVE

static final int MAXINCLUSIVE

RegularExpression Id.

See Also:

• Constant Field Values

MINEXCLUSIVE

static final int MINEXCLUSIVE

RegularExpression Id.

See Also:

• Constant Field Values

MAXEXCLUSIVE

static final int MAXEXCLUSIVE

RegularExpression Id.

See Also:

• Constant Field Values

TOTALDIGITS

static final int TOTALDIGITS

RegularExpression Id.

See Also:

• Constant Field Values

FRACTIONDIGITS

static final int FRACTIONDIGITS

RegularExpression Id.

See Also:

• Constant Field Values

DLSAFERULE

static final int DLSAFERULE

RegularExpression Id.

See Also:

• Constant Field Values

BODY

static final int BODY

RegularExpression Id.

See Also:

• Constant Field Values

HEAD

static final int HEAD

RegularExpression Id.

See Also:

• Constant Field Values

CLASSATOM

static final int CLASSATOM

RegularExpression Id.

See Also:

• Constant Field Values

DATARANGEATOM

static final int DATARANGEATOM

RegularExpression Id.

See Also:

• Constant Field Values

OBJECTPROPERTYATOM

static final int OBJECTPROPERTYATOM

RegularExpression Id.

See Also:

• Constant Field Values

DATAPROPERTYATOM

static final int DATAPROPERTYATOM

RegularExpression Id.

See Also:

• Constant Field Values

BUILTINATOM

static final int BUILTINATOM

RegularExpression Id.

See Also:

• Constant Field Values

SAMEINDIVIDUALATOM

static final int SAMEINDIVIDUALATOM

RegularExpression Id.

See Also:

• Constant Field Values

DIFFERENTINDIVIDUALSATOM

static final int DIFFERENTINDIVIDUALSATOM

RegularExpression Id.

See Also:

• Constant Field Values

VARIABLE

static final int VARIABLE

RegularExpression Id.

See Also:

• Constant Field Values

DGRULE

static final int DGRULE

RegularExpression Id.

See Also:

• Constant Field Values

DESCRIPTIONGRAPH

static final int DESCRIPTIONGRAPH

RegularExpression Id.

See Also:

• Constant Field Values

NODES

static final int NODES

RegularExpression Id.

See Also:

• Constant Field Values

NODEASSERTION

static final int NODEASSERTION

RegularExpression Id.

See Also:

• Constant Field Values

EDGES

static final int EDGES

RegularExpression Id.

See Also:

• Constant Field Values

EDGEASSERTION

static final int EDGEASSERTION

RegularExpression Id.

See Also:

• Constant Field Values

MAINCLASSES

static final int MAINCLASSES

RegularExpression Id.

See Also:

• Constant Field Values

EQUALS

static final int EQUALS

RegularExpression Id.

See Also:

• Constant Field Values

INT

static final int INT

RegularExpression Id.

See Also:

• Constant Field Values

FULLIRI

static final int FULLIRI

RegularExpression Id.

See Also:

• Constant Field Values

PNAME_NS

static final int PNAME_NS

RegularExpression Id.

See Also:

• Constant Field Values

PN_LOCAL

static final int PN_LOCAL

RegularExpression Id.

See Also:

• Constant Field Values

PNAME_LN

static final int PNAME_LN

RegularExpression Id.

See Also:

• Constant Field Values

PN_PREFIX

static final int PN_PREFIX

RegularExpression Id.

See Also:

• Constant Field Values

PN_CHARS_BASE

static final int PN_CHARS_BASE

RegularExpression Id.

See Also:

• Constant Field Values

PN_CHARS

static final int PN_CHARS

RegularExpression Id.

See Also:

• Constant Field Values

PN_CHARS_U

static final int PN_CHARS_U

RegularExpression Id.

See Also:

• Constant Field Values

NODEID

static final int NODEID

RegularExpression Id.

See Also:

• Constant Field Values

ERROR

static final int ERROR

RegularExpression Id.

See Also:

• Constant Field Values

tokenImage

static final String[] tokenImage

Literal token values.

Constructor Details

OWLFunctionalSyntaxParser

public OWLFunctionalSyntaxParser(org.semanticweb.owlapi.functional.parser.TokenManager tm)

Constructor with user supplied Token Manager.

Method Details

setUp

public void setUp(OWLOntology ontology,
 OWLOntologyLoaderConfiguration configuration)

getIRI

public IRI getIRI(String s)

setIgnoreAnnotationsAndDeclarations

public void setIgnoreAnnotationsAndDeclarations(boolean b)

setPrefixes

public void setPrefixes(PrefixManager nsm)

parse

public final FunctionalSyntaxDocumentFormat parse()
                                           throws org.semanticweb.owlapi.functional.parser.ParseException,
OWLParserException,
UnloadableImportException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

OWLParserException

UnloadableImportException

Ontology

public final void Ontology()
                    throws org.semanticweb.owlapi.functional.parser.ParseException,
OWLParserException,
UnloadableImportException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

OWLParserException

UnloadableImportException

Prefix

public final void Prefix()
                  throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

IRI

public final IRI IRI()
              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

FullIRI

public final IRI FullIRI()
                  throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

AbbreviatedIRI

public final IRI AbbreviatedIRI()
                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

PrefixName

public final String PrefixName()
                        throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ClassExpression

public final OWLClassExpression ClassExpression()
                                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ClassIRI

public final OWLClass ClassIRI()
                        throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ClassExpressionSet

public final Set<OWLClassExpression> ClassExpressionSet()
                                                 throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

IndividualMinOneSet

public final Set<OWLIndividual> IndividualMinOneSet()
                                             throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectUnionOf

public final OWLClassExpression ObjectUnionOf()
                                       throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectIntersectionOf

public final OWLClassExpression ObjectIntersectionOf()
                                              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectComplementOf

public final OWLClassExpression ObjectComplementOf()
                                            throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectOneOf

public final OWLClassExpression ObjectOneOf()
                                     throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectAllValuesFrom

public final OWLClassExpression ObjectAllValuesFrom()
                                             throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectSomeValuesFrom

public final OWLClassExpression ObjectSomeValuesFrom()
                                              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectHasValue

public final OWLClassExpression ObjectHasValue()
                                        throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectSelf

public final OWLClassExpression ObjectSelf()
                                    throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectMinCardinality

public final OWLClassExpression ObjectMinCardinality()
                                              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectExactCardinality

public final OWLClassExpression ObjectExactCardinality()
                                                throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectMaxCardinality

public final OWLClassExpression ObjectMaxCardinality()
                                              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataAllValuesFrom

public final OWLClassExpression DataAllValuesFrom()
                                           throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataSomeValuesFrom

public final OWLClassExpression DataSomeValuesFrom()
                                            throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataHasValue

public final OWLClassExpression DataHasValue()
                                      throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataMinCardinality

public final OWLClassExpression DataMinCardinality()
                                            throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataExactCardinality

public final OWLClassExpression DataExactCardinality()
                                              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataMaxCardinality

public final OWLClassExpression DataMaxCardinality()
                                            throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

Class

public final OWLClass Class()
                     throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectPropertyExpression

public final OWLObjectPropertyExpression ObjectPropertyExpression()
                                                           throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

InverseObjectProperty

public final OWLObjectPropertyExpression InverseObjectProperty()
                                                        throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectProperty

public final OWLObjectProperty ObjectProperty()
                                       throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataPropertyExpression

public final OWLDataPropertyExpression DataPropertyExpression()
                                                       throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataPropertyIRI

public final OWLDataProperty DataPropertyIRI()
                                      throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataProperty

public final OWLDataProperty DataProperty()
                                   throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

AnnotationProperty

public final OWLAnnotationProperty AnnotationProperty()
                                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

AnnotationPropertyIRI

public final OWLAnnotationProperty AnnotationPropertyIRI()
                                                  throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

NamedIndividual

public final OWLNamedIndividual NamedIndividual()
                                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

AnonymousIndividual

public final OWLAnonymousIndividual AnonymousIndividual()
                                                 throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

Datatype

public final OWLDatatype Datatype()
                           throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DatatypeIRI

public final OWLDatatype DatatypeIRI()
                              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

Cardinality

public final int Cardinality()
                      throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

Integer

public final int Integer()
                  throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DatatypeDefinitionAxiom

public final OWLDatatypeDefinitionAxiom DatatypeDefinitionAxiom()
                                                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataRange

public final OWLDataRange DataRange()
                             throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataComplementOf

public final OWLDataRange DataComplementOf()
                                    throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataOneOf

public final OWLDataRange DataOneOf()
                             throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataUnionOf

public final OWLDataRange DataUnionOf()
                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataIntersectionOf

public final OWLDataRange DataIntersectionOf()
                                      throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataRangeRestriction

public final OWLDataRange DataRangeRestriction()
                                        throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataRangeFacetRestriction

public final OWLFacetRestriction DataRangeFacetRestriction()
                                                    throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

Axiom

public final OWLAxiom Axiom()
                     throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ClassAxiom

public final OWLClassAxiom ClassAxiom()
                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

SubClassOf

public final OWLClassAxiom SubClassOf()
                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

EquivalentClasses

public final OWLClassAxiom EquivalentClasses()
                                      throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DisjointClasses

public final OWLClassAxiom DisjointClasses()
                                    throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DisjointUnion

public final OWLClassAxiom DisjointUnion()
                                  throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectPropertyAxiom

public final OWLPropertyAxiom ObjectPropertyAxiom()
                                           throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

SubObjectPropertyChain

public final List<OWLObjectPropertyExpression> SubObjectPropertyChain()
                                                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

SubObjectPropertyOf

public final OWLPropertyAxiom SubObjectPropertyOf()
                                           throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

EquivalentObjectProperties

public final OWLPropertyAxiom EquivalentObjectProperties()
                                                  throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DisjointObjectProperties

public final OWLPropertyAxiom DisjointObjectProperties()
                                                throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectPropertySet

public final Set<OWLObjectPropertyExpression> ObjectPropertySet()
                                                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectPropertyRange

public final OWLPropertyAxiom ObjectPropertyRange()
                                           throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectPropertyDomain

public final OWLPropertyAxiom ObjectPropertyDomain()
                                            throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

FunctionalObjectProperty

public final OWLPropertyAxiom FunctionalObjectProperty()
                                                throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

InverseObjectProperties

public final OWLPropertyAxiom InverseObjectProperties()
                                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

InverseFunctionalObjectProperty

public final OWLPropertyAxiom InverseFunctionalObjectProperty()
                                                       throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

SymmetricObjectProperty

public final OWLPropertyAxiom SymmetricObjectProperty()
                                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

AsymmetricObjectProperty

public final OWLPropertyAxiom AsymmetricObjectProperty()
                                                throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ReflexiveObjectProperty

public final OWLPropertyAxiom ReflexiveObjectProperty()
                                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

IrreflexiveObjectProperty

public final OWLPropertyAxiom IrreflexiveObjectProperty()
                                                 throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

TransitiveObjectProperty

public final OWLPropertyAxiom TransitiveObjectProperty()
                                                throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataPropertyAxiom

public final OWLPropertyAxiom DataPropertyAxiom()
                                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

SubDataPropertyOf

public final OWLPropertyAxiom SubDataPropertyOf()
                                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

EquivalentDataProperties

public final OWLPropertyAxiom EquivalentDataProperties()
                                                throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DisjointDataProperties

public final OWLPropertyAxiom DisjointDataProperties()
                                              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataPropertySet

public final Set<OWLDataPropertyExpression> DataPropertySet()
                                                     throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataPropertyDomain

public final OWLPropertyAxiom DataPropertyDomain()
                                          throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataPropertyRange

public final OWLPropertyAxiom DataPropertyRange()
                                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

FunctionalDataProperty

public final OWLPropertyAxiom FunctionalDataProperty()
                                              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

IndividualAxiom

public final OWLIndividualAxiom IndividualAxiom()
                                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

IndividualSet

public final Set<OWLIndividual> IndividualSet()
                                       throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

SameIndividuals

public final OWLIndividualAxiom SameIndividuals()
                                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DifferentIndividuals

public final OWLIndividualAxiom DifferentIndividuals()
                                              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ClassAssertion

public final OWLIndividualAxiom ClassAssertion()
                                        throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectPropertyAssertion

public final OWLIndividualAxiom ObjectPropertyAssertion()
                                                 throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

NegativeObjectPropertyAssertion

public final OWLIndividualAxiom NegativeObjectPropertyAssertion()
                                                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataPropertyAssertion

public final OWLIndividualAxiom DataPropertyAssertion()
                                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

NegativeDataPropertyAssertion

public final OWLIndividualAxiom NegativeDataPropertyAssertion()
                                                       throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

IndividualIRI

public final OWLNamedIndividual IndividualIRI()
                                       throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

Individual

public final OWLIndividual Individual()
                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectPropertyIRI

public final OWLObjectProperty ObjectPropertyIRI()
                                          throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

AnnotationAxiom

public final OWLAxiom AnnotationAxiom()
                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

Annotation

public final OWLAnnotation Annotation()
                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

AnnotationSubject

public final OWLAnnotationSubject AnnotationSubject()
                                             throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

AnnotationValue

public final OWLAnnotationValue AnnotationValue()
                                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

AxiomAnnotationSet

public final Set<OWLAnnotation> AxiomAnnotationSet()
                                            throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ImportsDeclaration

public final OWLImportsDeclaration ImportsDeclaration()
                                               throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

AnnotationAssertion

public final OWLAnnotationAssertionAxiom AnnotationAssertion()
                                                      throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

SubAnnotationPropertyOf

public final OWLSubAnnotationPropertyOfAxiom SubAnnotationPropertyOf()
                                                              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

AnnotationPropertyDomain

public final OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain()
                                                                throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

AnnotationPropertyRange

public final OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange()
                                                              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

HasKey

public final OWLHasKeyAxiom HasKey()
                            throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

Declaration

public final OWLAxiom Declaration()
                           throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

Entity

public final OWLEntity Entity()
                       throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

Literal

public final OWLLiteral Literal()
                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

QuotedString

public final String QuotedString()
                          throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

LangTag

public final String LangTag()
                     throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DLSafeRule

public final SWRLRule DLSafeRule()
                          throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

Atom

public final SWRLAtom Atom()
                    throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ClassAtom

public final SWRLClassAtom ClassAtom()
                              throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataRangeAtom

public final SWRLDataRangeAtom DataRangeAtom()
                                      throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ObjectPropertyAtom

public final SWRLObjectPropertyAtom ObjectPropertyAtom()
                                                throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DataPropertyAtom

public final SWRLDataPropertyAtom DataPropertyAtom()
                                            throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

BuiltInAtom

public final SWRLBuiltInAtom BuiltInAtom()
                                  throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

SameIndividualAtom

public final SWRLSameIndividualAtom SameIndividualAtom()
                                                throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DifferentIndividualsAtom

public final SWRLDifferentIndividualsAtom DifferentIndividualsAtom()
                                                            throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

IArg

public final SWRLIArgument IArg()
                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

DArg

public final SWRLDArgument DArg()
                         throws org.semanticweb.owlapi.functional.parser.ParseException

Throws:

org.semanticweb.owlapi.functional.parser.ParseException

ReInit

public void ReInit(org.semanticweb.owlapi.functional.parser.TokenManager tm)

Reinitialise.

getNextToken

public final org.semanticweb.owlapi.functional.parser.Token getNextToken()

Get the next Token.

getToken

public final org.semanticweb.owlapi.functional.parser.Token getToken(int index)

Get the specific Token.

generateParseException

public org.semanticweb.owlapi.functional.parser.ParseException generateParseException()

Generate ParseException.

trace_enabled

public final boolean trace_enabled()

Trace enabled.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.