[ontoiop-forum] DOL finalisation

[Till Mossakowski]

Dear Rick,

DOL also works with HasCASL. Try it out with Hets. A web interface can
be found at http://rest.hets.eu/
Moreover, also Hets can also process CASL generics. So you can also use
them in connection with DOL, if needed.

Best, Till


Am 21.12.2017 um 21:02 schrieb rick:
> On 12/21/2017 01:31 PM, Fabian Neuhaus wrote:
>> Dear Rick, 
>>
>>> How do you respond to the fact that Java and C# provide parametric
>>> polymorphism, but CL and DOL do not?
>> I am not sure how parametric polymorphism of object oriented programming languages would apply to DOL or CL. In particular, since DOL is a metalanguage and CL is not a typed language. 
> Start by re-reading Institutions : Abstract Model Theory for
> Specification and Programming. Do a key word search on parameter.
>
> Java and C# are no longer best characterized as object oriented
> programming languages. Both now incorporate lambda expressions.
>
> Functional programmers freely use and are versed in System F, or the
> polymorphic second order lambda calculus.
>
> CASL signatures are parameterizable. Between that an HasCASL there was
> an opportunity to satisfy at least some of my requirements to support
> mainstream languages.
>
>>> Shouldn't the ISO 24707 authors have released a Common LISP library by
>>> now? It's been 10 years.
>>>
>> […]
>>> This is an example of how misinformation is being circulated about
>>> "Common Logic." I have discussed this before at OMG.
>>
>> I don’t see a reason to rehash the discussions on the OMG list, you made your points quite clear. Further, this is not the appropriate place to argue the merits (or the lack of merits) of CL, since this list is concerned with DOL.  
>>
>> Best
>> Fabian 
>>
>>
>>> Am 21.12.2017 um 18:54 schrieb rick <rick at rickmurphy.org>:
>>>
>>> How about it, Pat?
>>>
>>> No derivations for "Common Logic"?
>>>
>>> ISO 24707 actually has no inference rules or proof theory at all,
>>> correct? How can they be "out of scope" for a logic?
>>>
>>> Shouldn't the ISO 24707 authors have released a Common LISP library by
>>> now? It's been 10 years.
>>>
>>> Fabian, Annex D is only informative, but the following sentence may be
>>> naively interpreted to mean that second order logic is required, or
>>> somehow provided.
>>>
>>> "Note that sequences are essentially a non-first-order feature that
>>>
>>> can be expressed in second-order logic."
>>>
>>> This is an example of how misinformation is being circulated about
>>> "Common Logic." I have discussed this before at OMG.
>>>
>>> How do you respond to the fact that Java and C# provide parametric
>>> polymorphism, but CL and DOL do not?
>>>
>>> Good to see folks promoting Goguen's work though.
>>>
>>> --
>>> Rick
>>>
>>> On 12/20/2017 07:00 PM, rick wrote:
>>>> Maybe Pat can show the derivations to avoid further misunderstanding.
>>>>
>>>> --
>>>> Rick
>>>>
>>>> On 12/20/2017 05:32 PM, Pat Hayes wrote:
>>>>> I hadn’t seen that diagram before. I believe that it is inaccurate to describe CL as having ‘some second-order constructs’. Sequence markers take CL outside FO expressivity, but not to second-order. CL with sequence markers is in fact a subset of the infinitary logic Lw1-w which allows countably infinite conjunctions. This is a long way short of full second-order logic. If one restricts CL (Lw1-w) so that sequence markers (infinite conjunctions) occur only on the LHS of sequents, it is first order. So sequence makers can be used in ontologies (ie as ‘axioms’) without going beyond FO expressivity. 
>>>>>
>>>>> Pat
>>>>>
>>>>>> On Dec 20, 2017, at 7:01 AM, John F Sowa <sowa at bestweb.net> wrote:
>>>>>>
>>>>>> Congratulations to everyone working on the DOL project.
>>>>>>
>>>>>> From Fabian via ontoiop-forum,
>>>>>>> Good news concerning the standardisation of DOL! During the last
>>>>>>> OMG Technical Meeting the Architecture Board approved the changes
>>>>>>> that we made to DOL during the “Finalisation Phase” (which in our
>>>>>>> case lasted 2 years). Hence, we cleared the last major hurdle on
>>>>>>> our way to the release of DOL 1.0. I expect that this will happen
>>>>>>> in February 2018.
>>>>>> And Fabian, I'm sending a copy of this note to Ontolog Forum, and
>>>>>> I also attached a copy of an earlier diagram (dol.jpg).
>>>>>>
>>>>>> Does this diagram reflect the current version?  If so (or not),
>>>>>> could you please send the URL of the latest documentation to
>>>>>> Ontolog Forum?
>>>>>>
>>>>>> And is software available for the various mappings in that diagram?
>>>>>>
>>>>>> John
>>>>>> <dol.jpg>
>>>>>> _________________________________________________________________
>>>>>> To Post: mailto:ontoiop-forum at ovgu.de
>>>>>> Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
>>>>>> Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
>>>>>> Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
>>>>>> Community Wiki: http://ontoiop.org
>>>>>
>>>>>
>>>>> _________________________________________________________________
>>>>> To Post: mailto:ontoiop-forum at ovgu.de
>>>>> Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
>>>>> Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
>>>>> Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
>>>>> Community Wiki: http://ontoiop.org
>>>>>
>>> _________________________________________________________________
>>> To Post: mailto:ontoiop-forum at ovgu.de
>>> Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
>>> Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
>>> Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
>>> Community Wiki: http://ontoiop.org
>>
>> _________________________________________________________________
>> To Post: mailto:ontoiop-forum at ovgu.de
>> Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
>> Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
>> Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
>> Community Wiki: http://ontoiop.org
>>
> _________________________________________________________________
> To Post: mailto:ontoiop-forum at ovgu.de
> Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
> Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
> Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
> Community Wiki: http://ontoiop.org
>