This class is used to support the parsing of single frames in Manchester OWL syntax.
The main purpose of this class is to provide an object which is initialized with
The main purpose of this class is to provide an object which is initialized with
- all prefix declarations
and, fed with an expression in functional syntax, returns expressions in functional syntax, with
- all prefix URIs being extended - all comments removed - all non-axiom expressions (e.g. Ontology(...), Prefix(...)) removed
'Removed' here means that a null value is returned discarding the input string.
Trait to support the parsing of input OWL files in functional syntax.
Trait to support the parsing of input OWL files in functional syntax. This trait mainly defines how to make axioms from input functional syntax expressions.
Trait to support the parsing of prefixes from expressions given in functional syntax.
Class that supports the clean-up of Manchester OWL syntax frames.
Class that supports the clean-up of Manchester OWL syntax frames. An input frame will be
- discarded if it is a prefix declaration, an ontology definition or in case it is empty - replaced by the same frame with all short URIs replaced by full URIs (except short URIs of the default namespace which will be replaced later (mainly due to the difficulty to parse them right here)) - trimmed, i.e. all leading and trailing whitespace will be removed
Trait to support the parsing of input files in Manchester OWL syntax.
Trait to support the parsing of input files in Manchester OWL syntax. The main functionality is to create OWL axioms from a single Manchester OWL syntax frame. For now we simply call the OWL API Manchester OWL syntax parser for that. Unfortunately, there are quite a few cases that cannot be handled by the OWL API Manchester OWL syntax parser, now.
Trait to support the parsing of prefix definitions in Manchester OWL syntax
Object containing several constants used by the FunctionalSyntaxParsing trait and the FunctionalSyntaxExpressionBuilder
Object to store any kinds of constants
This class is used to support the parsing of single frames in Manchester OWL syntax. The main purpose is to always return a requested OWL entity without actually checking whether it was defined beforehand. This is required since the Mancherster OWL syntax parser has to deal with single frames without having access to a whole ontology. Another purpose of this entity checker is to expand namespace abbreviations.