|Date:||Mon, 15 Mar 2010 22:23:09 -0400 (EDT)|
> I look forward to the full report (and hope you will
continue to post on
Thanks. I'll certainly post a note about it as soon as it's in a more stable form.
> One pragmatic reality of architectural work is that
theories do not
I completely agree. In fact, that is one of the major goals of the lattice of theories and the hierarchy of certified theories.
They can accommodate an open-ended number of ontologies, some of which may be compatible and others inconsistent. Furthermore, the relationships among the theories are explicitly shown. The lattice not only shows which theories are inconsistent, it also shows the common intersections on which they agree.
> In summary, when using
ontologies to represent architectures we should
> This differs from the logical or mathematical pragmatics where any inconsistency is an error.
There are many kinds of mathematics about all sorts of issues. There are even mathematical ways of dealing with inconsistency. The lattice of theories is one of them: it shows exactly how different theories can be consistent or inconsistent with one another.
In my slides and in a later version of the report, I'll show how one can test theories for consistency (and do it efficiently in most typical cases).
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||[ontolog-forum] Can we see Murray Hill's driving license please? (was "Foundation ontology, CYC, and Mapping"), Peter F Brown (Pensive)|
|Next by Date:||Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Peter Yim|
|Previous by Thread:||Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Christopher Menzel|
|Next by Thread:||Re: [ontolog-forum] Foundation ontology, CYC, and Mapping, Peter Yim|
|Indexes:||[Date] [Thread] [Top] [All Lists]|