Re: Cross-ontologies reasoning

In general, this is harder than people think, and no, there is no
automated way to do this yet, perhaps ever? Yes, we have some constructs
in OWL now to attempt to do this and if folks use a common KR language,
it's easier: you eliminate the dissonance from different formal language
semantics. 

If anyone thinks it's easy, please let me know what you would suggest.

Thanks,
Leo

Bijan Parsia wrote:
> 
> On Dec 17, 2003, at 1:24 PM, Francis McCabe wrote:
> 
> > The 'problem' I was referring to was that of automatically mapping one
> > ontology (written I assume by person or persons A) to another (written
> > by persons B).
> >
> > People have asserted that there exist automatic tools for doing that.
> > And I was pointing out some corner cases.
> 
> For the record, I don't believe that I, personally, made such an
> assertion. Nor did I intend to. I didn't read anyone else in this
> thread as doing so.
> 
> Cheers,
> Bijan Parsia.

-- 
_____________________________________________
Dr. Leo Obrst       The MITRE Corporation, Information Semantics
lobrst@mitre.org    Center for Innovative Computing & Informatics 
Voice: 703-883-6770 7515 Colshire Drive, M/S H305
Fax: 703-883-1379   McLean, VA 22102-7508, USA

Received on Wednesday, 17 December 2003 16:12:50 UTC