[Top] [All Lists]

RE: [ontac-forum] Semantics and Ontology ? and semiotics?

To: "'ONTAC-WG General Discussion'" <ontac-forum@xxxxxxxxxxxxxx>, <editor@xxxxxxxxxxxxxxxx>
Cc: semantic-web@xxxxxx
From: "Chris Menzel" <cmenzel@xxxxxxxx>
Date: Fri, 26 May 2006 17:24:48 -0500
Message-id: <001b01c68113$33661e50$6501a8c0@windoze>
Azamat wrote:
> Your questions are well justified and welcomed. For it must be recognized
> that the whole enterprise of semantic technology is an otiose undertaking
> and expansive academic mystification without understanding of the nature
> of meaning, its critical dimensions, mechanisms and algorithms of
> representation in computable forms.    (01)

Maybe it's just a cultural thing, but do you realize that this translates
into "Everyone engaged in semantic technology research doesn't have any idea
what they are talking about"?  Moreover, other of your posts translate
pretty directly into: "I, on the other hand, Azamat, have it all figured
out."    (02)

In fact, I think a lot of folks around here are quite easily as smart as you
and know quite well what they are doing and what they are up against.  You,
on the other hand, often seem to me to be a bit confused.  Notably, here is
a claim you've made several times:    (03)

> It must be clear even to the most obstinate researchers that to build the
> real life knowledge machines [ontological semantic  technology], it is
> necessary to review as inherently defective the formal semantic system of
> functional logic and so-called 'formal ontologies', somehow managing to
> miss the whole real universe of things and relationships:
> Formal Semantic System = sign (symbol) system (the SW languages, XML, RDF,
> OWL) + axioms (mathematical or formal logical) + designation rules.
> In fact, the large enterprise of semantic technology postulates the real
> semantic system of unified ontology:
> Real Semantic System = sign (symbol) system (languages, natural and
> artificial; data systems, static and dynamic) + axioms (ontological,
> scientific, mathematical, and formal logical) + semantic assumptions
> (signification rules).    (04)

But just what is it you are castigating here?  *No one* thinks that a merely
formal semantic system with only mathematical or formal logical axioms is of
any use.  Rather, a useful formal ontology uses a formal (hence, artificial)
language -- maybe OWL, if they need tractable reasoning, some flavor of full
first-order logic if not -- to write "real" ontological, scientific,
mathematical and formal logical axioms.  Simply put, most everyone engaged
in semantic technologies is attempting, successfully or not, to build real
semantic systems in your sense.    (05)

Seems to me that your version of "semantic technologies is nothing but a
strawman here.    (06)

Regards,    (07)

Chris Menzel    (08)

Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (09)
<Prev in Thread] Current Thread [Next in Thread>