public class ManchesterOWLSyntaxEditorParser extends Object
| Type | Property and Description |
|---|---|
OWLAnnotationProperty |
parseAnnotation |
OWLDataProperty |
parseData |
| Constructor and Description |
|---|
ManchesterOWLSyntaxEditorParser(OWLDataFactory dataFactory,
String s) |
ManchesterOWLSyntaxEditorParser(OWLOntologyLoaderConfiguration configuration,
OWLDataFactory dataFactory,
String s) |
ParserExceptionParserExceptionprotected OWLDataFactory dataFactory
public static final String AND
public static final String OR
public static final String INVERSE
public static final String SOME
public static final String SELF
public static final String ONLY
public static final String VALUE
public static final String MIN
public static final String MAX
public static final String EXACTLY
public static final String ONLYSOME
public static final String NOT
public static final String CLASS
public static final String DATATYPE
public static final String SUB_CLASS_OF
public static final String SUPER_CLASS_OF
public static final String INSTANCES
public static final String EQUIVALENT_TO
public static final String EQUIVALENT_CLASSES
public static final String EQUIVALENT_PROPERTIES
public static final String DISJOINT_WITH
public static final String DISJOINT_UNION_OF
public static final String HAS_KEY
public static final String DISJOINT_CLASSES
public static final String DISJOINT_PROPERTIES
public static final String OBJECT_PROPERTY
public static final String DATA_PROPERTY
public static final String ANNOTATION_PROPERTY
public static final String SUB_PROPERTY_OF
public static final String SUPER_PROPERTY_OF
public static final String DOMAIN
public static final String RANGE
public static final String INVERSES
public static final String CHARACTERISTICS
public static final String INDIVIDUAL
public static final String INDIVIDUALS
public static final String ANNOTATIONS
public static final String TYPES
public static final String TYPE
public static final String FACTS
public static final String SAME_AS
public static final String SAME_INDIVIDUAL
public static final String DIFFERENT_FROM
public static final String DIFFERENT_INDIVIDUALS
public static final String VALUE_PARTITION
public static final String ONTOLOGY
public static final String PREFIX
public static final String IMPORT
public static final String SUB_PROPERTY_CHAIN
public static final String FUNCTIONAL
public static final String INVERSE_FUNCTIONAL
public static final String SYMMETRIC
public static final String ANTI_SYMMETRIC
public static final String ASYMMETRIC
public static final String TRANSITIVE
public static final String REFLEXIVE
public static final String IRREFLEXIVE
public static final String INVERSE_OF
public static final String RULE
public ManchesterOWLSyntaxEditorParser(OWLDataFactory dataFactory, String s)
public ManchesterOWLSyntaxEditorParser(OWLOntologyLoaderConfiguration configuration, OWLDataFactory dataFactory, String s)
public boolean isAllowEmptyFrameSections()
public void setAllowEmptyFrameSections(boolean allowEmptyFrameSections)
protected ManchesterOWLSyntaxTokenizer getTokenizer(String s)
public OWLDataFactory getDataFactory()
public void initialiseClassFrameSections()
public void initialiseIndividualFrameSections()
protected List<ManchesterOWLSyntaxTokenizer.Token> getTokens()
protected void reset()
public String getBase()
public void setBase(String base)
public OWLEntityChecker getOWLEntityChecker()
public void setOWLEntityChecker(OWLEntityChecker owlEntityChecker)
public boolean isOntologyName(String name)
public boolean isClassName(String name)
public OWLOntology getOntology(String name)
public void setOWLOntologyChecker(OWLOntologyChecker owlOntologyChecker)
public boolean isObjectPropertyName(String name)
public boolean isAnnotationPropertyName(String name)
public boolean isDataPropertyName(String name)
public boolean isIndividualName(String name)
public boolean isDatatypeName(String name)
public boolean isSWRLBuiltin(String name)
public OWLObjectProperty getOWLObjectProperty(String name)
public OWLIndividual getOWLIndividual(String name)
public OWLDataProperty getOWLDataProperty(String name)
public OWLDatatype getOWLDatatype(String name)
public OWLAnnotationProperty getOWLAnnotationProperty(String name)
protected ManchesterOWLSyntaxTokenizer.Token getLastToken()
protected String peekToken()
protected String consumeToken()
protected void consumeToken(String expected) throws ParserException
ParserExceptionpublic ManchesterOWLSyntaxTokenizer.Token getToken()
public int getTokenPos()
public int getTokenCol()
public int getTokenRow()
public OWLClassExpression parseClassExpression() throws ParserException
ParserException - If a class expression could not be parsed.public OWLClassExpression parseIntersection() throws ParserException
ParserExceptionpublic OWLClassExpression parseUnion() throws ParserException
ParserExceptionpublic OWLObjectPropertyExpression parseObjectPropertyExpression(boolean allowUndeclared) throws ParserException
ParserExceptionpublic OWLObjectPropertyExpression parseObjectPropertyExpression() throws ParserException
ParserExceptionpublic OWLPropertyExpression<?,?> parsePropertyExpression() throws ParserException
ParserExceptionpublic OWLClassExpression parseRestriction() throws ParserException
ParserExceptionpublic OWLClassExpression parseNonNaryClassExpression() throws ParserException
ParserException - if a non-nary class expression could not be parsedpublic OWLClassExpression parseObjectRestriction() throws ParserException
ParserExceptionpublic OWLClassExpression parseDataRestriction() throws ParserException
ParserExceptionpublic OWLFacet parseFacet() throws ParserException
ParserExceptionpublic OWLDatatype parseDatatype() throws ParserException
ParserExceptionpublic OWLDataRange parseDataRange() throws ParserException
ParserExceptionpublic OWLDataRange parseDataIntersectionOf() throws ParserException
ParserExceptionpublic OWLDataRange parseDataUnionOf() throws ParserException
ParserExceptionpublic Set<OWLDataRange> parseDataRangeList() throws ParserException
ParserExceptionpublic OWLLiteral parseLiteral() throws ParserException
ParserException@Deprecated public OWLLiteral parseConstant() throws ParserException
parseLiteral() insteadParserExceptionpublic int parseInteger()
throws ParserException
ParserExceptionpublic String getLineCol()
public OWLClassExpression parseObjectOneOf() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseFrames() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseDatatypeFrame() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseNaryEquivalentClasses() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseNaryEquivalentProperties() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseAnnotations(OWLAnnotationSubject subject) throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseClassFrame() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseClassFrameEOF() throws ParserException
ParserExceptionpublic void setDefaultOntology(OWLOntology defaultOntology)
public Set<OntologyAxiomPair> parseObjectPropertyFrame() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseObjectPropertyFrame(boolean eof) throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseDataPropertyFrame() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseAnnotationPropertyFrame() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseIndividualFrame() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseValuePartitionFrame() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseValuePartitionValues(Set<OWLOntology> onts, OWLClass superclass) throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseRuleFrame() throws ParserException
ParserExceptionpublic List<SWRLAtom> parseRuleAtoms() throws ParserException
ParserExceptionpublic SWRLAtom parseRuleAtom() throws ParserException
ParserExceptionpublic SWRLAtom parseDataPropertyAtom() throws ParserException
ParserExceptionpublic SWRLAtom parseDataRangeAtom() throws ParserException
ParserExceptionpublic SWRLAtom parseObjectPropertyAtom() throws ParserException
ParserExceptionpublic SWRLAtom parseClassAtom() throws ParserException
ParserExceptionpublic SWRLDifferentIndividualsAtom parseDifferentFromAtom() throws ParserException
ParserExceptionpublic SWRLSameIndividualAtom parseSameAsAtom() throws ParserException
ParserExceptionpublic SWRLIArgument parseIObject() throws ParserException
ParserExceptionpublic SWRLVariable parseIVariable() throws ParserException
ParserExceptionpublic SWRLIndividualArgument parseIIndividualObject() throws ParserException
ParserExceptionpublic IRI parseVariable() throws ParserException
ParserExceptionpublic SWRLDArgument parseDObject() throws ParserException
ParserExceptionpublic SWRLVariable parseDVariable() throws ParserException
ParserExceptionpublic SWRLLiteralArgument parseLiteralObject() throws ParserException
ParserExceptionpublic SWRLBuiltInAtom parseBuiltInAtom() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseDisjointClasses() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseSameIndividual() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseDisjointProperties() throws ParserException
ParserExceptionpublic Set<OntologyAxiomPair> parseDifferentIndividuals() throws ParserException
ParserExceptionpublic Set<OWLAxiom> parseObjectPropertyCharacteristicList(OWLObjectPropertyExpression prop) throws ParserException
ParserExceptionpublic Map<OWLClassExpression,Set<Set<OWLAnnotation>>> parseAnnotatedClassExpressionList() throws ParserException
ParserExceptionpublic Set<OWLClassExpression> parseClassExpressionList(boolean allowAnnotations) throws ParserException
ParserExceptionpublic Set<OWLClassExpression> parseClassExpressionList(String expectedOpen, String expectedClose) throws ParserException
ParserExceptionpublic Set<OWLDataProperty> parseDataPropertyList() throws ParserException
ParserExceptionpublic Map<OWLDataProperty,Set<OWLAnnotation>> parseAnnotatedDataPropertyList() throws ParserException
ParserExceptionpublic Set<OWLAnnotationProperty> parseAnnotationPropertyList() throws ParserException
ParserExceptionpublic Map<OWLPropertyExpression<?,?>,Set<OWLAnnotation>> parseAnnotatedPropertyList() throws ParserException
ParserExceptionpublic Set<OWLPropertyExpression<?,?>> parsePropertyList() throws ParserException
ParserExceptionpublic Set<OWLObjectPropertyExpression> parseObjectPropertyList() throws ParserException
ParserExceptionpublic Map<OWLObjectPropertyExpression,Set<OWLAnnotation>> parseAnnotatedObjectPropertyList() throws ParserException
ParserExceptionpublic Set<OWLIndividual> parseIndividualList() throws ParserException
ParserExceptionpublic List<OWLObjectPropertyExpression> parseObjectPropertyChain() throws ParserException
ParserExceptionpublic OWLSubPropertyChainOfAxiom parsePropertyChainSubPropertyAxiom() throws ParserException
ParserExceptionpublic OWLClassAxiom parseClassAxiom() throws ParserException
ParserExceptionpublic OWLObjectPropertyAxiom parseObjectPropertyAxiom() throws ParserException
ParserExceptionpublic OWLIndividual parseIndividual() throws ParserException
ParserExceptionpublic OWLIndividual parseIndividual(boolean defined) throws ParserException
ParserExceptionpublic OWLDataProperty parseDataProperty() throws ParserException
ParserExceptionpublic OWLAnnotationProperty parseAnnotationProperty() throws ParserException
ParserExceptionpublic Map<String,IRI> parsePrefixDeclaration() throws ParserException
ParserExceptionpublic OWLImportsDeclaration parseImportsDeclaration(OWLOntology ont) throws ParserException
ParserExceptionpublic IRI parseIRI() throws ParserException
ParserExceptionpublic Set<IRI> parseNameList() throws ParserException
ParserException@Deprecated public ManchesterOWLSyntaxOntologyFormat parseOntology(OWLOntologyManager manager, OWLOntology ont) throws ParserException, UnloadableImportException
public ManchesterOWLSyntaxOntologyFormat parseOntology(OWLOntology ont) throws ParserException, UnloadableImportException
public ManchesterOWLSyntaxOntologyHeader parseOntologyHeader(boolean toEOF) throws ParserException
ParserExceptionprotected ParserException createException(boolean ontologyNameExpected) throws ParserException
ParserExceptionprotected void throwOntologyNameOrURIExpectedException()
throws ParserException
ParserExceptionprotected ParserException createException(String... keywords) throws ParserException
ParserExceptionprotected ParserException createException(boolean classNameExpected, boolean objectPropertyNameExpected, boolean dataPropertyNameExpected, boolean individualNameExpected, boolean datatypeNameExpected, boolean annotationPropertyNameExpected, String... keywords) throws ParserException
ParserExceptionprotected ParserException createException(boolean classNameExpected, boolean objectPropertyNameExpected, boolean dataPropertyNameExpected, boolean individualNameExpected) throws ParserException
ParserExceptionpublic OWLAxiom parseAxiom() throws ParserException
ParserExceptionpublic OWLAxiom parseAxiomWithDataPropertyStart() throws ParserException
ParserExceptionpublic OWLDataPropertyExpression parseDataPropertyExpression() throws ParserException
ParserExceptionpublic OWLDataPropertyExpression parseDataPropertyExpression(boolean allowUndeclared) throws ParserException
ParserExceptionpublic OWLAxiom parseAxiomWithClassExpressionStart() throws ParserException
ParserExceptionpublic OWLAxiom parseClassAxiomRemainder(OWLClassExpression startExpression) throws ParserException
ParserExceptionpublic OWLAxiom parseAxiomWithObjectPropertyStart() throws ParserException
ParserExceptionpublic OWLAxiom parseInverseFunctionalPropertyAxiom() throws ParserException
ParserExceptionpublic OWLAxiom parseSymmetricPropertyAxiom() throws ParserException
ParserExceptionpublic OWLAxiom parseAsymmetricPropertyAxiom() throws ParserException
ParserExceptionpublic OWLAxiom parseTransitivePropertyAxiom() throws ParserException
ParserExceptionpublic OWLAxiom parseReflexivePropertyAxiom() throws ParserException
ParserExceptionpublic OWLAxiom parseIrreflexivePropertyAxiom() throws ParserException
ParserExceptionpublic OWLAxiom parseFunctionPropertyAxiom() throws ParserException
ParserExceptionCopyright © 2012 The University of Manchester. All Rights Reserved.