Publications
“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.
, “A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies”, in Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011, 2011, pp. 645-654. KroetzschMaierKrisnadhiHitzler-WWW11.pdf (406.28 KB)
, “Local Closed World Semantics: Grounded Circumscription for Description Logics”, in Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings, 2011, vol. 6902, pp. 263-268. KriSenHit-GroundedCircumscriptionDL-RR2011.pdf (259.67 KB)
, “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)
, “Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas”, in Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012, 2012, vol. 849. Integrating OWL and Rules A Syntax Proposal for Nominal Schemas.pdf (204.1 KB)
, “Konf Connect”, in Metadata Challenge at the 21st International Conference on World Wide Web (WWW 2012), Lyon, France, 2012. KonfConnect-MetadataChallenge-WWW2012.pdf (78.41 KB)
, “Reasoning Approaches for Nominal Schemas”, vol. Poster and Demonstration Proceedings. JIST, Nara, Japan, 2012.
, “Recent Advances in Integrating OWL and Rules”, in Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Austria, Vienna, 2012, vol. 7497, pp. 225-228. Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)
, “A Tableau Algorithm for Description Logics with Nominal Schemas”, in Web Reasoning and Rule Systems, 6th International Conference, RR2012, Vienna, Austria, September 10-12, 2012, Proceedings, 2012, vol. 7497, pp. 234-237. KH2012-TR.pdf (427.25 KB)
, “An Ontology Design Pattern for Cartographic Map Scaling”, in The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings, 2013, vol. 7882, pp. 76–93. An Ontology Design Pattern for Cartographic Map Scaling.pdf (667.45 KB)
,