I think we need to capture these notions in the wiki. It will be
difficult but, I hope, possible. (01)
Peter, what do we need to do to accomplish the above? (02)
Because we are at the (relative) beginning of our discussion, I'd like
to ask for topic volunteers who would capture our evolving notions
about these notions. Note that they can be just quick notes and
extractions from emails now. These may evolve toward coherent notes,
form the bases of potential statements eventually: who knows?
Unfortunately, email doesn't capture discourse. (03)
Thanks,
Leo (04)
ps. Any volunteers? Maybe by topic? Ontology as logical theory.
Dimensions/aspects of ontology types? There will be more; in fact,
propose others. (05)
Expressiveness and complexity of modeling language vs. complexity of
computation performed on content in that language? (06)
_____________________________________________
Dr. Leo Obrst The MITRE Corporation, Information Semantics
lobrst@xxxxxxxxx Center for Innovative Computing & Informatics
Voice: 703-983-6770 7515 Colshire Drive, M/S H305
Fax: 703-983-1379 McLean, VA 22102-7508, USA (07)
-----Original Message-----
From: ontology-summit-bounces@xxxxxxxxxxxxxxxx
[mailto:ontology-summit-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Michael
Gruninger
Sent: Sunday, January 28, 2007 6:25 PM
To: Ontology Summit 2007 Forum
Subject: Re: [ontology-summit] dimensions/aspects of ontology types? (08)
Hi Bill, (09)
Quoting Bill Andersen <andersen@xxxxxxxxxxxxxxxxx>: (010)
> Hi Leo...
>
> I have some comments about some of these proposed dimensions..
>
> On Jan 28, 2007, at 14:40 , Obrst, Leo J. wrote:
>
> > Dimensions of Ontology Types:
> >
> > 1) Formality: Informal (Formality = 0) vs. Formal (Formality = 1)
>
> I don't quite get what this means. If we're not talking about
> artifacts that are somehow used to influence software to do things we
> want, I don't see the point. So, for some thing O, if Formal(O)
> means that O is a logical theory, then, following ChrisM, I don't see
> what anything not formal should even be considered, since otherwise,
> it would be pretty close to impossible to say how it could be used
> for some computational end. (011)
The ecumenical definition of "ontology" that Mike Uschold and I have
used is:
"An ontology includes a vocabulary of terms together with a
specification of
the intended meaning of the terms." (012)
Different approaches to ontologies are distinguished by the latter
condition,
that is, in the way that they specify the intended meanings. (013)
Leo is pointing to a basic partitioning of these approaches. (014)
A formal ontology is a set of sentences in a language that has a model
theory,
that is, a notion of interpretation that supports truth assignments,
satisfiability,
and entailment. (015)
(As observed by recent discussions, this is a necessary but not
sufficient
condition,
since there are sets of sentences that not everyone would consider to
be an
ontology,
but this is not my point here). (016)
On the other hand, the specification of intended meanings in an
informal
ontology relies on
extralogical mechanisms (natural language, diagrams, canonical software
implementations). (017)
The line does become a little blurry when the expressiveness of the
underlying
logical language
for an ontology is insufficient to axiomatize the intended
interpretations of
the terms.
For example, in OWL-S (the OWL ontology for web services), different
classes of
processes
such as Unordered,Sequence,etc are axiomatized in OWL.
Nevertheless, OWL is not expressive enough to capture the full intended
interpretations
of these classes, which is specified in natural language as
documentation. (018)
>
> > 2) Expressivity: Expressivity of the semantic model (i.e.,
underlying
> > knowledge
> > representation language or logic) [No scale determined yet]
>
> This is a property of a logical system, independent of the instances
> of which we wish to regard as "ontology", so I'd exclude this
dimension. (019)
It is a property of a class of structures AND the logical language.
There are classes of structures that are not first-order definable,
and classes of structures that are not definable in DL.
This is an important issue because we need to be able to determine
whether the intended interpretations of the terms in the ontology
can be defined within the advertised formal language. (020)
- michael (021)
_________________________________________________________________
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/OntologySummit2007/
Community Wiki:
http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2007
Community Portal: http://ontolog.cim3.net/ (022)
_________________________________________________________________
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/OntologySummit2007/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2007
Community Portal: http://ontolog.cim3.net/ (023)
|