Re: Compliance Level 1 Proposal

Chris,

I tend to agree with your view. Recently I had a number of ontologists
and domain experts working on a project. Many of these ontologists were
seasoned veterans who had worked on logic programming, FOL-based, and
other logic-based KR systems -- but not description logics. We had to go
through a (short, thank goodness) retraining period so they could map
their logical constructs into the terminology of description logics and
frame systems. 

I would personally much prefer standard logical terminology, but have
learned to map, so it is not a problem. But the de facto standard today
I think is and should be logic. 

Leo

Christopher Welty wrote:
> 
> My only response is a general one:
> 
> Description logics had an unfortunate historical tradition to refer to
> "relations" as "roles".  This was, I think, an accident of how DLs
> evolved.  I was hoping we could fix this now that DLs are being presented
> to the world.  Instead of fixing it by referring to "relations" with that
> term, we are now using "property."  In logic, when I learned it,
> properties are unary predicates.
> 
> If we are talking about relations, why aren't we calling them relations?
> 
> Dr. Christopher A. Welty, Knowledge Structures Group
> IBM Watson Research Center, 19 Skyline Dr.
> Hawthorne, NY  10532     USA
> Voice: +1 914.784.7055,  IBM T/L: 863.7055
> Fax: +1 914.784.6078, Email: welty@us.ibm.com
> 
> Deborah McGuinness <dlm@ksl.stanford.edu>
> Sent by: www-webont-wg-request@w3.org
> 05/14/2002 01:14 AM
> 
> 
>         To:     Webont <www-webont-wg@w3.org>
>         cc:
>         Subject:        Compliance Level 1 Proposal
> 
> 
> 
> At the last telecon, I took the action item to produce a compliance
> level 1 document by today.
> The document is available at:
> http://www.ksl.stanford.edu/people/dlm/webont/compliance.html
> 
> Please review it so that it can be discussed at this thursday's webont
> telecon.
> Comments as usual to webont.
> 
> thanks,
> Deborah
> --
>  Deborah L. McGuinness
>  Knowledge Systems Laboratory
>  Gates Computer Science Building, 2A Room 241
>  Stanford University, Stanford, CA 94305-9020
>  email: dlm@ksl.stanford.edu
>  URL: http://ksl.stanford.edu/people/dlm
>  (voice) 650 723 9770    (stanford fax) 650 725 5850   (computer fax)
> 801 705 0941

-- 
_____________________________________________
Dr. Leo Obrst		The MITRE Corporation
mailto:lobrst@mitre.org Intelligent Information Management/Exploitation
Voice: 703-883-6770	7515 Colshire Drive, M/S W640
Fax: 703-883-1379       McLean, VA 22102-7508, USA

Received on Tuesday, 14 May 2002 13:17:35 UTC