Publication
Tighter integration in dl-programs
| dc.contributor.author | Cruz-Filipe, L. | |
| dc.contributor.author | Engrácia, P. | |
| dc.contributor.author | Gaspar, G. | |
| dc.contributor.author | Henriques, R. | |
| dc.contributor.author | Nunes, I. | |
| dc.contributor.author | Santos, D. | |
| dc.date.accessioned | 2024-09-13T13:38:30Z | |
| dc.date.available | 2024-09-13T13:38:30Z | |
| dc.date.issued | 2013-09 | |
| dc.description.abstract | We introduce a mechanism called lifting to share predicates between the two components of a dl-program, integrating them in a tighter way. Using lifting, one can reason about the predicates being shared both via the description logic knowledge base and via Datalogstyle rules, and the deductions one makes are automatically reflected globally on both components. This is a capability not directly present in dl-programs, since changes to the knowledge base only affect the queries where they occur. We show that lifting has nice theoretical properties, making it suitable for modular design of dl-programs. Furthermore, dlprogram processors can easily incorporate lifting as a new operator, and we have extended dlvhex to work with dl-programs with lifting. | pt_PT |
| dc.description.version | N/A | pt_PT |
| dc.identifier.citation | Cruz-Filipe L, Engracia P, Gaspar G, Henriques R, Nunes I, Santos D, (2013). Tighter integration in dl-programs. INForum 2013, Atas do 5º Simpósio de Informática, 457-468 | |
| dc.identifier.isbn | 978-989-97060-8-8 | |
| dc.identifier.uri | http://hdl.handle.net/10400.26/52062 | |
| dc.language.iso | eng | pt_PT |
| dc.title | Tighter integration in dl-programs | pt_PT |
| dc.type | journal article | |
| dcterms.accessRights | Acesso aberto | pt_PT |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Évora | pt_PT |
| oaire.citation.endPage | 468 | pt_PT |
| oaire.citation.startPage | 457 | pt_PT |
| oaire.citation.title | INForum 2013. Atas do 5º Simpósio de Informática | pt_PT |
| rcaap.type | article | pt_PT |