At 4:29 PM -0600 3/5/08, Schiffel, Jeffrey A wrote: (01)
>A number of comments have shown up. Rather than responding as they
>occurred, which would be confusing to follow, I've consolidated them for
>> From: Alexander Garcia Castro
>> Hopefully this is not so out of focus. I am looking for a definition
>> for orthogonality. When are ontologies orthogonal? Any body who can
>> recommend me some good papers about orthogonal ontologies? Is there
>> a measure for orthogonality?
>To which I suggested,
>> From Jeffrey Schiffel
>> An ontology is intended to define the terms of a domain, and the
>> machine. It enables semantic interchange.
>> If two agents, each using an ontology, cannot exchange terms that can
>> be fitted into the respective ontology each is using, then they must
>> different, non-overlapping ontologies. These two ontologies would be
>> orthogonal. No term or relation in one ontology would have meaning in
>> other. The ontologies would be mutually exclusive.
>Pat Hayes then rightly noted,
>> Careful. In one (widely accepted) sense of 'definition', most
>> are written in languages which do not support definitions.
>> (Examples: RDF, UML, OWL, Common Logic)
>Pat is correct. I should have stated not _define_ but _tag_. The
>concepts of a domain
>need to be tagged (or named, listed, rostered, etc.). (02)
?? First, this makes no sense. Tagging is done to
non-semantic objects which resist classification,
typically images. What would be the point of
tagging an ontology concept (which already has a
perfectly good name, or it would not be in the
ontology in the first place) ? (03)
Second, what has tagging got to do with being 'orthogonal' ? (04)
> So to the
>relationships among them.
>PH also adds,
>> What exactly do you mean by 'fitted into'? OWL, RDF and CL *always*
>> allow for exchange of terms, so this notion of 'fitting' must mean
>> more than simply "adding to".
>I mean only that if the ontologies are orthogonal, they share nothing in
>common. This does
>not mean that that situation cannot change. If a concept is added to
>each and shared,
>the two are no longer orthogonal.
>> So 'orthogonal' simply means 'different' ? Is that really what you
>mean to say?
>No, I mean to say (and did) _mutually exclusive_, in the sense that in
>set theory two sets are mutually exclusive if their intersection is an
>empty set . (05)
OK, sorry. They are orthogonal if they share no
concepts; in logical terms, if their vocabularies
are disjoint. Is that right? That is an admirably
simple and clear notion, although it does not
seem to support what you say about orthogonality
elsewhere in the message. For example, in this
case it is clearly possible to conjoin orthogonal
ontologies into a single merged ontology, right? (06)
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (09)