|  Jim Rhyne 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.


|  IBL wrote:
    Here is one way to write this in executable English.
    You can view, run and change this by pointing a browser to www.reengineeringllc.com


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-person is a brother of that-person3
the names that-person and that-person1 are the same
----------------------------------------------------
that-person is their own uncle (wrong!)


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


some-name1 is equal some-name2
------------------------------------------------
the names that-name1 and that-name2 are the same