Adila Krisnadhi

2011
K. Sengupta, Krisnadhi, A., and Hitzler, P., Local Closed World Semantics: Grounded Circumscription for OWL, in The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I, 2011, vol. 7031, pp. 617-632.PDF icon SenKriHit-GroundedCircumscriptionOWL-ISWC2011.pdf (385.97 KB)
A. Krisnadhi, Sengupta, K., and Hitzler, P., Local Closed World Semantics: Keep it simple, stupid!, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
M. Krötzsch, Maier, F., Krisnadhi, A., and Hitzler, P., Nominal Schemas for Integrating Rules and Description Logics, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
A. Krisnadhi, Maier, F., and Hitzler, P., OWL and Rules, in Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures, 2011, vol. 6848, pp. 382-415.PDF icon KriMaiHit-OWLRules-RW2011.pdf (427.87 KB)
2007
A. Krisnadhi and Lutz, C., Data Complexity in the EL Family of Description Logics, in Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, 2007, vol. 4790, pp. 333-347.PDF icon KriLut-DataComplexityEL-LPAR07.pdf (215.24 KB)
A. Krisnadhi and Lutz, C., Data Complexity in the EL family of DLs, in Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, 2007, vol. 250.PDF icon KriLut-DataComplexityEL-DL07.pdf (181.59 KB)
A. Krisnadhi, Data Complexity of Instance Checking in the EL Family of Description Logics, Technische Universität Dresden, Dresden, 2007.

Pages