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
@mcodescu, I will leave GeneralizedTerm as it is, because that will later make the addition of queries easier. Note that currently, GeneralizedTerm is nothing but SymbolRef. Hence, the semantics could also treat it in this way.
@mcodescu, I will leave GeneralizedTerm as it is, because that will later make the addition of queries easier. Note that currently, GeneralizedTerm is nothing but SymbolRef. Hence, the semantics could also treat it in this way.