|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.coode.owlapi.functionalparser.OWLFunctionalSyntaxParser
public class OWLFunctionalSyntaxParser
Field Summary | |
---|---|
Token |
jj_nt
Next token. |
Token |
token
Current token. |
OWLFunctionalSyntaxParserTokenManager |
token_source
Generated Token Manager. |
Constructor Summary | |
---|---|
OWLFunctionalSyntaxParser(java.io.InputStream stream)
Constructor with InputStream. |
|
OWLFunctionalSyntaxParser(java.io.InputStream stream,
java.lang.String encoding)
Constructor with InputStream and supplied encoding |
|
OWLFunctionalSyntaxParser(OWLFunctionalSyntaxParserTokenManager tm)
Constructor with generated Token Manager. |
|
OWLFunctionalSyntaxParser(java.io.Reader stream)
Constructor. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public OWLFunctionalSyntaxParserTokenManager token_source
public Token token
public Token jj_nt
Constructor Detail |
---|
public OWLFunctionalSyntaxParser(java.io.InputStream stream)
public OWLFunctionalSyntaxParser(java.io.InputStream stream, java.lang.String encoding)
public OWLFunctionalSyntaxParser(java.io.Reader stream)
public OWLFunctionalSyntaxParser(OWLFunctionalSyntaxParserTokenManager tm)
Method Detail |
---|
public void setUp(OWLOntologyManager man, OWLOntology ontology)
public IRI getIRI(java.lang.String s)
public void setIgnoreAnnotationsAndDeclarations(boolean b)
protected void applyChange(OWLOntologyChange chg)
protected void addAxiom(OWLAxiom ax)
public void setPrefixes(PrefixManager nsm)
public final OWLFunctionalSyntaxOntologyFormat parse() throws ParseException, OWLParserException, java.io.IOException, UnloadableImportException
ParseException
OWLParserException
java.io.IOException
UnloadableImportException
public final void Ontology() throws ParseException, OWLParserException, UnloadableImportException
ParseException
OWLParserException
UnloadableImportException
public final void Prefix() throws ParseException
ParseException
public final IRI IRI() throws ParseException
ParseException
public final IRI FullIRI() throws ParseException
ParseException
public final IRI AbbreviatedIRI() throws ParseException
ParseException
public final java.lang.String PrefixName() throws ParseException
ParseException
public final OWLClassExpression ClassExpression() throws ParseException
ParseException
public final OWLClass ClassIRI() throws ParseException
ParseException
public final java.util.Set<OWLClassExpression> ClassExpressionSet() throws ParseException
ParseException
public final java.util.Set<OWLIndividual> IndividualMinOneSet() throws ParseException
ParseException
public final OWLClassExpression ObjectUnionOf() throws ParseException
ParseException
public final OWLClassExpression ObjectIntersectionOf() throws ParseException
ParseException
public final OWLClassExpression ObjectComplementOf() throws ParseException
ParseException
public final OWLClassExpression ObjectOneOf() throws ParseException
ParseException
public final OWLClassExpression ObjectAllValuesFrom() throws ParseException
ParseException
public final OWLClassExpression ObjectSomeValuesFrom() throws ParseException
ParseException
public final OWLClassExpression ObjectHasValue() throws ParseException
ParseException
public final OWLClassExpression ObjectSelf() throws ParseException
ParseException
public final OWLClassExpression ObjectMinCardinality() throws ParseException
ParseException
public final OWLClassExpression ObjectExactCardinality() throws ParseException
ParseException
public final OWLClassExpression ObjectMaxCardinality() throws ParseException
ParseException
public final OWLClassExpression DataAllValuesFrom() throws ParseException
ParseException
public final OWLClassExpression DataSomeValuesFrom() throws ParseException
ParseException
public final OWLClassExpression DataHasValue() throws ParseException
ParseException
public final OWLClassExpression DataMinCardinality() throws ParseException
ParseException
public final OWLClassExpression DataExactCardinality() throws ParseException
ParseException
public final OWLClassExpression DataMaxCardinality() throws ParseException
ParseException
public final OWLClass Class() throws ParseException
ParseException
public final OWLObjectPropertyExpression ObjectPropertyExpression() throws ParseException
ParseException
public final OWLObjectPropertyExpression InverseObjectProperty() throws ParseException
ParseException
public final OWLObjectProperty ObjectProperty() throws ParseException
ParseException
public final OWLDataPropertyExpression DataPropertyExpression() throws ParseException
ParseException
public final OWLDataProperty DataPropertyIRI() throws ParseException
ParseException
public final OWLDataProperty DataProperty() throws ParseException
ParseException
public final OWLAnnotationProperty AnnotationProperty() throws ParseException
ParseException
public final OWLAnnotationProperty AnnotationPropertyIRI() throws ParseException
ParseException
public final OWLNamedIndividual NamedIndividual() throws ParseException
ParseException
public final OWLAnonymousIndividual AnonymousIndividual() throws ParseException
ParseException
public final OWLDatatype Datatype() throws ParseException
ParseException
public final OWLDatatype DatatypeIRI() throws ParseException
ParseException
public final int Cardinality() throws ParseException
ParseException
public final int Integer() throws ParseException
ParseException
public final OWLDatatypeDefinitionAxiom DatatypeDefinitionAxiom() throws ParseException
ParseException
public final OWLDataRange DataRange() throws ParseException
ParseException
public final OWLDataRange DataComplementOf() throws ParseException
ParseException
public final OWLDataRange DataOneOf() throws ParseException
ParseException
public final OWLDataRange DataUnionOf() throws ParseException
ParseException
public final OWLDataRange DataIntersectionOf() throws ParseException
ParseException
public final OWLDataRange DataRangeRestriction() throws ParseException
ParseException
public final OWLFacetRestriction DataRangeFacetRestriction() throws ParseException
ParseException
public final OWLAxiom Axiom() throws ParseException
ParseException
public final OWLClassAxiom ClassAxiom() throws ParseException
ParseException
public final OWLClassAxiom SubClassOf() throws ParseException
ParseException
public final OWLClassAxiom EquivalentClasses() throws ParseException
ParseException
public final OWLClassAxiom DisjointClasses() throws ParseException
ParseException
public final OWLClassAxiom DisjointUnion() throws ParseException
ParseException
public final OWLPropertyAxiom ObjectPropertyAxiom() throws ParseException
ParseException
public final java.util.List<OWLObjectPropertyExpression> SubObjectPropertyChain() throws ParseException
ParseException
public final OWLPropertyAxiom SubObjectPropertyOf() throws ParseException
ParseException
public final OWLPropertyAxiom EquivalentObjectProperties() throws ParseException
ParseException
public final OWLPropertyAxiom DisjointObjectProperties() throws ParseException
ParseException
public final java.util.Set<OWLObjectPropertyExpression> ObjectPropertySet() throws ParseException
ParseException
public final OWLPropertyAxiom ObjectPropertyRange() throws ParseException
ParseException
public final OWLPropertyAxiom ObjectPropertyDomain() throws ParseException
ParseException
public final OWLPropertyAxiom FunctionalObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom InverseObjectProperties() throws ParseException
ParseException
public final OWLPropertyAxiom InverseFunctionalObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom SymmetricObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom AsymmetricObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom ReflexiveObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom IrreflexiveObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom TransitiveObjectProperty() throws ParseException
ParseException
public final OWLPropertyAxiom DataPropertyAxiom() throws ParseException
ParseException
public final OWLPropertyAxiom SubDataPropertyOf() throws ParseException
ParseException
public final OWLPropertyAxiom EquivalentDataProperties() throws ParseException
ParseException
public final OWLPropertyAxiom DisjointDataProperties() throws ParseException
ParseException
public final java.util.Set<OWLDataPropertyExpression> DataPropertySet() throws ParseException
ParseException
public final OWLPropertyAxiom DataPropertyDomain() throws ParseException
ParseException
public final OWLPropertyAxiom DataPropertyRange() throws ParseException
ParseException
public final OWLPropertyAxiom FunctionalDataProperty() throws ParseException
ParseException
public final OWLIndividualAxiom IndividualAxiom() throws ParseException
ParseException
public final java.util.Set<OWLIndividual> IndividualSet() throws ParseException
ParseException
public final OWLIndividualAxiom SameIndividuals() throws ParseException
ParseException
public final OWLIndividualAxiom DifferentIndividuals() throws ParseException
ParseException
public final OWLIndividualAxiom ClassAssertion() throws ParseException
ParseException
public final OWLIndividualAxiom ObjectPropertyAssertion() throws ParseException
ParseException
public final OWLIndividualAxiom NegativeObjectPropertyAssertion() throws ParseException
ParseException
public final OWLIndividualAxiom DataPropertyAssertion() throws ParseException
ParseException
public final OWLIndividualAxiom NegativeDataPropertyAssertion() throws ParseException
ParseException
public final OWLNamedIndividual IndividualIRI() throws ParseException
ParseException
public final OWLIndividual Individual() throws ParseException
ParseException
public final OWLObjectProperty ObjectPropertyIRI() throws ParseException
ParseException
public final OWLAxiom AnnotationAxiom() throws ParseException
ParseException
public final OWLAnnotation Annotation() throws ParseException
ParseException
public final OWLAnnotationSubject AnnotationSubject() throws ParseException
ParseException
public final OWLAnnotationValue AnnotationValue() throws ParseException
ParseException
public final java.util.Set<OWLAnnotation> AxiomAnnotationSet() throws ParseException
ParseException
public final OWLImportsDeclaration ImportsDeclaration() throws ParseException
ParseException
public final OWLAnnotationAssertionAxiom AnnotationAssertion() throws ParseException
ParseException
public final OWLSubAnnotationPropertyOfAxiom SubAnnotationPropertyOf() throws ParseException
ParseException
public final OWLAnnotationPropertyDomainAxiom AnnotationPropertyDomain() throws ParseException
ParseException
public final OWLAnnotationPropertyRangeAxiom AnnotationPropertyRange() throws ParseException
ParseException
public final OWLHasKeyAxiom HasKey() throws ParseException
ParseException
public final OWLAxiom Declaration() throws ParseException
ParseException
public final OWLEntity Entity() throws ParseException
ParseException
public final OWLLiteral Literal() throws ParseException
ParseException
public final java.lang.String QuotedString() throws ParseException
ParseException
public final java.lang.String LangTag() throws ParseException
ParseException
public final SWRLRule DLSafeRule() throws ParseException
ParseException
public final SWRLAtom Atom() throws ParseException
ParseException
public final SWRLClassAtom ClassAtom() throws ParseException
ParseException
public final SWRLDataRangeAtom DataRangeAtom() throws ParseException
ParseException
public final SWRLObjectPropertyAtom ObjectPropertyAtom() throws ParseException
ParseException
public final SWRLDataPropertyAtom DataPropertyAtom() throws ParseException
ParseException
public final SWRLBuiltInAtom BuiltInAtom() throws ParseException
ParseException
public final SWRLSameIndividualAtom SameIndividualAtom() throws ParseException
ParseException
public final SWRLDifferentIndividualsAtom DifferentIndividualsAtom() throws ParseException
ParseException
public final SWRLIArgument IArg() throws ParseException
ParseException
public final SWRLDArgument DArg() throws ParseException
ParseException
public void ReInit(java.io.InputStream stream)
public void ReInit(java.io.InputStream stream, java.lang.String encoding)
public void ReInit(java.io.Reader stream)
public void ReInit(OWLFunctionalSyntaxParserTokenManager tm)
public final Token getNextToken()
public final Token getToken(int index)
public ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |