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

[Adrian Walker <adriandwalker@xxxxxxxxx>]

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)