[Top] [All Lists]

Re: [ontolog-forum] Current Semantic Web Layer Cake

To: "John F. Sowa" <sowa@xxxxxxxxxxx>
Cc: 'SW-forum' <semantic-web@xxxxxx>, "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Azamat" <abdoul@xxxxxxxxxxxxxx>
Date: Tue, 31 Jul 2007 22:46:31 +0300
Message-id: <000a01c7d3ab$7ec38680$010aa8c0@homepc>
John,    (01)

The scopes and subject matters of Ontology and Logic shouldn't be mixed.
The real semantics or meanings of any symbolism or notation is defined by 
ontology; for this is the only knowledge domain studying the Being of 
Everything which is, happens and relates. If Ontology is a real science, 
Logic is a formal science, because it concerned only with the formal parts 
of Discourse about Anything or Everything. Logic considers the elements (the 
terms, propositions, inferences or syllogisms) of the whole discourse aside 
from their reference to the world (or their real meanings and significance). 
As a formal science, Logic deals with the formal patterns of discourse 
common to all sciences.    (02)

So, Ontology deals with the matter and content, with the real components of 
discourse about anything, while Logic is an art, an instrument of 
intellectual reasoning, at least a formal science,and it has nothing to do 
with reality, real significance or real meanings, a coherent representation 
of which is the ultimate target of Intelligent Web.    (03)

Azamat    (04)

----- Original Message ----- 
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
To: "Azamat" <abdoul@xxxxxxxxxxxxxx>
Cc: "Pat Hayes" <phayes@xxxxxxx>; "[ontolog-forum]" 
<ontolog-forum@xxxxxxxxxxxxxxxx>; "'SW-forum'" <semantic-web@xxxxxx>; 
Sent: Tuesday, July 31, 2007 9:40 PM
Subject: Re: [ontolog-forum] Current Semantic Web Layer Cake    (05)

> Azamat,
> Logic defines the semantics of any notation that is used
> to define any version of ontology.
> AA> ... instead of Unifying Logic, it will be a Unifying Ontology
> > (a single comprehensive model of reality) integrating as its parts
> > the Web general vocabularies and ontologies
> If the notations for expressing the ontology are inconsistent,
> there is no hope of making the ontology consistent.
> As I said, there are immense problems in maintaining the consistency
> of large ontologies.  If you believe that you can achieve consistency,
> I wish you the best of luck.
> But if different parts or chapters of that ontology are expressed
> in inconsistent versions of logic, the project is doomed from
> the start.
> John
>     (06)

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    (07)

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