ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Current Semantic Web Layer Cake

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Adrian Walker" <adriandwalker@xxxxxxxxx>
Date: Fri, 3 Aug 2007 17:43:42 -0400
Message-id: <1e89d6a40708031443i23c57d5fv2a9d45e460aab700@xxxxxxxxxxxxxx>
Hi Leo --

You wrote...

Actually, it is also "database technology", which is purely structural,
though the 3-schema design paradigm starts from a conceptual schema
(the most semantics you ever have), refines to a logical schema,
further refines to a physical schema -- and then throws away the first
2 models or parks them as documents in someone's filing cabinet,
creates a data dictionary in which English statements tell interested
parties what the physical schema and data elements really mean. And of
course this approach is the same approach use by XML fans everywhere.
Semantics remains implicit, and so you are free to interpret however
you want.

Indeed, we have seen this happen, particularly when data are coded (e.g. code 1 = male, code 2=female).  One solution to the problem appears to be to use the information in the parked English statements to write rules in executable English, for example as in:

      www.reengineeringllc.com/demo_agents/MedMine2.agent

We find that "Data semantics" at the XML or RDF level don't help much by themselves.  What seems to be useful in addition is an "Application Semantics" that includes a notion of correct inferencing and also a notion of English meaning, for example as in:

     www.reengineeringllc.com/demo_agents/RDFQueryLangComparison1.agent
  
There's more about this in the paper

 www.reengineeringllc.com/A_Wiki_for_Business_Rules_in_Open_Vocabulary_Executable_English.pdf

which includes a rather stale layer cake (:-).

Apologies to folks who have seen this before.

                                   -- Adrian

Internet Business Logic (R)
A Wiki for Executable Open Vocabulary English
Online at www.reengineeringllc.com    Shared use is free

Adrian Walker
Reengineering

On 8/3/07, Obrst, Leo J. <lobrst@xxxxxxxxx> wrote:
Actually, it is also "database technology", which is purely structural,
though the 3-schema design paradigm starts from a conceptual schema
(the most semantics you ever have), refines to a logical schema,
further refines to a physical schema -- and then throws away the first
2 models or parks them as documents in someone's filing cabinet,
creates a data dictionary in which English statements tell interested
parties what the physical schema and data elements really mean. And of
course this approach is the same approach use by XML fans everywhere.
Semantics remains implicit, and so you are free to interpret however
you want.

Thanks,
Leo

_____________________________________________
Dr. Leo Obrst       The MITRE Corporation, Information Semantics
lobrst@xxxxxxxxx    Information Discovery & Understanding, Command and
Control Center
Voice: 703-983-6770 7515 Colshire Drive, M/S H305
Fax: 703-983-1379   McLean, VA 22102-7508, USA


-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto: ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Andreas
Tolk
Sent: Friday, August 03, 2007 2:28 PM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] Current Semantic Web Layer Cake

> The idea of a single syntax with two different incompatible semantics
> scares me.

The technical terms for this form of phobia are "modeling & simulation
federation" and "service-oriented architecture:" We agree on a common
information exchange model, such as XML or OMT, but everything we
really
capture is the structure. Two models, services, etc. can implement the
meaning behind these pieces of information completely differently ...
that's why we are pressing the issue of formal models for
conceptualizations.
Enjoy the weekend
Andreas
============================== ;-)
Andreas Tolk, Ph.D.
Old Dominion University

ontolog-forum-bounces@xxxxxxxxxxxxxxxx wrote on 08/03/2007 02:20:36 PM:

> >...I could accept the idea of a common notation for if-then rules,
> >but with two very clearly specified options for the semantics:
> >
> >   1. A purely classical FOL that is compatible with CL and its
> >      subsets, such as Z, RDF(S), and OWL.
> >
> >   2. A negation-as-failure semantics that is compatible with the
> >      ISO standard for Prolog.
> >
> >If you want that, then say so.  But make it very, very clear that
> >the two semantics are *not* compatible -- and that no attempt to
> >exchange rules between the two versions of semantics should be
> >done, except under stringently controlled conditions.
>
> The idea of a single syntax with two different incompatible semantics
> scares me.
>
> K
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config:
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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config:
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 Post: mailto: ontolog-forum@xxxxxxxxxxxxxxxx


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx



_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

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