On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules. de Bruijn, J., Eiter, T., Polleres, A., & Tompits, H. In Proceedings of the 1st International Conference on Knowledge Science, Engineering and Management (KSEM'06), volume 4092, of Lecture Notes in Computer Science (LNCS), pages 1–22, Gullin, China, August, 2006. Springer. Invited paper![On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper abstract bibtex 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 $\mathcal{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.
@inproceedings{debr-etal-2006b,
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 $\mathcal{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.},
Address = {Gullin, China},
Author = {Jos de Bruijn and Thomas Eiter and Axel Polleres and Hans Tompits},
Booktitle = {Proceedings of the 1st International Conference on Knowledge Science, Engineering and Management (KSEM'06)},
Day = {5--8},
Month = AUG,
Note = {Invited paper},
Pages = {1--22},
Publisher = {Springer},
Series = LNCS,
Talk = {Thomas Eiter},
Title = {On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules},
Type = CONF,
Url = {http://polleres.net/publications/deri-tr-2006-05-29.pdf},
Volume = 4092,
Year = 2006,
Bdsk-Url-1 = {http://polleres.net/publications/deri-tr-2006-05-29.pdf}}
Downloads: 0
{"_id":"CpiD7W62goQWd4ZH5","bibbaseid":"debruijn-eiter-polleres-tompits-onrepresentationalissuesaboutcombinationsofclassicaltheorieswithnonmonotonicrules-2006","downloads":0,"creationDate":"2015-12-16T06:35:18.155Z","title":"On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules","author_short":["de Bruijn, J.","Eiter, T.","Polleres, A.","Tompits, H."],"year":2006,"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","bibdata":{"bibtype":"inproceedings","type":"Conference paper","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 $\\mathcal{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.","address":"Gullin, China","author":[{"firstnames":["Jos"],"propositions":["de"],"lastnames":["Bruijn"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]},{"firstnames":["Hans"],"propositions":[],"lastnames":["Tompits"],"suffixes":[]}],"booktitle":"Proceedings of the 1st International Conference on Knowledge Science, Engineering and Management (KSEM'06)","day":"5–8","month":"August","note":"Invited paper","pages":"1–22","publisher":"Springer","series":"Lecture Notes in Computer Science (LNCS)","talk":"Thomas Eiter","title":"On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules","url":"http://polleres.net/publications/deri-tr-2006-05-29.pdf","volume":"4092","year":"2006","bdsk-url-1":"http://polleres.net/publications/deri-tr-2006-05-29.pdf","bibtex":"@inproceedings{debr-etal-2006b,\n\tAbstract = {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 $\\mathcal{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.},\n\tAddress = {Gullin, China},\n\tAuthor = {Jos de Bruijn and Thomas Eiter and Axel Polleres and Hans Tompits},\n\tBooktitle = {Proceedings of the 1st International Conference on Knowledge Science, Engineering and Management (KSEM'06)},\n\tDay = {5--8},\n\tMonth = AUG,\n\tNote = {Invited paper},\n\tPages = {1--22},\n\tPublisher = {Springer},\n\tSeries = LNCS,\n\tTalk = {Thomas Eiter},\n\tTitle = {On Representational Issues about Combinations of Classical Theories with Nonmonotonic Rules},\n\tType = CONF,\n\tUrl = {http://polleres.net/publications/deri-tr-2006-05-29.pdf},\n\tVolume = 4092,\n\tYear = 2006,\n\tBdsk-Url-1 = {http://polleres.net/publications/deri-tr-2006-05-29.pdf}}\n\n","author_short":["de Bruijn, J.","Eiter, T.","Polleres, A.","Tompits, H."],"key":"debr-etal-2006b","id":"debr-etal-2006b","bibbaseid":"debruijn-eiter-polleres-tompits-onrepresentationalissuesaboutcombinationsofclassicaltheorieswithnonmonotonicrules-2006","role":"author","urls":{"Paper":"http://polleres.net/publications/deri-tr-2006-05-29.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"search_terms":["representational","issues","combinations","classical","theories","nonmonotonic","rules","de bruijn","eiter","polleres","tompits"],"keywords":[],"authorIDs":["FyLDFGg993nDS2Spf"],"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}