Browsing by Author "Santos, D."
Now showing 1 - 2 of 2
Results Per Page
Sort Options
- O papel da lista de verificação de segurança cirúrgica na melhoria da segurança perioperatóriaPublication . Neves, C.; Santos, D.; Rosado, F.; Santos, J.; Saramago, M.; Gomes, R.; Miranda, L.; Antunes, V.
- Tighter integration in dl-programsPublication . Cruz-Filipe, L.; Engrácia, P.; Gaspar, G.; Henriques, R.; Nunes, I.; Santos, D.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.