Francesco Kriegel/FIS

Veronika Thost, Jan Holste, Özgür Özçep
On Implementing Temporal Query Answering in DL-Lite (extended abstract)
Proceedings of the 28th International Workshop on Description Logics (DL 2015), 2015. CEUR
Details Download
Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL (extended abstract)
Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 83--87, 2015. CEUR
Details Download
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with tree constraints
In D. Lev Beklemishev, V. Daniil Musatov, eds., Proceedings of Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia (CSR 2015), 94 - 108, 2015. Springer International Publishing
Details
Daniel Borchmann
Exploring Faulty Data
In Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego, eds., Proceedings of the 13 International Conference on Formal Concept Analysis (ICFCA 2015), volume 9113 of Lecture Notes in Computer Science, 219-235, 2015. Springer
Details Download
Stefan Borgwardt, Veronika Thost
Temporal Query Answering in DL-Lite with Negation
In Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov, eds., GCAI 2015. Global Conference on Artificial Intelligence, volume 36 of EasyChair Proceedings in Computing, 51-65, 2015. EasyChair
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles
In Bernhard Pfahringer, Jochen Renz, eds., Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI'15), volume 9457 of Lecture Notes in Artificial Intelligence, 21-33, 2015. Springer
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
Probabilistic Query Answering in the Bayesian Description Logic BEL
In Christoph Beierle, Alex Dekhtyar, eds., Proceedings of 9th International Conference on Scalable Uncertainty Management (SUM 2015), volume 9310 of LNAI, 1-15, 2015. Springer
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
Dynamic Bayesian Ontology Languages
Fifth International Workshop on Statistical Relational AI, volume abs/1506.08030, 2015. CoRR
Details Download
Veronika Thost, Erik Zenker
Temporal Query Answering in a Fuzzy World
In Agata Filipowska and Ruben Verborgh and Axel Polleres, eds., Posters&Demos@SEMANTiCS 2015 and DSci15 Workshop, volume 1481 of CEUR Workshop Proceedings, 84-87, September 2015. CEUR-WS.org
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and local disunification in EL
In Maribel Fernández, eds., Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA’15), volume 36 of Leibniz International Proceedings in Informatics, 40–56, 2015. Dagstuhl Publishing
Details Download
İsmail İlkan Ceylan, Julian Mendez, Rafael Peñaloza
The Bayesian Ontology reasoner is BORN!
In Michel Dumontier, Birte Glimm, Rafael Gonçalves, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos Stamou, Giorgos Stoilos, eds., Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE 2015), volume 1387, 8-14, 2015. CEUR Workshop Proceedings
Details Download
Stefan Borgwardt, Rafael Peñaloza
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
In Carsten Lutz, Silvio Ranise, eds., Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), Lecture Notes in Artificial Intelligence, 49–65, 2015. Springer
Details Download
İsmail İlkan Ceylan
Query Answering in Bayesian Description Logics
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 2015. CEUR Workshop Proceedings
Details Download
Benjamin Zarrieß, Jens Claßen
Verification of Knowledge-Based Programs over Description Logic Actions
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3278-3284, 2015. AAAI Press
Details
İsmail İlkan Ceylan, Rafael Peñaloza
Dynamic Bayesian Description Logics
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 2015. CEUR Workshop Proceedings
Details Download
İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza
Answering EL Queries in the Presence of Preferences
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 2015. CEUR Workshop Proceedings
Details Download
Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan
Conjunctive Query Answering with Finitely Many Truth Degrees
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL'15), volume 1350, 2015. CEUR Workshop Proceedings
Details Download
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
The Complexity of Subsumption in Fuzzy EL
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2812–2818, 2015. AAAI Press
Details Download
Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2819–2825, 2015. AAAI Press
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Query Entailment in the Description Logic SHQ
Journal of Web Semantics, 33:71–93, 2015
Details Download
Franz Baader, Stefan Borgwardt, Rafael Peñaloza
On the Decidability Status of Fuzzy ALC with General Concept Inclusions
Journal of Philosophical Logic, 44(2):117-146, 2015
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions
Artificial Intelligence, 218:23-55, 2015
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporalizing Rewritable Query Languages over Knowledge Bases
Journal of Web Semantics, 33:50–70, 2015
Details Download