David: (01)
> What is it that CASL can do that Common Logic is not capable of doing? (02)
nothing I would hope: they should both be FOL! :-) (03)
But, more seriously, the focus here is
not on CASL or CL, or CASL vs. CL: that
violates entirely the principles of heterogeneity that we follow.
The focus at present is on the *structural layer* (HetCASL) that
provides a formally specified (and implemented in HETS) mechanism
for gluing together specifications in any logic that is known to
the system. Adding CL into HETS should then automatically provide
CL with access to the reasoning tools connected to HETS as well as
providing a well-founding structuring layer on top of CL: that is
the aim at least. (04)
From our ontology work we are convinced that effective ontology
design requires such structuring mechanisms but they are not
provided in CL (or OWL or ...). After adding CL into HETS,
whether one then uses CASL or CL to write ontologies
should not really matter. (05)
> What needs to be done for a logic to be a "comparable logic" ? (06)
I meant for the logics *to be* comparable, rather than doing
something to them: e.g., CASL and CL will
be comparable in that they are FOL-ish. Clearly linking CASL
and a DL profile of OWL is going to loose stuff and so they are
not directly comparable. Actually it is still an open question I think
just how comparable CASL and CL are in the last resort since
there are some differences in the finer details. (07)
Best,
John B. (08)
P.S. In case it is useful, though, here is some more further
background on CASL. (09)
CASL is integrated via HETS with a wide range of reasoning
tools (unlike CL) and has been used for many years in larger-scale
algebraic software specifications. (010)
From the website: (011)
"The Casl design effort started in September 1995, as a common effort of
the Compass Working Group and IFIP WG1.3 (Foundations of System
Specification). An initial design was proposed in May 1997 (with a
language summary, abstract syntax, formal semantics, but no agreed
concrete syntax) and tentatively approved by IFIP WG1.3." (012)
"the design was finalized in April 1998, with a complete draft language
summary available, including concrete syntax. Casl version 1.0 was
released in October 1998, and Casl version 1.0.1 was officially approved
by IFIP WG1.3 in April 2001. The present version 1.0.2 is documented in
the Casl Reference Manual, and illustrated in the Casl User Manual (both
published by Springer in LNCS in 2004)." (013)
It is now a de facto standard for algebraic specifications with
extensive tool support and so is the language we tend to use for
our own ontology work. (014)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/sio-dev/
Join Community: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/sio-dev/
Unsubscribe: mailto:sio-dev-leave@xxxxxxxxxxxxxxxx
Community Shared Files: http://ontolog.cim3.net/file/work/SIO/
Community Wiki:
http://ontolog.cim3.net/cgi-bin/wiki.pl?SharingIntegratingOntologies (015)
|