edu.stanford.smi.protegex.owl.model.classparser
Interface OWLClassParser

All Known Implementing Classes:

CompactOWLClassParser, ManchesterOWLClassParser

public interface OWLClassParser

An interface for objects that can be used to parse a class expression.

Author:

Holger Knublauch

Method Summary

void	checkClass(OWLModel owlModel, String expression) Performs a test of a given expression and throws an Exception if the expression is currently invalid.
void	checkHasValueFiller(OWLModel owlModel, String expression)
void	checkQuantifierFiller(OWLModel owlModel, String expression)
RDFSClass	parseClass(OWLModel owlModel, String expression)
Object	parseHasValueFiller(OWLModel owlModel, String expression)
RDFResource	parseQuantifierFiller(OWLModel owlModel, String expression)

Method Detail

checkClass

public void checkClass(OWLModel owlModel,
                       String expression)
                throws OWLClassParseException

Performs a test of a given expression and throws an Exception if the expression is currently invalid.

Parameters:

owlModel - the OWLModel to operate on

expression - the expression

Throws:

OWLClassParseException - if expression cannot be parsed

checkHasValueFiller

public void checkHasValueFiller(OWLModel owlModel,
                                String expression)
                         throws OWLClassParseException

Throws:

OWLClassParseException

checkQuantifierFiller

public void checkQuantifierFiller(OWLModel owlModel,
                                  String expression)
                           throws OWLClassParseException

Throws:

OWLClassParseException

parseClass

public RDFSClass parseClass(OWLModel owlModel,
                            String expression)
                     throws OWLClassParseException

Throws:

OWLClassParseException

parseHasValueFiller

public Object parseHasValueFiller(OWLModel owlModel,
                                  String expression)
                           throws OWLClassParseException

Throws:

OWLClassParseException

parseQuantifierFiller

public RDFResource parseQuantifierFiller(OWLModel owlModel,
                                         String expression)
                                  throws OWLClassParseException

Throws:

OWLClassParseException