Francesco Kriegel/FIS

Beschreibung

Diese Seite generiert Listen der BibTeX-Einträge für Publikation, gruppiert nach Forschungsgruppe, Jahr, und Typ. Die Listen können dann (nach einer Normalisierung) in das Forschungsinformationssystem importiert werden.

Automatentheorie

2016

12 Publikationen

@article{Carapelle2016826,
title = "Satisfiability of ECTL$^*$ with constraints ",
journal = "Journal of Computer and System Sciences ",
volume = "82",
number = "5",
pages = "826 - 855",
year = "2016",
note = "",
issn = "0022-0000",
doi = "http://dx.doi.org/10.1016/j.jcss.2016.02.002",
url = "http://www.sciencedirect.com/science/article/pii/S002200001600012X",
author = "Claudia Carapelle and Alexander Kartzow and Markus Lohrey",
keywords = "Temporal logics with integer constraints",
keywords = "ECTL*",
keywords = "Monadic second-order logic with the bounding quantifier "
}

@article{BBBM2016,
  author  = {Franz Baader and Nguyen Thanh Binh and Stefan Borgwardt and Barbara
             Morawska},
  title   = {Deciding Unifiability and Computing Local Unifiers in the
             Description Logic {EL} without Top Constructor},
  journal = {Notre Dame Journal of Formal Logic},
  volume  = {57},
  number  = {4},
  year    = {2016},
  pages   = {443{\textendash}476},
  doi     = {10.1215/00294527-3555507}
}

@article{BBM2016,
  author  = {Franz Baader and Stefan Borgwardt and Barbara Morawska},
  title   = {Extending Unification in {EL} to Disunification: The Case of
             Dismatching and Local Disunification},
  journal = {Logical Methods of Computer Science},
  volume  = {12},
  number  = {4:1},
  year    = {2016},
  pages   = {1{\textendash}28},
  doi     = {10.2168/LMCS-12(4:1)2016}
}

@article{SB2016,
  author    = {Friedrich Martin Schneider and Daniel Borchmann},
  title     = {Topological Entropy of Formal Languages},
  journal   = {Semigroup Forum},
  publisher = {Springer},
  year      = {2016},
  month     = {February},
  pages     = {1-26},
  doi       = {10.1007/s00233-016-9782-0}
}

@article{BMPT2016,
  author  = {Stefan Borgwardt and Theofilos Mailis and Rafael Pe{\~{n}}aloza and
             Anni-Yasmin Turhan},
  title   = {Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy
             Ontologies},
  journal = {Journal on Data Semantics},
  volume  = {5},
  number  = {2},
  year    = {2016},
  pages   = {55{\textendash}75},
  doi     = {10.1007/s13740-015-0055-y}
}

@article{BP2016,
  author  = {Stefan Borgwardt and Rafael Pe{\~{n}}aloza},
  title   = {Reasoning in fuzzy description logics using automata},
  journal = {Fuzzy Sets and Systems},
  volume  = {298},
  year    = {2016},
  pages   = {22{\textendash}43},
  doi     = {10.1016/j.fss.2015.07.013}
}

@inproceedings{CDB2016,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Adnan Darwiche and Guy Van
               den Broeck},
  title     = {Open-World Probabilistic Databases (Extended Abstract)},
  editor    = {Maurizio Lenzerini and Rafael Pe{\~{n}}aloza},
  booktitle = {Proceedings of the 29th International Workshop on Description
               Logics (DL 2016)},
  volume    = {1577},
  publisher = {CEUR Workshop Proceedings},
  year      = {2016}
}

@inproceedings{CDB2016,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Adnan Darwiche and Guy Van
               den Broeck},
  title     = {Open-World Probabilistic Databases},
  editor    = {Chitta Baral and James P. Delgrande and Frank Wolter},
  booktitle = {Proceedings of 15. International Conference on Principles of
               Knowledge Representation and Reasoning (KR 2016)},
  publisher = {AAAI Press},
  year      = {2016},
  pages     = {339--348}
}

@inproceedings{BFLST2016,
  author    = {Stefan Borgwardt and Bettina Fazzinga and Thomas Lukasiewicz and
               Akanksha Shrivastava and Oana Tifrea-Marciuska},
  title     = {Preferential Query Answering in the Semantic Web with
               Possibilistic Networks},
  editor    = {Subbarao Kambhampati},
  booktitle = {Proceedings of the 25th International Joint Conference on
               Artificial Intelligence (IJCAI'16)},
  publisher = {AAAI Press},
  year      = {2016},
  pages     = {994{\textendash}1000}
}

@inproceedings{BH2016,
  author    = {Daniel Borchmann and Tom Hanika},
  title     = {Some Experimental Results on Randomly Generating Formal Contexts},
  editor    = {Marianne Huchard and Sergei Kuznetsov},
  booktitle = {Proceedings of the Thirteenth International Conference on Concept
               Lattices and Their Applications},
  series    = {CEUR Workshop Proceedings},
  volume    = {1624},
  year      = {2016},
  month     = {July},
  pages     = {57-69}
}

@inproceedings{BP2016,
  author    = {Stefan Borgwardt and Rafael Pe{\~{n}}aloza},
  title     = {Reasoning in Expressive G{\"{o}}del Description Logics},
  editor    = {Maurizio Lenzerini and Rafael Pe{\~{n}}aloza},
  booktitle = {Proceedings of the 29th International Workshop on Description
               Logics (DL'16)},
  series    = {CEUR Workshop Proceedings},
  volume    = {1577},
  year      = {2016}
}

@inproceedings{CLN2016,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Thomas Lukasiewicz and Rafael
               Pe{\~{n}}aloza Nyssen},
  title     = {Complexity Results for Probabilistic Datalog+/-},
  editor    = {Maria S. Fox and Gal A. Kaminka},
  booktitle = {Proceedings of the 22nd European Conference on Artificial
               Intelligence (ECAI 2016)},
  publisher = {IOS Press},
  year      = {2016},
  pages     = {1414{\textendash}1422}
}

3 Publikationen (noch nicht erschienen)

@inproceedings{BG2016,
  author    = {Franz Baader and Oliver Fernandez Gil},
  title     = {Extending the Description Logic {tEL(deg)} with acyclic {TBoxes}},
  booktitle = {Proceedings of the 22nd European Conference on Artificial
               Intelligence (ECAI 2016)},
  year      = {2016},
  month     = {September}
}

@inproceedings{CT2016,
  author    = {Claudia Carapelle and Anni-Yasmin Turhan},
  title     = {Description Logics Reasoning w.r.t. General {TBoxes} is decidable
               for Concrete Domains with the {EHD-property}},
  booktitle = {Proceedings of the 22nd European Conference on Artificial
               Intelligence (ECAI 2016)},
  year      = {2016},
  month     = {September}
}

@inproceedings{ZC2016,
  author    = {Benjamin Zarrie{\ss} and Jens Cla{\ss}en},
  title     = {Decidable Verification of Golog Programs over Non-Local Effect
               Actions},
  editor    = {Dale Schuurmans and Michael Wellman},
  booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial
               Intelligence (AAAI-16)},
  publisher = {AAAI Press},
  year      = {2016},
  month     = {February}
}

2015

23 Publikationen

@article{ BaBL-JWS15,
  author = {Franz {Baader} and Stefan {Borgwardt} and Marcel {Lippmann}},
  doi = {http://dx.doi.org/10.1016/j.websem.2014.11.008},
  journal = {Journal of Web Semantics},
  title = {Temporal Query Entailment in the Description Logic {$\mathcal{SHQ}$}},
  year = {2015},
  volume = 33,
  pages = {71--93},
}

@article{ BaBP-JPL15,
  author = {Franz {Baader} and Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
  doi = {http://dx.doi.org/10.1007/s10992-014-9329-3},
  journal = {Journal of Philosophical Logic},
  volume = 44,
  number = 2,
  pages = {117--146},
  title = {On the Decidability Status of Fuzzy {$\mathcal{ALC}$} with General Concept Inclusions},
  year = {2015},
}

@article{ BoDP-AI15,
  author = {Stefan {Borgwardt} and Felix {Distel} and Rafael {Pe{\~n}aloza}},
  doi = {http://dx.doi.org/10.1016/j.artint.2014.09.001},
  journal = {Artificial Intelligence},
  pages = {23--55},
  title = {The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions},
  volume = {218},
  year = {2015},
}

@article{ BoLT-JWS15,
  author = {Stefan {Borgwardt} and Marcel {Lippmann} and Veronika {Thost}},
  doi = {http://dx.doi.org/10.1016/j.websem.2014.11.007},
  journal = {Journal of Web Semantics},
  title = {Temporalizing Rewritable Query Languages over Knowledge Bases},
  year = {2015},
  volume = 33,
  pages = {50--70},
}

@Inbook{Carapelle2015,
author="Carapelle, Claudia
and Feng, Shiguang
and Kartzow, Alexander
and Lohrey, Markus",
editor="Beklemishev, D. Lev
and Musatov, V. Daniil",
chapter="Satisfiability of ECTL* with Tree Constraints",
title="Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings",
year="2015",
publisher="Springer International Publishing",
address="Cham",
pages="94--108",
isbn="978-3-319-20297-6",
doi="10.1007/978-3-319-20297-6_7",
url="http://dx.doi.org/10.1007/978-3-319-20297-6_7"
}

@inproceedings{BBL2015,
  author    = {Franz Baader and Stefan Borgwardt and Marcel Lippmann},
  title     = {Temporal Conjunctive Queries in Expressive Description Logics
               with Transitive Roles},
  editor    = {Bernhard Pfahringer and Jochen Renz},
  booktitle = {Proceedings of the 28th Australasian Joint Conference on
               Artificial Intelligence (AI'15)},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {9457},
  publisher = {Springer},
  year      = {2015},
  pages     = {21-33}
}

@inproceedings{BBM2015,
  author    = {Franz Baader and Stefan Borgwardt and Barbara Morawska},
  title     = {Dismatching and local disunification in {EL}},
  editor    = {Maribel Fern{\'{a}}ndez},
  booktitle = {Proceedings of the 26th International Conference on Rewriting
               Techniques and Applications (RTA’15)},
  series    = {Leibniz International Proceedings in Informatics},
  volume    = {36},
  publisher = {Dagstuhl Publishing},
  year      = {2015},
  pages     = {40{\textendash}56},
  doi       = {10.4230/LIPIcs.RTA.2015.40}
}

@inproceedings{B2015,
  author    = {Daniel Borchmann},
  title     = {Exploring Faulty Data},
  editor    = {Jaume Baixeries and Christian Sacarea and Manuel Ojeda-Aciego},
  booktitle = {Proceedings of the 13 International Conference on Formal Concept
               Analysis (ICFCA 2015)},
  series    = {Lecture Notes in Computer Science},
  volume    = {9113},
  publisher = {Springer},
  year      = {2015},
  pages     = {219-235}
}

@inproceedings{BMNT2015,
  author    = {Stefan Borgwardt and Theofilos Mailis and Rafael Pe{\~{n}}aloza
               Nyssen and Anni-Yasmin Turhan},
  title     = {Conjunctive Query Answering with Finitely Many Truth Degrees},
  editor    = {Diego Calvanese and Boris Konev},
  booktitle = {Proceedings of the 28th International Workshop on Description
               Logics (DL'15)},
  volume    = {1350},
  publisher = {CEUR Workshop Proceedings},
  year      = {2015}
}

@inproceedings{BT2015,
  author    = {Stefan Borgwardt and Veronika Thost},
  title     = {Temporal Query Answering in {DL-Lite} with Negation},
  editor    = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
  booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
  series    = {EasyChair Proceedings in Computing},
  volume    = {36},
  publisher = {EasyChair},
  year      = {2015},
  pages     = {51-65}
}

@inproceedings{BP2015,
  author    = {Stefan Borgwardt and Rafael Pe{\~{n}}aloza},
  title     = {Reasoning in Expressive Description Logics under Infinitely
               Valued G{\"{o}}del Semantics},
  editor    = {Carsten Lutz and Silvio Ranise},
  booktitle = {Proceedings of the 10th International Symposium on Frontiers of
               Combining Systems (FroCoS'15)},
  series    = {Lecture Notes in Artificial Intelligence},
  publisher = {Springer},
  year      = {2015},
  pages     = {49{\textendash}65}
}

@inproceedings{BT2015,
  author    = {Stefan Borgwardt and Veronika Thost},
  title     = {Temporal Query Answering in the Description Logic {EL} (extended
               abstract)},
  booktitle = {Proceedings of the 28th International Workshop on Description
               Logics (DL 2015)},
  volume    = {1350},
  publisher = {CEUR},
  year      = {2015},
  pages     = {83--87}
}

@inproceedings{BCP2015,
  author    = {Stefan Borgwardt and Marco Cerami and Rafael Pe{\~{n}}aloza},
  title     = {The Complexity of Subsumption in Fuzzy {EL}},
  editor    = {Qiang Yang and Michael Wooldridge},
  booktitle = {Proceedings of the 24th International Joint Conference on
               Artificial Intelligence (IJCAI'15)},
  publisher = {AAAI Press},
  year      = {2015},
  pages     = {2812{\textendash}2818}
}

@inproceedings{BT2015,
  author    = {Stefan Borgwardt and Veronika Thost},
  title     = {Temporal Query Answering in the Description Logic {EL}},
  editor    = {Qiang Yang and Michael Wooldridge},
  booktitle = {Proceedings of the 24th International Joint Conference on
               Artificial Intelligence (IJCAI'15)},
  publisher = {AAAI Press},
  year      = {2015},
  pages     = {2819{\textendash}2825}
}

@inproceedings{CP2015,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Rafael Pe{\~{n}}aloza},
  title     = {Dynamic Bayesian Ontology Languages},
  booktitle = {Fifth International Workshop on Statistical Relational {AI}},
  volume    = {abs/1506.08030},
  publisher = {CoRR},
  year      = {2015}
}

@inproceedings{CP2015,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Rafael Pe{\~{n}}aloza},
  title     = {Probabilistic Query Answering in the Bayesian Description Logic
               {BEL}},
  editor    = {Christoph Beierle and Alex  Dekhtyar},
  booktitle = {Proceedings of 9th International Conference on Scalable
               Uncertainty Management (SUM 2015)},
  series    = {LNAI},
  volume    = {9310},
  publisher = {Springer},
  year      = {2015},
  pages     = {1-15}
}

@inproceedings{CP2015,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Rafael Pe{\~{n}}aloza},
  title     = {Dynamic Bayesian Description Logics},
  editor    = {Diego Calvanese and Boris Konev},
  booktitle = {Proceedings of the 28th International Workshop on Description
               Logics (DL 2015)},
  volume    = {1350},
  publisher = {CEUR Workshop Proceedings},
  year      = {2015}
}

@inproceedings{CJ2015,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Julian Mendez, Rafael
               Pe{\~{n}}aloza},
  title     = {The Bayesian Ontology reasoner is {BORN!}},
  editor    = {Michel Dumontier and Birte Glimm and Rafael Gon{\c{c}}alves and
               Matthew Horridge and Ernesto Jim{\'{e}}nez-Ruiz and Nicolas
               Matentzoglu and Bijan Parsia and Giorgos Stamou and Giorgos
               Stoilos},
  booktitle = {Proceedings of the 4th International Workshop on {OWL} Reasoner
               Evaluation (ORE 2015)},
  volume    = {1387},
  publisher = {CEUR Workshop Proceedings},
  year      = {2015},
  pages     = {8-14}
}

@inproceedings{CLP2015,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Thomas Lukasiewicz and Rafael
               Pe{\~{n}}aloza},
  title     = {Answering {EL} Queries in the Presence of Preferences},
  editor    = {Diego Calvanese and Boris Konev},
  booktitle = {Proceedings of the 28th International Workshop on Description
               Logics (DL 2015)},
  volume    = {1350},
  publisher = {CEUR Workshop Proceedings},
  year      = {2015}
}

@inproceedings{C2015,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan},
  title     = {Query Answering in Bayesian Description Logics},
  editor    = {Diego Calvanese and Boris Konev},
  booktitle = {Proceedings of the 28th International Workshop on Description
               Logics (DL 2015)},
  volume    = {1350},
  publisher = {CEUR Workshop Proceedings},
  year      = {2015}
}

@inproceedings{ZC2015,
  author    = {Benjamin Zarrie{\ss} and Jens Cla{\ss}en},
  title     = {Verification of Knowledge-Based Programs over Description Logic
               Actions},
  editor    = {Qiang Yang and Michael Wooldridge},
  booktitle = {Proceedings of the 24th International Joint Conference on
               Artificial Intelligence (IJCAI'15)},
  publisher = {AAAI Press},
  year      = {2015},
  pages     = {3278-3284}
}

@inproceedings{THO2015,
  author    = {Veronika Thost and Jan Holste and {\"{O}}zg{\"{u}}r {\"{O}}z{\c{c}}ep},
  title     = {On Implementing Temporal Query Answering in {DL-Lite} (extended abstract)},
  booktitle = {Proceedings of the 28th International Workshop on Description Logics (DL 2015)},
  publisher = {CEUR},
  year      = {2015}
}

@inproceedings{TZ2015,
  author    = {Veronika Thost and Erik Zenker},
  title     = {Temporal Query Answering in a Fuzzy World},
  editor    = {Agata Filipowska and Ruben Verborgh and Axel Polleres},
  booktitle = {Posters\&Demos@SEMANTiCS 2015 and {DSci15} Workshop},
  series    = {CEUR Workshop Proceedings},
  volume    = {1481},
  publisher = {CEUR-WS.org},
  year      = {2015},
  month     = {September},
  pages     = {84-87}
}

4 Publikationen (noch nicht erschienen)

@article{ EcPeTu-JAL15,
  author = {Andreas {Ecke} and Rafael {Pe\~naloza} and Anni-Yasmin {Turhan}},
  doi = {http://dx.doi.org/10.1016/j.jal.2015.01.002},
  journal = {Journal of Applied Logic},
  note = {In press.},
  title = {Similarity-based Relaxed Instance Queries},
  year = {2015},
}

@inproceedings{ BoLi-DL15,
  address = {Athens, Greece},
  author = {Stephan {B{\"o}hme} and Marcel {Lippmann}},
  booktitle = {Proceedings of the 28th International Workshop on Description Logics ({DL-2015})},
  note = {To appear.},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  title = {Decidable Contextualized DLs with Rigid Roles},
  year = {2015},
}

@inproceedings{ BoLi-FroCoS15,
  address = {Wroclaw, Poland},
  author = {Stephan B{\"o}hme and Marcel Lippmann},
  booktitle = {Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15)},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {9322},
  editor = {Carsten {Lutz} and Silvio {Ranise}},
  pages = {17-32},
  title = {Decidable Description Logics of Context with Rigid Roles},
  year = {2015},
}

@inproceedings{ FeLuWa-IWOST-15,
  author = {Shasha {Feng} and Michel {Ludwig} and Dirk {Walther}},
  booktitle = {Proceedings of the 1st International Workshop on Semantic Technologies (IWOST)},
  note = {To appear},
  series = {CEUR workshop proceedings},
  title = {The Logical Difference for EL: from Terminologies towards TBoxes},
  year = {2015},
}

8 Technische Berichte

@techreport{BBL2015,
  author      = {Franz Baader and Stefan Borgwardt and Marcel Lippmann},
  title       = {Temporal Conjunctive Queries in Expressive {DLs} with
                 Non-simple Roles},
  institution = {Chair for Automata Theory, Technische Universit{\"{a}}t Dresden},
  year        = {2015}
}

@techreport{ BaBM-LTCS-15-03,
  address = {Dresden, Germany},
  author = {Franz {Baader} and Stefan {Borgwardt} and Barbara {Morawska}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {15-03},
  title = {Dismatching and Local Disunification in {$\mathcal{EL}$}},
  type = {LTCS-Report},
  year = {2015},
}

@techreport{BT2015,
  author      = {Stefan Borgwardt and Veronika Thost},
  title       = {Temporal Query Answering in {EL}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer
                 Science, Technische Universit{\"{a}}t Dresden},
  year        = {2015}
}

@techreport{BCP2015,
  author      = {Stefan Borgwardt and Marco Cerami and Rafael Pe{\~{n}}aloza},
  title       = {Subsumption in Finitely Valued Fuzzy {EL}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer
                 Science, Technische Universit{\"{a}}t Dresden},
  year        = {2015}
}

@techreport{BT2015,
  author      = {Stefan Borgwardt and Veronika Thost},
  title       = {LTL over {EL} Axioms},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer 
                 Science, Technische Universit{\"{a}}t Dresden},
  year        = {2015}
}

@techreport{ BoTh-LTCS-15-16,
  author = {Stefan Borgwardt and Veronika Thost},
  title = {Temporal Query Answering in {{\textit{DL-Lite}}} with Negation},
  institution = {Chair for Automata Theory, Technische Universit{\"a}t
  Dresden},
  address = {Germany},
  year = 2015,
  type = {LTCS-Report},
  number = {15-16},
}

@techreport{ BoLi-LTCS-15-04,
  author = {Stephan {B{\"o}hme} and Marcel {Lippmann}},
  institution = {Chair of Automata Theory, TU Dresden},
  note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},
  number = {15-04},
  title = {Description Logics of Context with Rigid Roles Revisited},
  type = {LTCS-Report},
  year = {2015},
}

@techreport{MP2015,
  author      = {Norbert Manthey and Rafael Pe{\~{n}}aloza},
  title       = {Exploiting {SAT} Technology for Axiom Pinpointing},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer
                 Science, Technische Universit{\"{a}}t Dresden},
  year        = {2015}
}

2014

51 Publikationen

@article{ BaLi-JAL14,
  author = {Franz {Baader} and Marcel {Lippmann}},
  doi = {http://dx.doi.org/10.1016/j.jal.2014.09.001},
  journal = {Journal of Applied Logic},
  number = {4},
  pages = {584--613},
  title = {Runtime Verification Using the Temporal Description Logic $\mathcal{ALC}$-LTL Revisited},
  volume = {12},
  year = {2014},
}

@article{ BoPW-ICFCA14,
  author = {Daniel {Borchmann} and Rafael {Pe{\~n}aloza} and Wenqian {Wang}},
  journal = {Studia Universitatis Babe{\c{s}}-Bolyai Informatica},
  month = {June},
  note = {Suplemental proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA'14)},
  pages = {10--27},
  title = {Classifying Software Bug Reports Using Methods from Formal Concept Analysis},
  volume = {59},
  year = {2014},
}

@article{ BoPe-IJAR14,
  author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
  doi = {http://dx.doi.org/10.1016/j.ijar.2013.07.006},
  journal = {International Journal of Approximate Reasoning},
  number = {9},
  pages = {1917--1938},
  title = {Consistency Reasoning in Lattice-Based Fuzzy Description Logics},
  volume = {55},
  year = {2014},
}

@article{ EcPeTu-IJAR-14,
  author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
  doi = {http://dx.doi.org/10.1016/j.ijar.2014.03.001},
  journal = {International Journal of Approximate Reasoning},
  number = {9},
  pages = {1939--1970},
  publisher = {Elsevier},
  title = {Completion-based Generalization Inferences for the Description Logic $\mathcal{ELOR}$ with Subjective Probabilities},
  volume = {55},
  year = {2014},
}

@article{ LePe-TCS14,
  author = {Karsten {Lehmann} and Rafael {Pe{\~n}aloza}},
  doi = {http://dx.doi.org/10.1016/j.tcs.2014.02.036},
  journal = {Theoretical Computer Science},
  month = {May},
  pages = {53--68},
  publisher = {Elsevier},
  title = {The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees},
  volume = {534},
  year = {2014},
}

@inproceedings{ PeTh-OWLED14,
  author = {Rafael {Pe{\~n}aloza} and Aparna Saisree {Thuluva}},
  booktitle = {Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014)},
  editor = {C. Maria {Keet} and Valentina {Tamma}},
  series = {CEUR Workshop Proceedings},
  title = {COBRA, a Demo},
  volume = {1265},
  year = {2014},
}

@inproceedings{ Ba-KR-2014,
  address = {Vienna, Austria},
  author = {Franz {Baader}},
  booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)},
  editor = {Chitta {Baral} and Giuseppe {De Giacomo} and Thomas {Eiter}},
  note = {Invited contribution.},
  pages = {678--681},
  publisher = {AAAI Press},
  title = {Ontology-Based Monitoring of Dynamic Systems},
  year = {2014},
}

@inproceedings{ BaMo-DL14,
  address = {Vienna, Austria},
  author = {Franz {Baader} and Barbara {Morawska}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {33--44},
  series = {CEUR Workshop Proceedings},
  title = {Matching with respect to general concept inclusions in the Description Logic $\mathcal{EL}$},
  volume = {1193},
  year = {2014},
}

@inproceedings{ BaMo-UNIF14,
  address = {Vienna, Austria},
  author = {Franz {Baader} and Barbara {Morawska}},
  booktitle = {Proceedings of the 28th International Workshop on Unification ({UNIF'14})},
  editor = {Temur {Kutsia} and Christophe {Ringeissen}},
  pages = {22--26},
  series = {RISC-Linz Report Series No. 14-06},
  title = {Matching with respect to general concept inclusions in the Description Logic $\mathcal{EL}$},
  year = {2014},
}

@inproceedings{ BaMo-KI2014,
  author = {Franz {Baader} and Barbara {Morawska}},
  booktitle = {Proceedings of the 37th German Conference on Artificial Intelligence (KI'14)},
  editor = {Carsten {Lutz} and Michael {Thielscher}},
  pages = {135--146},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Matching with respect to general concept inclusions in the Description Logic $\mathcal{EL}$},
  volume = {8736},
  year = {2014},
}

@inproceedings{ AsBoSbWa-FCA4AI-14,
  author = {Josefine {Asmus} and Daniel {Borchmann} and Ivo F. {Sbalzarini} and Dirk {Walther}},
  booktitle = {Proceedings of the 3rd International Workshop on "What can FCA do for Artificial Intelligence?" ({FCA4AI'14})},
  editor = {Sergei O. {Kuznetsov} and Amedeo {Napoli} and Sebastian {Rudolph}},
  pages = {35--42},
  series = {CEUR Workshop Proceedings},
  title = {Towards an FCA-based Recommender System for Black-Box Optimization},
  volume = {1257},
  year = {2014},
}

@inproceedings{WKB2014,
  author    = {Johannes Wollbold and R{\"{u}}diger K{\"{o}}hling and Daniel
               Borchmann},
  title     = {Attribute Exploration with Proper Premises and Incomplete
               Knowledge Applied to the Free Radical Theory of Ageing},
  editor    = {Cynthia Vera Glodeanu and Mehdi Kaytoue and Christian Sacarea},
  booktitle = {Proceedings of the 12th International Conference on Formal
               Concept Analysis  (ICFCA 2014)},
  series    = {Lecture Notes in Computer Science},
  volume    = {8478},
  publisher = {Springer},
  year      = {2014},
  pages     = {268-283}
}

@inproceedings{ BoDP-KR14,
  author = {Stefan {Borgwardt} and Felix {Distel} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)},
  editor = {Chitta {Baral} and Giuseppe {De Giacomo} and Thomas {Eiter}},
  pages = {228--237},
  publisher = {AAAI Press},
  title = {Decidable {G}{\"o}del description logics without the finitely-valued model property},
  year = {2014},
}

@inproceedings{ Borg-DL14,
  author = {Stefan {Borgwardt}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {58--70},
  series = {CEUR Workshop Proceedings},
  title = {Fuzzy DLs over Finite Lattices with Nominals},
  volume = {1193},
  year = {2014},
}

@inproceedings{ BoCP-PRUV14,
  address = {Vienna, Austria},
  author = {Stefan {Borgwardt} and Marco {Cerami} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness ({PRUV'14})},
  editor = {Thomas {Lukasiewicz} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
  pages = {52--58},
  series = {CEUR Workshop Proceedings},
  title = {Many-Valued Horn Logic is Hard},
  volume = {1205},
  year = {2014},
}

@inproceedings{ BoLP-DL14,
  address = {Vienna, Austria},
  author = {Stefan {Borgwardt} and Jos{\'e} A. {Leyva Galano} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {71--82},
  series = {CEUR Workshop Proceedings},
  title = {G{\"o}del {$\mathcal{FL}_0$} with Greatest Fixed-Point Semantics},
  volume = {1193},
  year = {2014},
}

@inproceedings{ BoPe-URSW3,
  author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
  booktitle = {Uncertainty Reasoning for the Semantic Web III},
  editor = {F. {Bobillo} and R.N. {Carvalho} and P.C.G. {da Costa} and C. {d'Amato} and N. {Fanizzi} and K.B. {Laskey} and K.J. {Laskey} and Th. {Lukasiewicz} and M. {Nickles} and M. {Pool}},
  note = {Revised Selected Papers from the ISWC International Workshops URSW 2011 - 2013},
  pages = {122--141},
  publisher = {Springer-Verlag},
  series = {LNCS},
  title = {Finite Lattices Do Not Make Reasoning in ALCOI Harder},
  volume = {8816},
  year = {2014},
}

@inproceedings{ BoDP-DL14,
  address = {Vienna, Austria},
  author = {Stefan {Borgwardt} and Felix {Distel} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {391--403},
  series = {CEUR Workshop Proceedings},
  title = {G\"odel Description Logics with General Models},
  volume = {1193},
  year = {2014},
}

@inproceedings{ BoLP-JELIA14,
  address = {Funchal, Portugal},
  author = {Stefan {Borgwardt} and Jos{\'e} A. {Leyva Galano} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14)},
  editor = {Eduardo {Ferm{\'e}} and Jo{\~a}o {Leite}},
  pages = {62--76},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {The Fuzzy Description Logic {\textsf{G}-$\mathcal{FL}_0$} with Greatest Fixed-Point Semantics},
  volume = {8761},
  year = {2014},
}

@inproceedings{ LuKo-KR-2014,
  author = {Michel {Ludwig} and Boris {Konev}},
  booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)},
  editor = {Chitta {Baral} and Giuseppe De {Giacomo} and Thomas {Eiter}},
  publisher = {AAAI Press},
  title = {Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference},
  year = {2014},
}

@Inproceedings{EPTCS151.12,
  author    = "Carapelle, Claudia and Feng, Shiguang and Fern\'andez Gil, Oliver and Quaas, Karin",
  year      = "2014",
  title     = "On the Expressiveness of TPTL and MTL over $\omega$-Data Words",
  editor    = "\'Esik, Zolt\'an and F\"ul\"op, Zolt\'an",
  booktitle = "{\rm Proceedings 14th International Conference on}
               Automata and Formal Languages,
               {\rm Szeged, Hungary, May 27-29, 2014}",
  series    = "Electronic Proceedings in Theoretical Computer Science",
  volume    = "151",
  publisher = "Open Publishing Association",
  pages     = "174-187",
  doi       = "10.4204/EPTCS.151.12",
}

@Inbook{Carapelle2014,
author="Carapelle, Claudia
and Feng, Shiguang
and Fern{\'a}ndez Gil, Oliver
and Quaas, Karin",
editor="Dediu, Adrian-Horia
and Mart{\'i}n-Vide, Carlos
and Sierra-Rodr{\'i}guez, Jos{\'e}-Luis
and Truthe, Bianca",
chapter="Satisfiability for MTL and TPTL over Non-monotonic Data Words",
title="Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings",
year="2014",
publisher="Springer International Publishing",
address="Cham",
pages="248--259",
isbn="978-3-319-04921-2",
doi="10.1007/978-3-319-04921-2_20",
url="http://dx.doi.org/10.1007/978-3-319-04921-2_20"
}

@inproceedings{CP2014,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Rafael Pe{\~{n}}aloza},
  title     = {Reasoning in the Description Logic {BEL} using Bayesian Networks},
  editor    = {Guy Van den Broeck and Kristian Kersting and Sriraam Natarajan
               and David Poole},
  booktitle = {Proceedings of the 4th International Workshop on Statistical
               Relational {AI} (starAI 2014)},
  series    = {AAAI Workshops},
  volume    = {WS-14-13},
  publisher = {AAAI Press},
  year      = {2014}
}

@inproceedings{CP2014,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Rafael Pe{\~{n}}aloza},
  title     = {Bayesian Description Logics},
  editor    = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and
               Mantas Simkus},
  booktitle = {Proceedings of the 27th International Workshop on Description
               Logics (DL 2014)},
  series    = {CEUR Workshop Proceedings},
  volume    = {1193},
  publisher = {CEUR-WS},
  year      = {2014},
  pages     = {447-458}
}

@inproceedings{CCMS2014,
  author    = {Diego Calvanese and {\.{I}}smail {\.{I}}lkan Ceylan and Marco
               Montali and Ario Santoso},
  title     = {Verification of Context-Sensitive Knowledge and Action Bases},
  editor    = {Eduardo Ferm{\'{e}} and Jo{\~{a}}o Leite},
  booktitle = {Proceedings of the 14th European Conference on Logics in
               Artificial Intelligence (JELIA 2014)},
  series    = {Lecture Notes in Computer Science},
  volume    = {8761},
  publisher = {Springer},
  year      = {2014},
  pages     = {514--528}
}

@inproceedings{CP2014,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Rafael Pe{\~{n}}aloza},
  title     = {Tight Complexity Bounds for Reasoning in the Description Logic
               {BEL}},
  editor    = {Eduardo Ferm{\'{e}} and Jo{\~{a}}o Leite},
  booktitle = {Proceedings of the 14th European Conference on Logics in
               Artificial Intelligence (JELIA 2014)},
  series    = {Lecture Notes in Computer Science},
  volume    = {8761},
  publisher = {Springer},
  year      = {2014},
  pages     = {77-91}
}

@inproceedings{CP2014,
  author    = {{\.{I}}smail {\.{I}}lkan Ceylan and Rafael Pe{\~{n}}aloza},
  title     = {The Bayesian Description Logic {BEL}},
  editor    = {Stephane Demri and Deepak Kapur and Christoph Weidenbach},
  booktitle = {Proceedings of the 7th International Joint Conference on
               Automated Reasoning (IJCAR 2014)},
  series    = {Lecture Notes in Computer Science},
  volume    = {8562},
  publisher = {Springer},
  year      = {2014},
  pages     = {480-494}
}

@inproceedings{CM2014,
  author    = {Long Cheng and Yue Ma},
  title     = {Investigating Distributed Approaches to Efficiently Extract
               Textual Evidences for Biomedical Ontologies},
  booktitle = {Proc. 14th {IEEE} International Conference on {BioInformatics}
               and {BioEngineering} (BIBE'14)},
  publisher = {IEEE},
  year      = {2014},
  month     = {November},
  pages     = {220-225}
}

@inproceedings{ DVPe-DL14,
  address = {Vienna, Austria},
  author = {Chiara {Del Vescovo} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {157--168},
  series = {CEUR Workshop Proceedings},
  title = {DeaLing with Ontologies using CODs},
  volume = {1193},
  year = {2014},
}

@inproceedings{CLLZ2014,
  author    = {Jens Cla{\ss}en and Martin Liebenberg and Gerhard Lakemeyer and
               Benjamin Zarrie{\ss}},
  title     = {Exploring the Boundaries of Decidable Verification of
               Non-Terminating Golog Programs},
  editor    = {Carla E. Brodley; Peter Stone},
  booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial
               Intelligence (AAAI'14)},
  publisher = {AAAI Press},
  year      = {2014},
  month     = {July},
  pages     = {1012--1019}
}

@inproceedings{EGKMV2014,
  author    = {Fredo Erxleben and Michael G{\"{u}}nther and Markus
               Kr{\"{o}}tzsch and Julian Mendez and Denny Vrande{\v{c}}i{\'{c}}},
  title     = {Introducing Wikidata to the Linked Data Web},
  editor    = {Peter Mika and Tania Tudorache and Abraham Bernstein and Chris
               Welty and Craig A. Knoblock and Denny Vrande{\v{c}}i{\'{c}} and
               Paul T. Groth and Natasha F. Noy and Krzysztof Janowicz and
               Carole A. Goble},
  booktitle = {Proceedings of the 13th International Semantic Web Conference
               (ISWC 2014)},
  series    = {LNCS},
  volume    = {8796},
  publisher = {Springer},
  year      = {2014},
  month     = {October},
  pages     = {50-65},
  doi       = {10.1007/978-3-319-11964-9_4}
}

@inproceedings{ DiAtBl-ECAI14,
  address = {Prague, Czech Republic},
  author = {Felix {Distel} and Jamal, {Atif} and Isabelle {Bloch}},
  booktitle = {Proceedings of the 21st International Conference on Artificial Intelligence (ECAI'14)},
  editor = {Torsten {Schaub}},
  title = {Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations},
  year = {2014},
}

@inproceedings{ MePeTu-KI-14,
  author = {Dorian {Merz} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
  booktitle = {Proceedings of 37th edition of the German Conference on Artificial Intelligence (KI'14)},
  editor = {Carsten {Lutz} and Michael {Thielscher}},
  pages = {171--182},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Reasoning in {$\mathcal{ALC}$} with Fuzzy Concrete Domains},
  volume = {8736},
  year = {2014},
}

@inproceedings{ EcPeTu-KR14,
  address = {Vienna, Austria},
  author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
  booktitle = {Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR'14})},
  editor = {Chitta {Baral} and Giuseppe {De Giacomo} and Thomas {Eiter}},
  pages = {248--257},
  publisher = {AAAI Press},
  title = {Answering Instance Queries Relaxed by Concept Similarity},
  year = {2014},
}

@inproceedings{ EcPT-DL14,
  address = {Vienna, Austria},
  author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {526--529},
  series = {CEUR Workshop Proceedings},
  title = {Mary, What's Like All Cats?},
  volume = {1193},
  year = {2014},
}

@inproceedings{ MaWa-DL14,
  author = {Francisco {Martin-Recuerda} and Dirk {Walther}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {299--310},
  series = {CEUR Workshop Proceedings},
  title = {Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition},
  volume = {1193},
  year = {2014},
}

@inproceedings{ MaWa-ISWC14,
  author = {Francisco {Martin-Recuerda} and Dirk {Walther}},
  booktitle = {Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Part II},
  editor = {Peter {Mika} and Tania {Tudorache} and Abraham {Bernstein} and Chris {Welty} and Craig {Knoblock} and Denny {Vrandecic} and Paul {Groth} and Natasha {Noy} and Krzysztof {Janowicz} and Carole {Goble}},
  pages = {49--64},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs},
  volume = {8797},
  year = {2014},
}

@inproceedings{ DeHaPeWa-ACRI14,
  author = {Stathis {Delivorias} and Haralampos {Hatzikirou} and Rafael {Penaloza} and Dirk {Walther}},
  booktitle = {Proceedings of the 11th edition of Cellular Automata for Research and Industry (ACRI 2014)},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics},
  year = {2014},
}

@inproceedings{ ChLuMaWa-DL14,
  author = {Jieying {Chen} and Michel {Ludwig} and Yue {Ma} and Dirk {Walther}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {471--482},
  series = {CEUR Workshop Proceedings},
  title = {Evaluation of Extraction Techniques for Ontology Excerpts},
  volume = {1193},
  year = {2014},
}

@inproceedings{ LuPe-DL14,
  address = {Vienna, Austria},
  author = {Michel {Ludwig} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {274--286},
  series = {CEUR Workshop Proceedings},
  title = {Brave and Cautious Reasoning in EL},
  volume = {1193},
  year = {2014},
}

@inproceedings{ LuWa-DL14,
  author = {Michel {Ludwig} and Dirk {Walther}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {287--298},
  series = {CEUR Workshop Proceedings},
  title = {Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs},
  volume = {1193},
  year = {2014},
}

@inproceedings{ Lu-ORE-2014,
  author = {Michel {Ludwig}},
  booktitle = {Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014)},
  editor = {Samantha {Bail} and Birte {Glimm} and Ernesto {Jim\'{e}nez-Ruiz} and Nicolas {Matentzoglu} and Bijan {Parsia} and Andreas {Steigmiller}},
  pages = {1--7},
  publisher = {CEUR Workshop Proceedings},
  title = {Just: a Tool for Computing Justifications w.r.t.\ EL Ontologies},
  volume = {1207},
  year = {2014},
}

@inproceedings{ LuPe-JELIA14,
  address = {Madeira, Portugal},
  author = {Michel {Ludwig} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 14th European Conference on Logics in Artificial Intelligence {(JELIA'14)}},
  editor = {Eduardo {Ferm{\'e}} and Jo{\~a}o {Leite}},
  pages = {107--121},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Error-Tolerant Reasoning in the Description Logic EL},
  volume = {8761},
  year = {2014},
}

@inproceedings{ LuWa-ECAI-2014,
  author = {Michel {Ludwig} and Dirk {Walther}},
  booktitle = {Proceedings of the 21st European Conference on Artifical Intelligence (ECAI 2014)},
  doi = {http://dx.doi.org/10.3233/978-1-61499-419-0-555},
  editor = {Torsten {Schaub} and Gerhard {Friedrich} and Barry {O'Sullivan}},
  pages = {555--560},
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  title = {The Logical Difference for ELHr-Terminologies using Hypergraphs},
  volume = {263},
  year = {2014},
}

@inproceedings{ MaPe-DL14,
  address = {Vienna, Austria},
  author = {Yue {Ma} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {633--645},
  series = {CEUR Workshop Proceedings},
  title = {Towards Parallel Repair: An Ontology Decomposition-based Approach},
  volume = {1193},
  year = {2014},
}

@inproceedings{ MaPe-RR-14,
  author = {Theofilos {Mailis} and Rafael {Pe\~naloza} and Anni-Yasmin {Turhan}},
  booktitle = {Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR 2014)},
  editor = {Roman {Kontchakov} and Marie-Laure {Mugnier}},
  pages = {124--139},
  publisher = {Springer},
  title = {Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics},
  volume = {8741},
  year = {2014},
}

@inproceedings{ MaTu-JIST-14,
  author = {Theofilos {Mailis} and Anni-Yasmin {Turhan}},
  booktitle = {Proceedings of the 4th Joint International Semantic Technology Conference (JIST2014)},
  editor = {Thepchai {Supnithi} and Takahira {Yamaguchi}},
  publisher = {Lecture Notes in Computer Science},
  title = {Employing DL-LiteR-Reasoners for Fuzzy Query Answering},
  year = {2014},
}

@inproceedings{ HaMeTT-ARM-14,
  address = {Bordeaux, France},
  author = {Marcus {H\"ahnel} and Julian {Mendez} and Veronika {Thost} and Anni-Yasmin {Turhan}},
  booktitle = {Workshop on Adaptive and Reflective Middleware'14},
  month = {December},
  title = {Bridging the Application Knowledge Gap},
  year = {2014},
}

@inproceedings{ Pena-LINZ14,
  address = {Linz, Austria},
  author = {Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 35th Linz Seminar on Fuzzy Set Theory},
  editor = {Tommaso {Flaminio} and Lluis {Godo} and Siegfried {Gottlob} and Erich Peter {Klement}},
  pages = {106--106},
  title = {Automata-based Reasoning in Fuzzy Description Logics},
  year = {2014},
}

@inproceedings{ PeTT-DL14,
  address = {Vienna, Austria},
  author = {Rafael {Pe{\~n}aloza} and Veronika {Thost} and Anni-Yasmin {Turhan}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {709--712},
  series = {CEUR Workshop Proceedings},
  title = {Certain Answers in a Rough World},
  volume = {1193},
  year = {2014},
}

@proceedings{LNT2014,
  author    = {Thomas Lukasiewicz and Rafael Pe{\~{n}}aloza Nyssen and
               Anni-Yasmin Turhan},
  title     = {Logics for Reasoning about Preferences, Uncertainty, and
               Vagueness},
  series    = {CEUR Workshop Proceedings},
  volume    = {1205},
  publisher = {CEUR},
  year      = {2014}
}

3 Publikationen (noch nicht erschienen)

@inproceedings{ ZaCla-KRR14,
  address = {Palo Alto, California, USA},
  author = {Benjamin {Zarrie{\ss}} and Jens {Cla{\ss}en}},
  booktitle = {Proceedings of the AAAI 2014 Spring Symposium: Knowledge Representation and Reasoning in Robotics (KRR'14)},
  note = {To appear.},
  publisher = {AAAI Press},
  title = {On the Decidability of Verifying LTL Properties of Golog Programs},
  year = {2014},
}

@inproceedings{ DiAtBl-KR14,
  address = {Vienna, Austria},
  author = {Felix {Distel} and Jamal {Atif} and Isabelle {Bloch}},
  booktitle = {Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR'14})},
  note = {Short Paper. To appear.},
  publisher = {AAAI Press},
  title = {Concept Dissimilarity with Triangle Inequality},
  year = {2014},
}

@inproceedings{ Ecke-PRUV-14,
  author = {Andreas {Ecke}},
  booktitle = {Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness},
  editor = {Thomas {Lukasiewicz} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
  note = {To appear.},
  publisher = {CEUR},
  series = {CEUR-WS},
  title = {Similarity-based Relaxed Instance Queries in $\mathcal{EL}^{++}$},
  year = {2014},
}

7 Technische Berichte

@techreport{ BaLi-LTCS-14-01,
  address = {Dresden, Germany},
  author = {Franz {Baader} and Marcel {Lippmann}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},
  number = {14-01},
  title = {Runtime Verification Using a Temporal Description Logic Revisited},
  type = {LTCS-Report},
  year = {2014},
}

@techreport{ BaMo-LTCS-14-3,
  address = {Dresden, Germany},
  author = {Franz {Baader} and Barbara {Morawska}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {14-03},
  title = {Matching with respect to general concept inclusions in the Description Logic $\mathcal{EL}$},
  type = {LTCS-Report},
  year = {2014},
}

@techreport{ Borg-LTCS-14-02,
  address = {Dresden, Germany},
  author = {Stefan {Borgwardt}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},
  number = {14-02},
  title = {The Complexity of Fuzzy Description Logics over Finite Lattices with Nominals},
  type = {LTCS-Report},
  year = {2014},
}

@techreport{ BoLT-LTCS-13-05,
  address = {Dresden, Germany},
  author = {Stefan {Borgwardt} and Marcel {Lippmann} and Veronika {Thost}},
  institution = {Chair of Automata Theory, TU Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {14-06},
  title = {Reasoning with Temporal Properties over Axioms of \textit{DL-Lite}},
  type = {LTCS-Report},
  year = {2014},
}

@techreport{ LuPe-LTCS-14-11,
  address = {Dresden, Germany},
  author = {Michel {Ludwig} and Rafael {Pe{\~n}aloza}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},
  number = {14-11},
  title = {Error-Tolerant Reasoning in the Description Logic EL},
  type = {LTCS-Report},
  year = {2014},
}

@techreport{ MaPe-LTCS-14-05,
  address = {Dresden, Germany},
  author = {Yue {Ma} and Rafael {Pe{\~n}aloza}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},
  number = {14-05},
  title = {Towards Parallel Repair Using Decompositions},
  type = {LTCS-Report},
  year = {2014},
}

@techreport{ PeTT-LTCS-14-04,
  address = {Dresden, Germany},
  author = {Rafael {Pe{\~n}aloza} and Veronika {Thost} and Anni-Yasmin {Turhan}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},
  number = {14-04},
  title = {Conjunctive Query Answering in Rough EL},
  type = {LTCS-Report},
  year = {2014},
}

2013

41 Publikationen

@article{ BaOk-FI13,
  author = {Franz {Baader} and Alexander {Okhotin}},
  journal = {Fundamenta Informaticae},
  number = {1},
  pages = {1--35},
  title = {On Language Equations with One-sided Concatenation},
  volume = {126},
  year = {2013},
}

@article{ RyDiBo-AMAI13,
  author = {Uwe {Ryssel} and Felix {Distel} and Daniel {Borchmann}},
  journal = {Annals of Mathematics and Artificial Intelligence},
  pages = {1--29},
  publisher = {Springer Netherlands},
  title = {Fast algorithms for implication bases and attribute exploration using proper premises},
  volume = {Special Issue 65},
  year = {2013},
}

@article{ BoPe-JoDS12,
  author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
  journal = {Journal on Data Semantics},
  number = {1},
  pages = {1--19},
  title = {The Complexity of Lattice-Based Fuzzy Description Logics},
  volume = {2},
  year = {2013},
}

@article{ GoScWiMeAs13,
  author = {Sebastian {G{\"o}tz} and Ren{\'e} {Sch{\"o}ne} and Claas {Wilke} and Julian {Mendez} and Uwe {A{\ss}mann}},
  journal = {2nd Workshop EASED@ BUIS 2013},
  pages = {11},
  title = {Towards Predictive Self-optimization by Situation Recognition},
  year = {2013},
}

@article{ AlPe-TPLP13,
  author = {Mario {Alviano} and Rafael {Pe{\~n}aloza}},
  doi = {http://dx.doi.org/10.1017/S1471068413000471},
  journal = {Theory and Practice of Logic Programming},
  number = {4--5},
  pages = {753--767},
  publisher = {Cambridge University Press},
  title = {Fuzzy Answer Sets Approximations},
  volume = {13},
  year = {2013},
}

@article{ ZeSt-JLC-13,
  author = {Thomas {Zerjatke} and Monika {Sturm}},
  doi = {\url{http://dx.doi.org/10.1093/logcom/exr052}},
  journal = {Journal of Logic and Computation},
  number = {4},
  pages = {897--908},
  publisher = {Oxford University Press},
  title = {Solving a {PSPACE}-complete problem by gene assembly},
  volume = {23},
  year = {2013},
}

@inproceedings{ parametricCardinalityConstraint,
  author = {Ignasi {Ab{\'\i}o} and Robert {Nieuwenhuis} and Albert {Oliveras} and Enric {Rodr\'{\i}guez-Carbonell}},
  booktitle = {19th International Conference on Principles and Practice of Constraint Programming},
  series = {CP'13},
  title = {{A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints}},
  year = {2013},
}

@inproceedings{ encodeOrPropagate,
  author = {Ignasi {Ab{\'\i}o} and Robert {Nieuwenhuis} and Albert {Oliveras} and Enric {Rodr\'{\i}guez-Carbonell} and Peter J. {Stuckey}},
  booktitle = {19th International Conference on Principles and Practice of Constraint Programming},
  series = {CP'13},
  title = {{To Encode or to Propagate? The Best Choice for Each Constraint in SAT}},
  year = {2013},
}

@inproceedings{CKL2013,
  author    = {Claudia Carapelle and Alexander Kartzow and Markus Lohrey},
  title     = {Satisfiability of {CTL*} with Constraints},
  booktitle = {Proc. of the 24th Int. Conf. on Concurrency Theory (CONCUR 2013)},
  year      = {2013}
}

@inproceedings{ TsaEtAl-OWLED13,
  address = {Montpellier, France},
  author = {George {Tsatsaronis} and Alina {Petrova} and Maria {Kissa} and Yue {Ma} and Felix {Distel} and Franz {Baader} and Michael {Schroeder}},
  booktitle = {Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013)},
  editor = {Kavitha {Srinivas} and Simon {Jupp}},
  month = {May},
  title = {Learning Formal Definitions for Biomedical Concepts},
  year = {2013},
}

@inproceedings{ HLW-LORI-13,
  author = {Andreas {Herzig} and Emiliano {Lorini} and Dirk {Walther}},
  booktitle = {Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
  editor = {Davide {Grossi} and Olivier {Roy} and Huaxin {Huang}},
  pages = {162--175},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Reasoning about Actions Meets Strategic Logics},
  volume = {8196},
  year = {2013},
}

@inproceedings{ BaFM-DL13,
  author = {Franz {Baader} and Oliver {Fern\'andez Gil} and Barbara {Morawska}},
  booktitle = {Proceedings of the 26th International Workshop on Description Logics ({DL-2013})},
  editor = {Thomas {Eiter} and Birte {Glimm} and Yevgeny {Kazakov} and Markus {Kr{\"o}tzsch}},
  month = {July},
  pages = {29--40},
  series = {CEUR Workshop Proceedings},
  title = {Hybrid {$\mathcal{EL}$}-Unification is NP-Complete},
  venue = {Ulm, Germany},
  volume = {1014},
  year = {2013},
}

@inproceedings{ BaZa-FroCoS13,
  address = {Nancy, France},
  author = {Franz {Baader} and Benjamin {Zarrie{\ss}}},
  booktitle = {Proceedings of the 9th International Symposium on Frontiers of Combining Systems ({FroCoS 2013})},
  editor = {Pascal {Fontaine} and Christophe {Ringeissen} and Renate A. {Schmidt}},
  month = {September},
  pages = {181--196},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Verification of Golog Programs over Description Logic Actions},
  volume = {8152},
  year = {2013},
}

@inproceedings{ BaFM-FroCoS13,
  address = {Nancy, France},
  author = {Franz {Baader} and Oliver {Fern\'andez Gil} and Barbara {Morawska}},
  booktitle = {Proceedings of the 9th International Symposium on Frontiers of Combining Systems ({FroCoS 2013})},
  editor = {Pascal {Fontaine} and Christophe {Ringeissen} and Renate A. {Schmidt}},
  month = {September},
  pages = {295--310},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Hybrid Unification in the Description Logic {$\mathcal{EL}$}},
  volume = {8152},
  year = {2013},
}

@inproceedings{ BaBL-CADE13,
  address = {Lake Placid, NY, USA},
  author = {Franz {Baader} and Stefan {Borgwardt} and Marcel {Lippmann}},
  booktitle = {Proceedings of the 24th International Conference on Automated Deduction (CADE-24)},
  editor = {Maria Paola {Bonacina}},
  pages = {330--344},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Temporalizing Ontology-Based Data Access},
  volume = {7898},
  year = {2013},
}

@inproceedings{ BaBM-UNIF13,
  address = {Eindhoven, The Netherlands},
  author = {Franz {Baader} and Oliver {Fern\'andez Gil} and Barbara {Morawska}},
  booktitle = {Proceedings of the 27th International Workshop on Unification (UNIF'13)},
  editor = {Barbara {Morawska} and Konstantin {Korovin}},
  title = {Hybrid Unification in the Description Logic {$\mathcal{EL}$}},
  year = {2013},
}

@inproceedings{B2013,
  author    = {Daniel Borchmann},
  title     = {Experience Based Nonmonotonic Reasoning},
  editor    = {Pedro Cabalar and Tran Cao Son},
  booktitle = {Proceedings of the 12th International Conference on Logic
               Programming and Nonmonotonic Reasoning (LPNMR 2013)},
  series    = {Lecture Notes in Computer Science},
  volume    = {8148},
  publisher = {Springer},
  year      = {2013},
  pages     = {200-205}
}

@inproceedings{ Borc-KCAP13,
  author = {Daniel {Borchmann}},
  booktitle = {Proceedings of the Seventh International Conference on Knowledge Capture},
  pages = {1--8},
  publisher = {ACM},
  title = {Axiomatizing $\mathcal{E}\!\mathcal{L}^{\bot}$-Expressible Terminological Knowledge from Erroneous Data},
  venue = {Banff, Canada},
  year = {2013},
}

@inproceedings{ Borc-ICFCA13,
  author = {Daniel {Borchmann}},
  booktitle = {Formal Concept Analysis, 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings},
  editor = {Peggy {Cellier} and Felix {Distel} and Bernhard {Ganter}},
  pages = {60--75},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Towards an Error-Tolerant Construction of $\mathcal{EL}^{\bot}$ -Ontologies from Data Using Formal Concept Analysis},
  volume = {7880},
  year = {2013},
}

@inproceedings{ Borc-DL13,
  author = {Daniel {Borchmann}},
  booktitle = {Proceedings of the 26th International Workshop on Description Logics ({DL-2013})},
  month = {July},
  pages = {65--79},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  title = {Axiomatizing $\mathcal{E\!L}^{\bot}_{\mathrm{gfp}}$-General Concept Inclusions in the Presence of Untrusted Individuals},
  venue = {Ulm, Germany},
  volume = {1014},
  year = {2013},
}

@inproceedings{ BoLiTh-FroCoS13,
  address = {Nancy, France},
  author = {Stefan {Borgwardt} and Marcel {Lippmann} and Veronika {Thost}},
  booktitle = {Proceedings of the 9th International Symposium on Frontiers of Combining Systems ({FroCoS 2013})},
  editor = {Pascal {Fontaine} and Christophe {Ringeissen} and Renate A. {Schmidt}},
  pages = {165--180},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Temporal Query Answering in the Description Logic {\textit{DL-Lite}}},
  volume = {8152},
  year = {2013},
}

@inproceedings{ BoPe-IJCAI13,
  address = {Beijing, China},
  author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13)},
  editor = {Francesca {Rossi}},
  pages = {789--795},
  publisher = {AAAI Press},
  title = {Positive Subsumption in Fuzzy $\mathcal{EL}$ with General t-norms},
  year = {2013},
}

@inproceedings{ BoLiTh-DL13,
  address = {Ulm, Germany},
  author = {Stefan {Borgwardt} and Marcel {Lippmann} and Veronika {Thost}},
  booktitle = {Proceedings of the 26th International Workshop on Description Logics ({DL-2013})},
  editor = {Thomas {Eiter} and Birte {Glimm} and Yevgeny {Kazakov} and Markus {Kr{\"o}tzsch}},
  month = {July},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  title = {Temporal Query Answering in {\textit{DL-Lite}}},
  volume = {1014},
  year = {2013},
}

@inproceedings{ BoPe-DL13,
  address = {Ulm, Germany},
  author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 2013 International Workshop on Description Logics ({DL'13})},
  editor = {Thomas {Eiter} and Birte {Glimm} and Yevgeny {Kazakov} and Markus {Kr{\"o}tzsch}},
  pages = {526--538},
  series = {CEUR-WS},
  title = {About Subsumption in Fuzzy $\mathcal{EL}$},
  volume = {1014},
  year = {2013},
}

@inproceedings{ LuKo-DL-2013,
  author = {Michel {Ludwig} and Boris {Konev}},
  booktitle = {Proceedings of the 26th International Workshop on Description Logics ({DL-2013})},
  pages = {377--389},
  series = {CEUR-WS},
  title = {Towards Practical Uniform Interpolation and Forgetting for~$\mathcal{ALC}$ TBoxes},
  venue = {Ulm, Germany},
  volume = {1014},
  year = {2013},
}

@inproceedings{ DelMe13,
  address = {San Diego, California},
  author = {Waltenegus {Dargie} and {Eldora} and Julian {Mendez} and Christoph {M{\"o}bius} and Kateryna {Rybina} and Veronika {Thost} and Anni-Yasmin {Turhan}},
  booktitle = {Proceedings of the 10th IEEE Workshop on Context Modeling and Reasoning 2013},
  month = {March},
  pages = {31--36},
  publisher = {IEEE Computer Society},
  title = {Situation Recognition for Service Management Systems Using OWL 2 Reasoners},
  year = {2013},
}

@inproceedings{ AtEtAl-ICFCA13,
  author = {Jamal {Atif} and Isabelle {Bloch} and Felix {Distel} and C\'{e}line {Hudelot}},
  booktitle = {Proceedings of the 11th International Conference on Formal Concept Analysis {(ICFCA'13)}},
  editor = {Peggy {Cellier} and Felix {Distel} and Bernhard {Ganter}},
  pages = {28--43},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Mathematical Morphology Operators over Concept Lattices},
  volume = {7880},
  year = {2013},
}

@inproceedings{ ThoSchVo-CIKM13,
  address = {San Francisco, California, USA},
  author = {Veronika {Thost} and Konrad {Voigt} and Daniel {Schuster}},
  booktitle = {Proceedings of the 22Nd ACM International Conference on Conference on Information and Knowledge Management},
  pages = {1391--1400},
  publisher = {ACM},
  series = {CIKM '13},
  title = {Query Matching for Report Recommendation},
  year = {2013},
}

@inproceedings{ MaDi-AIME13,
  author = {Yue {Ma} and Felix {Distel}},
  booktitle = {Artificial Intelligence in Medicine},
  editor = {Niels {Peek} and Roque {Mar{\'i}n Morales} and Mor {Peleg}},
  pages = {73--77},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Learning Formal Definitions for Snomed CT from Text},
  volume = {7885},
  year = {2013},
}

@inproceedings{ MaDi-KCap13,
  author = {Yue {Ma} and Felix {Distel}},
  booktitle = {Proceedings of the 7th International Conference on Knowledge Capture},
  editor = {Mathieu {d'Aquin} and Andrew {Gordon}},
  publisher = {ACM},
  title = {Concept Adjustment for Description Logics},
  year = {2013},
}

@inproceedings{ EcPeTu-KI-13,
  address = {Koblenz, Germany},
  author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
  booktitle = {Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013)},
  editor = {Ingo J. {Timm} and Matthias {Thimm}},
  pages = {49--60},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Computing Role-depth Bounded Generalizations in the Description Logic {$\mathcal{ELOR}$}},
  volume = {8077},
  year = {2013},
}

@inproceedings{ EcPeTu-WL4AI-13,
  address = {Beijing, China},
  author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
  booktitle = {Workshop on {W}eighted {L}ogics for {AI} (in conjunction with IJCAI'13)},
  title = {Towards Instance Query Answering for Concepts Relaxed by Similarity Measures},
  year = {2013},
}

@inproceedings{ EcLuWa-DChanges2013,
  author = {Andreas {Ecke} and Michel {Ludwig} and Dirk {Walther}},
  booktitle = {Proceedings of the International workshop on (Document) Changes: modeling, detection, storage and visualization ({DChanges 2013})},
  series = {CEUR-WS},
  title = {The Concept Difference for $\mathcal{EL}$-Terminologies using Hypergraphs},
  venue = {Florence, Italy},
  volume = {1008},
  year = {2013},
}

@inproceedings{ MRW-WOMO-13,
  author = {Francisco {Martin-Recuerda} and Dirk {Walther}},
  booktitle = {Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013},
  editor = {Chiara Del {Vescovo} and Torsten {Hahmann} and David {Pearce} and Dirk {Walther}},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  title = {Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs},
  volume = {1081},
  year = {2013},
}

@inproceedings{ GoMeT13,
  address = {Montpellier, France},
  author = {Sebastian {Goetz} and Julian {Mendez} and Veronika {Thost} and Anni-Yasmin {Turhan}},
  booktitle = {Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013)},
  editor = {Kavitha {Srinivas} and Simon {Jupp}},
  month = {May},
  title = {OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context},
  year = {2013},
}

@inproceedings{ PeTu12,
  author = {Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
  booktitle = {Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers},
  editor = {Fernando {Bobillo} and Paulo C. G. {Costa} and Claudia {d'Amato} and Nicola {Fanizzi} and Kathryn B. {Laskey} and Kenneth J. {Laskey} and Thomas {Lukasiewicz} and Matthias {Nickles} and Michael {Pool}},
  number = {7123},
  pages = {80--98},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Instance-based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities},
  year = {2013},
}

@inproceedings{ PeZo-FroCoS13,
  address = {Nancy, France},
  author = {Rafael {Pe{\~n}aloza} and Tingting {Zou}},
  booktitle = {Proceedings of the 2013 International Symposium on Frontiers of Combining Systems ({FroCoS 2013})},
  editor = {P. {Fontaine} and C. {Ringeissen} and R. A. {Schmidt}},
  pages = {71--86},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Roughening the $\mathcal{EL}$ Envelope},
  volume = {8152},
  year = {2013},
}

@inproceedings{ PeZo-DL13,
  address = {Ulm, Germany},
  author = {Rafael {Pe{\~n}aloza} and Tingting {Zou}},
  booktitle = {Proceedings of the 2013 International Workshop on Description Logics ({DL'13})},
  editor = {Thomas {Eiter} and Birte {Glimm} and Yevgeny {Kazakov} and Markus {Kr{\"o}tzsch}},
  pages = {415--427},
  series = {CEUR-WS},
  title = {Rough $\mathcal{EL}$ Classification},
  volume = {1014},
  year = {2013},
}

@inproceedings{ ZaTu-IJCAI13,
  address = {Beijing, China},
  author = {Benjamin {Zarrie{\ss}} and Anni-Yasmin {Turhan}},
  booktitle = {Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13)},
  publisher = {AAAI Press},
  title = {Most Specific Generalizations w.r.t.\ General $\mathcal{EL}$-TBoxes},
  year = {2013},
}

@inproceedings{ Tu-RW-13,
  author = {Anni-Yasmin {Turhan}},
  booktitle = {In Proceedings of Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School},
  editor = {Sebastian {Rudolph} and Georg {Gottlob} and Ian {Horrocks} and Frank van {Harmelen}},
  pages = {150--161},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Introductions to Description Logics - A Guided Tour},
  volume = {8067},
  year = {2013},
}

@inproceedings{ TuZa-DL13,
  address = {Ulm, Germany},
  author = {Anni-Yasmin {Turhan} and Benjamin {Zarrie{\ss}}},
  booktitle = {Proceedings of the 26th International Workshop on Description Logics ({DL-2013})},
  editor = {Thomas {Eiter} and Birte {Glimm} and Yevgeny {Kazakov} and Markus {Kr{\"o}tzsch}},
  month = {July},
  pages = {477--488},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  title = {Computing the lcs w.r.t.\ General $\mathcal{E\!L}^+$ {TB}oxes},
  year = {2013},
}

5 Publikationen (noch nicht erschienen)

@inproceedings{ MaLeNa-TALN13,
  address = {Dresden, Germany},
  author = {Yue {Ma} and Adelina Nazarenko {Fran\c{c}ois L\'evy}},
  booktitle = {20\`eme conf\'erence du Traitement Automatique du Langage Naturel},
  note = {To appear.},
  title = {Semantic Annotation in Specific Domains with rich Ontologies (in French)},
  year = {2013},
}

@inproceedings{ AtEtAl-EUSFLAT13,
  author = {Jamal {Atif} and Isabelle {Bloch} and Felix {Distel} and C\'{e}line {Hudelot}},
  booktitle = {Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology {(EUSFLAT-2013)}},
  editor = {Gabriella {Pasi} and Javier {Montero}},
  note = {to appear},
  title = {A fuzzy extension of explanatory relations based on mathematical morphology},
  year = {2013},
}

@inproceedings{ DiMa-DL13,
  address = {Ulm, Germany},
  author = {Felix {Distel} and Yue {Ma}},
  booktitle = {Proceedings of the 2013 International Workshop on Description Logics ({DL'13})},
  note = {To appear.},
  series = {CEUR-WS},
  title = {A hybrid approach for learning concept definitions from text},
  year = {2013},
}

@inproceedings{ MaChang-Ecsquaru13,
  address = {Dresden, Germany},
  author = {Yue {Ma} and Qingfeng {Chang}},
  booktitle = {The 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty},
  note = {To appear.},
  title = {Measuring Incompleteness under Multi-Valued Semantics by Partial MaxSAT Solvers},
  year = {2013},
}

@inproceedings{ MaMe-AIBD13,
  address = {Dresden, Germany},
  author = {Yue {Ma} and Julian {Mendez}},
  booktitle = {International Workshop on {A}rtificial {I}ntelligence for {B}ig {D}ata (in conjunction with IJCAI'13)},
  note = {To appear.},
  title = {High Quality Data Generation: An Ontology Reasoning based Approach},
  year = {2013},
}

11 Technische Berichte

@techreport{ BaBoLi-LTCS-13-01,
  address = {Dresden, Germany},
  author = {Franz {Baader} and Stefan {Borgwardt} and Marcel {Lippmann}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},
  number = {13-01},
  title = {On the Complexity of Temporal Query Answering},
  type = {LTCS-Report},
  year = {2013},
}

@techreport{ BaZa-LTCS-13-08,
  address = {Dresden, Germany},
  author = {Franz Baader and Benjamin Zarrie{\ss}},
  institution = {Chair of Automata Theory, TU Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {13-08},
  title = {Verification of Golog Programs over Description Logic Actions},
  type = {LTCS-Report},
  year = {2013},
}

@techreport{ BaFM-LTCS-13-07,
  address = {Dresden, Germany},
  author = {Franz {Baader} and Oliver {Fern\'{a}ndez Gil} and Barbara {Morawska}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},
  number = {13-07},
  title = {Hybrid Unification in the Description Logic EL},
  type = {LTCS-Report},
  year = {2013},
}

@techreport{ ZaTu-LTCS-13-06,
  address = {Dresden, Germany},
  author = {Benjamin {Zarrie{\"s}} and Anni-Yasmin {Turhan}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},
  number = {13-06},
  title = {Most Specific Generalizations w.r.t.\ General $\mathcal{EL}$-TBoxes},
  type = {LTCS-Report},
  year = {2013},
}

@techreport{ Borc-LTCS-13-11,
  address = {Dresden, Germany},
  author = {Daniel {Borchmann}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {13-11},
  title = {{Model Exploration by Confidence with Completely Specified Counterexamples}},
  type = {LTCS-Report},
  year = {2013},
}

@techreport{ Borc-LTCS-13-02,
  address = {Dresden, Germany},
  author = {Daniel {Borchmann}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {13-02},
  title = {{A General Form of Attribute Exploration}},
  type = {LTCS-Report},
  year = {2013},
}

@techreport{ Borch-LTCS-13-04,
  address = {Dresden, Germany},
  author = {Daniel {Borchmann}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {13-04},
  title = {{Exploration by Confidence}},
  type = {LTCS-Report},
  year = {2013},
}

@techreport{ BoDP-LTCS-13-09,
  address = {Dresden, Germany},
  author = {Stefan {Borgwardt} and Felix {Distel} and Rafael {Pe{\~n}aloza}},
  institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {13-09},
  title = {Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property},
  type = {LTCS-Report},
  year = {2013},
}

@techreport{ BoLT-LTCS-13-05,
  address = {Dresden, Germany},
  author = {Stefan {Borgwardt} and Marcel {Lippmann} and Veronika {Thost}},
  institution = {Chair of Automata Theory, TU Dresden},
  note = {Revised version. See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {13-05},
  title = {Temporal Query Answering w.r.t.\ \textit{DL-Lite}-Ontologies},
  type = {LTCS-Report},
  year = {2013},
}

@techreport{ ZaCla-LTCS-13-10,
  address = {Dresden, Germany},
  author = {Benjamin {Zarrie{\ss}} and Jens {Cla{\ss}en}},
  institution = {Chair of Automata Theory, TU Dresden},
  note = {Extended version. See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {13-10},
  title = {On the Decidability of Verifying LTL Properties of Golog Programs},
  type = {LTCS-Report},
  year = {2013},
}

@techreport{ MaDi-LTCS-13-03,
  address = {Dresden, Germany},
  author = {Yue {Ma} and Felix {Distel}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
  number = {13-03},
  title = {{Learning Formal Definitions for Snomed CT from Text}},
  type = {LTCS-Report},
  year = {2013},
}

Knowledge Systems

2016

21 Publikationen

@article{CMKWT2016,
  author    = {Long Cheng and Avinash Malik and Spyros Kotoulas and Tomas E.
               Ward and Georgios Theodoropoulos},
  title     = {Fast Compression of Large Semantic Web Data using X10},
  journal   = {IEEE Transactions on Parallel and Distributed Systems},
  volume    = {27},
  number    = {9},
  publisher = {IEEE},
  year      = {2016},
  month     = {September},
  pages     = {2603-2617},
  doi       = {10.1109/TPDS.2015.2496579}
}

@article{KM2016,
  author  = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust},
  title   = {Distributed computation of supremal conditionally-controllable
             sublanguages},
  journal = {International Journal of Control},
  volume  = {89},
  number  = {2},
  year    = {2016},
  pages   = {424-436},
  doi     = {10.1080/00207179.2015.1079736}
}

@article{KR2016,
  author    = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph},
  title     = {Is Your Database System a Semantic Web Reasoner?},
  journal   = {KI},
  volume    = {30},
  number    = {2},
  publisher = {Springer},
  year      = {2016},
  pages     = {169-176},
  doi       = {10.1007/s13218-015-0412-x}
}

@inproceedings{KOW2016,
  author    = {Boris Konev and Ana Ozaki and Frank Wolter},
  title     = {A Model for Learning Description Logic Ontologies Based on Exact
               Learning},
  booktitle = {Thirtieth {AAAI} Conference on Artificial Intelligence},
  publisher = {AAAI Press},
  year      = {2016},
  month     = {February}
}

@inproceedings{CFH2016,
  author    = {David Carral and Cristina Feier and Pascal Hitzler},
  title     = {A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ
               Ontologies},
  editor    = {Paul Groth and Elena Simperl and Alasdair Gray and Marta Sabou
               and Markus Kr{\"{o}}tzsch and Freddy Lecue and Fabian Flock and
               Yolanda Gil},
  booktitle = {The Semantic Web - {ISWC} 2016 - 15th International Semantic Web
               Conference, Kobe, Japan. Proceedings, Part I},
  series    = {LNCS},
  volume    = {9981},
  publisher = {Springer},
  year      = {2016},
  month     = {October},
  pages     = {70-85},
  doi       = {10.1007/978-3-319-46523-4_5}
}

@inproceedings{UJK2016,
  author    = {Jacopo Urbani and Ceriel Jacobs and Markus Kr{\"{o}}tzsch},
  title     = {{VLog}: A Column-Oriented {Datalog} System for Large Knowledge Graphs},
  editor    = {Takahiro Kawamura and Heiko Paulheim},
  booktitle = {Proceedings of the 15th International Semantic Web Conf.
               (ISWC'16), Posters and Demos},
  series    = {CEUR Workshop Proceedings},
  volume    = {1690},
  publisher = {CEUR-WS.org},
  year      = {2016}
}

@inproceedings{UJK2016,
  author    = {Jacopo Urbani and Ceriel Jacobs and Markus Kr{\"{o}}tzsch},
  title     = {Column-Oriented Datalog Materialization for Large Knowledge
               Graphs},
  editor    = {Dale Schuurmans and Michael P. Wellman},
  booktitle = {Proceedings of the 30th {AAAI} Conference on Artificial
               Intelligence},
  publisher = {AAAI Press},
  year      = {2016},
  pages     = {258-264}
}

@inproceedings{CK2016,
  author    = {Long Cheng and Spyros Kotoulas},
  title     = {Efficient Large Outer Joins over {MapReduce}},
  booktitle = {Proc. 22nd International European Conference on Parallel
               Processing (Euro-Par'16)},
  publisher = {Springer},
  year      = {2016},
  month     = {August},
  pages     = {334-346},
  doi       = {10.1007/978-3-319-43659-3_25}
}

@inproceedings{CL2016,
  author    = {Long Cheng and Tao Li},
  title     = {Efficient Data Redistribution to Speedup Big Data Analytics in
               Large Systems},
  booktitle = {Proc. 23rd {IEEE} International Conference on High Performance
               Computing (HiPC'16)},
  publisher = {IEEE},
  year      = {2016},
  month     = {December},
  pages     = {91-100},
  doi       = {10.1109/HiPC.2016.020}
}

@inproceedings{BEGKLP2016,
  author    = {Gerhard Brewka and Stefan Ellmauthaler and Ricardo
               Gon{\c{c}}alves and Matthias Knorr and Jo{\~{a}}o Leite and
               J{\"{o}}rg P{\"{u}}hrer},
  title     = {Inconsistency management in reactive multi-context systems},
  editor    = {Loizos Michael and Antonis C. Kakas},
  booktitle = {15th European Conferenceon Logics in Artificial Intelligence
               (JELIA 2016)},
  series    = {Lecture Notes in Computer Science},
  volume    = {10021},
  publisher = {Springer},
  year      = {2016},
  pages     = {529-535},
  doi       = {10.1007/978-3-319-48758-8_35}
}

@inproceedings{ES2016,
  author    = {Stefan Ellmauthaler and Hannes Strass},
  title     = {DIAMOND 3.0 - A Native C++ Implementation of {DIAMOND}},
  editor    = {Pietro Baroni and Thomas F. Gordon and Tatjana Scheffler and
               Manfred Stede},
  booktitle = {6th International Conference on Computational Models of Argument
               (COMMA 2016)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {287},
  publisher = {IOS Press},
  year      = {2016},
  pages     = {471-472},
  doi       = {10.3233/978-1-61499-686-6-471}
}

@inproceedings{BEGKLP2016,
  author    = {Gerhard Brewka and Stefan Ellmauthaler and Ricardo
               Gon{\c{c}}alves and Matthias Knorr and Jo{\~{a}}o Leite and
               J{\"{o}}rg P{\"{u}}hrer},
  title     = {Towards Inconsistency Management in Reactive Multi-Context
               Systems},
  editor    = {Richard Booth and Giovanni Casini and Szymon Klarman and Gilles
               Richard and Ivan Jos{\'{e}} Varzincza},
  booktitle = {Proceedings of the International Workshop on Defeasible and
               Ampliative Reasoning (DARe-16) co-located with the 22th European
               Conference on Artificial Intelligence (ECAI 2016), The Hague,
               Holland, August 29, 2016},
  series    = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
  year      = {2016}
}

@inproceedings{EP2016,
  author    = {Stefan Ellmauthaler and J{\"{o}}rg P{\"{u}}hrer},
  title     = {Stream Packing for Asynchronous Multi-Context Systems using {ASP}},
  editor    = {Thomas Eiter and Wolfgang Faber and Stefan Woltran},
  booktitle = {Proceedings of the Workshop on Trends and                  
               Applications of Answer Set Programming (TAASP 2016)},
  year      = {2016}
}

@inproceedings{KVL2016,
  author    = {Alexander Krause and Hannes Voigt and Wolfgang Lehner},
  title     = {HUGS - A Lightweight Graph Partitioning Approach},
  booktitle = {Proceedings of the 28th {GI-Workshop} Grundlagen von Datenbanken},
  year      = {2016},
  month     = {May}
}

@inproceedings{KMS2016,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {Control of an Engineering-Structured Multilevel Discrete-Event
               System},
  booktitle = {Proceedings of the International Workshop on Discrete Event
               Systems (WODES)},
  year      = {2016},
  month     = {June},
  pages     = {103-108},
  doi       = {10.1109/WODES.2016.7497833}
}

@inproceedings{GJO2016,
  author    = {V{\'{\i}}ctor Guti{\'{e}}rrez-Basulto and Jean Christoph Jung and
               Ana Ozaki},
  title     = {On Metric Temporal Description Logics},
  booktitle = {22nd European Conference on Artificial Intelligence},
  publisher = {IOS Press},
  year      = {2016},
  month     = {September},
  doi       = {10.3233/978-1-61499-672-9-837}
}

@inproceedings{KT2016,
  author    = {Markus Kr{\"{o}}tzsch and Veronika Thost},
  title     = {Ontologies for Knowledge Graphs: Breaking the Rules},
  editor    = {Yolanda Gil and Elena Simperl and Paul Groth and Freddy Lecue and
               Markus Kr{\"{o}}tzsch and Alasdair Gray and Marta Sabou and
               Fabian Fl{\"{o}}ck and Hideaki Takeda},
  booktitle = {Proceedings of the 15th International Semantic Web Conference
               (ISWC 2016)},
  series    = {LNCS},
  volume    = {9981},
  publisher = {Springer},
  year      = {2016},
  pages     = {376-392},
  doi       = {10.1007/978-3-319-46523-4_23}
}

@inproceedings{KMT2016,
  author    = {Markus Kr{\"{o}}tzsch and Tom{\'{a}}{\v{s}} Masopust and
               Micha{\"{e}}l Thomazo},
  title     = {On the Complexity of Universality for Partially Ordered {NFAs}},
  editor    = {Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier},
  booktitle = {Proceedings of the 41st International Symposium on Mathematical
               Foundations of Computer Science (MFCS 2016)},
  series    = {Leibniz International Proceedings in Informatics},
  volume    = {58},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  pages     = {61:1--61:14},
  doi       = {10.4230/LIPIcs.MFCS.2016.61}
}

@inproceedings{M2016,
  author    = {Tom{\'{a}}{\v{s}} Masopust},
  title     = {Piecewise Testable Languages and Nondeterministic Automata},
  editor    = {Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier},
  booktitle = {Proceedings of the 41st International Symposium on Mathematical
               Foundations of Computer Science (MFCS 2016)},
  series    = {Leibniz International Proceedings in Informatics},
  volume    = {58},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  pages     = {67:1--67:14},
  doi       = {10.4230/LIPIcs.MFCS.2016.67}
}

@proceedings{ISWC2016-part2,
  editor    = {Groth Paul T. and Elena Simperl and Alasdair J. G. Gray and Marta
               Sabou and Markus Kr{\"{o}}tzsch and Freddy L{\'{e}}cu{\'{e}} and
               Fabian Fl{\"{o}}ck and Yolanda Gil},
  title     = {Proceedings of the 15th International Semantic Web Conference
               (ISWC 2016), Part II},
  series    = {LNCS},
  volume    = {9982},
  publisher = {Springer},
  year      = {2016},
  doi       = {10.1007/978-3-319-46547-0}
}

@proceedings{ISWC2016-part1,
  editor    = {Groth Paul T. and Elena Simperl and Alasdair J. G. Gray and Marta
               Sabou and Markus Kr{\"{o}}tzsch and Freddy L{\'{e}}cu{\'{e}} and
               Fabian Fl{\"{o}}ck and Yolanda Gil},
  title     = {Proceedings of the 15th International Semantic Web Conference
               (ISWC 2016), Part I},
  series    = {LNCS},
  volume    = {9981},
  publisher = {Springer},
  year      = {2016},
  doi       = {10.1007/978-3-319-46523-4}
}

1 Technische Berichte

@techreport{BEGKLP2016,
  author      = {Gerhard Brewka and Stefan Ellmauthaler and Ricardo
                 Gon{\c{c}}alves and Matthias Knorr and Jo{\~{a}}o Leite and
                 J{\"{o}}rg P{\"{u}}hrer},
  title       = {Reactive Multi-Context Systems: Heterogeneous Reasoning in
                 Dynamic Environments},
  institution = {arXiv.org},
  year        = {2016}
}

2015

27 Publikationen

@article{CK2015,
  author    = {Long Cheng and Spyros Kotoulas},
  title     = {Scale-Out Processing of Large {RDF} Datasets},
  journal   = {IEEE Transactions on Big Data},
  volume    = {1},
  number    = {4},
  publisher = {IEEE},
  year      = {2015},
  month     = {December},
  pages     = {138-150}
}

@article{KMS2015,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {Coordination control of discrete-event systems revisited},
  journal   = {Discrete Event Dynamic Systems},
  volume    = {25},
  number    = {1},
  publisher = {Springer},
  year      = {2015},
  pages     = {65-94},
  doi       = {10.1007/s10626-013-0179-x}
}

@article{KRS2015,
  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},
  volume    = {6},
  number    = {1},
  publisher = {IOS Press},
  year      = {2015},
  pages     = {63-79},
  doi       = {10.3233/SW-130126}
}

@incollection{KM2015,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust},
  title     = {Coordination Control of Distributed Discrete-Event Systems},
  editor    = {J.H. van Schuppen and T. Villa},
  booktitle = {Coordination Control of Distributed Systems},
  series    = {Lecture Notes in Control and Information Sciences},
  volume    = {456},
  publisher = {Springer},
  year      = {2015},
  pages     = {137-144},
  doi       = {10.1007/978-3-319-10407-2_17}
}

@incollection{KM2015,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust},
  title     = {Supervisory Control of Discrete-Event Systems},
  editor    = {J.H. van Schuppen and T. Villa},
  booktitle = {Coordination Control of Distributed Systems},
  series    = {Lecture Notes in Control and Information Sciences},
  volume    = {456},
  publisher = {Springer},
  year      = {2015},
  pages     = {129-136},
  doi       = {10.1007/978-3-319-10407-2_16}
}

@inproceedings{SCKH2015,
  author    = {Kamruzzaman Sarker and David Carral and Adila Krisnadhi and
               Pascal Hitzler},
  title     = {Modeling {OWL} with Rules: The {ROWL} Protege Plugin},
  editor    = {Takahiro Kawamura and Heiko Paulheim},
  booktitle = {Proceedings of the {ISWC} 2016 Posters \& Demonstrations Track
               co-located with 15th International Semantic Web Conference (ISWC
               2016), Kobe, Japan.},
  series    = {CEUR Workshop Proceedings},
  volume    = {1690},
  publisher = {CEUR-WS.org},
  year      = {2015},
  month     = {October}
}

@inproceedings{CCDHHHKLSVW2015,
  author    = {David Carral and Michelle Cheatham and Sunje Dallmeier-Tiessen
               and Patricia Herterich and Michael Hildreth and Pascal Hitzler
               and Adila Krisnadhi and Kati Lassila-Perini and Elizabeth
               Sexton-Kennedy and Charles Vardeman and Gordon Watts},
  title     = {An Ontology Design Pattern for Particle Physics Analysis},
  editor    = {Eva Blomqvist and Pascal Hitzler and Adila Krisnadhi and Tom
               Narock and Monika Solanki},
  booktitle = {Proceedings of the 6th Workshop on Ontology and Semantic Web
               Patterns (WOP 2015) co-located with the 14th International
               Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania,
               {USA.}},
  series    = {CEUR Workshop Proceedings},
  volume    = {1461},
  publisher = {CERU-WS.org},
  year      = {2015},
  month     = {October}
}

@inproceedings{HHK2015,
  author    = {Daniel Hern{\'{a}}ndez and Aidan Hogan and Markus Kr{\"{o}}tzsch},
  title     = {Reifying {RDF:} What Works Well With Wikidata?},
  editor    = {Thorsten Liebig and Achille Fokoue},
  booktitle = {Proceedings of the 11th International Workshop on Scalable
               Semantic Web Knowledge Base Systems},
  series    = {CEUR Workshop Proceedings},
  volume    = {1457},
  publisher = {CEUR-WS.org},
  year      = {2015},
  pages     = {32-47}
}

@inproceedings{BKPR2015,
  author    = {Stefan Bischof and Markus Kr{\"{o}}tzsch and Axel Polleres and
               Sebastian Rudolph},
  title     = {Schema-Agnostic Query Rewriting for {OWL} {QL}},
  editor    = {Diego Calvanese and Boris Konev},
  booktitle = {Proceedings of the 28th International Workshop on Description
               Logics},
  series    = {CEUR Workshop Proceedings},
  volume    = {1350},
  publisher = {CEUR-WS.org},
  year      = {2015}
}

@inproceedings{FCSCH2015,
  author    = {Cristina Feier and David Carral and Giorgio Stefanoni and
               Bernardo Cuenca-Grau and Ian Horrocks},
  title     = {Extending the Combined Approach Beyond Lightweight Description
               Logics},
  editor    = {Diego Calvanese and Boris Konev},
  booktitle = {Proceedings of the 28th International Workshop on Description
               Logics, Athens, Greece.},
  series    = {CEUR Workshop Proceedings},
  volume    = {1350},
  publisher = {CEUR-WS.org},
  year      = {2015},
  month     = {June}
}

@inproceedings{FCSCH2015,
  author    = {Cristina Feier and David Carral and Giorgio Stefanoni and
               Bernardo Cuenca-Grau and Ian Horrocks},
  title     = {The Combined Approach to Query Answering Beyond the {OWL} 2
               Profiles},
  editor    = {Qiang Yang and Michael Wooldridge},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference
               on Artificial Intelligence, {IJCAI} 2015, Buenos Aires,
               Argentina.},
  publisher = {AAAI Press},
  year      = {2015},
  month     = {July},
  pages     = {2971--2977}
}

@inproceedings{BT2015,
  author    = {Stefan Borgwardt and Veronika Thost},
  title     = {Temporal Query Answering in {DL-Lite} with Negation},
  editor    = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov},
  booktitle = {GCAI 2015. Global Conference on Artificial Intelligence},
  series    = {EasyChair Proceedings in Computing},
  volume    = {36},
  publisher = {EasyChair},
  year      = {2015},
  pages     = {51-65}
}

@inproceedings{BT2015,
  author    = {Stefan Borgwardt and Veronika Thost},
  title     = {Temporal Query Answering in the Description Logic {EL} (extended
               abstract)},
  booktitle = {Proceedings of the 28th International Workshop on Description
               Logics (DL 2015)},
  volume    = {1350},
  publisher = {CEUR},
  year      = {2015},
  pages     = {83--87}
}

@inproceedings{KOW2015,
  author    = {Boris Konev and Ana Ozaki and Frank Wolter},
  title     = {Exact Learning Description Logic Ontologies from Data Retrieval
               Examples},
  booktitle = {28th International Workshop on Description Logics},
  publisher = {CEUR},
  year      = {2015},
  month     = {June}
}

@inproceedings{OCMH2015,
  author    = {Patrick {O'Brien} and David Carral and Jeff Mixter and Pascal
               Hitzler},
  title     = {An Ontology Design Pattern for Data Integration in the Library
               Domain},
  editor    = {Eva Blomqvist and Pascal Hitzler and Adila Krisnadhi and Tom
               Narock and Monika Solanki},
  booktitle = {Proceedings of the 6th Workshop on Ontology and Semantic Web
               Patterns (WOP 2015) co-located with the 14th International
               Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania,
               {USA.}},
  series    = {CEUR Workshop Proceedings},
  volume    = {1461},
  publisher = {CEUR-WS.org},
  year      = {2015},
  month     = {October}
}

@inproceedings{CKWT2015,
  author    = {Long Cheng and Spyros Kotoulas and Tomas E Ward and Georgios
               Theodoropoulos},
  title     = {High Throughput Indexing for Large-scale Semantic Web Data},
  booktitle = {Proc. 30th {ACM/SIGAPP} Symposium On Applied Computing (SAC'15)},
  publisher = {ACM},
  year      = {2015},
  month     = {April},
  pages     = {416-422},
  doi       = {10.1145/2695664.2695920}
}

@inproceedings{EP2015,
  author    = {Stefan Ellmauthaler and J{\"{o}}rg P{\"{u}}hrer},
  title     = {Asynchronous Multi-Context Systems},
  editor    = {Thomas Eiter and Hannes Strass and Miroslaw Truszczynski and
               Stefan Woltran},
  booktitle = {Advances in Knowledge Representation, Logic Programming, and
               Abstract Argumentation - Essays Dedicated to Gerhard Brewka on
               the Occasion of His 60th Birthday},
  series    = {Lechture Notes in Computer Science},
  volume    = {9060},
  publisher = {Springer},
  year      = {2015},
  doi       = {10.1007/978-3-319-14726-0_10}
}

@inproceedings{KMS2015,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {Relative Observability in Coordination Control},
  editor    = {B. Lennartson},
  booktitle = {2015 {IEEE} International Conference on Automation Science and
               Engineering (CASE)},
  publisher = {IEEE},
  year      = {2015},
  pages     = {75-80}
}

@inproceedings{KMS2015,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {On a Distributed Computation of Supervisors in Modular
               Supervisory Control},
  booktitle = {Proc. of International Conference on Complex Systems Engineering
               (ICCSE)},
  publisher = {IEEE},
  year      = {2015},
  doi       = {10.1109/ComplexSys.2015.7385990}
}

@inproceedings{KMS2015,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {Multilevel Coordination Control of Partially Observed Modular
               {DES}},
  editor    = {A. Astolfi},
  booktitle = {American Control Conference (ACC 2015)},
  year      = {2015},
  pages     = {384-389}
}

@inproceedings{THO2015,
  author    = {Veronika Thost and Jan Holste and {\"{O}}zg{\"{u}}r {\"{O}}z{\c{c}}ep},
  title     = {On Implementing Temporal Query Answering in {DL-Lite} (extended abstract)},
  booktitle = {Proceedings of the 28th International Workshop on Description Logics (DL 2015)},
  publisher = {CEUR},
  year      = {2015}
}

@inproceedings{BKR2015,
  author    = {Pierre Bourhis and Markus Kr{\"{o}}tzsch and Sebastian Rudolph},
  title     = {Reasonable Highly Expressive Query Languages},
  editor    = {Qiang Yang and Michael Wooldridge},
  booktitle = {Proc. 24th International Joint Conference on Artificial
               Intelligence (IJCAI'15)},
  publisher = {AAAI Press},
  year      = {2015},
  pages     = {2826-2832}
}

@inproceedings{MT2015,
  author    = {Tom{\'{a}}{\v{s}} Masopust and Micha{\"{e}}l Thomazo},
  title     = {On the Complexity of k-Piecewise Testability and the Depth of
               Automata},
  editor    = {I. Potapov},
  booktitle = {Proc. 19th International Conference on Developments in Language
               Theory (DLT'15)},
  series    = {LNCS},
  volume    = {9168},
  publisher = {Springer},
  year      = {2015},
  pages     = {364-376},
  doi       = {10.1007/978-3-319-21500-6_29}
}

@inproceedings{HO2015,
  author    = {Montserrat Hermo and Ana Ozaki},
  title     = {Exact Learning of Multivalued Dependencies},
  booktitle = {Algorithmic Learning Theory - 26th International Conference},
  publisher = {Springer},
  year      = {2015},
  month     = {October},
  doi       = {10.1007/978-3-319-24486-0}
}

@inproceedings{TZ2015,
  author    = {Veronika Thost and Erik Zenker},
  title     = {Temporal Query Answering in a Fuzzy World},
  editor    = {Agata Filipowska and Ruben Verborgh and Axel Polleres},
  booktitle = {Posters\&Demos@SEMANTiCS 2015 and {DSci15} Workshop},
  series    = {CEUR Workshop Proceedings},
  volume    = {1481},
  publisher = {CEUR-WS.org},
  year      = {2015},
  month     = {September},
  pages     = {84-87}
}

@proceedings{OrdRing2015,
  editor    = {Kostis Kyzirakos and Cory A. Henson and Matthew Perry and Dalia
               Varanka and Rolf Gr{\"{u}}tter and Jean-Paul Calbimonte and Irene
               Celino and Emanuele Della Valle and Daniele {Dell'Aglio} and
               Markus Kr{\"{o}}tzsch and Stefan Schlobach},
  title     = {Joint Proceedings of the 1st Joint International Workshop on
               Semantic Sensor Networks and Terra Cognita (SSN-TC 2015) and the
               4th International Workshop on Ordering and Reasoning (OrdRing
               2015)},
  series    = {CEUR Workshop Proceedings},
  volume    = {1488},
  publisher = {CEUR-WS.org},
  year      = {2015}
}

@proceedings{HKNR:KI2015,
  editor    = {Steffen H{\"{o}}lldobler and Markus Kr{\"{o}}tzsch and Rafael
               Pe{\~{n}}aloza Nyssen and Sebastian Rudolph},
  title     = {KI 2015: Advances in Artificial Intelligence - Proceedings of the
               38th Annual German Conference on {AI}},
  series    = {LNAI},
  volume    = {9324},
  publisher = {Springer},
  year      = {2015},
  doi       = {10.1007/978-3-319-24489-1}
}

1 Technische Berichte

/** Please cite the IJCAI paper https://iccl.inf.tu-dresden.de/web/Inproceedings3015/en instead **/
@techreport{BKR2015,
  author      = {Pierre Bourhis and Markus Kr{\"{o}}tzsch and Sebastian Rudolph},
  title       = {Reasonable Highly Expressive Query Languages: Extended
                 Technical Report},
  institution = {TU Dresden},
  year        = {2015},
  month       = {May}
}

2014

35 Publikationen

@article{SMKR2014,
  author    = {Giorgo Stefanoni and Boris Motik and Markus Kr{\"{o}}tzsch and
               Sebastian Rudolph},
  title     = {The Complexity of Answering Conjunctive and Navigational Queries
               over {OWL} 2 {EL} Knowledge Bases},
  journal   = {Journal of Artificial Intelligence Research},
  volume    = {51},
  publisher = {AI Access Foundation},
  year      = {2014},
  month     = {December},
  pages     = {645-705},
  doi       = {10.1613/jair.4457}
}

@article{VK2014,
  author    = {Denny Vrande{\v{c}}i{\'{c}} and Markus Kr{\"{o}}tzsch},
  title     = {Wikidata: a free collaborative knowledgebase},
  journal   = {Commun. {ACM}},
  volume    = {57},
  number    = {10},
  publisher = {ACM},
  year      = {2014},
  pages     = {78-85},
  doi       = {10.1145/2629489}
}

@article{MKH2014,
  author  = {Despoina Magka and Markus Kr{\"{o}}tzsch and Ian Horrocks},
  title   = {A rule-based ontological framework for the classification of
             molecules},
  journal = {J. Biomedical Semantics},
  volume  = {5},
  year    = {2014},
  pages   = {17},
  doi     = {10.1186/2041-1480-5-17}
}

@article{KKS2014,
  author    = {Yevgeny Kazakov and Markus Kr{\"{o}}tzsch and Franti{\v{s}}ek
               Siman{\v{c}}{\'{\i}}k},
  title     = {The Incredible {ELK:} From Polynomial Procedures to Efficient
               Reasoning with {$\mathcal{EL}$} Ontologies},
  journal   = {J. Autom. Reasoning},
  volume    = {53},
  number    = {1},
  publisher = {Springer},
  year      = {2014},
  pages     = {1-61},
  doi       = {10.1007/s10817-013-9296-3}
}

@article{KSH2014,
  author  = {Markus Kr{\"{o}}tzsch and Franti{\v{s}}ek Siman{\v{c}}{\'{\i}}k and
             Ian Horrocks},
  title   = {Description Logics},
  journal = {IEEE Intelligent Systems},
  volume  = {29},
  number  = {1},
  year    = {2014},
  pages   = {12-19},
  doi     = {10.1109/MIS.2013.123}
}

@article{M2014,
  author  = {Tom{\'{a}}{\v{s}} Masopust},
  title   = {A Note on Limited Pushdown Alphabets in Stateless Deterministic
             Pushdown Automata},
  journal = {International Journal of Foundations of Computer Science},
  volume  = {24},
  number  = {3},
  year    = {2014},
  pages   = {319-328},
  doi     = {10.1142/S0129054113500068}
}

@incollection{KSH2014,
  author    = {Markus Kr{\"{o}}tzsch and Franti{\v{s}}ek Siman{\v{c}}{\'{\i}}k
               and Ian Horrocks},
  title     = {A Description Logic Primer},
  editor    = {Jens Lehmann and Johanna V{\"{o}}lker},
  booktitle = {Perspectives on Ontology Learning},
  publisher = {IOS Press},
  year      = {2014}
}

@inproceedings{CKRH2014,
  author    = {David Carral and Adila Krisnadhi and Sebastian Rudolph and Pascal
               Hitzler},
  title     = {All But Not Nothing: Left-Hand Side Universals for Tractable
               {OWL} Profiles},
  editor    = {Maria Keet and Valentina Tamma},
  booktitle = {Proceedings of the 11th International Workshop on {OWL:}
               Experiences and Directions (OWLED 2014) co-located with 13th
               International Semantic Web Conference on {(ISWC} 2014), Riva del
               Garda, Italy.},
  series    = {CEUR Workshop Proceedings},
  volume    = {1265},
  publisher = {CEUR-WS.org},
  year      = {2014},
  month     = {October},
  pages     = {97--108}
}

@inproceedings{DBLP:conf/synasc/GrozaDSJM14,
  author    = {Adrian Groza and
               Irina Dragoste and
               Iulia Sincai and
               Ioana Jimborean and
               Vasile Moraru},
  title     = {An Ontology Selection and Ranking System Based on the Analytic Hierarchy
               Process},
  booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September
               22-25, 2014},
  pages     = {293--300},
  year      = {2014},
  crossref  = {DBLP:conf/synasc/2014},
  url       = {http://dx.doi.org/10.1109/SYNASC.2014.47},
  doi       = {10.1109/SYNASC.2014.47},
  timestamp = {Tue, 10 May 2016 15:52:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/synasc/GrozaDSJM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{AHCLJ2014,
  author    = {Amin Abdalla and Yingjie Hu and David Carral and Naicong Li and
               Krzysztof Janowicz},
  title     = {An Ontology Design Pattern for Activity Reasoning},
  editor    = {Victor de Boer and Aldo Gangemi and Krzysztof Janowicz and
               Agnieszka Lawrynowicz},
  booktitle = {Proceedings of the 5th Workshop on Ontology and Semantic Web
               Patterns (WOP2014) co-located with the 13th International
               Semantic Web Conference (ISWC 2014), Riva del Garda, Italy.},
  series    = {CEUR Workshop Proceedings},
  volume    = {1302},
  publisher = {CEUR-WS.org},
  year      = {2014},
  month     = {October},
  pages     = {78--81}
}

@inproceedings{CFACHH2014,
  author    = {David Carral and Cristina Feier and Ana Armas-Romero and Bernardo
               Cuenca-Grau and Pascal Hitzler and Ian Horrocks},
  title     = {Is Your Ontology as Hard as You Think? Rewriting Ontologies into
               Simpler {DLs}},
  editor    = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and
               Mantas Simkus},
  booktitle = {Informal Proceedings of the 27th International Workshop on
               Description Logics, Vienna, Austria.},
  series    = {CEUR Workshop Proceedings},
  volume    = {1193},
  publisher = {CEUR-WS.org},
  year      = {2014},
  month     = {July},
  pages     = {128--140}
}

@inproceedings{CMKWT2014,
  author    = {Long Cheng and Avinash Malik and Spyros Kotoulas and Tomas E.
               Ward and Georgios Theodoropoulos},
  title     = {Efficient Parallel Dictionary Encoding for {RDF} Data},
  booktitle = {Proc. 17th International Workshop on the Web and Databases
               (WebDB'14)},
  year      = {2014},
  month     = {June}
}

@inproceedings{BKPR2014,
  author    = {Stefan Bischof and Markus Kr{\"{o}}tzsch and Axel Polleres and
               Sebastian Rudolph},
  title     = {Schema-Agnostic Query Rewriting in {SPARQL} 1.1},
  editor    = {Peter Mika and Tania Tudorache and Abraham Bernstein and Chris
               Welty and Craig A. Knoblock and Denny Vrande{\v{c}}i{\'{c}} and
               Paul T. Groth and Natasha F. Noy and Krzysztof Janowicz and
               Carole A. Goble},
  booktitle = {Proc. 13th International Semantic Web Conference (ISWC'14)},
  series    = {LNCS},
  volume    = {8796},
  publisher = {Springer},
  year      = {2014},
  month     = {October},
  pages     = {584-600},
  doi       = {10.1007/978-3-319-11964-9_37}
}

@inproceedings{CFCHH2014,
  author    = {David Carral and Cristina Feier and Bernardo Cuenca-Grau and
               Pascal Hitzler and Ian Horrocks},
  title     = {EL-ifying Ontologies},
  editor    = {Stephane Demri and Deepak Kapur and Christoph Weidenbach},
  booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014,
               Vienna, Austria. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8562},
  publisher = {Springer},
  year      = {2014},
  month     = {July},
  pages     = {464--479},
  doi       = {10.1007/978-3-319-08587-6}
}

@inproceedings{CFCHH2014,
  author    = {David Carral and Cristina Feier and Bernardo Cuenca-Grau and
               Pascal Hitzler and Ian Horrocks},
  title     = {Pushing the Boundaries of Tractable Ontology Reasoning.},
  editor    = {Peter Mika and Tania Tudorache and Abraham Bernstein and Chris
               Welty and Craig A. Knoblock and Denny Vrandecic and Paul T. Groth
               and Natasha F. Noy and Krzysztof Janowicz and Carole A. Goble},
  booktitle = {The Semantic Web - {ISWC} 2014 - 13th International Semantic Web
               Conference, Riva del Garda, Italy. Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8797},
  publisher = {Springer},
  year      = {2014},
  month     = {October},
  pages     = {148--163},
  doi       = {https://doi.org/10.1007/978-3-319-11915-1_10}
}

@inproceedings{KLOW2014,
  author    = {Boris Konev and Carsten Lutz and Ana Ozaki and Frank Wolter},
  title     = {Exact Learning of Lightweight Description Logic Ontologies},
  booktitle = {Principles of Knowledge Representation and Reasoning},
  publisher = {AAAI Press},
  year      = {2014},
  month     = {July}
}

@inproceedings{CKWT2014,
  author    = {Long Cheng and Spyros Kotoulas and Tomas E. Ward and Georgios
               Theodoropoulos},
  title     = {A Two-tier Index Architecture for Fast Processing Large {RDF}
               Data over Distributed Memory},
  booktitle = {Proc. 25th {ACM} International Conference on Hypertext and Social
               Media (HT'14)},
  publisher = {ACM},
  year      = {2014},
  month     = {September},
  pages     = {300-302},
  doi       = {10.1145/2631775.2631789}
}

@inproceedings{CKWT2014,
  author    = {Long Cheng and Spyros Kotoulas and Tomas E. Ward and Georgios
               Theodoropoulos},
  title     = {Efficiently Handling Skew in Outer Joins on Distributed Systems},
  booktitle = {Proc. 14th {IEEE/ACM} International Symposium on Cluster, Cloud
               and Grid Computing (CCGrid'14)},
  publisher = {IEEE},
  year      = {2014},
  month     = {May},
  pages     = {295--304},
  doi       = {10.1109/CCGrid.2014.35}
}

@inproceedings{CM2014,
  author    = {Long Cheng and Yue Ma},
  title     = {Investigating Distributed Approaches to Efficiently Extract
               Textual Evidences for Biomedical Ontologies},
  booktitle = {Proc. 14th {IEEE} International Conference on {BioInformatics}
               and {BioEngineering} (BIBE'14)},
  publisher = {IEEE},
  year      = {2014},
  month     = {November},
  pages     = {220-225}
}

@inproceedings{TCKAW2014,
  author    = {Ilias Tachmazidis and Long Cheng and Spyros Kotoulas and Grigoris
               Antoniou and Tomas E Ward},
  title     = {Massively Parallel Reasoning under the Well-Founded Semantics
               using X10},
  booktitle = {Proc. 26th {IEEE} International Conference on Tools with
               Artificial Intelligence (ICTAI'14)},
  publisher = {IEEE},
  year      = {2014},
  month     = {November},
  pages     = {162-169}
}

@inproceedings{CKWT2014,
  author    = {Long Cheng and Spyros Kotoulas and Tomas E. Ward and Georgios
               Theodoropoulos},
  title     = {Robust and Skew-resistant Parallel Joins in Shared-nothing
               Systems},
  booktitle = {Proc. 23rd {ACM} International Conference on Information and
               Knowledge Management (CIKM'14)},
  publisher = {ACM},
  year      = {2014},
  month     = {November},
  pages     = {1399-1408},
  doi       = {10.1145/2661829.2661888}
}

@inproceedings{CKWT2014,
  author    = {Long Cheng and Spyros Kotoulas and Tomas E. Ward and Georgios
               Theodoropoulos},
  title     = {Design and Evaluation of Parallel Hashing over Large-scale Data},
  booktitle = {Proc. 21st {IEEE} International Conference on High Performance
               Computing (HiPC'14)},
  publisher = {IEEE},
  year      = {2014},
  month     = {December},
  pages     = {1-10},
  doi       = {10.1109/HiPC.2014.7116909}
}

@inproceedings{CKWT2014,
  author    = {Long Cheng and Spyros Kotoulas and Tomas E. Ward and Georgios
               Theodoropoulos},
  title     = {Robust and Efficient Large-large Table Outer Joins on Distributed
               Infrastructures},
  booktitle = {Proc. 20th International European Conference on Parallel
               Processing (Euro-Par'14)},
  publisher = {Springer},
  year      = {2014},
  month     = {August},
  pages     = {258-269},
  doi       = {10.1007/978-3-319-09873-9_22}
}

@inproceedings{CKWT2014,
  author    = {Long Cheng and Spyros Kotoulas and Tomas E. Ward and Georgios
               Theodoropoulos},
  title     = {A Fully Parallel Framework for Fast Analyzing {RDF} Data},
  booktitle = {P\&D Track of the 13th International Semantic Web Conference
               (ISWC'14)},
  publisher = {CEUR Workshop Proceedings},
  year      = {2014},
  month     = {October}
}

@inproceedings{EGKMV2014,
  author    = {Fredo Erxleben and Michael G{\"{u}}nther and Markus
               Kr{\"{o}}tzsch and Julian Mendez and Denny Vrande{\v{c}}i{\'{c}}},
  title     = {Introducing Wikidata to the Linked Data Web},
  editor    = {Peter Mika and Tania Tudorache and Abraham Bernstein and Chris
               Welty and Craig A. Knoblock and Denny Vrande{\v{c}}i{\'{c}} and
               Paul T. Groth and Natasha F. Noy and Krzysztof Janowicz and
               Carole A. Goble},
  booktitle = {Proceedings of the 13th International Semantic Web Conference
               (ISWC 2014)},
  series    = {LNCS},
  volume    = {8796},
  publisher = {Springer},
  year      = {2014},
  month     = {October},
  pages     = {50-65},
  doi       = {10.1007/978-3-319-11964-9_4}
}

@inproceedings{EP2014,
  author    = {Stefan Ellmauthaler and J{\"{o}}rg P{\"{u}}hrer},
  title     = {Asynchronous Multi-Context Systems},
  editor    = {Stefan Ellmauthaler and J{\"{o}}rg P{\"{u}}hrer},
  booktitle = {International Workshop on Reactive Concepts in Knowledge
               Representation (ReactKnow 2014)},
  year      = {2014},
  pages     = {31-38}
}

@inproceedings{BEP2014,
  author    = {Gerhard Brewka and Stefan Ellmauthaler and J{\"{o}}rg
               P{\"{u}}hrer},
  title     = {Multi-context systems for reactive reasoning in dynamic
               environments},
  editor    = {Torsten Schaub and Gerhard Friedrich and Barry {O'Sullivan}},
  booktitle = {21st European Conference on Artificial Intelligence (ECAI 2014)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {263},
  publisher = {IOS Press},
  year      = {2014},
  pages     = {159-164},
  doi       = {10.3233/978-1-61499-419-0-159}
}

@inproceedings{ES2014,
  author    = {Stefan Ellmauthaler and Hannes Strass},
  title     = {The {DIAMOND} System for Computing with Abstract Dialectical
               Frameworks},
  editor    = {Simon Parsons and Nir Oren and Chris Reed and Federico Cerutti},
  booktitle = {5th International Conference on Computational Models of Argument
               (COMMA 2014)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {266},
  publisher = {IOS Press},
  year      = {2014},
  month     = {September},
  pages     = {233-240},
  doi       = {10.3233/978-1-61499-436-7-233}
}

@inproceedings{BEP2014,
  author    = {Gerhard Brewka and Stefan Ellmauthaler and J{\"{o}}rg
               P{\"{u}}hrer},
  title     = {Mulit-context systems for reactive reasoning in dynamic
               environments},
  editor    = {Stefan Ellmauthaler and J{\"{o}}rg P{\"{u}}hrer},
  booktitle = {International Workshop on Reactive Concepts in Knowledge
               Representation (ReactKnow 2014)},
  year      = {2014},
  pages     = {23-30}
}

@inproceedings{HJM2014,
  author    = {{\v{S}}t{\v{e}}p{\'{a}}n Holub and Galina Jir{\'{a}}skov{\'{a}}
               and Tom{\'{a}}{\v{s}} Masopust},
  title     = {On Upper and Lower Bounds on the Length of Alternating Towers},
  editor    = {E. Csuhaj-Varju and M. Dietzfelbinger and Z. Esik},
  booktitle = {Mathematical Foundations of Computer Science (MFCS)},
  series    = {LNCS},
  volume    = {8634},
  publisher = {Springer},
  year      = {2014},
  pages     = {315-326},
  doi       = {10.1007/978-3-662-44522-8_27}
}

@inproceedings{KM2014,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust},
  title     = {Decentralized Supervisory Control with Communicating Supervisors
               Based on Top-Down Coordination Control},
  editor    = {F. Jabbari and A. R. Teel},
  booktitle = {Proc. of 53rd {IEEE} Conference on Decision and Control (CDC)},
  publisher = {IEEE},
  year      = {2014},
  pages     = {5149-5155}
}

@inproceedings{K2014,
  author    = {Markus Kr{\"{o}}tzsch},
  title     = {P {$\neq$} P: Why Some Reasoning Problems Are More Tractable Than
               Others},
  booktitle = {Proc. 8th International Conference on Web Reasoning and Rule
               Systems (RR'14)},
  series    = {LNCS},
  volume    = {8741},
  publisher = {Springer},
  year      = {2014},
  month     = {September},
  pages     = {1-22},
  doi       = {10.1007/978-3-319-11113-1_1}
}

@inproceedings{BKR2014,
  author    = {Pierre Bourhis and Markus Kr{\"{o}}tzsch and Sebastian Rudolph},
  title     = {How to Best Nest Regular Path Queries},
  booktitle = {Proc. 27th International Workshop on Description Logics (DL'14)},
  series    = {CEUR Workshop Proceedings},
  volume    = {1193},
  publisher = {CEUR-WS.org},
  year      = {2014},
  month     = {July},
  pages     = {404-415}
}

@inproceedings{KR2014,
  author    = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph},
  title     = {Nominal Schemas in Description Logics: Complexities Clarified},
  editor    = {Chitta Baral and Giuseppe De Giacomo and Thomas Eiter},
  booktitle = {Proc. 14th International Conference on Principles of Knowledge
               Representation and Reasoning (KR'14)},
  publisher = {AAAI Press},
  year      = {2014},
  month     = {July},
  pages     = {308-317}
}

@inproceedings{KR2014,
  author    = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph},
  title     = {Complexities of Nominal Schemas},
  booktitle = {Proc. 27th International Workshop on Description Logics (DL'14)},
  publisher = {CEUR Workshop Proceedings},
  year      = {2014},
  month     = {July},
  pages     = {270-273}
}

5 Technische Berichte

@techreport{KMS2014,
  author      = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
                 Schuppen},
  title       = {Maximally Permissive Coordination Supervisory Control - Towards
                 Necessary and Sufficient Conditions},
  institution = {arXiv.org},
  year        = {2014},
  month       = {March}
}

@techreport{KMS2014,
  author      = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
                 Schuppen},
  title       = {A Note on Relative Observability in Coordination Control},
  institution = {arXiv.org},
  year        = {2014},
  month       = {April}
}

@article{BKR14:queryContainment,
  author    = {Pierre Bourhis and Markus Kr{\"{o}}tzsch and Sebastian Rudolph},
  title     = {Query Containment for Highly Expressive Datalog Fragments},
  journal   = {CoRR},
  year      = {2014},
  volume    = {abs/1406.7801},
  url       = {http://arxiv.org/abs/1406.7801}
}

@techreport{HMT2014,
  author      = {{\v{S}}t{\v{e}}p{\'{a}}n Holub and Tom{\'{a}}{\v{s}} Masopust
                 and Micha{\"{e}}l Thomazo},
  title       = {Alternating Towers and Piecewise Testable Separators},
  institution = {arXiv.org},
  year        = {2014},
  month       = {September}
}

@techreport{MT2014,
  author      = {Tom{\'{a}}{\v{s}} Masopust and Micha{\"{e}}l Thomazo},
  title       = {On k-piecewise testability (preliminary report)},
  institution = {arXiv.org},
  year        = {2014},
  month       = {December}
}

2013

25 Publikationen

@article{VSKBCH2013,
  author    = {Emanuele Della Valle and Stefan Schlobach and Markus
               Kr{\"{o}}tzsch and Alessandro Bozzon and Stefano Ceri and Ian
               Horrocks},
  title     = {Order matters! Harnessing a world of orderings for reasoning over
               massive data},
  journal   = {Semantic Web},
  volume    = {4},
  number    = {2},
  publisher = {IOS Press},
  year      = {2013},
  pages     = {219-231},
  doi       = {10.3233/SW-2012-0085}
}

@article{GHKKMMW2013,
  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. Artif. Intell. Res. (JAIR)},
  volume    = {47},
  publisher = {AI Access Foundation},
  year      = {2013},
  pages     = {741-808},
  doi       = {10.1613/jair.3949}
}

@article{KRH2013,
  author    = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph and Pascal Hitzler},
  title     = {Complexities of Horn Description Logics},
  journal   = {ACM Trans. Comput. Log.},
  volume    = {14},
  number    = {1},
  publisher = {ACM},
  year      = {2013},
  pages     = {2},
  doi       = {10.1145/2422085.2422087}
}

@incollection{KMS2013,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {Supervisory Control of Distributed Discrete-Event Systems},
  editor    = {C. Seatzu and M. Silva and {J.H.} van Schuppen},
  booktitle = {Control of Discrete-event Systems},
  series    = {Lecture Notes in Control and Information Sciences},
  volume    = {433},
  publisher = {Springer},
  year      = {2013},
  pages     = {107-126},
  doi       = {10.1007/978-1-4471-4276-8_6}
}

@incollection{MS2013,
  author    = {Tom{\'{a}}{\v{s}} Masopust and Jan H. van Schuppen},
  title     = {Supervisory Control with Complete Observations},
  editor    = {C. Seatzu and M. Silva and {J.H.} van Schuppen},
  booktitle = {Control of Discrete-event Systems},
  series    = {Lecture Notes in Control and Information Sciences},
  volume    = {433},
  publisher = {Springer},
  year      = {2013},
  pages     = {45-64},
  doi       = {10.1007/978-1-4471-4276-8_3}
}

@incollection{KMS2013,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {Coordination Control of Distributed Discrete-Event Systems},
  editor    = {C. Seatzu and M. Silva and {J.H.} van Schuppen},
  booktitle = {Control of Discrete-event Systems},
  series    = {Lecture Notes in Control and Information Sciences},
  volume    = {433},
  publisher = {Springer},
  year      = {2013},
  pages     = {147-167},
  doi       = {10.1007/978-1-4471-4276-8_8}
}

@incollection{HM2013,
  author    = {Stefan Haar and Tom{\'{a}}{\v{s}} Masopust},
  title     = {Languages, Decidability, and Complexity},
  editor    = {C. Seatzu and M. Silva and {J.H.} van Schuppen},
  booktitle = {Control of Discrete-event Systems},
  series    = {Lecture Notes in Control and Information Sciences},
  volume    = {433},
  publisher = {Springer},
  year      = {2013},
  pages     = {23-43},
  doi       = {10.1007/978-1-4471-4276-8_2}
}

@inproceedings{CSJVKH2013,
  author    = {David Carral and Simon Scheider and Krzysztof Janowicz and
               Charles Vardeman and Adila Krisnadhi and Pascal Hitzler},
  title     = {An Ontology Design Pattern for Cartographic Map Scaling},
  editor    = {Philipp Cimiano and {\'{O}}scar Corcho and Valentina Presutti and
               Laura Hollink and Sebastian Rudolph},
  booktitle = {The Semantic Web: Semantics and Big Data, 10th International
               Conference, {ESWC} 2013, Montpellier, France. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7882},
  publisher = {Springer},
  year      = {2013},
  month     = {May},
  pages     = {76--93},
  doi       = {10.1007/978-3-642-38288-8_6}
}

@inproceedings{HJCSKBHDK2013,
  author    = {Yingjie Hu and Krzysztof Janowicz and David Carral and Simon
               Scheider and Werner Kuhn and Gary Berg-Cross and Pascal Hitzler
               and Mike Dean and Dave Kolas},
  title     = {A Geo-ontology Design Pattern for Semantic Trajectories},
  editor    = {Thora Tenbrink and John G. Stell and Antony Galton and Zena Wood},
  booktitle = {Spatial Information Theory - 11th International Conference,
               {COSIT} 2013, Scarborough, {UK,} . Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8116},
  publisher = {Springer},
  year      = {2013},
  month     = {September},
  pages     = {438-456},
  doi       = {10.1007/978-3-319-01790-7_24}
}

@inproceedings{WCH2013,
  author    = {Cong Wang and David Carral and Pascal Hitzler},
  title     = {SROIQ Syntax Approximation by Using Nominal Schemas},
  editor    = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus
               Kr{\"{o}}tzsch},
  booktitle = {Informal Proceedings of the 26th International Workshop on
               Description Logics, Ulm, Germany.},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1014},
  publisher = {CEUR-WS.org},
  year      = {2013},
  month     = {July},
  pages     = {988--999}
}

@inproceedings{CWH2013,
  author    = {David Carral and Cong Wang and Pascal Hitzler},
  title     = {Towards an Efficient Algorithm to Reason over Description Logics
               Extended with Nominal Schemas},
  editor    = {Wolfgang Faber and Domenico Lembo},
  booktitle = {Web Reasoning and Rule Systems - 7th International Conference,
               {RR} 2013, Mannheim, Germany. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7994},
  publisher = {Springer},
  year      = {2013},
  month     = {July},
  pages     = {65--79},
  doi       = {10.1007/978-3-642-39666-3}
}

@inproceedings{CKWT2013,
  author    = {Long Cheng and Spyros Kotoulas and Tomas E. Ward and Georgios
               Theodoropoulos},
  title     = {QbDJ: A Novel Framework for Handling Skew in Parallel Join
               Processing on Distributed Memory},
  booktitle = {Proc. 15th {IEEE} International Conference on High Performance
               Computing and Communications (HPCC'13)},
  publisher = {IEEE},
  year      = {2013},
  month     = {November},
  pages     = {1519-1527},
  doi       = {10.1109/HPCC.and.EUC.2013.214}
}

@inproceedings{MKH2013,
  author    = {Despoina Magka and Markus Kr{\"{o}}tzsch and Ian Horrocks},
  title     = {Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological
               Modelling},
  booktitle = {Proc. 26th International Workshop on Description Logics (DL'13)},
  publisher = {CEUR Workshop Proceedings},
  year      = {2013},
  month     = {July},
  pages     = {390-402}
}

@inproceedings{KMH2013,
  author    = {Markus Kr{\"{o}}tzsch and Despoina Magka and Ian Horrocks},
  title     = {Concrete Results on Abstract Rules},
  booktitle = {Proc. 12th International Conference on Logic Programming and
               Nonmonotonic Reasoning (LPNMR'13)},
  publisher = {Springer},
  year      = {2013},
  month     = {September},
  pages     = {414-426},
  doi       = {10.1007/978-3-642-40564-8_41}
}

@inproceedings{MKH2013,
  author    = {Despoina Magka and Markus Kr{\"{o}}tzsch and Ian Horrocks},
  title     = {Computing Stable Models for Nonmonotonic Existential Rules},
  booktitle = {Proc. 23rd International Joint Conference on Artificial
               Intelligence (IJCAI'13)},
  publisher = {AAAI Press},
  year      = {2013},
  month     = {August},
  pages     = {1031-1038}
}

@inproceedings{E2013,
  author    = {Stefan Ellmauthaler},
  title     = {Generalizing multi-context systems for reactive stream reasoning
               applications},
  editor    = {Andrew V. Jones and Nicholas Ng},
  booktitle = {Proceedings of the 2013 Imperial College Computing Student
               Workshop (ICCSW 2013)},
  series    = {OpenAccess Series in Informatics (OASIcs)},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2013},
  pages     = {17-24},
  doi       = {10.4230/OASIcs.ICCSW.2013.19}
}

@inproceedings{BESWW2013,
  author    = {Gerhard Brewka and Stefan Ellmauthaler and Hannes Strass and
               Johannes Peter Wallner and Stefan Woltran},
  title     = {Abstract Dialectical Frameworks Revisited},
  editor    = {Francesca Rossi},
  booktitle = {Proceedings of the 23rd International Joint Conference on
               Artificial Intelligence (IJCAI 2013)},
  publisher = {IJCAI/AAAI},
  year      = {2013},
  month     = {August}
}

@inproceedings{ES2013,
  author    = {Stefan Ellmauthaler and Hannes Strass},
  title     = {The {DIAMOND} system for argumentation: Preliminary report},
  editor    = {Michael Fink and Yuliya Lierler},
  booktitle = {Proceedings of the 6th International Workshop on Answer Set
               Programming and Other Computing Paradigms (ASPOCP 2013)},
  publisher = {CoRR},
  year      = {2013},
  month     = {September},
  doi       = {10.48550/arXiv.1312.6140}
}

@inproceedings{JM2013,
  author    = {Galina Jir{\'{a}}skov{\'{a}} and Tom{\'{a}}{\v{s}} Masopust},
  title     = {On the State Complexity of the Reverse of R- and J-Trivial
               Regular Languages},
  editor    = {H. Jurgensen and R. Reis},
  booktitle = {Proc. of 15th International Workshop on Descriptional Complexity
               of Formal Systems (DCFS)},
  series    = {LNCS},
  volume    = {8031},
  publisher = {Springer},
  year      = {2013},
  pages     = {136-147},
  doi       = {10.1007/978-3-642-39310-5_14}
}

@inproceedings{KMS2013,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {Multilevel coordination control of modular {DES}},
  booktitle = {Proc. of 52nd Annual Conference on Decision and Control (CDC)},
  publisher = {IEEE},
  year      = {2013},
  pages     = {6323-6328},
  doi       = {10.1109/CDC.2013.6760889}
}

@inproceedings{KM2013,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust},
  title     = {A bridge between decentralized and coordination control},
  booktitle = {Proc. of 51st Annual Allerton Conference on Communication,
               Control, and Computing (Allerton)},
  publisher = {IEEE},
  year      = {2013},
  pages     = {966-972},
  doi       = {10.1109/Allerton.2013.6736630}
}

@inproceedings{RK2013,
  author    = {Sebastian Rudolph and Markus Kr{\"{o}}tzsch},
  title     = {Flag \& Check: Data Access with Monadically Defined Queries},
  booktitle = {Proc. 32nd Symposium on Principles of Database Systems (PODS'13)},
  publisher = {ACM},
  year      = {2013},
  month     = {June},
  pages     = {151-162},
  doi       = {10.1145/2463664.2465227}
}

@inproceedings{CMM2013,
  author    = {Wojciech Czerwi{\'{n}}ski and Wim Martens and Tom{\'{a}}{\v{s}}
               Masopust},
  title     = {Efficient Separability of Regular Languages by Subsequences and
               Suffixes},
  editor    = {F. V. Fomin and R. Freivalds and M. Kwiatkowska and D. Peleg},
  booktitle = {Proc. of 40th International Colloquium on Automata, Languages,
               and Programming (ICALP)},
  series    = {LNCS},
  volume    = {7966},
  publisher = {Springer},
  year      = {2013},
  pages     = {150-161},
  doi       = {10.1007/978-3-642-39212-2_16}
}

@proceedings{EGKK:DL2013,
  editor    = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus
               Kr{\"{o}}tzsch},
  title     = {Informal Proceedings of the 26th International Workshop on
               Description Logics, Ulm, Germany, July 23 - 26, 201},
  series    = {CEUR Workshop Proceedings},
  volume    = {1014},
  publisher = {CEUR-WS.org},
  year      = {2013}
}

@proceedings{CVKS:OrdRing2013,
  editor    = {Irene Celino and Emanuele Della Valle and Markus Kr{\"{o}}tzsch
               and Stefan Schlobach},
  title     = {Proceedings of the 2nd International Workshop on Ordering and
               Reasoning, {OrdRing} 2013},
  series    = {CEUR Workshop Proceedings},
  volume    = {1059},
  publisher = {CEUR-WS.org},
  year      = {2013}
}