org.semanticweb.owlapi.functional.parser

Class OWLFunctionalSyntaxParser

java.lang.Object

org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxParser

All Implemented Interfaces:

OWLFunctionalSyntaxParserConstants

public class OWLFunctionalSyntaxParser
extends Object
implements OWLFunctionalSyntaxParserConstants

Field Summary

Fields

Modifier and Type	Field and Description
org.semanticweb.owlapi.functional.parser.Token	jj_nt Next token.
org.semanticweb.owlapi.functional.parser.Token	token Current token.
org.semanticweb.owlapi.functional.parser.TokenManager	token_source User defined Token Manager.

Fields inherited from interface org.semanticweb.owlapi.functional.parser.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, DESCRIPTIONGRAPH, DGRULE, DIFFERENTINDIVIDUALS, DIFFERENTINDIVIDUALSATOM, DISJOINTCLASSES, DISJOINTDATAPROPERTIES, DISJOINTOBJECTPROPERTIES, DISJOINTUNION, DLSAFERULE, DOCUMENTATION, EDGEASSERTION, EDGES, EOF, EQUALS, EQUIVALENTCLASSES, EQUIVALENTDATAPROPERTIES, EQUIVALENTOBJECTPROPERTIES, ERROR, FRACTIONDIGITS, FULLIRI, FUNCTIONALDATAPROPERTY, FUNCTIONALOBJECTPROPERTY, HASKEY, HEAD, IMPORT, INT, INVERSEFUNCTIONALOBJECTPROPERTY, INVERSEOBJECTPROPERTIES, IRREFLEXIVEOBJECTPROPERTY, LABEL, LANGIDENTIFIER, LENGTH, MAINCLASSES, MAXEXCLUSIVE, MAXINCLUSIVE, MAXLENGTH, MINEXCLUSIVE, MININCLUSIVE, MINLENGTH, NAMEDINDIVIDUAL, NEGATIVEDATAPROPERTYASSERTION, NEGATIVEOBJECTPROPERTYASSERTION, NODEASSERTION, NODEID, NODES, OBJECTALLVALUESFROM, OBJECTCOMPLEMENTOF, OBJECTEXACTCARDINALITY, OBJECTHASSELF, OBJECTHASVALUE, OBJECTINTERSECTIONOF, OBJECTINVERSEOF, OBJECTMAXCARDINALITY, OBJECTMINCARDINALITY, OBJECTONEOF, OBJECTPROP, OBJECTPROPERTYASSERTION, OBJECTPROPERTYATOM, OBJECTPROPERTYDOMAIN, OBJECTPROPERTYRANGE, OBJECTSOMEVALUESFROM, OBJECTUNIONOF, ONTOLOGY, OPENPAR, PATTERN, PN_CHARS, PN_CHARS_BASE, PN_CHARS_U, PN_LOCAL, PN_PREFIX, PNAME_LN, PNAME_NS, PREFIX, REFLEXIVEOBJECTPROPERTY, SAMEINDIVIDUAL, SAMEINDIVIDUALATOM, STRINGLITERAL, STRINGLITERAL_START, SUBANNOTATIONPROPERTYOF, SUBCLASSOF, SUBDATAPROPERTYOF, SUBOBJECTPROPERTYCHAIN, SUBOBJECTPROPERTYOF, SYMMETRICOBJECTPROPERTY, tokenImage, TOTALDIGITS, TRANSITIVEOBJECTPROPERTY, VARIABLE

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

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.

Constructor Detail

OWLFunctionalSyntaxParser

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

Constructor with user supplied Token Manager.

Method Detail

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.