Class OWLFunctionalSyntaxParser

    • Constructor Detail

      • OWLFunctionalSyntaxParser

        public OWLFunctionalSyntaxParser​(java.io.InputStream stream)
        Constructor with InputStream.
      • OWLFunctionalSyntaxParser

        public OWLFunctionalSyntaxParser​(java.io.InputStream stream,
                                         java.lang.String encoding)
        Constructor with InputStream and supplied encoding
      • OWLFunctionalSyntaxParser

        public OWLFunctionalSyntaxParser​(java.io.Reader stream)
        Constructor.
    • Method Detail

      • setUp

        public void setUp​(org.semanticweb.owlapi.model.OWLOntology ontology,
                          org.semanticweb.owlapi.model.OWLOntologyLoaderConfiguration configuration)
      • getIRI

        public org.semanticweb.owlapi.model.IRI getIRI​(java.lang.String s)
      • setIgnoreAnnotationsAndDeclarations

        public void setIgnoreAnnotationsAndDeclarations​(boolean b)
      • setPrefixes

        public void setPrefixes​(org.semanticweb.owlapi.model.PrefixManager nsm)
      • parse

        public final org.semanticweb.owlapi.formats.FunctionalSyntaxDocumentFormat parse()
                                                                                  throws ParseException,
                                                                                         org.semanticweb.owlapi.io.OWLParserException,
                                                                                         org.semanticweb.owlapi.model.UnloadableImportException
        Throws:
        ParseException
        org.semanticweb.owlapi.io.OWLParserException
        org.semanticweb.owlapi.model.UnloadableImportException
      • Ontology

        public final void Ontology()
                            throws ParseException,
                                   org.semanticweb.owlapi.io.OWLParserException,
                                   org.semanticweb.owlapi.model.UnloadableImportException
        Throws:
        ParseException
        org.semanticweb.owlapi.io.OWLParserException
        org.semanticweb.owlapi.model.UnloadableImportException
      • ClassExpression

        public final org.semanticweb.owlapi.model.OWLClassExpression ClassExpression()
                                                                              throws ParseException
        Throws:
        ParseException
      • ClassExpressionSet

        public final java.util.Set<org.semanticweb.owlapi.model.OWLClassExpression> ClassExpressionSet()
                                                                                                throws ParseException
        Throws:
        ParseException
      • IndividualMinOneSet

        public final java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> IndividualMinOneSet()
                                                                                            throws ParseException
        Throws:
        ParseException
      • ObjectIntersectionOf

        public final org.semanticweb.owlapi.model.OWLClassExpression ObjectIntersectionOf()
                                                                                   throws ParseException
        Throws:
        ParseException
      • ObjectComplementOf

        public final org.semanticweb.owlapi.model.OWLClassExpression ObjectComplementOf()
                                                                                 throws ParseException
        Throws:
        ParseException
      • ObjectAllValuesFrom

        public final org.semanticweb.owlapi.model.OWLClassExpression ObjectAllValuesFrom()
                                                                                  throws ParseException
        Throws:
        ParseException
      • ObjectSomeValuesFrom

        public final org.semanticweb.owlapi.model.OWLClassExpression ObjectSomeValuesFrom()
                                                                                   throws ParseException
        Throws:
        ParseException
      • ObjectHasValue

        public final org.semanticweb.owlapi.model.OWLClassExpression ObjectHasValue()
                                                                             throws ParseException
        Throws:
        ParseException
      • ObjectMinCardinality

        public final org.semanticweb.owlapi.model.OWLClassExpression ObjectMinCardinality()
                                                                                   throws ParseException
        Throws:
        ParseException
      • ObjectExactCardinality

        public final org.semanticweb.owlapi.model.OWLClassExpression ObjectExactCardinality()
                                                                                     throws ParseException
        Throws:
        ParseException
      • ObjectMaxCardinality

        public final org.semanticweb.owlapi.model.OWLClassExpression ObjectMaxCardinality()
                                                                                   throws ParseException
        Throws:
        ParseException
      • DataAllValuesFrom

        public final org.semanticweb.owlapi.model.OWLClassExpression DataAllValuesFrom()
                                                                                throws ParseException
        Throws:
        ParseException
      • DataSomeValuesFrom

        public final org.semanticweb.owlapi.model.OWLClassExpression DataSomeValuesFrom()
                                                                                 throws ParseException
        Throws:
        ParseException
      • DataMinCardinality

        public final org.semanticweb.owlapi.model.OWLClassExpression DataMinCardinality()
                                                                                 throws ParseException
        Throws:
        ParseException
      • DataExactCardinality

        public final org.semanticweb.owlapi.model.OWLClassExpression DataExactCardinality()
                                                                                   throws ParseException
        Throws:
        ParseException
      • DataMaxCardinality

        public final org.semanticweb.owlapi.model.OWLClassExpression DataMaxCardinality()
                                                                                 throws ParseException
        Throws:
        ParseException
      • ObjectPropertyExpression

        public final org.semanticweb.owlapi.model.OWLObjectPropertyExpression ObjectPropertyExpression()
                                                                                                throws ParseException
        Throws:
        ParseException
      • InverseObjectProperty

        public final org.semanticweb.owlapi.model.OWLObjectPropertyExpression InverseObjectProperty()
                                                                                             throws ParseException
        Throws:
        ParseException
      • ObjectProperty

        public final org.semanticweb.owlapi.model.OWLObjectProperty ObjectProperty()
                                                                            throws ParseException
        Throws:
        ParseException
      • DataPropertyExpression

        public final org.semanticweb.owlapi.model.OWLDataPropertyExpression DataPropertyExpression()
                                                                                            throws ParseException
        Throws:
        ParseException
      • DataPropertyIRI

        public final org.semanticweb.owlapi.model.OWLDataProperty DataPropertyIRI()
                                                                           throws ParseException
        Throws:
        ParseException
      • AnnotationProperty

        public final org.semanticweb.owlapi.model.OWLAnnotationProperty AnnotationProperty()
                                                                                    throws ParseException
        Throws:
        ParseException
      • AnnotationPropertyIRI

        public final org.semanticweb.owlapi.model.OWLAnnotationProperty AnnotationPropertyIRI()
                                                                                       throws ParseException
        Throws:
        ParseException
      • NamedIndividual

        public final org.semanticweb.owlapi.model.OWLNamedIndividual NamedIndividual()
                                                                              throws ParseException
        Throws:
        ParseException
      • AnonymousIndividual

        public final org.semanticweb.owlapi.model.OWLAnonymousIndividual AnonymousIndividual()
                                                                                      throws ParseException
        Throws:
        ParseException
      • DatatypeDefinitionAxiom

        public final org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom DatatypeDefinitionAxiom()
                                                                                              throws ParseException
        Throws:
        ParseException
      • DataIntersectionOf

        public final org.semanticweb.owlapi.model.OWLDataRange DataIntersectionOf()
                                                                           throws ParseException
        Throws:
        ParseException
      • DataRangeRestriction

        public final org.semanticweb.owlapi.model.OWLDataRange DataRangeRestriction()
                                                                             throws ParseException
        Throws:
        ParseException
      • DataRangeFacetRestriction

        public final org.semanticweb.owlapi.model.OWLFacetRestriction DataRangeFacetRestriction()
                                                                                         throws ParseException
        Throws:
        ParseException
      • EquivalentClasses

        public final org.semanticweb.owlapi.model.OWLClassAxiom EquivalentClasses()
                                                                           throws ParseException
        Throws:
        ParseException
      • ObjectPropertyAxiom

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom ObjectPropertyAxiom()
                                                                                throws ParseException
        Throws:
        ParseException
      • SubObjectPropertyChain

        public final java.util.List<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> SubObjectPropertyChain()
                                                                                                              throws ParseException
        Throws:
        ParseException
      • SubObjectPropertyOf

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom SubObjectPropertyOf()
                                                                                throws ParseException
        Throws:
        ParseException
      • EquivalentObjectProperties

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom EquivalentObjectProperties()
                                                                                       throws ParseException
        Throws:
        ParseException
      • DisjointObjectProperties

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom DisjointObjectProperties()
                                                                                     throws ParseException
        Throws:
        ParseException
      • ObjectPropertySet

        public final java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> ObjectPropertySet()
                                                                                                        throws ParseException
        Throws:
        ParseException
      • ObjectPropertyRange

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom ObjectPropertyRange()
                                                                                throws ParseException
        Throws:
        ParseException
      • ObjectPropertyDomain

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom ObjectPropertyDomain()
                                                                                 throws ParseException
        Throws:
        ParseException
      • FunctionalObjectProperty

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom FunctionalObjectProperty()
                                                                                     throws ParseException
        Throws:
        ParseException
      • InverseObjectProperties

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom InverseObjectProperties()
                                                                                    throws ParseException
        Throws:
        ParseException
      • InverseFunctionalObjectProperty

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom InverseFunctionalObjectProperty()
                                                                                            throws ParseException
        Throws:
        ParseException
      • SymmetricObjectProperty

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom SymmetricObjectProperty()
                                                                                    throws ParseException
        Throws:
        ParseException
      • AsymmetricObjectProperty

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom AsymmetricObjectProperty()
                                                                                     throws ParseException
        Throws:
        ParseException
      • ReflexiveObjectProperty

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom ReflexiveObjectProperty()
                                                                                    throws ParseException
        Throws:
        ParseException
      • IrreflexiveObjectProperty

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom IrreflexiveObjectProperty()
                                                                                      throws ParseException
        Throws:
        ParseException
      • TransitiveObjectProperty

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom TransitiveObjectProperty()
                                                                                     throws ParseException
        Throws:
        ParseException
      • DataPropertyAxiom

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom DataPropertyAxiom()
                                                                              throws ParseException
        Throws:
        ParseException
      • SubDataPropertyOf

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom SubDataPropertyOf()
                                                                              throws ParseException
        Throws:
        ParseException
      • EquivalentDataProperties

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom EquivalentDataProperties()
                                                                                     throws ParseException
        Throws:
        ParseException
      • DisjointDataProperties

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom DisjointDataProperties()
                                                                                   throws ParseException
        Throws:
        ParseException
      • DataPropertySet

        public final java.util.Set<org.semanticweb.owlapi.model.OWLDataPropertyExpression> DataPropertySet()
                                                                                                    throws ParseException
        Throws:
        ParseException
      • DataPropertyDomain

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom DataPropertyDomain()
                                                                               throws ParseException
        Throws:
        ParseException
      • DataPropertyRange

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom DataPropertyRange()
                                                                              throws ParseException
        Throws:
        ParseException
      • FunctionalDataProperty

        public final org.semanticweb.owlapi.model.OWLPropertyAxiom FunctionalDataProperty()
                                                                                   throws ParseException
        Throws:
        ParseException
      • IndividualAxiom

        public final org.semanticweb.owlapi.model.OWLIndividualAxiom IndividualAxiom()
                                                                              throws ParseException
        Throws:
        ParseException
      • IndividualSet

        public final java.util.Set<org.semanticweb.owlapi.model.OWLIndividual> IndividualSet()
                                                                                      throws ParseException
        Throws:
        ParseException
      • SameIndividuals

        public final org.semanticweb.owlapi.model.OWLIndividualAxiom SameIndividuals()
                                                                              throws ParseException
        Throws:
        ParseException
      • DifferentIndividuals

        public final org.semanticweb.owlapi.model.OWLIndividualAxiom DifferentIndividuals()
                                                                                   throws ParseException
        Throws:
        ParseException
      • ClassAssertion

        public final org.semanticweb.owlapi.model.OWLIndividualAxiom ClassAssertion()
                                                                             throws ParseException
        Throws:
        ParseException
      • ObjectPropertyAssertion

        public final org.semanticweb.owlapi.model.OWLIndividualAxiom ObjectPropertyAssertion()
                                                                                      throws ParseException
        Throws:
        ParseException
      • NegativeObjectPropertyAssertion

        public final org.semanticweb.owlapi.model.OWLIndividualAxiom NegativeObjectPropertyAssertion()
                                                                                              throws ParseException
        Throws:
        ParseException
      • DataPropertyAssertion

        public final org.semanticweb.owlapi.model.OWLIndividualAxiom DataPropertyAssertion()
                                                                                    throws ParseException
        Throws:
        ParseException
      • NegativeDataPropertyAssertion

        public final org.semanticweb.owlapi.model.OWLIndividualAxiom NegativeDataPropertyAssertion()
                                                                                            throws ParseException
        Throws:
        ParseException
      • ObjectPropertyIRI

        public final org.semanticweb.owlapi.model.OWLObjectProperty ObjectPropertyIRI()
                                                                               throws ParseException
        Throws:
        ParseException
      • AnnotationSubject

        public final org.semanticweb.owlapi.model.OWLAnnotationSubject AnnotationSubject()
                                                                                  throws ParseException
        Throws:
        ParseException
      • AnnotationValue

        public final org.semanticweb.owlapi.model.OWLAnnotationValue AnnotationValue()
                                                                              throws ParseException
        Throws:
        ParseException
      • AxiomAnnotationSet

        public final java.util.Set<org.semanticweb.owlapi.model.OWLAnnotation> AxiomAnnotationSet()
                                                                                           throws ParseException
        Throws:
        ParseException
      • ImportsDeclaration

        public final org.semanticweb.owlapi.model.OWLImportsDeclaration ImportsDeclaration()
                                                                                    throws ParseException
        Throws:
        ParseException
      • AnnotationAssertion

        public final org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom AnnotationAssertion()
                                                                                           throws ParseException
        Throws:
        ParseException
      • SubAnnotationPropertyOf

        public final org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom SubAnnotationPropertyOf()
                                                                                                   throws ParseException
        Throws:
        ParseException
      • AnnotationPropertyDomain

        public final org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain()
                                                                                                     throws ParseException
        Throws:
        ParseException
      • AnnotationPropertyRange

        public final org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange()
                                                                                                   throws ParseException
        Throws:
        ParseException
      • ObjectPropertyAtom

        public final org.semanticweb.owlapi.model.SWRLObjectPropertyAtom ObjectPropertyAtom()
                                                                                     throws ParseException
        Throws:
        ParseException
      • DataPropertyAtom

        public final org.semanticweb.owlapi.model.SWRLDataPropertyAtom DataPropertyAtom()
                                                                                 throws ParseException
        Throws:
        ParseException
      • SameIndividualAtom

        public final org.semanticweb.owlapi.model.SWRLSameIndividualAtom SameIndividualAtom()
                                                                                     throws ParseException
        Throws:
        ParseException
      • DifferentIndividualsAtom

        public final org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom DifferentIndividualsAtom()
                                                                                                 throws ParseException
        Throws:
        ParseException
      • ReInit

        public void ReInit​(java.io.InputStream stream)
        Reinitialise.
      • ReInit

        public void ReInit​(java.io.InputStream stream,
                           java.lang.String encoding)
        Reinitialise.
      • ReInit

        public void ReInit​(java.io.Reader stream)
        Reinitialise.
      • getNextToken

        public final Token getNextToken()
        Get the next Token.
      • getToken

        public final Token getToken​(int index)
        Get the specific Token.
      • generateParseException

        public ParseException generateParseException()
        Generate ParseException.
      • enable_tracing

        public final void enable_tracing()
        Enable tracing.
      • disable_tracing

        public final void disable_tracing()
        Disable tracing.