- From: Irene Celino <irene.celino@gmail.com>
- Date: Wed, 24 Jan 2007 16:07:42 +0100
- To: "Robert Stevens" <robert.stevens@manchester.ac.uk>
- Cc: "Phillip Lord" <phillip.lord@newcastle.ac.uk>, "Alan Ruttenberg" <alanruttenberg@gmail.com>, "public-semweb-lifesci hcls" <public-semweb-lifesci@w3.org>
I agree with Phil and Robert. Even if it does not contain a definition I fully agree with, a slighty better wikipedia page is [1], which makes a distinction between domain ontologies and upper ontologies [2]. But I'm just a semantic web girl and not an ontologist... Irene [1] http://en.wikipedia.org/wiki/Ontology_%28computer_science%29 [2] http://en.wikipedia.org/wiki/Upper_ontology_%28computer_science%29 Irene Celino CEFRIEL Politecnico di Milano Via Fucini, 2 - 20133 Milano (Italy) phone: +39 0223954266 fax: +39 0223954466 email: Irene.Celino@cefriel.it web: http://swa.cefriel.it 2007/1/24, Robert Stevens <robert.stevens@manchester.ac.uk>: > > 'd be inclined to agree with Phil. I don't where the bit about "algorithms" > has come from. The other mistake, I think, is not to make the distinction > between formality of language for representaiton and the formality of the > ontology itself. The latter is, I think, a matter of the distinctions made. > One can make an ontology in a formal language like owl, but still be > informal in the ontological distinctions made. > > Formal ontological distinctions can be encapsulated in an upper level, but > upper level otnoogies are not necessarily formal.... > > Anyway, it is bad at almost any level > > Robert. > > ,At 13:55 24/01/2007, Phillip Lord wrote: > > > >>>>> "Alan" == Alan Ruttenberg <alanruttenberg@gmail.com> writes: > > Alan> Start at > http://en.wikipedia.org/wiki/Formal_Ontology > > Alan> -Alan > > > Well, it starts of with this.... > > "A Formal ontology is an ontology modeled by algorithms. Formal > ontologies are founded upon a specific Formal Upper Level Ontology, > which provides consistency checks for the entire ontology and, if > applied properly, allows the modeler to avoid possibly erroneous > ontological assumptions encountered in modeling large-scale > ontologies. " > > > > Almost none of which I would agree with.
Received on Wednesday, 24 January 2007 16:31:34 UTC