[SWC] representational issues in combining rules and ontologies

Dear all,

We've just concluded a study into some of the representational issues
which arise when combining rules and ontologies. This might be of
interest to this working group:

Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits: On
Representational Issues about Combinations of Classical Theories with
Nonmonotonic Rules, DERI Technical Report 2006-05-29. To be published as
an invited paper in the Proceedings of the First International
Conference on Knowledge Science, Engineering and Management (KSEM'06),
LNAI, Springer-Verlag.

Direct URI:
http://www.deri.at/fileadmin/documents/deri-tr-2006-05-29.pdf

Abstract:

In the context of current efforts around Semantic-Web languages, the
combination of classical theories in classical first-order logic (and in
particular of ontologies in various description logics) with rule
languages rooted in logic programming is receiving considerable
attention. Existing approaches such as SWRL, dl-programs, and DL+log,
differ significantly in the way ontologies interact with (nonmonotonic)
rules bases. In this paper, we identify fundamental representational
issues which need to be addressed by such combinations and formulate a
number of formal principles which help to characterize and classify
existing and possible future approaches to the combination of rules and
classical theories. We use the formal principles to explicate the
underlying assumptions of current approaches. Finally, we propose a
number of settings, based on our analysis of the representational issues
and the fundamental principles underlying current approaches.



Best, Jos

--
Jos de Bruijn,        http://www.debruijn.net/
+43 512 507 6475         jos.debruijn@deri.org

DERI                      http://www.deri.org/
----------------------------------------------
If you would be known, and not know, vegetate in a village; If you
would know, and not be known, live in a city.
  - Charles Caleb ColtonSWC

Received on Tuesday, 30 May 2006 06:33:37 UTC