Pointwise Circumscription in Description Logics
Authors: Federica Di Stefano, Magdalena Ortiz and Mantas Simkus
Paper Information
Title: | Pointwise Circumscription in Description Logics |
Authors: | Federica Di Stefano, Magdalena Ortiz and Mantas Simkus |
Proceedings: | DL Proceedings |
Editors: | Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier |
Keywords: | Circumscription, Non-monotonic reasoning in DLs, Computational Complexity |
Pages: | 1 |
Talk: | Aug 08 11:50 (Session 96C: Joint NMR/DL Session (4)) |
Paper: |