To: | Ontology Summit 2013 discussion <ontology-summit@xxxxxxxxxxxxxxxx> |
---|---|
From: | Yuriy Milov <ym@xxxxxxxxxxxxxxx> |
Date: | Mon, 21 Jan 2013 10:07:59 -0500 |
Message-id: | <CAOa40ZYXSTi+roG8gsvjwKL6MurihdUk3ERFjOX=STQv48_uzQ@xxxxxxxxxxxxxx> |
Sure Matthew, After compilation all ontologies (and other computer programs) work the same way as automatons (similar as any supercomputer is similar to the Turing machine) All automatons are divided in four classes (similar as numbers can be natural, rational irrational, transcendental) That why we have to find a way to "calculate" a "Class of Ontology" - roghly saying, to know if it is primitive, chaotic, interesting, or universal (this is just to give the idea for now)
I think you are right that discussing of this topic is a little bit off the main stream of the Summit, so I'm not going to continue it here. Thanks for the understanding
Yuri On Mon, Jan 21, 2013 at 9:49 AM, Matthew West <dr.matthew.west@xxxxxxxxx> wrote:
_________________________________________________________________ Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/ Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/ Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx Community Files: http://ontolog.cim3.net/file/work/OntologySummit2013/ Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2013 Community Portal: http://ontolog.cim3.net/wiki/ (01) |
<Prev in Thread] | Current Thread | [Next in Thread> |
---|---|---|
|
Previous by Date: | Re: [ontology-summit] {quality-methodology} Building Ontologies to Meet Evaluation Criteria, Matthew West |
---|---|
Next by Date: | Re: [ontology-summit] {quality-methodology} Building Ontologies to Meet Evaluation Criteria, QUATTRI, Francesca [11901993r] |
Previous by Thread: | Re: [ontology-summit] {quality-methodology} Building Ontologies to Meet Evaluation Criteria, Matthew West |
Next by Thread: | Re: [ontology-summit] {quality-methodology} Building Ontologies to Meet Evaluation Criteria, QUATTRI, Francesca [11901993r] |
Indexes: | [Date] [Thread] [Top] [All Lists] |