[ontoiop-forum] DOL finalisation

[rick]

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
>>