To: | ontolog-forum@xxxxxxxxxxxxxxxx |
---|---|
From: | Marcelino Sente <zaratruta@xxxxxxxxx> |
Date: | Fri, 16 Mar 2012 16:30:13 -0300 |
Message-id: | <CANpcTFrJ1cwuP7HRTHNJYbNnoMC6Hdcoa7Rt+dFhgMpiHXMjqQ@xxxxxxxxxxxxxx> |
Let consider this assertion (refered as A1): How this assertion impacts on the research program of ontologies? Some initiatives regarding conceptual modeling, systems interoperability, and conceptual analysis have been using of theories coming from the domain of formal ontology. I say "formal ontology", in the sense of Husserl, as analogous to formal logic. Whilst formal logic deals with formal logical structures (e.g.,truth, validity, consistency) independently of their veracity, formal ontology deals with formal ontological structures (e.g., theory of parthood, types and instantiation, identity, dependence, unity), i.e., with formal aspects of entities irrespective of their particular nature. Some (so called) foundational ontologies (as UFO - unified foundational ontology) embody several conceptions coming from the "formal ontology". So...What A1 say about the use of conceptions imported from "formal ontology" to the territory of semantic web, communication among computer and humans and systems interoperability? How can we view and compare the contributions related to the realist semantics and cognitive semantics, regarding our objetives expressed above (semantic web, communication among computer and humans and systems interoperability)? Does make sense think in terms of cognitive semantics in the reserach program of ontologies? Reference: _________________________________________________________________ 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) |
Previous by Date: | Re: [ontolog-forum] Constructs, primitives, terms, Kingsley Idehen |
---|---|
Next by Date: | Re: [ontolog-forum] visualizing ontologies to blind people, Debmacp |
Previous by Thread: | [ontolog-forum] visualizing ontologies to blind people, chaim Zins |
Next by Thread: | Re: [ontolog-forum] metaphysis, semantics and the research program of ontologies, Marcelino Sente |
Indexes: | [Date] [Thread] [Top] [All Lists] |