[Person-ontology] OWL for exchanging ontologies

[Pat Hayes]

>Paul,
>
>	There is a broad misconception that OWL was meant to be a
>standard language for developing ontologies.  Rather, it was meant more
>for exchanging them.  So, Higgins could use a more-expressive language
>for development, for internal inferencing, for exchange with compliant
>associates, and then could tranlate down to OWL for exchange with
>others.

Well, yes, but only if it is POSSIBLE to translate down. OWL does 
have a strict semantics, and it may not be possible to translate down 
from a more expressive language to OWL while preserving the more 
expressive meaning using the OWL semantic conditions. For example, it 
isn't possible to do this for full first-order logic.

Pat

>
>	Here's a quote from Jim Hendler, who is a guru in this field:
>
>Jim Hendler:  "So, let me go back to OWL for a second, see I have a very
>different view of OWL than some people, which may sound funny to some
>people. I don't view OWL as an ontology language per se or as a very
>good KR language. OWL is a language for exchanging ontologies much more
>than a specific language; so if I'm dong my own application, I view OWL
>as the way I export and import knowledge from other people, I don't view
>it as the only thing I'm allowed to use on the whole world for
>knowledge.
>
>The full panel transcript is at:
>
>http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2005_08_11/Sessio
>nTranscript
>
>Jim Schoening
>_______________________________________________
>Person-ontology mailing list
>Person-ontology at idcommons.net
>http://idcommons.net/cgi-bin/mailman/listinfo/person-ontology


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