|To:||"Obrst, Leo J." <lobrst@xxxxxxxxx>|
|From:||PATRICK BROWNE <patrick.browne@xxxxxx>|
|Date:||Wed, 16 Apr 2014 17:54:46 +0100|
Thanks for you interest in my research.
I am aware and inspired by the work of Till Mossakowski and the CASL team.
Both CASL and CafeOBJ are based on the the theory of institutions.
They afford similar modularity features, but they are based on different logics.
CASL is based on first-order logic and is not directly executable and cannot be used for prototyping.
I wish to use the equational language of CafeOBJ for prototyping and also to simulate FOPL for reasoning about ontologies.
It seems that the work of Futatsugi and CafeOBJ team on "proof scores" comes nearest to my requirement[2,3].
I am unaware of any formal work on the relationship between equational proof scores and reasoning over FOPL
I was unaware of work of Hassan Ait-Kaci and will study his work.
 Specification of ontologies in CASL : Klaus Luttich, Till Mossakowski
 Verifying Design with Proof Scores Kokichi Futatsugi, Joseph A. Goguen, and Kazuhiro Ogata
 Fostering Proof Scores in CafeOBJ, Kokichi Futatsugi
On 16 April 2014 13:51, Obrst, Leo J. <lobrst@xxxxxxxxx> wrote:
This email originated from DIT. If you received this email in error, please delete it from your system. Please note that if you are not the named addressee, disclosing, copying, distributing or taking any action based on the contents of this email or attachments is prohibited. www.dit.ie
Is ó ITBÁC a tháinig an ríomhphost seo. Má fuair tú an ríomhphost seo trí earráid, scrios de do chóras é le do thoil. Tabhair ar aird, mura tú an seolaí ainmnithe, go bhfuil dianchosc ar aon nochtadh, aon chóipeáil, aon dáileadh nó ar aon ghníomh a dhéanfar bunaithe ar an ábhar atá sa ríomhphost nó sna hiatáin seo. www.dit.ie
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] physical context and mental context, Phil Murray|
|Next by Date:||[ontolog-forum] OntologySummit2014 session-14: Communique Finalization - Thu 2014.04.17, Peter Yim|
|Previous by Thread:||Re: [ontolog-forum] Equational Logic for Ontologies?, Obrst, Leo J.|
|Next by Thread:||[ontolog-forum] Ontology based "Context Lenses" into Linked Open Data, Kingsley Idehen|
|Indexes:||[Date] [Thread] [Top] [All Lists]|