Search Mailing List Archives
[protege-owl] Query: Subclasses or Sibling
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
> 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
More information about the protege-owl