- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Wed, 6 Mar 2002 07:39:50 -0500
- To: "Jonathan Borden" <jonathan@openhealth.org>
- Cc: <www-webont-wg@w3.org>
At 12:18 AM -0500 3/6/02, Jonathan Borden wrote: >Jim, > > >> Jonathan- >> You're new to the group, so you may have missed the part in the >> charter that makes it clear that expressing rules pre se is out of >> scope. Logical entailment stated explicitely would therefore be out >> of scope (i.e. language features where an ontology would somehow add >> entailment rules). Those rules that are implicit in the >> interpretation of the language (i.e. those that are in the semantic >> of the language) are in scope. >> Note "IF, THEN" perilously close to out of scope. "OR" within >> scope, "FORALL,=>" right out of there. > >Does this mean that the types of ontologies discusses in Fikes' recent email >to the DAML list e.g. >ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-00-01.htm are "out of scope" >? The DAML joint committee is working on rules and query languages for the web, and there are many papers being published on more expressive logics for the web. Also, we're allowed to use rules in our semantics for the language (ala the axiomatic semantics of DAML+OIL, part of the W3C D+O submission) - but that is not the same as standardizing rules which was made explicitely out of scope during the process of chartering the WG. >I ask because I notice "=>" in there. Is this the difference between "DL" >and "PL"? Don't know what PL is, so can't answer - maybe someone else can - Deb McGuinness pointed the group at some good papers on DLs early in our work - you can find them in the archives - more recently she wrote At 5:48 AM -0800 2/14/02, Deborah McGuinness wrote: >I wrote a paper on Ontologies Come of Age[1], which could be one of the >things pointed to if you like and of course it points to much previous work. > >[1] >http://www.ksl.stanford.edu/people/dlm/papers/ontologies-come-of-age-abstract.html which is a good backgrounder on this stuff. -- Professor James Hendler hendler@cs.umd.edu Director, Semantic Web and Agent Technologies 301-405-2696 Maryland Information and Network Dynamics Lab. 301-405-6707 (Fax) AV Williams Building, Univ of Maryland College Park, MD 20742 http://www.cs.umd.edu/users/hendler
Received on Wednesday, 6 March 2002 07:39:56 UTC