Publications of Rafael Peñaloza Nyssen

Journal Articles

Norbert Manthey, Rafael Peñaloza Nyssen, Sebastian Rudolph
SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT
Künstliche Intelligenz, 34(3):389-394, 2020
Details Download

Franz Baader, Stefan Borgwardt, Rafael Peñaloza
Decidability and Complexity of Fuzzy Description Logics
Künstliche Intelligenz, 31(1):85–90, 2017
Details Download

Stefan Borgwardt, Rafael Peñaloza
Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics
International Journal of Approximate Reasoning, 83:60–101, 2017
Details Download

İsmail İlkan Ceylan, Rafael Peñaloza Nyssen
The Bayesian Ontology Language BEL
Journal of Automated Reasoning, 58(1):67--95, 2017
Details Download

Stefan Borgwardt, Rafael Peñaloza
Reasoning in fuzzy description logics using automata
Fuzzy Sets and Systems, 298:22–43, 2016
Details Download

Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Journal on Data Semantics, 5(2):55–75, 2016
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

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Similarity-based Relaxed Instance Queries
Journal of Applied Logic, to appear
Details Download

Daniel Borchmann, Rafael Peñaloza, Wenqian Wang
Classifying Software Bug Reports Using Methods from Formal Concept Analysis
Studia Universitatis Babeş-Bolyai Informatica, 59:10-27, June 2014
Details Download

Stefan Borgwardt, Rafael Peñaloza
Consistency Reasoning in Lattice-Based Fuzzy Description Logics
International Journal of Approximate Reasoning, 55(9):1917-1938, 2014
Details Download

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities
International Journal of Approximate Reasoning, 55(9):1939-1970, 2014
Details Download

Karsten Lehmann, Rafael Peñaloza
The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees
Theoretical Computer Science, 534:53-68, May 2014
Details Download

Mario Alviano, Rafael Peñaloza
Fuzzy Answer Sets Approximations
Theory and Practice of Logic Programming, 13(4--5):753-767, 2013
Details Download

Stefan Borgwardt, Rafael Peñaloza
The Complexity of Lattice-Based Fuzzy Description Logics
Journal on Data Semantics, 2(1):1-19, 2013
Details Download

Franz Baader, Martin Knechtel, Rafael Peñaloza
Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies
Journal of Web Semantics, 12--13:22-40, 2012
Details Download

Franz Baader, Rafael Peñaloza
Axiom Pinpointing in General Tableaux
Journal of Logic and Computation, 20(1):5-34, 2010
Details Download

Franz Baader, Rafael Peñaloza
Automata-based Axiom Pinpointing
Journal of Automated Reasoning, 45(2):91-129, August 2010
Details Download

Franz Baader, Jan Hladik, Rafael Peñaloza
Automata Can Show PSPACE Results for Description Logics
Information and Computation, Special Issue: First International Conference on Language and Automata Theory and Applications (LATA'07), 206(9--10):1045-1056, 2008
Details Download

Proceedings Articles

İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza, Oana Tifrea-Marciuska
Query Answering in Ontologies under Preference Rankings
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download

Stefan Borgwardt, Rafael Peñaloza
Reasoning in Expressive Gödel Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577 of CEUR Workshop Proceedings, 2016
Details Download

İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza Nyssen
Complexity Results for Probabilistic Datalog+/-
In Maria S. Fox, Gal A. Kaminka, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 1414–1422, 2016. IOS Press
Details Download

Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
Efficient Axiom Pinpointing in EL using SAT Technology
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. 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, 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

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

İ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, 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

İ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, Rafael Peñaloza
Dynamic Bayesian Ontology Languages
Fifth International Workshop on Statistical Relational AI, volume abs/1506.08030, 2015. CoRR
Details Download

Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
Gödel FL_0 with Greatest Fixed-Point Semantics
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 71-82, 2014
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Decidable Gödel description logics without the finitely-valued model property
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 228-237, 2014. AAAI Press
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Description Logics with General Models
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 391-403, 2014
Details Download

Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Many-Valued Horn Logic is Hard
In Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan, eds., Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV'14), volume 1205 of CEUR Workshop Proceedings, 52-58, 2014
Details Download

Stefan Borgwardt, Rafael Peñaloza
Finite Lattices Do Not Make Reasoning in ALCOI Harder
In 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, eds., Uncertainty Reasoning for the Semantic Web III, volume 8816 of LNCS, 122-141, 2014. Springer
Details Download

Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
The Fuzzy Description Logic G-FL_0 with Greatest Fixed-Point Semantics
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14), volume 8761 of Lecture Notes in Artificial Intelligence, 62-76, 2014. Springer
Details Download

İsmail İlkan Ceylan, Rafael Peñaloza
Reasoning in the Description Logic BEL using Bayesian Networks
In Guy Van den Broeck and Kristian Kersting and Sriraam Natarajan and David Poole, eds., Proceedings of the 4th International Workshop on Statistical Relational AI (starAI 2014), volume WS-14-13 of AAAI Workshops, 2014. AAAI Press
Details Download

İsmail İlkan Ceylan, Rafael Peñaloza
Tight Complexity Bounds for Reasoning in the Description Logic BEL
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), volume 8761 of Lecture Notes in Computer Science, 77-91, 2014. Springer
Details Download

İsmail İlkan Ceylan, Rafael Peñaloza
The Bayesian Description Logic BEL
In Stephane Demri and Deepak Kapur and Christoph Weidenbach, eds., Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), volume 8562 of Lecture Notes in Computer Science, 480-494, 2014. Springer
Details Download

İsmail İlkan Ceylan, Rafael Peñaloza
Bayesian Description Logics
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL 2014), volume 1193 of CEUR Workshop Proceedings, 447-458, 2014. CEUR-WS
Details Download

Chiara Del Vescovo, Rafael Peñaloza
DeaLing with Ontologies using CODs
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 157-168, 2014
Details Download

Stathis Delivorias, Haralampos Hatzikirou, Rafael Penaloza, Dirk Walther
Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics
Proceedings of the 11th edition of Cellular Automata for Research and Industry (ACRI 2014), Lecture Notes in Computer Science, 2014. Springer
Details Download

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Instance Queries Relaxed by Concept Similarity
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 248-257, 2014. AAAI Press
Details Download

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Mary, What's Like All Cats?
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 526-529, 2014
Details Download

Michel Ludwig, Rafael Peñaloza
Brave and Cautious Reasoning in EL
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 274-286, 2014
Details Download

Michel Ludwig, Rafael Peñaloza
Error-Tolerant Reasoning in the Description Logic EL
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14), volume 8761 of Lecture Notes in Artificial Intelligence, 107-121, 2014. Springer
Details Download

Yue Ma, Rafael Peñaloza
Towards Parallel Repair: An Ontology Decomposition-based Approach
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 633-645, 2014
Details Download

Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics
In Roman Kontchakov and Marie-Laure Mugnier, eds., Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR 2014), volume 8741, 124-139, 2014. Springer
Details Download

Dorian Merz, Rafael Peñaloza, Anni-Yasmin Turhan
Reasoning in ALC with Fuzzy Concrete Domains
In Carsten Lutz and Michael Thielscher, eds., Proceedings of 37th edition of the German Conference on Artificial Intelligence (KI'14), volume 8736 of Lecture Notes in Artificial Intelligence, 171-182, 2014. Springer
Details Download

Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Certain Answers in a Rough World
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 709-712, 2014
Details Download

Rafael Peñaloza
Automata-based Reasoning in Fuzzy Description Logics
In Tommaso Flaminio and Lluis Godo and Siegfried Gottlob and Erich Peter Klement, eds., Proceedings of the 35th Linz Seminar on Fuzzy Set Theory, 106-106, 2014
Details Download

Rafael Peñaloza, Aparna Saisree Thuluva
COBRA, a Demo
In C. Maria Keet and Valentina Tamma, eds., Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014), volume 1265 of CEUR Workshop Proceedings, 2014
Details Download

Stefan Borgwardt, Rafael Peñaloza
Positive Subsumption in Fuzzy EL with General t-norms
In Francesca Rossi, eds., Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 789-795, 2013. AAAI Press
Details Download

Stefan Borgwardt, Rafael Peñaloza
About Subsumption in Fuzzy EL
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 2013 International Workshop on Description Logics (DL'13), volume 1014 of CEUR-WS, 526-538, 2013
Details Download

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Computing Role-depth Bounded Generalizations in the Description Logic ELOR
In Ingo J. Timm and Matthias Thimm, eds., Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013), volume 8077 of Lecture Notes in Artificial Intelligence, 49-60, 2013. Springer
Details Download

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Towards Instance Query Answering for Concepts Relaxed by Similarity Measures
Workshop on Weighted Logics for AI (in conjunction with IJCAI'13), 2013
Details Download

Rafael Peñaloza, Tingting Zou
Roughening the EL Envelope
In P. Fontaine and C. Ringeissen and R. A. Schmidt, eds., Proceedings of the 2013 International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 71-86, 2013. Springer
Details Download

Rafael Peñaloza, Tingting Zou
Rough EL Classification
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 2013 International Workshop on Description Logics (DL'13), volume 1014 of CEUR-WS, 415-427, 2013
Details Download

Rafael Peñaloza, Anni-Yasmin Turhan
Instance-based Non-standard Inferences in EL with Subjective Probabilities
In 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, eds., Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers, Lecture Notes in Computer Science, 80-98, 2013. Springer
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Negation Makes Unwitnessed Consistency Crisp
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 103-113, 2012
Details Download

Stefan Borgwardt, Rafael Peñaloza
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices
In Markus Krötzsch and Umberto Straccia, eds., Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), volume 7497 of Lecture Notes in Computer Science, 9-24, 2012. Springer
Details Download

Stefan Borgwardt, Rafael Peñaloza
Undecidability of Fuzzy Description Logics
In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), 232-242, 2012. AAAI Press
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
How Fuzzy is my Fuzzy Description Logic?
In Bernhard Gramlich and Dale Miller and Ulrike Sattler, eds., Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 82-96, 2012. Springer
Details Download

Weili Fu, Rafael Peñaloza
Adding Context to Tableaux for DLs
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 2012
Details Download

Karsten Lehmann, Rafael Peñaloza
The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices
In Heiko Vogler and Manfred Droste, eds., Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications (WATA'12), 2012
Details Download

Franz Baader, Rafael Peñaloza
Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?
Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011), 1735-1742, 2011. IEEE Press
Details Download

Franz Baader, Rafael Peñaloza
On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm
In Cesare Tinelli and Viorica Sofronie-Stokkermans, eds., Proceedings of 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), volume 6989 of Lecture Notes in Aritificial Intelligence, 55-70, 2011. Springer
Details Download

Franz Baader, Rafael Peñaloza
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, 2011
Details Download

Stefan Borgwardt, Rafael Peñaloza
Fuzzy Ontologies over Lattices with T-norms
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, 70-80, 2011. CEUR-WS.org
Details Download

Stefan Borgwardt, Rafael Peñaloza
The Inclusion Problem for Weighted Automata on Infinite Trees
In Pál Dömösi and Szabolcs Iván, eds., Proceedings of the 13th International Conference on Automata and Formal Languages (AFL'11), 108-122, 2011. College of Nyíregyháza
Details Download

Stefan Borgwardt, Rafael Peñaloza
Finite Lattices Do Not Make Reasoning in ALCI Harder
In Fernando Bobillo et.al., eds., Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW'11), volume 778 of CEUR-WS, 51-62, 2011
Details Download

Stefan Borgwardt, Rafael Peñaloza
Description Logics over Lattices with Multi-valued Ontologies
In Toby Walsh, eds., Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11), 768-773, 2011. AAAI Press
Details Download

Eldora, Martin Knechtel, Rafael Peñaloza
Correcting Access Restrictions to a Consequence More Flexibly
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, 2011
Details Download

Martin Knechtel, Rafael Peñaloza
A Generic Approach for Correcting Access Restrictions to a Consequence
In Lora Aroyo and Grigoris Antoniou and Eero Hyvönen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache, eds., Proceedings of the 7th Extended Semantic Web Conference (ESWC 2010), volume 6088 of Lecture Notes in Computer Science, 167-182, 2010
Details Download

Martin Knechtel, Rafael Peñaloza
Correcting Access Restrictions to a Consequence
In Volker Haarslev and David Toman and Grant Weddell, eds., Proceedings of the 23rd International Workshop on Description Logics (DL 2010), volume 573 of CEUR-WS, 220-231, 2010
Details Download

Rafael Peñaloza, Anni-Yasmin Turhan
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities
In Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan, eds., Proceedings of the First International Workshop on Uncertainty in Description Logics (UniDL'10), volume 613 of CEUR-WS, 2010
Details Download

Rafael Peñaloza, Barış Sertkaya
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics
In Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski, eds., Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), 2010. AAAI Press
Details Download

Rafael Peñaloza, Barış Sertkaya
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
In Helder Coelho and Rudi Studer and Michael Wooldridge, eds., Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), volume 215 of Frontiers in Artificial Intelligence and Applications, 29-34, 2010. IOS Press
Details Download

Rafael Peñaloza
Using Sums-of-Products for Non-standard Reasoning
In A.-H. Dediu and H. Fernau and C. Martín-Vide, eds., Proceedings of the 4th International Conference on Language and Automata Theory and Applications (LATA 2010), volume 6031 of Lecture Notes in Computer Science, 488-499, 2010. Springer
Details Download

Rafael Peñaloza, Barış Sertkaya
Complexity of Axiom Pinpointing in the DL-Lite Family
In Volker Haarslev and David Toman and Grant Weddell, eds., Proceedings of the 2010 International Workshop on Description Logics (DL2010), volume 573 of CEUR-WS, 2010
Details Download

Franz Baader, Martin Knechtel, Rafael Peñaloza
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms
In Abraham Bernstein et al., eds., Proceedings of the 8th International Semantic Web Conference (ISWC 2009), volume 5823 of Lecture Notes in Computer Science, 49-64, 2009
Details Download

Rafael Peñaloza
Reasoning With Weighted Ontologies
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download

Rafael Peñaloza
Using Tableaux and Automata for Pinpointing in EL
In Valentin Goranko, eds., TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab'09), 2009
Details Download

Rafael Peñaloza, Barış Sertkaya
Axiom Pinpointing is Hard
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download

Franz Baader, Rafael Peñaloza
Automata-Based Axiom Pinpointing
In Alessandro Armando and Peter Baumgartner and Gilles Dowek, eds., Proceedings of the 4th International Joint Conference on Automated Reasoning, (IJCAR 2008), volume 5195 of Lecture Notes in Artificial Intelligence, 226-241, 2008. Springer
Details Download

Rafael Peñaloza
Automata-based Pinpointing for DLs
Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008
Details Download

Franz Baader, Rafael Peñaloza
Axiom Pinpointing in General Tableaux
In N. Olivetti, eds., Proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2007, volume 4548 of Lecture Notes in Computer Science, 11-27, 2007. Springer
Details Download

Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
Pinpointing in the Description Logic EL
Proceedings of the 30th German Conference on Artificial Intelligence (KI2007), volume 4667 of Lecture Notes in Artificial Intelligence, 52-67, 2007. Springer
Details Download

Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
Pinpointing in the Description Logic EL
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007
Details Download

Jan Hladik, Rafael Peñaloza
PSPACE Automata for Description Logics
In B. Parsia and U. Sattler and D. Toman, eds., Proceedings of the 2006 International Workshop on Description Logics (DL'06), volume 189 of {CEUR-WS}, 2006
Details Download

Edited Proceedings

Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details

Thomas Lukasiewicz, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan
Logics for Reasoning about Preferences, Uncertainty, and Vagueness
Volume 1205 of CEUR Workshop Proceedings, 2014. CEUR
Details

Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
Proceedings of the First International Workshop on Uncertainty in Description Logics
Volume 613 of CEUR, July 2010
Details

Technical Reports

Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Subsumption in Finitely Valued Fuzzy EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-06, 2015. LTCS-Report
Details Download

Norbert Manthey, Rafael Peñaloza
Exploiting SAT Technology for Axiom Pinpointing
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 15-05, 2015
Details Download

Michel Ludwig, Rafael Peñaloza
Error-Tolerant Reasoning in the Description Logic EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-11, 2014. LTCS-Report
Details Download

Yue Ma, Rafael Peñaloza
Towards Parallel Repair Using Decompositions
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-05, 2014. LTCS-Report
Details Download

Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Conjunctive Query Answering in Rough EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-04, 2014. LTCS-Report
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 13-09, 2013. LTCS-Report
Details Download

Stefan Borgwardt, Rafael Peñaloza
Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-04, 2012. LTCS-Report
Details Download

Stefan Borgwardt, Rafael Peñaloza
Undecidability of Fuzzy Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-06, 2011. LTCS-Report
Details Download

Stefan Borgwardt, Rafael Peñaloza
Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-02, 2011. LTCS-Report
Details Download

Rafael Peñaloza
Towards a Tableau Algorithm for Fuzzy ALC with Product T-norm
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-03, 2011. LTCS-Report
Details Download

Stefan Borgwardt, Rafael Peñaloza
Complementation and Inclusion of Weighted Automata on Infinite Trees
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-10-05, 2010. LTCS-Report
Details Download

Franz Baader, Martin Knechtel, Rafael Peñaloza
Computing Boundaries for Reasoning in Sub-Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-02, 2009. LTCS-Report
Details Download

Rafael Peñaloza, Barış Sertkaya
On the Complexity of Axiom Pinpointing in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-04, 2009. LTCS-Report
Details Download

Franz Baader, Rafael Peñaloza
Pinpointing in Terminating Forest Tableaux
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-08-03, 2008. LTCS-Report
Details Download

Franz Baader, Rafael Peñaloza
Blocking and Pinpointing in Forest Tableaux
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-08-02, 2008. LTCS-Report
Details Download

Franz Baader, Rafael Penaloza
Axiom Pinpointing in General Tableaux
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-07-01, 2006. LTCS-Report
Details Download

Rafael Penaloza
Pinpointing in Tableaus
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-05, 2006. LTCS-Report
Details Download

Talks and Miscellaneous

Rafael Peñaloza
Reasoning with Annotated Description Logic Ontologies
Habilitation Thesis, September 2015
Details Download