Re: [ontolog-forum] Ontology vs OWL implementation

["Александр Шкотин" <alex.shkotin@xxxxxxxxx>]

IMHO

 

The ontology is a formal description of some part of Universe (including small parts of some minds, so named "concepts";)

Otherwise why do we need it?

How correct is this description that is the only question for user.

«Formal», as the more mathematics - the better (ask Imm. Kant why;), other reason is that computer is a calculator.

OWL-DL has clear math behind:). And that is a good step forward in the old good area of knowledge bases (i.e. knowledge inside calc;)

Alex

 

PS sometimes to describe concepts in some mind is much more difficult than subject;)

2008/5/1 Azamat <abdoul@xxxxxxxxxxxxxx>:

Nice posting, Bill.
Cati, visit the Ontology Works website,
http://www.ontologyworks.com/what_is_ontology.php, to have an idea what the
real ontology looks like, and what its principal distinction from quasi
ontologies.

Azamat Abdoullaev
http://www.igi-global.com/books/details.asp?id=7641

----- Original Message -----
From: "Bill Andersen" <andersen@xxxxxxxxxxxxxxxxx>
To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Thursday, May 01, 2008 8:41 AM
Subject: Re: [ontolog-forum] Ontology vs OWL implementation

Hi Pat...

Here we go again...

On Apr 30, 2008, at 18:08 , Pat Hayes wrote:

> At 8:21 PM +0200 4/30/08, Cati Martínez wrote:
>> Hello,
>>
>> I'm new in the Ontology world, and maybe it has been already
>> discussed, I'm asking me the question if everything implemented in
>> the
>> OWL language can be considered an Ontology. I guess that it's not so,
>> but it is difficult for me to say when we can say that it is or not.
>
> The term 'ontology' has no definition precise
> enough to answer that question. Myself, I'd be
> inclined to say yes, anything in OWL is an
> ontology. Certainly one would not expect any OWL
> tool or engine to  start distinguishing between
> 'real ontology OWL' and 'mere OWL'.

Correct.

I admit the problems with coming up with anything close to a
definition of the term "ontology" and of course no machine is going to
be able to tell the difference.  But your position above equates (the
referents of) "ontology" with "theory expressed in a formal
language".  Or at least it makes them coextensional if we want to put
that fine a point on it.

This is at least a very permissive version of Quine's position in "On
what there is".  I don't think Quine would have bestowed the honor of
existence on a lot of the referents of terms introduced in most of
what are called "ontologies", written in OWL or not -- he reserved
that for objects revealed by best practice in science.  Thus his
epistemic motivation ought to appeal to you.  But certainly the
following would not count for Quine and hopefully not for you:

<a rdfs:subclassOf b>

That's a legal OWL theory (I won't call it an "ontology" -- you can do
that).  The (non-reserved) terms are arbitrarily chosen, without even
the intent that they convey any information about a world outside the
computer.

We want to admit that people screw up and say things like (exists (x)
(= x Phlogiston)) where they do think the terms refer to the world,
but that's at least a better story than admitting any logical theory
whatever.

And of course real philosophers can argue the bit about realism and
whether or not we ever will have any idea whether we have access to a
"real" world.

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)