A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules
[chapter]
2006
Lecture Notes in Computer Science
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
doi:10.1007/11811220_1
fatcat:p3kdmphjz5hhtotgthfuvdofv4