Property:Bibtex
From korrekt.org
A Bibtex entry for a publications.
A
@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}
}
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}
}
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}
}
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{KRS14:datalogdl,
author = {Markus Kr\"{o}tzsch and Sebastian Rudolph
and Peter H. Schmitt},
title = {A Closer Look at the Semantic Relationship
between Datalog and Description Logics},
journal = {Semantic Web Journal},
publisher = {IOS Press},
volume = {6},
issue = {1},
year = {2015}
}
author = {Markus Kr\"{o}tzsch and Sebastian Rudolph
and Peter H. Schmitt},
title = {A Closer Look at the Semantic Relationship
between Datalog and Description Logics},
journal = {Semantic Web Journal},
publisher = {IOS Press},
volume = {6},
issue = {1},
year = {2015}
}
/** Citations should use the peer-reviewed version **/
/** "Description Logics", IEEE Int. Sys., 2014 **/
@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}
}
/** "Description Logics", IEEE Int. Sys., 2014 **/
@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}
}
/** Citations should use the peer-reviewed version **/
/** "Description Logics", IEEE Int. Sys., 2014 **/
@incollection{dlprimer-ios-bookchapter-2014,
author = {Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k and
Ian Horrocks},
title = {A Description Logic Primer},
chapter = {1},
booktitle = {Perspectives on Ontology Learning},
editor = {Jens Lehmann and Johanna V{\"o}lker},
publisher = {IOS Press},
year = {2014}
}
/** "Description Logics", IEEE Int. Sys., 2014 **/
@incollection{dlprimer-ios-bookchapter-2014,
author = {Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k and
Ian Horrocks},
title = {A Description Logic Primer},
chapter = {1},
booktitle = {Perspectives on Ontology Learning},
editor = {Jens Lehmann and Johanna V{\"o}lker},
publisher = {IOS Press},
year = {2014}
}
@article{MKH14:moleculerules,
author = {Despoina Magka and Markus Kr{\"o}tzsch and
Ian Horrocks},
title = {A rule-based ontological framework for the
classification of molecules},
journal = {Journal of Biomedical Semantics},
volume = {5},
issue = {17},
year = {2014},
publisher = {Springer}
}
author = {Despoina Magka and Markus Kr{\"o}tzsch and
Ian Horrocks},
title = {A rule-based ontological framework for the
classification of molecules},
journal = {Journal of Biomedical Semantics},
volume = {5},
issue = {17},
year = {2014},
publisher = {Springer}
}
@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)},
editor = {Gerhard Brewka and Thomas Eiter and
Sheila A. McIlraith},
year = {2012},
publisher = {AAAI Press},
pages = {243--253}
}
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)},
editor = {Gerhard Brewka and Thomas Eiter and
Sheila A. McIlraith},
year = {2012},
publisher = {AAAI Press},
pages = {243--253}
}
@article{CG+13:acyclicity,
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 Notions for Existential Rules
and Their Application to Query Answering in
Ontologies},
journal = {J Art. Int. Research},
volume = {47},
year = {2013},
pages = {741--808},
publisher = {AI Access Foundation}
}
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 Notions for Existential Rules
and Their Application to Query Answering in
Ontologies},
journal = {J Art. Int. Research},
volume = {47},
year = {2013},
pages = {741--808},
publisher = {AI Access Foundation}
}
@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}
}
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}
}
C
@inproceedings{UJK:Vlog2016,
author = {Jacopo Urbani and Ceriel J. H. Jacobs
and Markus Kr\"{o}tzsch},
title = {Column-Oriented Datalog Materialization for
Large Knowledge Graphs},
pages = {258--264},
booktitle = {Proceedings of the 30th AAAI Conference on
Artificial Intelligence (AAAI'16)},
publisher = {AAAI Press},
year = {2016}
}
author = {Jacopo Urbani and Ceriel J. H. Jacobs
and Markus Kr\"{o}tzsch},
title = {Column-Oriented Datalog Materialization for
Large Knowledge Graphs},
pages = {258--264},
booktitle = {Proceedings of the 30th AAAI Conference on
Artificial Intelligence (AAAI'16)},
publisher = {AAAI Press},
year = {2016}
}
/* Please cite our KR paper instead:
* Nominal Schemas in Description Logics: Complexities Clarified
*/
@inproceedings{KR14:nomschema-abstract,
author = {Markus Kr{\"o}tzsch and Sebastian Rudolph},
title = {Complexities for Nominal Schemas:
Extended Abstract},
pages = {270--273},
booktitle = {Proceedings of the 27th International Workshop
on Description Logics (DL'14)},
editors = {Meghyn Bienvenu and Magdalena Ortiz and
Riccardo Rosati and Mantas Simkus},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {1193},
year = {2014}
}
* Nominal Schemas in Description Logics: Complexities Clarified
*/
@inproceedings{KR14:nomschema-abstract,
author = {Markus Kr{\"o}tzsch and Sebastian Rudolph},
title = {Complexities for Nominal Schemas:
Extended Abstract},
pages = {270--273},
booktitle = {Proceedings of the 27th International Workshop
on Description Logics (DL'14)},
editors = {Meghyn Bienvenu and Magdalena Ortiz and
Riccardo Rosati and Mantas Simkus},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {1193},
year = {2014}
}
@article{KRH:HornDLs2013,
author = {Markus Kr{\"o}tzsch and Sebastian Rudolph and
Pascal Hitzler},
title = {Complexities of {Horn} Description Logics},
journal = {ACM Trans. Comp. Log.},
volume = {14},
number = {1},
year = {2013},
publisher = {ACM},
pages = {2:1--2:36}
}
author = {Markus Kr{\"o}tzsch and Sebastian Rudolph and
Pascal Hitzler},
title = {Complexities of {Horn} Description Logics},
journal = {ACM Trans. Comp. Log.},
volume = {14},
number = {1},
year = {2013},
publisher = {ACM},
pages = {2:1--2:36}
}
@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}
}
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{MKH13:reliances,
author = {Despoina Magka and Markus Kr{\"o}tzsch and
Ian Horrocks},
title = {Computing Stable Models for Nonmonotonic
Existential Rules},
booktitle= {Proceedings of the 23rd International Joint
Conference on Artificial Intelligence (IJCAI'13)},
editor = {Francesca Rossi},
year = {2013},
publisher= {AAAI Press/IJCAI},
pages = {1031--1038}
}
author = {Despoina Magka and Markus Kr{\"o}tzsch and
Ian Horrocks},
title = {Computing Stable Models for Nonmonotonic
Existential Rules},
booktitle= {Proceedings of the 23rd International Joint
Conference on Artificial Intelligence (IJCAI'13)},
editor = {Francesca Rossi},
year = {2013},
publisher= {AAAI Press/IJCAI},
pages = {1031--1038}
}
@inproceedings{KMH13:abstractrules,
author = {Markus Kr{\"o}tzsch and Despoina Magka and
Ian Horrocks},
title = {Concrete Results on Abstract Rules},
booktitle= {Proceedings of the 12th International Conference
on Logic Programming and Nonmonotonic Reasoning
(LPNMR'13)},
editor = {Pedro Cabalar and Tran Cao Son},
year = {2013},
publisher= {Springer},
series = {LNAI},
number = {8148},
pages = {414--426}
}
author = {Markus Kr{\"o}tzsch and Despoina Magka and
Ian Horrocks},
title = {Concrete Results on Abstract Rules},
booktitle= {Proceedings of the 12th International Conference
on Logic Programming and Nonmonotonic Reasoning
(LPNMR'13)},
editor = {Pedro Cabalar and Tran Cao Son},
year = {2013},
publisher= {Springer},
series = {LNAI},
number = {8148},
pages = {414--426}
}
@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}
}
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}
}
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}
}
D
@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}
}
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}
}
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}
}