[DL] Guidance on applying DL

Christel Kemke ckemke at cs.umanitoba.ca
Tue Jan 21 19:46:55 CET 2003

I would suggest - if you do not insist on using exactly DL - to look 
into Rule-Based /Expert-System languages. In particular I would 
recommend to check out CLIPS, which includes an inference engine for 
reasoning based on a set of (given initial) facts. It allows more and 
other specifications of rules than usual logic-based systems and 
languages like PROLOG. There is also an extension to CLIPS, called COOL, 
which integrates object-oriented programming, including inheritance (I 
think meta-classes, too), and this you can use to implement some form of 

Christel Kemke

K. V. Viswanathan wrote:

>I am almost completely new to the field of DL and am
>looking for advice. 
>I have a problem requiring KR and inference in the
>field of planning. I have read some of the
>introductory chapters from the forthcoming DL
>I need to represent facts and many causal links such
>as "A affects B" or "an increase in A will cause a
>decrease in B" and the like. Armed with such a
>knowledge base, I then need to study the impact of
>adding new facts into the KB.
>Would the upcoming OWL (Web Ontology Language) be a
>suitable candidate for this representation and
>reasoning problem? Or should I be considering other
>languages? Pointers to and links to useful readings
>that will enable me to come up to speed will also be
>much welcome.
>K. V. Viswanathan
>Do you Yahoo!?
>Yahoo! Mail Plus - Powerful. Affordable. Sign up now.
>**  You received this mail via the description logic mailing list; for more  **
>**  information, visit the description logic homepage at http://dl.kr.org/.  **

Christel Kemke
Dr.rer.nat., Dipl.-Inform., B.Sc. (Honours), Dip.Psych. (Open University)
Assistant Professor
Department of Computer Science
Machray Hall, Room 562
University of Manitoba
Winnipeg, MB, R3T 2N2

Phone: +1 (204) 474-8674
Fax: +1 (204) 474-7609

More information about the dl mailing list