Publications
“Distributed Reasoning with EL++ Using MapReduce”, Wright State University, Dayton, OH, USA, 2010. ELpp-MapReduce-TechReport2010.pdf (298.49 KB)
, “Paraconsistent OWL and Related Logics”, Semantic Web, vol. 4, pp. 395–427, 2013. paraOWL-2013.pdf (698.73 KB)
, “Reconciling OWL and Non-monotonic Rules for the Semantic Web”, in ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, 2012, vol. 242, pp. 474–479. OWLRules-ECAI2012.pdf (199.35 KB)
, “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)
, “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)
, “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 MapReduce Algorithm for EL+”, in Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, 2010, vol. 573, pp. 464-474. MapReduce-EL-DL2010.pdf (125.99 KB)
, “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)
,