[Person-ontology] OWL for exchanging ontologies

[Pat Hayes]

>Thanks Pat,
>
>Good insight and clarification.
>But are we not talking about Upper ontology here whose purpose is limited
>and at the coarse grain level?

Well, the upper ontologies Ive seen tend to use quite expressive 
logics, eg BOF and DOLCE both use FOL. I am sure, however, that quite 
a lot of their content could be fitted into OWL, perhaps indeed has 
been by someone.

Pat

>ajit
>----- Original Message -----
>From: "Pat Hayes" <phayes at ihmc.us>
>To: "Schoening, James R Mr CIV USA AMC" <James.Schoening at us.Army.Mil>
>Cc: <person-ontology at idcommons.net>
>Sent: Monday, October 22, 2007 11:09 PM
>Subject: Re: [Person-ontology] OWL for exchanging ontologies
>
>
>>  >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
>>
>>  _______________________________________________
>>  Person-ontology mailing list
>>  Person-ontology at idcommons.net
>>  http://idcommons.net/cgi-bin/mailman/listinfo/person-ontology
>
>_______________________________________________
>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