[Top] [All Lists]

Re: [ontolog-forum] Endurantism and Perdurantism - Re: Some Comments on

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Sat, 04 Apr 2015 11:20:31 -0400
Message-id: <5520013F.10204@xxxxxxxxxxx>
On 4/4/2015 9:37 AM, Matthew West wrote:
> I find it interesting that it seems that minimising the axioms in your
> ontology seems to help for exchange of information. Yet without axioms
> you have nothing to reason over.    (01)

That's true.  But the different systems may do very different kinds
of reasoning about exactly the same things.  For example,    (02)

  1. Consider an enterprise with different departments (or even
     divisions) such as engineering, research, manufacturing,
     sales, finance, legal, human resources, shipping, etc.    (03)

  2. Each department uses shared data about people, products,
     schedules, resources, etc.  Each has local data, most of
     which may be irrelevant to the others.   And each uses
     different ways of reasoning with and about the combination
     of the local and the shared data.    (04)

  3. Basic principle:  The overwhelming amount of detailed reasoning
     is done at the local level.  The results of reasoning at the
     local level are exported to the shared level.    (05)

  4. Exceptions to point #3 are typically handled by human managers,
     auditors, or investigators who have some reason for crossing
     departmental boundaries.    (06)

> Obviously the best level to state an axiom, when you state it,
> is the one highest level at which it always applies, and not
> just in the current application.    (07)

Yes.  But it might not be obvious where that level may be.
The current tools and methodologies have a long way to go.    (08)

John    (09)

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

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