Property:Bibtex

@inproceedings{KMKH11:nomschema,
    author   = {Markus Kr{\"o}tzsch and Frederick Maier and
                Adila A. Krisnadhi and Pascal Hitzler},
    title    = {A Better Uncle for {OWL}: {N}ominal Schemas for
                Integrating Rules and Ontologies},
    booktitle= {Proceedings of the 20th International Conference
                on World Wide Web (WWW'11)},
    year     = {2011},
    publisher= {ACM},
    pages    = {645--654}
}

@incollection{KG:csip-intro,
    author    = {Markus Kr\"{o}tzsch and Bernhard Ganter},
    title     = {A Brief Introduction to Formal Concept Analysis},
    chapter   = {1},
    editor    = {Pascal Hitzler and Henrik Sch\"{a}rfe},
    booktitle = {Conceptual Structures in Practice},
    publisher = {Chapman \& Hall/CRC},
    year      = {2009}
}

@article{HKZ:fcacats:fi06,
    author  = {Pascal Hitzler and Markus Kr\"{o}tzsch
               and Guo-Qiang Zhang},
    title   = {A Categorical View on Algebraic Lattices in
               Formal Concept Analysis},
    journal = {Fundamenta Informaticae},
    volume  = {74},
    number  = {2--3},
    pages   = {301--328},
    year    = {2006}
}

@article{dlprimer,
author       = {Markus Kr{\"o}tzsch and
                        Franti\v{s}ek Siman\v{c}\'{i}k and
                        Ian Horrocks},
title        = {A Description Logic Primer},
journal      = {CoRR},
volume       = {abs/1201.4089},
year         = {2012},
ee           = {http://arxiv.org/abs/1201.4089}
}

@inproceedings{C+12:dlacyclicity,
    author    = {Bernardo {Cuenca Grau} and Ian Horrocks and
                 Markus Kr{\"o}tzsch and Clemens Kupke and
                 Despoina Magka and Boris Motik and Zhe Wang},
    title     = {Acyclicity Conditions and their Application to
                 Query Answering in Description Logics},
    booktitle = {Proceedings of the 13th International Conference
                 on Principles of Knowledge Representation and
                 Reasoning (KR'12)},
    year      = {2012}
    note      = {to appear}
}

@inproceedings{RKH-elephants-08,
    author   = {Sebastian Rudolph and Markus Kr\"{o}tzsch
                and Pascal Hitzler},
    title    = {All Elephants are Bigger than All Mice},
    crossref = {dl08}
}
@proceedings{dl08,
    editor    = {Franz Baader and Carsten Lutz and Boris Motik},
    title     = {Proceedings of the 21st International Workshop on
                 Description Logics (DL'08)},
    booktitle = {Proceedings of the 21st International Workshop on 
                 Description Logics (DL'08)},
    publisher = {CEUR-WS.org},
    series    = {CEUR Workshop Proceedings},
    volume    = {353},
    year      = {2008}
}

@article{KRH:HornDLs2012,
    author  = {Markus Kr{\"o}tzsch and Sebastian Rudolph and
               Pascal Hitzler},
    title   = {Complexities of {Horn} Description Logics},
    journal = {ACM Trans. Comp. Log.},
    year    = {2012},
    note    = {To appear; preprint available at
               \url{http://tocl.acm.org/accepted.html}}
}

@inproceedings{KRH:hornAAAI,
    author    = {Markus Kr{\"o}tzsch and Sebastian Rudolph
                 and Pascal Hitzler},
    title     = {Complexity Boundaries for {Horn} Description
                 Logics},
    pages     = {452--457},
    booktitle = {Proceedings of the 22nd AAAI Conference on
                 Artificial Intelligence (AAAI'07)},
    publisher = {AAAI Press},
    year      = {2007}
}

@inproceedings{KKS11:parallEL,
    author    = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and
                 Franti\v{s}ek Siman\v{c}\'{i}k},
    title     = {Concurrent Classification of $\mathcal{EL}$
                Ontologies},
    booktitle = {Proceedings of the 10th International Semantic
                 Web Conference (ISWC'11)},
    editor    = {Lora Aroyo and Chris Welty and Harith Alani and
                 Jamie Taylor and Abraham Bernstein and
                 Lalana Kagal and Natasha Noy and Eva Blomqvist},
    publisher = {Springer},
    series    = {LNCS},
    volume    = {7032},
    year      = {2011}
}

@inproceedings{KRH:elcq07,
    author    = {Markus Kr\"{o}tzsch and Sebastian Rudolph
                 and Pascal Hitzler},
    title     = {Conjunctive Queries for a Tractable Fragment of
                 {OWL}~1.1},
    pages     = {310--323},
    crossref  = {iswc07}
}
@proceedings{iswc07,
    editor    = {Karl Aberer and Key-Sun Choi and Natasha Noy
                 and Dean Allemang and Kyung-Il Lee
                 and Lyndon Nixon and Jennifer Golbeck
                 and Peter Mika and Diana Maynard
                 and Riichiro Mizoguchi and Guus Schreiber
                 and Philippe Cudr\'{e}-Mauroux},
    title     = {Proceedings of the 6th International Semantic Web
                 Conference (ISWC'07)},
    booktitle = {Proceedings of the 6th International Semantic Web
                 Conference (ISWC'07)},
    publisher = {Springer},
    series    = {LNCS},
    volume    = {4825},
    year      = {2007}
}

@inproceedings{RKH:Jelia-08,
    author   = {Sebastian Rudolph and Markus Kr\"{o}tzsch
                and Pascal Hitzler},
    title    = {Cheap {Boolean} Role Constructors for Description
                Logics},
    pages    = {362--374},
    crossref = {jelia08}
}
@proceedings{jelia08,
    editor    = {Steffen H\"{o}lldobler and Carsten Lutz
                 and Heinrich Wansing},
    title     = {Proceedings of the 11th European Conference on 
                 Logics in Artificial Intelligence (JELIA'08)},
    booktitle = {Proceedings of the 11th European Conference on 
                 Logics in Artificial Intelligence (JELIA'08)},
    publisher = {Springer},
    series    = {LNAI},
    volume    = {5293},
    year      = {2008}
}

@inproceedings{RKH:OBBD08b,
    author   = {Sebastian Rudolph and Markus Kr\"{o}tzsch
                and Pascal Hitzler},
    title    = {Description Logic Reasoning with Decision
                Diagrams: Compiling $\mathcal{SHIQ}$ to 
                Disjunctive Datalog},
    pages    = {435--450},
    crossref = {iswc08}
}
@proceedings{iswc08,
    editor    = {Amit Sheth and Steffen Staab and Mike Dean
                 and Massimo Paolucci and Diana Maynard
                 and Timothy Finin and Krishnaprasad Thirunarayan},
    title     = {Proceedings of the 7th International Semantic Web
                 Conference (ISWC'08)},
    booktitle = {Proceedings of the 7th International Semantic Web
                 Conference (ISWC'08)},
    publisher = {Springer},
    series    = {LNCS},
    volume    = {5318},
    year      = {2008}
}

@inproceedings{KRH:DLrules-08,
    author   = {Markus Kr\"{o}tzsch and Sebastian Rudolph
                and Pascal Hitzler},
    title    = {Description Logic Rules},
    pages    = {80--84},
    crossref = {ecai08}
}
@proceedings{ecai08,
    editor    = {Malik Ghallab and Constantine D. Spyropoulos
                 and Nikos Fakotakis and Nikos Avouris},
    title     = {Proceedings of the 18th European Conference on
                 Artificial Intelligence (ECAI'08)},
    booktitle = {Proceedings of the 18th European Conference on
                 Artificial Intelligence (ECAI'08)},
    publisher = {IOS Press},
    year      = {2008}
}

@book{kroetzsch:DLR2010,
    title     = {Description Logic Rules},
    author    = {Markus Kr{\"o}tzsch},
    publisher = {IOS Press/AKA},
    series    = {Studies on the Semantic Web},
    volume    = {008},
    year      = {2010},
    isbn      = {978-1-60750-654-6}
}

@techreport{KKS12:elkimpl,
    author    = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and
                 Franti\v{s}ek Siman\v{c}\'{i}k},
    title     = {{ELK:} A Reasoner for {OWL EL} Ontologies},
    type      = {System Description},
    institution = {University of Oxford},
    year      = {2012},
    note      = {available from
   \url{http://code.google.com/p/elk-reasoner/wiki/Publications}}
}

@inproceedings{KRH:ELP-08,
    author   = {Markus Kr\"{o}tzsch and Sebastian Rudolph
                and Pascal Hitzler},
    title    = {{ELP:} {Tractable} Rules for {OWL~2}},
    pages    = {649--664},
    crossref = {iswc08}
}
@proceedings{iswc08,
    editor    = {Amit Sheth and Steffen Staab and Mike Dean
                 and Massimo Paolucci and Diana Maynard
                 and Timothy Finin and Krishnaprasad Thirunarayan},
    title     = {Proceedings of the 7th International Semantic Web
                 Conference (ISWC'08)},
    booktitle = {Proceedings of the 7th International Semantic Web
                 Conference (ISWC'08)},
    publisher = {Springer},
    series    = {LNCS},
    volume    = {5318},
    year      = {2008}
}

@inproceedings{Kroetzsch10:elreason,
    author   = {Markus Kr{\"o}tzsch},
    title    = {Efficient Inferencing for {OWL EL}},
    crossref = {jelia10},
    pages    = {234--246},
}
@proceedings{jelia10,
    editor    = {Tomi Janhunen and Ilkka Niemel\"{a}},
    title     = {Proceedings of the 12th European Conference on
                 Logics in Artificial Intelligence (JELIA'10)},
    booktitle = {Proceedings of the 12th European Conference on
                 Logics in Artificial Intelligence (JELIA'10)},
    publisher = {Springer},
    series    = {LNAI},
    volume    = {6341},
    year      = {2010}
}

@inproceedings{Kroetzsch11:owlel,
    author   = {Markus Kr{\"o}tzsch},
    title    = {Efficient Rule-Based Inferencing for {OWL EL}},
    editor   = {Toby Walsh},
    booktitle= {Proceedings of the 22nd International Joint
                Conference on Artificial Intelligence (IJCAI'11)},
    year     = {2011},
    publisher= {AAAI Press/IJCAI},
    note     = {2668--2673}
}

@inproceedings{KR11:jointacyc,
    author   = {Markus Kr{\"o}tzsch and Sebastian Rudolph},
    title    = {Extending Decidable Existential Rules by
                Joining Acyclicity and Guardedness},
    editor   = {Toby Walsh},
    booktitle= {Proceedings of the 22nd International Joint
                Conference on Artificial Intelligence (IJCAI'11)},
    year     = {2011},
    publisher= {AAAI Press/IJCAI},
    pages    = {963--968}
}

@inproceedings{SMK11:dlfpt,
    author    = {Franti\v{s}ek Siman\v{c}\'{i}k and Boris Motik
                 and Markus Kr{\"o}tzsch},
    title     = {Fixed Parameter Tractable Reasoning in {DLs}
                 via Decomposition},
    booktitle = {Proceedings of the 23rd International Workshop
                 on Description Logics (DL'10)},
    editors   = {Riccardo Rosati and Sebastian Rudolph and
                 Michael Zakharyaschev}
    publisher = {CEUR-WS.org},
    series    = {CEUR Workshop Proceedings},
    year      = {2011},
    note      = {to appear}
}

@book{fost,
    title     = {Foundations of Semantic Web Technologies},
    author    = {Pascal Hitzler and Markus Kr\"{o}tzsch
                 and Sebastian Rudolph},
    publisher = {Chapman \& Hall/CRC},
    year      = {2009}
}

@article{kroetzsch:gums:tcs06,
    author  = {Markus Kr{\"o}tzsch},
    title   = {Generalized Ultrametric Spaces in Quantitative
               Domain Theory},
    journal = {Theoretical Computer Science},
    volume  = {368},
    number  = {1--2},
    pages   = {30--49},
    year    = {2006}
}

@incollection{Kroetzsch12:outofthelab,
    author    = {Markus Kr\"{o}tzsch},
    title     = {Out of the Lab, Into the Wild: Growing Open
                 Source Communities Around Academic Projects},
    chapter   = {3},
    editor    = {Lydia Pintscher},
    booktitle = {Open Advice},
    publisher = {open-advice.org},
    year      = {2012},
    isbn      = {978-1-105-51493-7}
}

@article{VKRL:lon:raft10,
    author  = {Denny Vrande\v{c}i\'{c} and Markus Kr\"{o}tzsch
               and Sebastian Rudolph and Uta L\"{o}sch},
    title   = {Leveraging Non-Lexical Knowledge for the
               Linked Open Data Web},
    journal = {Review of AF Transactions},
    volume  = {1},
    pages   = {18--27},
    year    = {2010}
}

@book{H+11:llpaul,
    title     = {Logik und Logikprogrammierung, Band 2: Aufgaben
                 und L\"{o}sungen},
    author    = {Steffen H\"{o}lldobler and Sebastian Bader and
                 Bertram Fronh\"{o}fer and Ursula Hans and
                 Pascal Hitzler and Markus Kr\"{o}tzsch and
                 Tobias Pietzsch},
    publisher = {Synchron Publishers Heidelberg},
    year      = {2011}
}