Francesco Kriegel/FIS

@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{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{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{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{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{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}
}

@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}
}

@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{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}
}

@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},
}

@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{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{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{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{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{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{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}
}

@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},
}

@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}
}

@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},
}