ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] I ontologise, you ontologise, we all mess up...

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Rich Cooper" <rich@xxxxxxxxxxxxxxxxxxxxxx>
Date: Wed, 12 Jan 2011 09:43:38 -0800
Message-id: <20110112174344.4BB47138D09@xxxxxxxxxxxxxxxxx>
Agreed.  Like the Buddha and Pr0n, we will know the Ontology when we meet
it.  Restricting the definition in any way at this time is more likely to
slow progress than to focus it.      (01)

-Rich    (02)

Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F. Sowa
Sent: Wednesday, January 12, 2011 6:15 AM
To: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] I ontologise, you ontologise, we all mess up...    (03)

Folks,    (04)

Digital computers don't do nuances.    (05)

That means anything that is designed to be implemented on a computer
must be precisely defined.  But the methods by which people design
their implementations are open to all the same kinds of informal
intuitions and practices that scientists use to get new ideas.    (06)

I would qualify Chris P's comment:    (07)

> I find amusing that the Gruber CS-AI sense seems to go out of its
> way not to talk about the things that the philosophy sense does.    (08)

Tom Gruber's definition is Tom's own personal view.  The term
'conceptualization' comes from the book _Logical Foundations of AI_
by Genesereth & Nilsson, which is more nuanced.  But there are as
many CS or AI views as there are people working in CS or AI.    (09)

I agree with Chris M:    (010)

> What, exactly, is the "expressing" relation between
> a representation and an ontology so understood?
> It seems to me that there are no scientifically
> rigorous answers to these questions.    (011)

I don't believe that it's possible to state a precise definition
of what an ontology is or should be.  It's better to use
Wittgenstein's method for defining 'game':    (012)

Give a bunch of examples and say "These are ontologies.
An ontology is anything that is more similar to these things
than to anything that is not usually called an ontology."    (013)

I wouldn't say that such a definition is "unscientific".
It allows progress, but it doesn't rule out critiques about
some practices that may be better or worse than others.    (014)

That is, in fact, how mathematicians define 'number'.  They
started with positive integers.  Then they added rational
numbers, irrational numbers, zero, negative numbers,
imaginary numbers, complex numbers, quaternions, numbers
modulo some integer, floating point numbers, fixed point
numbers with various criteria for what happens to overflows...    (015)

Just as the concept of number grew as a result of the way
that working mathematicians talked about their work, the
concept of an ontology is going to grow.  Any attempt to
edict a definition in terms of necessary and sufficient
conditions would be counterproductive -- it would needlessly
restrict innovation.    (016)

John    (017)

_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (018)



_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (019)

<Prev in Thread] Current Thread [Next in Thread>