This were notes projected on the screen during the meeting.
OWL <-> RIF Options
"Who thinks this is a reasonable way to handle SWC"
- OWL/XML is syntactically embedded in RIF
- OWL is a covered language
- New RIF-Style Serialization for OWL eg owl:Restriction as a RIF operator [REQUIRES OWL extension-for-RIF] b. OWL translated into rules (with greater-than-Horn (eg FOL) expressiveness) [ Hoolet translates OWL to FOL ] [ REQUIRES FOL extension]
- Interoperation (OWL in a box) cf Theory Resolution - Mark Stickel '85 [ generalized to "Theory Reasoning" ] advice to people to do this? spec intfc? cf. Eiter, Rosati
Note only option 3 is compatible with Non-FOL semantics