Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] Query: Subclasses or Sibling

Timothy Redmond tredmond at stanford.edu
Fri Apr 6 16:06:10 PDT 2007


>>
>>
> A better integration with CWA is ID-logic (as it has been called in  
> the
> early 2000) now called FO(ID).
> This is a logic with is FOL extended with inductive definitions
> originally defined by Marc Denecker, KULeuven.
> If you look for a nice semantical integration this logic might be the
> one you are looking for.


Thanks for the pointer - I have printed some papers and it looks  
interesting.

-Timothy




More information about the protege-owl mailing list