org.semanticweb.owlapi.manchestersyntax.parser

Class ManchesterOWLSyntaxParserImpl

java.lang.Object

org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxParserImpl

All Implemented Interfaces:

HasOntologyLoaderConfiguration, HasOntologyLoaderConfigurationProvider, ManchesterOWLSyntaxParser

Direct Known Subclasses:

ManchesterOWLSyntaxEditorParser

public class ManchesterOWLSyntaxParserImpl
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)

Since:

2.2.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Constructor Summary

Constructors

Constructor and Description
ManchesterOWLSyntaxParserImpl(javax.inject.Provider<OWLOntologyLoaderConfiguration> configurationProvider, OWLDataFactory dataFactory)

Method Summary

Modifier and Type	Method and Description
OWLOntologyLoaderConfiguration	getOntologyLoaderConfiguration()
Set<OntologyAxiomPair>	parseAnnotationPropertyFrame()
Set<OWLAnnotationProperty>	parseAnnotationPropertyList()
OWLAxiom	parseAxiom() Parsing "Inline" Axioms.
OWLClassAxiom	parseClassAxiom() Parsing "Inline" class Axioms.
OWLClassExpression	parseClassExpression() Parses an OWL class expression that is represented in Manchester OWL Syntax.
OWLClassExpression	parseClassExpression(String s) Convenience method equivalent to setStringToParse("string"; parseClassexpression();}
Set<OWLClassExpression>	parseClassExpressionList()
Set<OntologyAxiomPair>	parseClassFrame()
Set<OntologyAxiomPair>	parseClassFrameEOF()
Set<OntologyAxiomPair>	parseDataPropertyFrame()
Set<OWLDataProperty>	parseDataPropertyList()
OWLDataRange	parseDataRange()
Set<OWLDataRange>	parseDataRangeList()
Set<OntologyAxiomPair>	parseDatatypeFrame()
Set<OntologyAxiomPair>	parseFrames()
Set<OntologyAxiomPair>	parseIndividualFrame()
Set<OWLIndividual>	parseIndividualList()
OWLLiteral	parseLiteral(OWLDatatype datatype)
List<OWLObjectPropertyExpression>	parseObjectPropertyChain()
Set<OntologyAxiomPair>	parseObjectPropertyFrame()
Set<OWLObjectPropertyExpression>	parseObjectPropertyList()
ManchesterSyntaxDocumentFormat	parseOntology(OWLOntology ont)
Set<OWLPropertyExpression>	parsePropertyList()
List<OntologyAxiomPair>	parseRuleFrame()
Set<OntologyAxiomPair>	parseValuePartitionFrame()
IRI	parseVariable()
void	setDefaultOntology(OWLOntology defaultOntology)
void	setOntologyLoaderConfiguration(OWLOntologyLoaderConfiguration config) Sets the configuration.
void	setOntologyLoaderConfigurationProvider(javax.inject.Provider<OWLOntologyLoaderConfiguration> provider) Sets the configuration provider.
void	setOWLEntityChecker(OWLEntityChecker owlEntityChecker)
void	setOWLOntologyChecker(OWLOntologyChecker owlOntologyChecker)
void	setStringToParse(String s)

Methods inherited from class java.lang.Object

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

Constructor Detail

ManchesterOWLSyntaxParserImpl

@Inject
public ManchesterOWLSyntaxParserImpl(@Nonnull
                                             javax.inject.Provider<OWLOntologyLoaderConfiguration> configurationProvider,
                                             @Nonnull
                                             OWLDataFactory dataFactory)

Parameters:

configurationProvider - configuration provider

dataFactory - dataFactory

Method Detail

getOntologyLoaderConfiguration

@Nonnull
public OWLOntologyLoaderConfiguration getOntologyLoaderConfiguration()

Specified by:

getOntologyLoaderConfiguration in interface HasOntologyLoaderConfiguration

Returns:

the configuration for this object. This is a read only accessor, since the configuration is an immutable object. To change the configuration, use the setter in this interface to set a modified configuration.

setOntologyLoaderConfigurationProvider

public void setOntologyLoaderConfigurationProvider(javax.inject.Provider<OWLOntologyLoaderConfiguration> provider)

Description copied from interface: HasOntologyLoaderConfigurationProvider

Sets the configuration provider.

Specified by:

setOntologyLoaderConfigurationProvider in interface HasOntologyLoaderConfigurationProvider

Parameters:

provider - the provider to be used

setOntologyLoaderConfiguration

public void setOntologyLoaderConfiguration(OWLOntologyLoaderConfiguration config)

Description copied from interface: HasOntologyLoaderConfiguration

Sets the configuration.

Specified by:

setOntologyLoaderConfiguration in interface HasOntologyLoaderConfiguration

Parameters:

config - configuration to be used

setStringToParse

public void setStringToParse(String s)

Specified by:

setStringToParse in interface ManchesterOWLSyntaxParser

Parameters:

s - String to parse

setOWLEntityChecker

public void setOWLEntityChecker(OWLEntityChecker owlEntityChecker)

Specified by:

setOWLEntityChecker in interface ManchesterOWLSyntaxParser

Parameters:

owlEntityChecker - owlEntityChecker

setOWLOntologyChecker

public void setOWLOntologyChecker(@Nonnull
                                  OWLOntologyChecker owlOntologyChecker)

Specified by:

setOWLOntologyChecker in interface ManchesterOWLSyntaxParser

Parameters:

owlOntologyChecker - owlOntologyChecker

parseClassExpression

@Nonnull
public OWLClassExpression parseClassExpression()

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

parseClassExpression

public OWLClassExpression parseClassExpression(String s)

Description copied from interface: ManchesterOWLSyntaxParser

Convenience method equivalent to setStringToParse("string"; parseClassexpression();}

Specified by:

parseClassExpression in interface ManchesterOWLSyntaxParser

Parameters:

s - String to parse

Returns:

parsed class expression

parseDataRange

public OWLDataRange parseDataRange()

Specified by:

parseDataRange in interface ManchesterOWLSyntaxParser

Returns:

data range

parseDataRangeList

@Nonnull
public Set<OWLDataRange> parseDataRangeList()

Specified by:

parseDataRangeList in interface ManchesterOWLSyntaxParser

Returns:

parsed list of data ranges

parseLiteral

@Nonnull
public OWLLiteral parseLiteral(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

parseFrames

@Nonnull
public Set<OntologyAxiomPair> parseFrames()

Specified by:

parseFrames in interface ManchesterOWLSyntaxParser

Returns:

frames

parseDatatypeFrame

public Set<OntologyAxiomPair> parseDatatypeFrame()

Specified by:

parseDatatypeFrame in interface ManchesterOWLSyntaxParser

Returns:

datatype frames

parseClassFrame

public Set<OntologyAxiomPair> parseClassFrame()

Specified by:

parseClassFrame in interface ManchesterOWLSyntaxParser

Returns:

class frames

parseClassFrameEOF

public Set<OntologyAxiomPair> parseClassFrameEOF()

Specified by:

parseClassFrameEOF in interface ManchesterOWLSyntaxParser

Returns:

class frames (parsing with EOF true)

setDefaultOntology

public void setDefaultOntology(@Nonnull
                               OWLOntology defaultOntology)

Specified by:

setDefaultOntology in interface ManchesterOWLSyntaxParser

Parameters:

defaultOntology - ontology to use to resolve classes and entities during parsing

parseObjectPropertyFrame

public Set<OntologyAxiomPair> parseObjectPropertyFrame()

Specified by:

parseObjectPropertyFrame in interface ManchesterOWLSyntaxParser

Returns:

object property frames

parseDataPropertyFrame

public Set<OntologyAxiomPair> parseDataPropertyFrame()

Specified by:

parseDataPropertyFrame in interface ManchesterOWLSyntaxParser

Returns:

data property frames

parseAnnotationPropertyFrame

public Set<OntologyAxiomPair> parseAnnotationPropertyFrame()

Specified by:

parseAnnotationPropertyFrame in interface ManchesterOWLSyntaxParser

Returns:

annotation frames

parseIndividualFrame

public Set<OntologyAxiomPair> parseIndividualFrame()

Specified by:

parseIndividualFrame in interface ManchesterOWLSyntaxParser

Returns:

individual frames

parseValuePartitionFrame

public Set<OntologyAxiomPair> parseValuePartitionFrame()

Specified by:

parseValuePartitionFrame in interface ManchesterOWLSyntaxParser

Returns:

value partition frames

parseRuleFrame

public List<OntologyAxiomPair> parseRuleFrame()

Specified by:

parseRuleFrame in interface ManchesterOWLSyntaxParser

Returns:

list of rule frames

parseVariable

public IRI parseVariable()

Specified by:

parseVariable in interface ManchesterOWLSyntaxParser

Returns:

IRI for a SWRL variable

parseClassExpressionList

public Set<OWLClassExpression> parseClassExpressionList()

Specified by:

parseClassExpressionList in interface ManchesterOWLSyntaxParser

Returns:

list of class expressions

parsePropertyList

public Set<OWLPropertyExpression> parsePropertyList()

Specified by:

parsePropertyList in interface ManchesterOWLSyntaxParser

Returns:

property list (object or data)

parseObjectPropertyList

public Set<OWLObjectPropertyExpression> parseObjectPropertyList()

Specified by:

parseObjectPropertyList in interface ManchesterOWLSyntaxParser

Returns:

list of object properties

parseDataPropertyList

public Set<OWLDataProperty> parseDataPropertyList()

Specified by:

parseDataPropertyList in interface ManchesterOWLSyntaxParser

Returns:

list of object properties

parseAnnotationPropertyList

public Set<OWLAnnotationProperty> parseAnnotationPropertyList()

Specified by:

parseAnnotationPropertyList in interface ManchesterOWLSyntaxParser

Returns:

parsed list of annotation properties

parseIndividualList

@Nonnull
public Set<OWLIndividual> parseIndividualList()

Specified by:

parseIndividualList in interface ManchesterOWLSyntaxParser

Returns:

parsed list of individuals

parseObjectPropertyChain

public List<OWLObjectPropertyExpression> parseObjectPropertyChain()

Specified by:

parseObjectPropertyChain in interface ManchesterOWLSyntaxParser

Returns:

object property chain

parseOntology

public ManchesterSyntaxDocumentFormat parseOntology(@Nonnull
                                                    OWLOntology ont)

Specified by:

parseOntology in interface ManchesterOWLSyntaxParser

Parameters:

ont - ont

Returns:

format

parseAxiom

public OWLAxiom parseAxiom()

Description copied from interface: ManchesterOWLSyntaxParser

Parsing "Inline" Axioms.

Specified by:

parseAxiom in interface ManchesterOWLSyntaxParser

Returns:

axiom

parseClassAxiom

public OWLClassAxiom parseClassAxiom()

Description copied from interface: ManchesterOWLSyntaxParser

Parsing "Inline" class Axioms.

Specified by:

parseClassAxiom in interface ManchesterOWLSyntaxParser

Returns:

axiom