ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Semantic patterns and logic expression

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Adrian Walker <adriandwalker@xxxxxxxxx>
Date: Sun, 21 Feb 2010 15:19:28 -0500
Message-id: <1e89d6a41002211219p345d858ar163029e4b8302ca@xxxxxxxxxxxxxx>
Hi Jim,

You wrote

I frequently have to define a semantic pattern, but find that it cannot be expressed in the current versions of DL, or OWL Full, or in FOL. An example is what linguists call "co-occurrence restrictions". For instance, one cannot be one's own uncle.

How about the following executable English [1,2]?
some-person1 is a son of some-person2
that-person2 is a spouse of some-person3
some-person4 is a brother of that-person3
not : the names that-person4 and that-person1 are the same
----------------------------------------------------------
that-person4 is an uncle of that-person1 (correct)


some-person1 is a son of some-person2
that-person2 is a spouse of some-person3
some-person4 is a brother of that-person3
the names that-person4 and that-person1 are the same
----------------------------------------------------
that-person4 is an uncle of that-person1 (wrong!)


this-person1 is a this-relation of this-person2
===============================================
Martin son Fred
Fred spouse Jane
Martin brother Jane
John brother Jane

[1] www.reengineeringllc.com/demo_agents/NotOwnUncle.agent

[2] Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English over SQL and RDF
Online at www.reengineeringllc.com    Shared use is free, and there are no advertisements

Adrian Walker
Reengineering


On Sun, Feb 21, 2010 at 1:57 PM, Jim Rhyne <jrr@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:

I frequently have to define a semantic pattern, but find that it cannot be expressed in the current versions of DL, or OWL Full, or in FOL.

An example is what linguists call “co-occurrence restrictions”. For instance, one cannot be one’s own uncle. If you try to express this in OWL-DL for example, as a property chain (father’s brother) that is irreflexive, you’ve violated the semantic constraints on OWL-DL models. The pattern can be expressed in OWL Full and in FOL.

A serious search of the web for a catalog of such patterns and their _expression_ (or lack of it)  in the various families of logics has not produced anything.

Is this a concern to others on this list? Have I overlooked something?

 

Jim

 

Jim Rhyne

Software Renovation Consulting

Los Gatos, California

408 309 0353

http://www.enterprisesoftwarerenovation.com/

 



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

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