|To:||"John F. Sowa" <sowa@xxxxxxxxxxx>, Chris Menzel <cmenzel@xxxxxxxx>, Pat Hayes <phayes@xxxxxxx>|
|From:||Adrian Walker <adriandwalker@xxxxxxxxx>|
|Date:||Thu, 26 Jan 2012 10:40:36 -0500|
Hi John, Chris, and Pat,|
The following kind of got lost under a wrong subject heading on Ontolog, and I'm wondering whether you have time to comment please.
Ed Barkmeyer wrote:
At least with OWL the models have well-defined formal semantics,...
Please correct me if I'm wrong, but I'm under the impression that OWL shares with full first order logic the property of having in general more than one model for a given set of clauses.
If so, there's ambiguity about what it should be possible to deduce, and the formal semantics is therefore (in a practical sense) not well-defined.
Hope I'm wrong about this. John, Christoph, Others care to comment? (Perhaps under a new subject heading.)
Thanks, -- Adrian
Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English Q/A over SQL and RDF
Online at www.reengineeringllc.com
Shared use is free, and there are no advertisements
On Wed, Jan 25, 2012 at 12:53 PM, Ed Barkmeyer <edbark@xxxxxxxx> wrote:
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Terminology and Knowledge Engineering, Christopher Menzel|
|Next by Date:||Re: [ontolog-forum] FW: SWRL-IQ Launch: Protege 3.x plugin: queries to underlying XSB Prolog engine, Adrian Walker|
|Previous by Thread:||[ontolog-forum] FW: SWRL-IQ Launch: Protege 3.x plugin: queries to underlying XSB Prolog engine, Obrst, Leo J.|
|Next by Thread:||Re: [ontolog-forum] OWL Well Defined Semantics (was: Terminology...), Christopher Menzel|
|Indexes:||[Date] [Thread] [Top] [All Lists]|