Tighter integration in dl-programs

Cruz-Filipe, L.; Engrácia, P.; Gaspar, G.; Henriques, R.; Nunes, I.; Santos, D.

http://hdl.handle.net/10400.26/52062

Utilize este identificador para referenciar este registo.

Nome:	Descrição:	Tamanho:	Formato:
Tighter integration in dl‐programs.pdf		281.57 KB	Adobe PDF	Ver/Abrir

Contacte-nos

Autores

Resumo(s)

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.

URI

http://hdl.handle.net/10400.26/52062

Citação

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

Coleções

ENIDH – EEM - Comunicações, Congressos, Seminários, Encontros, etc.

Ver registo completo