search

tillmo / DOL

The Distributed Ontology, Modeling and Specification Language (DOL) - an answer to the OMG RFP OntoIOp. * View the latest version here: https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf. * Convenience version with diff to version of August 24: https://github.com/tillmo/DOL/raw/master/Standard/dol-diff.pdf * Homepage of OntoIOp is
http://ontoiop.org
7 stars 1 forks source link

BasicOMS need to be included in delimiters #351

Closed fabianneuhaus closed 7 years ago

fabianneuhaus commented 7 years ago

we have OMS = ... | OMS OMSTranslation | ... OMSTranslation = ... | ’with’ LanguageTranslation+

Assuming our OMS language contains an opitonal syntax element 'with' IRI, we could have something like

ontology foo = ... with

this would be ambiguous, since it would not be clear whether the "with " would be part of the basic OMS or not.

tillmo commented 7 years ago

Since with is a keyword (see 9.8.1), this is always considered to be DOL structuring. If a basic OMS contains a DOL keyword, it (the basic OMS) must be closed in curly braces. I think the latter rule has been implemented in Hets, but is missing in the standard.

tillmo commented 7 years ago

see 351_basic_OMS_delimiters Text for FTF: we have added the restriction that inside DOL documents, a Basic OMS must not use any DOL keywords, unless it is enclosed in curly braces.

fabianneuhaus commented 7 years ago

Please have a look at the diff file. I am pretty sure some form of delimiters have been lost between the quotation marks. This may be related to the escape character problem in issue #350

tillmo commented 7 years ago

OK,fixed.

fabianneuhaus commented 7 years ago

dol issue created http://issues.omg.org/browse/DOL-94

fabianneuhaus commented 7 years ago

omg proposal added