I think we'd almost support Michael Gruninger's
proposal. Apart from a possible clarification wrt
1 and 2: (01)
> - A theory is a set of sentences in a language conformant with
> Common Logic.
> - An ontology is a set of theories. (02)
The language we use for ontologies is CASL (see
previous email), which is strongly typed. As long
as this is 'conformant' in the intended sense
fine. Or has CL moved on the typing issue? (03)
Best,
John B.
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/uos-convene/
To Post: mailto:uos-convene@xxxxxxxxxxxxxxxx
Community Portal: http://ontolog.cim3.net/
Shared Files: http://ontolog.cim3.net/file/work/UpperOntologySummit/uos-convene/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UpperOntologySummit (04)
|