org.semanticweb.owlapi.util.mansyntax

Interface ManchesterOWLSyntaxParser

All Superinterfaces:

HasOntologyLoaderConfiguration, HasOntologyLoaderConfigurationProvider

All Known Implementing Classes:

ManchesterOWLSyntaxEditorParser, ManchesterOWLSyntaxParserImpl

public interface ManchesterOWLSyntaxParser
extends HasOntologyLoaderConfigurationProvider, HasOntologyLoaderConfiguration

Interface for a parser able to parse Manchester OWL Syntax. This covers Protege use of the parser.

Author:

ignazio

Method Summary

Modifier and Type	Method and Description
Set<OntologyAxiomPair>	parseAnnotationPropertyFrame()
Set<OWLAnnotationProperty>	parseAnnotationPropertyList()
OWLAxiom	parseAxiom() Parsing "Inline" Axioms.
OWLClassAxiom	parseClassAxiom() Deprecated. use parseAxiom(). parseClassAxiom() only casts the result of parseAxiom() to OWLClassAxiom.
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	setOWLEntityChecker(OWLEntityChecker owlEntityChecker)
void	setOWLOntologyChecker(OWLOntologyChecker owlOntologyChecker)
void	setStringToParse(String s)

Methods inherited from interface org.semanticweb.owlapi.model.HasOntologyLoaderConfigurationProvider

setOntologyLoaderConfigurationProvider

Methods inherited from interface org.semanticweb.owlapi.model.HasOntologyLoaderConfiguration

getOntologyLoaderConfiguration, setOntologyLoaderConfiguration

Method Detail

setStringToParse

void setStringToParse(@Nonnull
                      String s)

Parameters:

s - String to parse

setDefaultOntology

void setDefaultOntology(@Nonnull
                        OWLOntology defaultOntology)

Parameters:

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

parseFrames

@Nonnull
Set<OntologyAxiomPair> parseFrames()

Returns:

frames

parseAxiom

@Nonnull
OWLAxiom parseAxiom()

Parsing "Inline" Axioms.

Returns:

axiom

Throws:

OWLParserException - parsing error

parseClassAxiom

@Deprecated
 @Nonnull
OWLClassAxiom parseClassAxiom()

Deprecated. use parseAxiom(). parseClassAxiom() only casts the result of parseAxiom() to OWLClassAxiom.

Parsing "Inline" class Axioms.

Returns:

axiom

Throws:

OWLParserException - parsing error

parseClassExpression

@Nonnull
OWLClassExpression parseClassExpression()

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

Returns:

The parsed class expression

Throws:

OWLParserException - If a class expression could not be parsed.

parseClassFrameEOF

@Nonnull
Set<OntologyAxiomPair> parseClassFrameEOF()

Returns:

class frames (parsing with EOF true)

Throws:

OWLParserException - parsing error

parseValuePartitionFrame

@Nonnull
Set<OntologyAxiomPair> parseValuePartitionFrame()

Returns:

value partition frames

Throws:

OWLParserException - parsing error

parseDatatypeFrame

@Nonnull
Set<OntologyAxiomPair> parseDatatypeFrame()

Returns:

datatype frames

Throws:

OWLParserException - parsing error

parseClassFrame

@Nonnull
Set<OntologyAxiomPair> parseClassFrame()

Returns:

class frames

Throws:

OWLParserException - parsing error

parseObjectPropertyFrame

@Nonnull
Set<OntologyAxiomPair> parseObjectPropertyFrame()

Returns:

object property frames

Throws:

OWLParserException - parsing error

parseIndividualFrame

@Nonnull
Set<OntologyAxiomPair> parseIndividualFrame()

Returns:

individual frames

Throws:

OWLParserException - parsing error

parseDataPropertyFrame

@Nonnull
Set<OntologyAxiomPair> parseDataPropertyFrame()

Returns:

data property frames

Throws:

OWLParserException - parsing error

parseAnnotationPropertyFrame

@Nonnull
Set<OntologyAxiomPair> parseAnnotationPropertyFrame()

Returns:

annotation frames

Throws:

OWLParserException - parsing error

parseLiteral

@Nonnull
OWLLiteral parseLiteral(@Nullable
                                 OWLDatatype datatype)

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

setOWLEntityChecker

void setOWLEntityChecker(@Nonnull
                         OWLEntityChecker owlEntityChecker)

Parameters:

owlEntityChecker - entity checker

setOWLOntologyChecker

void setOWLOntologyChecker(@Nonnull
                           OWLOntologyChecker owlOntologyChecker)

Parameters:

owlOntologyChecker - ontology checker

parseObjectPropertyChain

@Nonnull
List<OWLObjectPropertyExpression> parseObjectPropertyChain()

Returns:

object property chain

parseOntology

@Nonnull
ManchesterSyntaxDocumentFormat parseOntology(@Nonnull
                                                      OWLOntology ont)

Parameters:

ont - ontology

Returns:

format

Throws:

OWLParserException - parsing error

UnloadableImportException - import error

parseClassExpressionList

@Nonnull
Set<OWLClassExpression> parseClassExpressionList()

Returns:

list of class expressions

parseObjectPropertyList

@Nonnull
Set<OWLObjectPropertyExpression> parseObjectPropertyList()

Returns:

list of object properties

Throws:

OWLParserException - if a parser exception is raised

parseDataPropertyList

@Nonnull
Set<OWLDataProperty> parseDataPropertyList()

Returns:

list of object properties

Throws:

OWLParserException - if a parser exception is raised

parseIndividualList

@Nonnull
Set<OWLIndividual> parseIndividualList()

Returns:

parsed list of individuals

parseDataRangeList

@Nonnull
Set<OWLDataRange> parseDataRangeList()

Returns:

parsed list of data ranges

parseAnnotationPropertyList

@Nonnull
Set<OWLAnnotationProperty> parseAnnotationPropertyList()

Returns:

parsed list of annotation properties

parseDataRange

@Nonnull
OWLDataRange parseDataRange()

Returns:

data range

parsePropertyList

@Nonnull
Set<OWLPropertyExpression> parsePropertyList()

Returns:

property list (object or data)

parseRuleFrame

@Nonnull
List<OntologyAxiomPair> parseRuleFrame()

Returns:

list of rule frames

parseVariable

@Nonnull
IRI parseVariable()

Returns:

IRI for a SWRL variable

Throws:

OWLParserException - if a parser exception is raised

parseClassExpression

@Nonnull
OWLClassExpression parseClassExpression(String s)

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

Parameters:

s - String to parse

Returns:

parsed class expression