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