Abstract
The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top of description logic and thus some attractive features of ASP can be employed in the design of the Semantic Web architecture. In this paper we first generalize dl-programs by allowing multiple knowledge bases and then accordingly, define the answer set semantics for the dl-programs. A novel technique called forgetting is developed in the setting of dl-programs and applied to ontology merging and aligning.
| Original language | English |
|---|---|
| Title of host publication | Rules and Rule Markup Languages for the Semantic Web |
| Subtitle of host publication | First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings |
| Editors | Asaf Adi, Suzette Stoutenburg, Said Tabet |
| Place of Publication | Berlin |
| Publisher | Springer Verlag |
| Pages | 160-171 |
| Number of pages | 12 |
| Volume | LNCS 3791 |
| Edition | 1st |
| ISBN (Electronic) | 9783540322702 |
| ISBN (Print) | 354029922X, 9783540299226 |
| DOIs | |
| Publication status | Published - 4 Nov 2005 |
| Externally published | Yes |
| Event | 1st International Conference on Rules and Rule Markup Languages for the Semantic Web - Galway, Ireland Duration: 10 Nov 2005 → 12 Nov 2005 Conference number: 1 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Publisher | Springer Verlag |
| Volume | 3791 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 1st International Conference on Rules and Rule Markup Languages for the Semantic Web |
|---|---|
| Abbreviated title | RuleML 2005 |
| Country/Territory | Ireland |
| City | Galway |
| Period | 10/11/05 → 12/11/05 |