Hello Pat, (01)
On Fri, Jul 06, 2012 at 09:53:58AM -0500, Pat Hayes wrote:
> Also, using CL or RDF allows you to treat the realtions as first-class
>entities and quantify over them. This immediately removes one class of
>arguments in favor of the 'constituent' view, that it is necessary to quantify
>over these things that are realtions in a relational view, and you cannot
>quantify over relations in a first-order formalism. You CAN quantify over
>relations in a first-order formalism. (02)
This is interesting. What defines a first order formalism then ? That it has
a complete deductive calculus ? (03)
Am I right that OWL allows quantification over properties via class axioms
combined with class descriptions ? (04)
So someone trying to define OWL FOL would have to be careful to stay in first
order logic because Properties are first class entities ? Would that be a
difficult problem ? (05)
Regards, (06)
Michael Brunnbauer (07)
--
++ Michael Brunnbauer
++ netEstate GmbH
++ Geisenhausener Straße 11a
++ 81379 München
++ Tel +49 89 32 19 77 80
++ Fax +49 89 32 19 77 89
++ E-Mail brunni@xxxxxxxxxxxx
++ http://www.netestate.de/
++
++ Sitz: München, HRB Nr.142452 (Handelsregister B München)
++ USt-IdNr. DE221033342
++ Geschäftsführer: Michael Brunnbauer, Franz Brunnbauer
++ Prokurist: Dipl. Kfm. (Univ.) Markus Hendel (08)
_________________________________________________________________
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 (09)
|