ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Lightweight, middleweight, and heavyweight semantics

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Mike Bennett <mbennett@xxxxxxxxxxxxxxx>
Date: Tue, 06 Jul 2010 19:54:15 +0100
Message-id: <4C337BD7.8060804@xxxxxxxxxxxxxxx>
Talking of things "having meaning" may be misleading verging on 
meaningless, as Searle's Chinese Room thought experiment demonstrates. 
The property of meaning that we are interested in is surely "what 
meaning is intended?" rather than "what meaning is there?" i.e. 
explicitness. I don't think meaning is a property which can be had.    (01)

Then we can talk about explicitness of the semantics of some model or 
data resource, in terms of its relationship to some model theory, rather 
than as a thing in itself.    (02)

Just my 2c worth.    (03)

Mike    (04)

Burkett, William [USA] wrote:
> John,
>
> While I like the idea of some kind of evaluative criteria for assessing the 
>level of "explicitness of the semantics" of data, I think the names of your 
>levels are misleading.  As David Eddy pointed out, almost all data has some 
>kind of meaning (i.e., semantics).  What you're describing seems to me to be 
>the degree to which metadata markup (e.g., tagging) is associated with a set 
>of data.  It's not that the data has lightweight or heavyweight semantics, but 
>that it has a lightweight or heavyweight metadata superstructure associated 
>with it.  And, more specifically, your descriptions seem to be narrowly 
>applicable only within the domain of ontologies - not "data" in general.   
>Where would data in a relational database fall?  Lightweight semantics?
>
> Bill
>
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx 
>[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F. Sowa
> Sent: Friday, July 02, 2010 8:20 AM
> To: [ontolog-forum]
> Subject: [ontolog-forum] Lightweight, middleweight, and heavyweight semantics
>
> After the SemTech conference and some further discussions on related
> topics, I realized that many of the debates about the kinds of logics
> and ontologies could be clarified with some useful distinctions.
> Different kinds of applications require different levels of detail
> and precision in the definitions and different levels of expressive
> power in the logic.
>
> To make the distinctions memorable, good labels are necessary.
> I suggest the following four levels of semantics:
>
>   0. Zero semantics:  Data with no explicit semantics of any kind.
>
>   1. Lightweight semantics:  Some semantic tagging with terminologies
>      or folksonomies, loose hierarchies such as WordNet, but no formal
>      definitions, logic, or reasoning methods.
>
>   2. Middleweight semantics:  Some formal notations, but only a modest
>      amount of logic and reasoning.
>
>   3. Heavyweight semantics:  Detailed ontologies represented in a
>      rich version of logic with extensive reasoning.
>
> There are gradations of levels from Comma Separated Values to Cyc,
> The Linked Data applications are at levels 0 and 1.  They usually
> depend on traditional terminologies and folksonomies that have
> no formal definitions.
>
> Most Semantic Web applications are at levels 1 and 2.  RDFS and
> RDFa use tags that don't have detailed definitions.  Light use
> of OWL supports middleweight semantics, but extensive use of
> all the OWL features begins to cross the boundary between
> middleweight and heavyweight semantics.
>
> Software specifications typically use informal, lightweight
> semantics in requirements documents.  The UML diagrams for type
> hierarchies and Entity-Relationship diagrams support lightweight
> semantics.  More detailed diagrams support middleweight semantics.
>
> But a precise specification of any computer program and the data
> it processes requires heavyweight semantics.  Most specifications
> aren't that precise, but such precision is necessary if two or more
> independently developed programs are intended to be compatible
> (for example, two compilers for the same programming language).
>
> Many systems require a mixture of levels.  For example, the data
> shared by multiple applications may be tagged by semantic markers
> at level 1, but the internals of the applications would require
> heavyweight semantics to specify the details of the computation.
>
> As another example, Cyc has been used for medical informatics.
> The source data may include a mixture of levels 0, 1, and 2,
> but the full Cyc system uses heavyweight semantics to analyze,
> relate, and interpret the data.
>
> Many of the debates we've had in this forum result from
> different people focusing on different kinds of applications
> that use different levels of semantics.  The issues would be
> easier to resolve if we keep track of the different levels.
>
> John Sowa
>  
> _________________________________________________________________
> 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
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>  
>  
> _________________________________________________________________
> 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
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>  
>
>
>       (05)


-- 
Mike Bennett
Director
Hypercube Ltd. 
89 Worship Street
London EC2A 2BF
Tel: +44 (0) 20 7917 9522
Mob: +44 (0) 7721 420 730
www.hypercube.co.uk
Registered in England and Wales No. 2461068    (06)


_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (07)

<Prev in Thread] Current Thread [Next in Thread>