ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] orthogonal

To: "Schiffel, Jeffrey A" <jeffrey.a.schiffel@xxxxxxxxxx>
Cc: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Tue, 4 Mar 2008 11:26:00 -0600
Message-id: <p06230908c3f334df4c7c@[10.100.0.20]>
At 11:12 AM -0600 3/4/08, Schiffel, Jeffrey A wrote:
> 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? 

Alexander,

An ontology is intended to define the terms of a domain,

Careful. In one (widely accepted) sense of 'definition', most ontologies are written in languages which do not support definitions. (Examples: RDF, UML, OWL, Common Logic)

 and the
relationships among the terms. This allows for information exchange
among agents, human or machine. It enables semantic interchange.

OK, but now things get confused. There are several distinct ideas here:
If two agents, each using an ontology, cannot exchange terms that can be
fitted into the respecive ontology each is using

? 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".

, then they must be
using different, non-overlapping ontologies. These two ontologies would
be orthogonal.

So 'orthogonal' simply means 'different' ? Is that really what you mean to say?
No term or relation in one ontology would have meaning in
the other.

That is a different idea altogether. In OWL, for example, any term in any ontology can be said to 'have meaning' in any other ontology (that is, assertions involving it can be added to the other ontology and entailments can be drawn from them together.) The same is true for most forms of conventional logical ontology languages.

The ontologies would be mutually exclusive.

In what sense of 'exclusive'? Do you mean they would be mutually inconsistent? Because that is yet a third idea, and the claim seems false.

Pat


-- Jeffrey Schiffel
 
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
 


-- 
---------------------------------------------------------------------
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
http://www.ihmc.us/users/phayes      phayesAT-SIGNihmc.us
http://www.flickr.com/pathayes/collections


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

<Prev in Thread] Current Thread [Next in Thread>