ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Interpreting OWL

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Amanda Vizedom <amanda.vizedom@xxxxxxxxx>
Date: Mon, 18 Oct 2010 15:00:29 -0400
Message-id: <AANLkTimPb7Rb=X7Crqis=LUZVnJB0cn7iWpuz2pabAh0@xxxxxxxxxxxxxx>
On 2010-10-18, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
> I agree with Ed's characterization of all the interrelationships
> of the many, many notations.  My short summary:
>
>   1. There are a huge number of ad hoc declarative notations, all
>      of which have only one thing in common:  they are subsets
>      of first-order logic, usually with some special-purpose
>      built-in ontology and a methodology for using it.
>
>   2. For any two notations X and Y, it is often possible to find
>      a mapping of some subset of X to some subset of Y, but no
>      guarantee that the methodology and ontologies designed for X
>      are compatible with those of Y.
>
>   3. RDF is compatible with almost all of them because it is
>      a lowest-common-denominator subset of all of them.
>
>   4. But RDF has a bloated, unreadable notation that even its
>      designer (Tim Bray) disowned, and nearly everybody invents
>      some special-purpose way of saying or writing (A B C).
>
> What got us into this mess is that people said "Oooh, FOL is
> too hard to learn."  So everybody invented a different notation
> for writing some version of it, and nobody gave any thought
> to how their version related to anybody else's.
>
> For further commentary on these issues, see
>
>     http://www.jfsowa.com/talks/iss.pdf
>     Integrating Semantic Systems
>
> John
>
>
>
>
> _________________________________________________________________
> 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
>
>    (01)

_________________________________________________________________
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    (02)

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