![]() | ![]() |
| 2012 | ||
|---|---|---|
| 5 | Yazmin Angélica Ibáñez-García: Finite Model Reasoning in DL-Lite with Cardinality Constraints. Description Logics 2012 | |
| 2011 | ||
| 4 | Alessandro Artale, Yazmin Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov: DL-Lite with Attributes and Sub-Roles (Extended Abstract). Description Logics 2011 | |
| 3 | Enrico Franconi, Yazmin Angélica Ibáñez-García, Inanç Seylan: Query Answering with DBoxes is Hard. Electr. Notes Theor. Comput. Sci. 278: 71-84 (2011) | |
| 2010 | ||
| 2 | Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García: Checking Full Satisfiability of Conceptual Models. Description Logics 2010 | |
| 1 | Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García: Full Satisfiability of UML Class Diagrams. ER 2010: 317-331 | |
| 1 | Alessandro Artale | [1] [2] [4] |
| 2 | Diego Calvanese | [1] [2] |
| 3 | Enrico Franconi | [3] |
| 4 | Roman Kontchakov | [4] |
| 5 | Vladislav Ryzhikov | [4] |
| 6 | Inanç Seylan | [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page