|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|
At 11:12 AM -0600 3/4/08, Schiffel, Jeffrey A wrote:
> From: Alexander Garcia Castro
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)
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
? 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
So 'orthogonal' simply means 'different' ? Is that really what you mean to say?
No term or relation in one ontology would have meaning in
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.
40 South Alcaniz St.
_________________________________________________________________ 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>|
|Previous by Date:||Re: [ontolog-forum] orthogonal, Ed Barkmeyer|
|Next by Date:||Re: [ontolog-forum] orthogonal, Alan Ruttenberg|
|Previous by Thread:||Re: [ontolog-forum] orthogonal, Schiffel, Jeffrey A|
|Next by Thread:||Re: [ontolog-forum] orthogonal, Ed Barkmeyer|
|Indexes:||[Date] [Thread] [Top] [All Lists]|