Publications
“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. SenKriHit-GroundedCircumscriptionOWL-ISWC2011.pdf (385.97 KB)
, “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.
, “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.
, “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. KriMaiHit-OWLRules-RW2011.pdf (427.87 KB)
, “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. KriLut-DataComplexityEL-LPAR07.pdf (215.24 KB)
, “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. KriLut-DataComplexityEL-DL07.pdf (181.59 KB)
, “Data Complexity of Instance Checking in the EL Family of Description Logics”, Technische Universität Dresden, Dresden, 2007.
,