News

From korrekt.org

Below are my latest publications and (not so) recent notes.

Recent publications

• Despoina Magka, Markus Krötzsch, Ian Horrocks. Computing Stable Models for Nonmonotonic Existential Rules. IJCAI 2013,  2013. (view details)
• Sebastian Rudolph, Markus Krötzsch. Flag & Check: Data Access with Monadically Defined Queries. PODS 2013,  2013. (view details, download)
• Emanuele Della Valle, Stefan Schlobach, Markus Krötzsch, Alessandro Bozzon, Stefano Ceri, Ian Horrocks. Order matters! Harnessing a world of orderings for reasoning over massive data. Semantic Web Journal,  2013. (view details, download)
• Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. Complexities of Horn Description Logics. ACM Transactions on Computational Logic,  2013. (view details, download)
• Markus Krötzsch. The Not-So-Easy Task of Computing Class Subsumptions in OWL RL. ISWC2012, nominated for Best Paper award,  2012. (view details, download)
• Markus Krötzsch. Wikidata: The Next Big Thing for Wikipedia. KESW 2012,  2012. (view details, download)
• Yevgeny Kazakov, Markus Krötzsch, František Simančík. Practical Reasoning with Nominals in the EL Family of Description Logics. KR2012,  2012. (view details, download)

For further publications, see the full list of publications (RSS feed).

Recent notes

• How to Extract Used Entries From BibTeX Files (21 April 2012)
• Wikidata to Bring Semantic Data to Wikipedia (30 March 2012)
• PODS'12 Going (Semantic) Web (28 June 2011)
• The State of the UNION: Why no SPARQL Condition Should be Second Class (28 April 2011)
• Ending a Difficult Relationship (13 March 2011)

For further notes, see my blog (RSS feed).