org.coode.owlapi.manchesterowlsyntax

Class ManchesterOWLSyntaxEditorParser

java.lang.Object

org.coode.owlapi.manchesterowlsyntax.ManchesterOWLSyntaxEditorParser

All Implemented Interfaces:

ManchesterOWLSyntaxParser

public class ManchesterOWLSyntaxEditorParser
extends Object
implements ManchesterOWLSyntaxParser

A parser for the Manchester OWL Syntax. All properties must be defined before they are used. For example, consider the restriction hasPart some Leg. The parser must know in advance whether or not hasPart is an object property or a data property so that Leg gets parsed correctly. In a tool, such as an editor, it is expected that hasPart will already exists as either a data property or an object property. If a complete ontology is being parsed, it is expected that hasPart will have been defined at the top of the file before it is used in any class expressions or property assertions (e.g. ObjectProperty: hasPart)

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 10-Sep-2007

Property Summary

Type	Property and Description
protected org.semanticweb.owlapi.model.OWLAnnotationProperty	parseAnnotation
protected org.semanticweb.owlapi.model.OWLDataProperty	parseData

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	ManchesterOWLSyntaxEditorParser.ExceptionBuilder

Field Summary

Fields

Modifier and Type	Field and Description
protected Set<String>	annotationPropertyNames
protected Set<String>	classNames
protected org.semanticweb.owlapi.model.OWLDataFactory	dataFactory
protected Set<String>	dataPropertyNames
protected Set<String>	dataTypeNames
protected Set<String>	individualNames
protected Set<String>	objectPropertyNames
protected org.semanticweb.owlapi.util.DefaultPrefixManager	pm
protected Set<ManchesterOWLSyntax>	potentialKeywords

Constructor Summary

Constructors

Constructor and Description
ManchesterOWLSyntaxEditorParser(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, String s)
ManchesterOWLSyntaxEditorParser(org.semanticweb.owlapi.model.OWLOntologyLoaderConfiguration configuration, org.semanticweb.owlapi.model.OWLDataFactory dataFactory, String s)

Method Summary

Modifier and Type	Method and Description
protected org.semanticweb.owlapi.model.IRI	getIRI(String name)
protected ManchesterOWLSyntaxTokenizer.Token	getLastToken()
protected ManchesterOWLSyntaxTokenizer	getTokenizer(String s)
protected List<String>	getTokenSequence()
protected org.semanticweb.owlapi.model.OWLAnnotation	parseAnnotation()
protected org.semanticweb.owlapi.model.OWLAnnotationProperty	parseAnnotationProperty()
org.semanticweb.owlapi.model.OWLAxiom	parseAxiom() Parsing "Inline" Axioms.
org.semanticweb.owlapi.model.OWLClassAxiom	parseClassAxiom()
org.semanticweb.owlapi.model.OWLClassExpression	parseClassExpression() Parses an OWL class expression that is represented in Manchester OWL Syntax.
Set<org.semanticweb.owlapi.model.OWLClassExpression>	parseClassExpressionList()
Set<org.semanticweb.owlapi.model.OWLClassExpression>	parseClassExpressionList(boolean ignored)
Set<OntologyAxiomPair>	parseClassFrameEOF()
org.semanticweb.owlapi.model.OWLLiteral	parseConstant() Deprecated.
protected org.semanticweb.owlapi.model.OWLDataProperty	parseDataProperty()
protected org.semanticweb.owlapi.model.OWLDataPropertyCharacteristicAxiom	parseDataPropertyCharacteristic(org.semanticweb.owlapi.model.OWLDataPropertyExpression prop)
org.semanticweb.owlapi.model.OWLDataRange	parseDataRange()
protected org.semanticweb.owlapi.model.OWLPropertyAssertionAxiom<?,?>	parseFact(org.semanticweb.owlapi.model.OWLIndividual ind)
Set<OntologyAxiomPair>	parseFrames()
protected org.semanticweb.owlapi.model.OWLIndividual	parseIndividual()
protected Set<org.semanticweb.owlapi.model.OWLIndividual>	parseIndividualList()
protected org.semanticweb.owlapi.model.OWLClassExpression	parseIntersection()
protected org.semanticweb.owlapi.model.IRI	parseIRI()
org.semanticweb.owlapi.model.OWLLiteral	parseLiteral(org.semanticweb.owlapi.model.OWLDatatype datatype)
List<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	parseObjectPropertyChain()
protected org.semanticweb.owlapi.model.OWLObjectPropertyCharacteristicAxiom	parseObjectPropertyCharacteristic(org.semanticweb.owlapi.model.OWLObjectPropertyExpression prop)
protected org.semanticweb.owlapi.model.OWLObjectPropertyExpression	parseObjectPropertyExpression(boolean allowUndeclared)
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	parseObjectPropertyList()
ManchesterOWLSyntaxOntologyFormat	parseOntology(org.semanticweb.owlapi.model.OWLOntology ont)
Set<org.semanticweb.owlapi.model.OWLPropertyExpression<?,?>>	parsePropertyList()
List<OntologyAxiomPair>	parseRuleFrame()
protected org.semanticweb.owlapi.model.OWLClassExpression	parseUnion()
org.semanticweb.owlapi.model.IRI	parseVariable()
void	setDefaultOntology(org.semanticweb.owlapi.model.OWLOntology defaultOntology)
void	setOWLEntityChecker(OWLEntityChecker owlEntityChecker)
void	setOWLOntologyChecker(OWLOntologyChecker owlOntologyChecker)

Methods inherited from class java.lang.Object

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

Property Detail

parseData

protected org.semanticweb.owlapi.model.OWLDataProperty parseDataProperty

parseAnnotation

protected org.semanticweb.owlapi.model.OWLAnnotationProperty parseAnnotationProperty

Field Detail

dataFactory

protected org.semanticweb.owlapi.model.OWLDataFactory dataFactory

classNames

protected Set<String> classNames

objectPropertyNames

protected Set<String> objectPropertyNames

dataPropertyNames

protected Set<String> dataPropertyNames

individualNames

protected Set<String> individualNames

dataTypeNames

protected Set<String> dataTypeNames

annotationPropertyNames

protected Set<String> annotationPropertyNames

pm

protected org.semanticweb.owlapi.util.DefaultPrefixManager pm

potentialKeywords

protected Set<ManchesterOWLSyntax> potentialKeywords

Constructor Detail

ManchesterOWLSyntaxEditorParser

public ManchesterOWLSyntaxEditorParser(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
                                       String s)

Parameters:

dataFactory - dataFactory

s - s

ManchesterOWLSyntaxEditorParser

public ManchesterOWLSyntaxEditorParser(org.semanticweb.owlapi.model.OWLOntologyLoaderConfiguration configuration,
                                       org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
                                       String s)

Parameters:

configuration - configuration

dataFactory - dataFactory

s - s

Method Detail

getTokenizer

protected ManchesterOWLSyntaxTokenizer getTokenizer(String s)

setOWLEntityChecker

public void setOWLEntityChecker(OWLEntityChecker owlEntityChecker)

Specified by:

setOWLEntityChecker in interface ManchesterOWLSyntaxParser

Parameters:

owlEntityChecker - owlEntityChecker

setOWLOntologyChecker

public void setOWLOntologyChecker(OWLOntologyChecker owlOntologyChecker)

Specified by:

setOWLOntologyChecker in interface ManchesterOWLSyntaxParser

Parameters:

owlOntologyChecker - owlOntologyChecker

getLastToken

protected ManchesterOWLSyntaxTokenizer.Token getLastToken()

parseClassExpression

public org.semanticweb.owlapi.model.OWLClassExpression parseClassExpression()
                                                                     throws ParserException

Description copied from interface: ManchesterOWLSyntaxParser

Parses an OWL class expression that is represented in Manchester OWL Syntax.

Specified by:

parseClassExpression in interface ManchesterOWLSyntaxParser

Returns:

The parsed class expression

Throws:

ParserException - If a class expression could not be parsed.

parseIntersection

protected org.semanticweb.owlapi.model.OWLClassExpression parseIntersection()

parseUnion

protected org.semanticweb.owlapi.model.OWLClassExpression parseUnion()

parseObjectPropertyExpression

protected org.semanticweb.owlapi.model.OWLObjectPropertyExpression parseObjectPropertyExpression(boolean allowUndeclared)

parseDataRange

public org.semanticweb.owlapi.model.OWLDataRange parseDataRange()

Specified by:

parseDataRange in interface ManchesterOWLSyntaxParser

Returns:

data range

parseConstant

@Deprecated
public org.semanticweb.owlapi.model.OWLLiteral parseConstant()

Deprecated.

This method ignores parsing context; its results are unreliable. It is used by Pellet only, as far as I can tell.

Specified by:

parseConstant in interface ManchesterOWLSyntaxParser

Returns:

literal

parseLiteral

public org.semanticweb.owlapi.model.OWLLiteral parseLiteral(org.semanticweb.owlapi.model.OWLDatatype datatype)

Specified by:

parseLiteral in interface ManchesterOWLSyntaxParser

Parameters:

datatype - datatype to use, if one exists in the context. If null, the datatype will be decided by the literal itself.

Returns:

parsed literal

getIRI

protected org.semanticweb.owlapi.model.IRI getIRI(String name)

parseFrames

public Set<OntologyAxiomPair> parseFrames()
                                   throws ParserException

Returns:

frames

Throws:

ParserException - parsing error

parseAnnotation

protected org.semanticweb.owlapi.model.OWLAnnotation parseAnnotation()

parseClassFrameEOF

public Set<OntologyAxiomPair> parseClassFrameEOF()
                                          throws ParserException

Specified by:

parseClassFrameEOF in interface ManchesterOWLSyntaxParser

Returns:

class frames

Throws:

ParserException - parsing error

setDefaultOntology

public void setDefaultOntology(org.semanticweb.owlapi.model.OWLOntology defaultOntology)

Parameters:

defaultOntology - defaultOntology

parseFact

protected org.semanticweb.owlapi.model.OWLPropertyAssertionAxiom<?,?> parseFact(org.semanticweb.owlapi.model.OWLIndividual ind)

parseRuleFrame

public List<OntologyAxiomPair> parseRuleFrame()

Specified by:

parseRuleFrame in interface ManchesterOWLSyntaxParser

Returns:

list of rule frames

parseVariable

public org.semanticweb.owlapi.model.IRI parseVariable()
                                               throws ParserException

Specified by:

parseVariable in interface ManchesterOWLSyntaxParser

Returns:

IRI for a SWRL variable

Throws:

ParserException - if a parser exception is raised

parseObjectPropertyCharacteristic

protected org.semanticweb.owlapi.model.OWLObjectPropertyCharacteristicAxiom parseObjectPropertyCharacteristic(org.semanticweb.owlapi.model.OWLObjectPropertyExpression prop)

parseDataPropertyCharacteristic

protected org.semanticweb.owlapi.model.OWLDataPropertyCharacteristicAxiom parseDataPropertyCharacteristic(org.semanticweb.owlapi.model.OWLDataPropertyExpression prop)

parseClassExpressionList

public Set<org.semanticweb.owlapi.model.OWLClassExpression> parseClassExpressionList(boolean ignored)

Specified by:

parseClassExpressionList in interface ManchesterOWLSyntaxParser

Parameters:

ignored - this parameter is ignored

Returns:

same result as parseClassExpressionList()

parseClassExpressionList

public Set<org.semanticweb.owlapi.model.OWLClassExpression> parseClassExpressionList()

Specified by:

parseClassExpressionList in interface ManchesterOWLSyntaxParser

Returns:

list of class expressions

parsePropertyList

public Set<org.semanticweb.owlapi.model.OWLPropertyExpression<?,?>> parsePropertyList()

Specified by:

parsePropertyList in interface ManchesterOWLSyntaxParser

Returns:

property list (object or data)

parseObjectPropertyList

public Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> parseObjectPropertyList()
                                                                                      throws ParserException

Specified by:

parseObjectPropertyList in interface ManchesterOWLSyntaxParser

Returns:

list of object properties

Throws:

ParserException - if a parser exception is raised

parseIndividualList

protected Set<org.semanticweb.owlapi.model.OWLIndividual> parseIndividualList()

parseObjectPropertyChain

public List<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> parseObjectPropertyChain()

Specified by:

parseObjectPropertyChain in interface ManchesterOWLSyntaxParser

Returns:

object property chain

parseIndividual

protected org.semanticweb.owlapi.model.OWLIndividual parseIndividual()

parseDataProperty

protected org.semanticweb.owlapi.model.OWLDataProperty parseDataProperty()

parseAnnotationProperty

protected org.semanticweb.owlapi.model.OWLAnnotationProperty parseAnnotationProperty()

parseIRI

protected org.semanticweb.owlapi.model.IRI parseIRI()

parseOntology

public ManchesterOWLSyntaxOntologyFormat parseOntology(org.semanticweb.owlapi.model.OWLOntology ont)
                                                throws ParserException,
                                                       org.semanticweb.owlapi.model.UnloadableImportException

Specified by:

parseOntology in interface ManchesterOWLSyntaxParser

Parameters:

ont - ont

Returns:

format

Throws:

ParserException - parsing error

org.semanticweb.owlapi.model.UnloadableImportException - import error

getTokenSequence

protected List<String> getTokenSequence()

parseClassAxiom

public org.semanticweb.owlapi.model.OWLClassAxiom parseClassAxiom()
                                                           throws ParserException

Specified by:

parseClassAxiom in interface ManchesterOWLSyntaxParser

Returns:

class axiom

Throws:

ParserException - if a parser exception is raised

parseAxiom

public org.semanticweb.owlapi.model.OWLAxiom parseAxiom()
                                                 throws ParserException

Description copied from interface: ManchesterOWLSyntaxParser

Parsing "Inline" Axioms.

Specified by:

parseAxiom in interface ManchesterOWLSyntaxParser

Returns:

axiom

Throws:

ParserException - parsing error