DAML is envisioned as a web-based markup language that has the expressive power of at least a large subset of first order logic. We expect that it will be, or at least aim to be, largely based on a fairly pure, declarative foundation. However, nearly all of the systems which are widely used in practice for knowledge-based and rule-based reasoning have some critical (and in most cases essential) features which will be in conflict with such a pure foundation. In this task we will develop a software component which is capable of mapping expressions in DAML into practical executable form in conventional rule-based languages supporting (and requiring) such features as conflict handling, default reasoning, rule prioritization, rule naming, procedural attachment, etc. Moreover, we will develop capabilities to map other rich markup languages (e.g., non-DAML XML, or XML Query) into a form suitable for knowledge-based processing. This work will build on our initial attempts to characterize similar problems in the context of security and authentication, performed as part of our NIST sponsored EECOMS project.  

Related Technologies  :   RuleML     DAML + OIL     Jess   CommonRules

(Site Best viewed with  4.0 and higher Versions of IE)

Author : Mahesh Gandhe

Last Update : 08/03/02