[ontoiop-forum] DOL finalisation

[rick]

Dear Till,

Thanks so much for pointing this out. See below.

On 01/02/2018 05:33 PM, Till Mossakowski wrote:
> Am 02.01.2018 um 16:00 schrieb rick:
>> The DOL authors claim to "handle" sequence markers in HETS using "second
>> order logic" which by conformance with MOF and fUML is outside the scope
>> of DOL.
> second-order logic is not outside the scope of DOL.

I have reviewed the RFP and proposal a few times. I understand scope is
defined 6.1 and 6.5.4 and conformance in 6.5.5 of the RFP.

6.5.5 establishes conformance of languages and translations of which
none listed are second order logic. Also Annexes D-H do not include a
conformance statement for second order logic.

How do you justify your claim that second order logic is not outside the
scope of DOL?

6.5.5 requires formal criteria for establishing conformance and
specified in enough detail to be testable.

How does your claim satisfy these criteria?

It appears the RFP limits conformance to exclude second order logic and
the proposal does not claim to establish conformance for second order logic.

> DOL is a
> meta-language that can be used for a variety of logics, provided they
> can be formalised as an institution. Such logics include propositional
> logic, OWL, Common Logic, first-order logic, second-order logic, modal
> logics, hybrid logics, temporal logics, higher-order logics (also
> variants including type constructors, subtypes and/or polymorphism),
> intuitionistic logics, program logics, and many more.

I am reasonably familiar with the broad applicability of institutions.
My comment was specific to DOL and its scope and conformance criteria.

As an aside, I have searched the for a System F comorphism. Would you be
able to provide a pointer to a paper?

I have a few follow-up questions for later.

> Best, Till
> 
> 
> _________________________________________________________________
> 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
> 
>