Publications

2024

• Sotiris Moschoyiannis and Rafael Peñaloza. Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021). In Theory Pract. Log. Program.
  BibTex  DOI 

  @article{MoPe-TPLP24,
    author       = {Sotiris Moschoyiannis and
                    Rafael Pe{\~{n}}aloza},
    title        = {Selected Papers from the 5th International Joint Conference on Rules
                    and Reasoning (RuleML+RR 2021)},
    journal      = {Theory Pract. Log. Program.},
    volume       = {24},
    number       = {2},
    pages        = {310--312},
    year         = {2024},
    url          = {https://doi.org/10.1017/s1471068424000097},
    doi          = {10.1017/S1471068424000097},
  }
  

• Mikel Robredo, Nyyti Saarimäki, Rafael Peñaloza, Davide Taibi and Valentina Lenarduzzi. Comparing Multivariate Time Series Analysis and Machine Learning Performance for Technical Debt Prediction: The SQALE Index Case. In Proceedings of the 7th ACM/IEEE International Conference on Technical Debt, TechDebt 2024
  BibTex  DOI 

  @inproceedings{RSea-TD-24,
    author       = {Mikel Robredo and
                    Nyyti Saarim{\"{a}}ki and
                    Rafael Pe{\~{n}}aloza and
                    Davide Taibi and
                    Valentina Lenarduzzi},
    editor       = {Matthias Galster and
                    Zadia Codabux and
                    Rodrigo O. Spinola},
    title        = {Comparing Multivariate Time Series Analysis and Machine Learning Performance
                    for Technical Debt Prediction: The {SQALE} Index Case},
    booktitle    = {Proceedings of the 7th {ACM/IEEE} International Conference on Technical
                    Debt, TechDebt 2024},
    pages        = {45--46},
    publisher    = {{ACM}},
    year         = {2024},
    url          = {https://doi.org/10.1145/3644384.3644472},
    doi          = {10.1145/3644384.3644472},
  }
  

• Rafael Peñaloza and Anni-Yasmin Turhan. Rough, Rougher, Roughest — Extending EL with a Hierarchy of Indiscernibility Relations. In Proceedings of the 37th International Workshop on Description Logics (DL'24)
  BibTex 

  @InProceedings{PeTu-DL24,
    author = 	 {Rafael Pe{\~n}aloza and Anni-Yasmin Turhan},
    title = 	 {Rough, Rougher, Roughest — Extending EL with a Hierarchy of Indiscernibility Relations},
    booktitle = 	 {Proceedings of the 37th International Workshop on Description Logics ({DL'24})},
    year =	 2024,
    note = {To appear},
  }
  

2023

• Piscioneri, Antonella, Morelli, Sabrina, Ritacco, Tiziana, Giocondo, Michele, Peñaloza, Rafael, Drioli, Enrico and De Bartolo, Loredana. Topographical cues of PLGA membranes modulate the behavior of hMSCs, myoblasts and neuronal cells. In Colloids and Surfaces B: Biointerfaces
  BibTex  DOI 

  @article{PMRG+23,
    author = {Piscioneri, Antonella and Morelli, Sabrina and Ritacco, Tiziana and Giocondo, Michele and Pe{\~n}aloza, Rafael and Drioli, Enrico and De Bartolo, Loredana},
    title = {Topographical cues of {PLGA} membranes modulate the behavior of {hMSCs}, myoblasts and neuronal cells},
    year = {2023},
    volume = {222},
    doi = {10.1016/j.colsurfb.2022.113070},
    journal = {Colloids and Surfaces B: Biointerfaces},	
    pages = {113070},
  }
  

• Gabriella Pasi and Rafael Peñaloza. Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. In Theory and Practice of Logic Programming
  BibTex  PDF 

  @article{PaPe-TPLP22,
    title={Answering Fuzzy Queries over Fuzzy {DL-Lite} Ontologies}, 
    DOI={10.1017/S1471068421000569}, 
    journal={Theory and Practice of Logic Programming}, 
    publisher={Cambridge University Press}, 
    author={Gabriella Pasi and Rafael Pe{\~{n}}aloza}, 
    year={2023}, 
    pages={594--623},
    volume = 23,
    number = 3,
  }
  

• Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza and Ramon Fraga Pereira. Plan Recognition as Probabilistic Trace Alignment. In 5th International Conference on Process Mining, ICPM 2023
  BibTex  DOI 

  @inproceedings{KMea-ICPM-23,
    author       = {Jonghyeon Ko and
                    Fabrizio Maria Maggi and
                    Marco Montali and
                    Rafael Pe{\~{n}}aloza and
                    Ramon Fraga Pereira},
    title        = {Plan Recognition as Probabilistic Trace Alignment},
    booktitle    = {5th International Conference on Process Mining, {ICPM} 2023},
    pages        = {33--40},
    publisher    = {{IEEE}},
    year         = {2023},
    url          = {https://doi.org/10.1109/ICPM60904.2023.10271943},
    doi          = {10.1109/ICPM60904.2023.10271943},
  }
  

• Rafael Peñaloza and Zuzana Pinkosova. Walk Me to the Moon: Representing Image Schemas with Abstract Time Measures. In Proceedings of The Seventh Image Schema Day
  BibTex 

  @inproceedings{PePi-ISD-23,
    author       = {Rafael Pe{\~{n}}aloza and
                    Zuzana Pinkosova},
    editor       = {Maria M. Hedblom and
                    Oliver Kutz},
    title        = {Walk Me to the Moon: Representing Image Schemas with Abstract Time
                    Measures},
    booktitle    = {Proceedings of The Seventh Image Schema Day},
    series       = {{CEUR} Workshop Proceedings},
    volume       = {3511},
    publisher    = {CEUR-WS.org},
    year         = {2023},
    url          = {https://ceur-ws.org/Vol-3511/paper\_06.pdf},
  }
  

• Rafael Peñaloza. Semiring Provenance in Expressive Description Logics. In Proceedings of the 36th International Workshop on Description Logics (DL 2023)
  BibTex 

  @inproceedings{Pena-23,
    author       = {Rafael Pe{\~{n}}aloza},
    editor       = {Oliver Kutz and
                    Carsten Lutz and
                    Ana Ozaki},
    title        = {Semiring Provenance in Expressive Description Logics},
    booktitle    = {Proceedings of the 36th International Workshop on Description Logics
                    {(DL} 2023) },
    series       = {{CEUR} Workshop Proceedings},
    volume       = {3515},
    publisher    = {CEUR-WS.org},
    year         = {2023},
    url          = {https://ceur-ws.org/Vol-3515/paper-19.pdf},
  }
  

• Simone Melzi, Rafael Peñaloza, Alessandro Raganato. Does Stable Diffusion Dream of Electric Sheep. In Proceedings of The Seventh Image Schema Day
  BibTex 

  @inproceedings{MePR-ISD-23,
    author       = {Simone Melzi and
                    Rafael Pe{\~{n}}aloza and
                    Alessandro Raganato},
    editor       = {Maria M. Hedblom and
                    Oliver Kutz},
    title        = {Does Stable Diffusion Dream of Electric Sheep},
    booktitle    = {Proceedings of The Seventh Image Schema Day},
    series       = {{CEUR} Workshop Proceedings},
    volume       = {3511},
    publisher    = {CEUR-WS.org},
    year         = {2023},
    url          = {https://ceur-ws.org/Vol-3511/paper\_09.pdf},
  }
  

• Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza and Francesco Ricca. ASP-based Axiom Pinpointing for Description Logics. In Proceedings of the 36th International Workshop on Description Logics (DL 2023)
  BibTex 

  @inproceedings{HMPR23,
    author       = {Ignacio Huitzil and
                    Giuseppe Mazzotta and
                    Rafael Pe{\~{n}}aloza and
                    Francesco Ricca},
    editor       = {Oliver Kutz and
                    Carsten Lutz and
                    Ana Ozaki},
    title        = {ASP-based Axiom Pinpointing for Description Logics},
    booktitle    = {Proceedings of the 36th International Workshop on Description Logics
                    {(DL} 2023)},
    series       = {{CEUR} Workshop Proceedings},
    volume       = {3515},
    publisher    = {CEUR-WS.org},
    year         = {2023},
    url          = {https://ceur-ws.org/Vol-3515/paper-14.pdf},
  }
  

2022

• Steven Schockaert and Rafael Peñaloza. Highlights of AI Research in Europe. In AI Commun.
  BibTex  DOI 

  @article{ScPe-AIC22,
    author    = {Steven Schockaert and
                 Rafael Pe{\~{n}}aloza},
    title     = {Highlights of {AI} Research in Europe},
    journal   = {{AI} Commun.},
    volume    = {35},
    number    = {2},
    pages     = {45},
    year      = {2022},
    url       = {https://doi.org/10.3233/AIC-229002},
    doi       = {10.3233/AIC-229002},
  }
  

• Anti Alman, Fabrizio Maria Maggi, Marco Montali and Rafael Peñaloza. Probabilistic declarative process mining. In Information Systems
  BibTex  DOI  PDF 

  @article{AMMP-IS22,
    author    = {Anti Alman and
                 Fabrizio Maria Maggi and
                 Marco Montali and
                 Rafael Pe{\~{n}}aloza},
    title     = {Probabilistic declarative process mining},
    journal   = {Information Systems},
    volume    = {109},
    pages     = {102033},
    year      = {2022},
    url       = {https://doi.org/10.1016/j.is.2022.102033},
    doi       = {10.1016/j.is.2022.102033},
  }
  

• Nyyti Saarimäki, Sergio Moreschini, Francesco Lomio, Rafael Peñaloza and Valentina Lenarduzzi. Towards a Robust Approach to Analyze Time-Dependent Data in Software Engineering. In Proceedings of the IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022
  BibTex  DOI 

  @inproceedings{SMLPL-SAER22,
    author    = {Nyyti Saarim{\"{a}}ki and
                 Sergio Moreschini and
                 Francesco Lomio and
                 Rafael Pe{\~{n}}aloza and
                 Valentina Lenarduzzi},
    title     = {Towards a Robust Approach to Analyze Time-Dependent Data in Software
                 Engineering},
    booktitle = {Proceedings of the {IEEE} International Conference on Software Analysis, Evolution and
                 Reengineering, {SANER} 2022},
    pages     = {36--40},
    publisher = {{IEEE}},
    year      = {2022},
    url       = {https://doi.org/10.1109/SANER53432.2022.00015},
    doi       = {10.1109/SANER53432.2022.00015},
  }
  

• Rafael Peñaloza and Francesco Ricca. Pinpointing Axioms in Ontologies via ASP. In Proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022
  BibTex  DOI  PDF 

  @inproceedings{PeRi-LPMR22,
    author    = {Rafael Pe{\~{n}}aloza and
                 Francesco Ricca},
    editor    = {Georg Gottlob and
                 Daniela Inclezan and
                 Marco Maratea},
    title     = {Pinpointing Axioms in Ontologies via {ASP}},
    booktitle = {Proceedings of the 16th International Conference on 
  	Logic Programming and Nonmonotonic Reasoning, {LPNMR} 2022},
    series    = {Lecture Notes in Computer Science},
    volume    = {13416},
    pages     = {315--321},
    publisher = {Springer},
    year      = {2022},
    url       = {https://doi.org/10.1007/978-3-031-15707-3\_24},
    doi       = {10.1007/978-3-031-15707-3\_24},
  }
  

• Jieying Chen, Yue Ma, Rafael Peñaloza and Hui Yang. Union and Intersection of All Justifications. In Proceedings of the 19th International ESWC Conference, ESWC 2022
  BibTex  DOI 

  @inproceedings{CMPY-ESWC22,
    author    = {Jieying Chen and
                 Yue Ma and
                 Rafael Pe{\~{n}}aloza and
                 Hui Yang},
    editor    = {Paul Groth and
                 Maria{-}Esther Vidal and
                 Fabian M. Suchanek and
                 Pedro A. Szekely and
                 Pavan Kapanipathi and
                 Catia Pesquita and
                 Hala Skaf{-}Molli and
                 Minna Tamper},
    title     = {Union and Intersection of All Justifications},
    booktitle = {Proceedings of the 19th International ESWC Conference, {ESWC} 2022},
    series    = {Lecture Notes in Computer Science},
    volume    = {13261},
    pages     = {56--73},
    publisher = {Springer},
    year      = {2022},
    url       = {https://doi.org/10.1007/978-3-031-06981-9\_4},
    doi       = {10.1007/978-3-031-06981-9\_4},
  }
  

• Rafael Peñaloza and Anni-Yasmin Turhan. User-aware Explications of Ontology Consequences: Levelling Technicality. In Proceedings of the 8th Workshop on Formal and Cognitive Reasoning
  BibTex  PDF 

  @inproceedings{PeTu-FCR22,
    author    = {Rafael Pe{\~{n}}aloza and
                 Anni{-}Yasmin Turhan},
    editor    = {Christoph Beierle and
                 Marco Ragni and
                 Frieder Stolzenburg and
                 Kai Sauerwald and
                 Matthias Thimm},
    title     = {User-aware Explications of Ontology Consequences: Levelling Technicality},
    booktitle = {Proceedings of the 8th Workshop on Formal and Cognitive Reasoning},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {3242},
    pages     = {90--101},
    publisher = {CEUR-WS.org},
    year      = {2022},
    url       = {http://ceur-ws.org/Vol-3242/paper7.pdf},
  }
  

• Tiago Prince Sales, Maria M. Hedblom, He Tan, Guendalina Righetti, Oliver Kutz, Martin Glauer, Janna Hastings, Till Mossakowski, Fabian Neuhaus, Lucía Gómez Álvarez, Rafael Peñaloza, Srdjan Vesic, Claudenir Morais Fonseca, Jona Thai, Stefano Borgo, Damion M. Dooley, Rhiannon Cameron, Lauren E. Chan, Duccio Cavalieri, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Fernanda Forea, Francesco Vitali, Bart Gajderowicz, Daniela Rosu, Aldo Gangemi, Robert Porzel, Daniel Beßler, Mihai Pomarlan, Mohammed Diab, Alberto Olivares Alarcos (eds.). Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology.
  BibTex 

  @proceedings{JOWO22,
    editor    = {Tiago Prince Sales and
                 Maria M. Hedblom and
                 He Tan and
                 Guendalina Righetti and
                 Oliver Kutz and
                 Martin Glauer and
                 Janna Hastings and
                 Till Mossakowski and
                 Fabian Neuhaus and
                 Luc{\'{\i}}a G{\'{o}}mez {\'{A}}lvarez and
                 Rafael Pe{\~{n}}aloza and
                 Srdjan Vesic and
                 Claudenir Morais Fonseca and
                 Jona Thai and
                 Stefano Borgo and
                 Damion M. Dooley and
                 Rhiannon Cameron and
                 Lauren E. Chan and
                 Duccio Cavalieri and
                 Robert Warren and
                 Hande K{\"{u}}{\c{c}}{\"{u}}k{-}McGinty and
                 Matthew Lange and
                 Fernanda Forea and
                 Francesco Vitali and
                 Bart Gajderowicz and
                 Daniela Rosu and
                 Aldo Gangemi and
                 Robert Porzel and
                 Daniel Be{\ss}ler and
                 Mihai Pomarlan and
                 Mohammed Diab and
                 Alberto Olivares Alarcos},
    title     = {Proceedings of the Joint Ontology Workshops 2022 Episode {VIII:} The
                 Svear Sommar of Ontology},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {3249},
    publisher = {CEUR-WS.org},
    year      = {2022},
    url       = {http://ceur-ws.org/Vol-3249},
    urn       = {urn:nbn:de:0074-3249-2},
  }
  

• Camille Bourgaux, Ana Ozaki and Rafael Peñaloza (eds.). Proceedings of the International Research School in Artificial Intelligence in Bergen.
  BibTex 

  @proceedings{AIB22,
    editor    = {Camille Bourgaux and
                 Ana Ozaki and
                 Rafael Pe{\~{n}}aloza},
    title     = {Proceedings of the International Research School in Artificial Intelligence in Bergen,
                 {AIB} 2022},
    series    = {OASIcs},
    volume    = {99},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    year      = {2022},
    url       = {https://www.dagstuhl.de/dagpub/978-3-95977-228-0},
    isbn      = {978-3-95977-228-0},
  }
  

2021

• Steven Schockaert and Rafael Peñaloza. Special issue on historical and future perspectives of AI. In AI Commun.
  BibTex  DOI 

  @article{ScPe-AIC21,
    author    = {Steven Schockaert and
                 Rafael Pe{\~{n}}aloza},
    title     = {Special issue on historical and future perspectives of {AI}},
    journal   = {{AI} Commun.},
    volume    = {34},
    number    = {3},
    pages     = {179},
    year      = {2021},
    url       = {https://doi.org/10.3233/AIC-229001},
    doi       = {10.3233/AIC-229001},
  }
  

• Rafael Peñaloza. A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics. In Algorithms
  BibTex  DOI 

  @article{Pena-Al21,
    author    = {Rafael Pe{\~{n}}aloza},
    title     = {A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic
                 Description Logics},
    journal   = {Algorithms},
    volume    = {14},
    number    = {10},
    pages     = {280},
    year      = {2021},
    url       = {https://doi.org/10.3390/a14100280},
    doi       = {10.3390/a14100280},
  }
  

• Leonard Botha, Thomas Meyer and Rafael Peñaloza. The Probabilistic Description Logic BALC. In Theory and Practice of Logic Programming
  BibTex  DOI  PDF  arXiv 

  @article{BoMP-TPLP21, 
    title={The Probabilistic Description Logic {BALC}}, 
    doi={10.1017/S1471068420000460}, 
    journal={Theory and Practice of Logic Programming}, 
    publisher={Cambridge University Press}, 
    author={Leonard Botha and Thomas Meyer and Rafael Pe{\~n}aloza}, 
    volume    = {21}, 
    number    = {4},
    pages     = {404--427},
    year      = {2021},
    url       = {https://doi.org/10.1017/S1471068420000460},
    arxiv = {https://arxiv.org/abs/2009.13407},
  }
  

• Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali and Rafael Peñaloza. Probabilistic Trace Alignment. In Proceedings of the3rd International Conference on Process Mining, ICPM 2021
  BibTex  DOI 

  @inproceedings{BMMP-ICPM21,
    author    = {Giacomo Bergami and
                 Fabrizio Maria Maggi and
                 Marco Montali and
                 Rafael Pe{\~{n}}aloza},
    editor    = {Claudio Di Ciccio and
                 Chiara Di Francescomarino and
                 Pnina Soffer},
    title     = {Probabilistic Trace Alignment},
    booktitle = {Proceedings of the3rd International Conference on Process Mining, {ICPM} 2021},
    pages     = {9--16},
    publisher = {{IEEE}},
    year      = {2021},
    url       = {https://doi.org/10.1109/ICPM53251.2021.9576856},
    doi       = {10.1109/ICPM53251.2021.9576856},
  }
  

• Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali and Rafael Peñaloza. A Tool for Computing Probabilistic Trace Alignments. In Proceedings of Intelligent Information Systems - CAiSE Forum 2021
  BibTex  DOI 

  @inproceedings{BMMP-CF21,
    author    = {Giacomo Bergami and
                 Fabrizio Maria Maggi and
                 Marco Montali and
                 Rafael Pe{\~{n}}aloza},
    editor    = {Selmin Nurcan and
                 Axel Korthaus},
    title     = {A Tool for Computing Probabilistic Trace Alignments},
    booktitle = {Proceedings of Intelligent Information Systems - CAiSE Forum 2021},
    series    = {Lecture Notes in Business Information Processing},
    volume    = {424},
    pages     = {118--126},
    publisher = {Springer},
    year      = {2021},
    url       = {https://doi.org/10.1007/978-3-030-79108-7\_14},
    doi       = {10.1007/978-3-030-79108-7\_14},
  }
  

• Franz Baader, Francesco Kriegel, Adrian Nuradiansyah and Rafael Peñaloza. Safety of Quantified ABoxes w.r.t. Singleton EL Policies. In Proceedings of the 36th ACM/SIGAPP Symposium on Applied Computing (SAC 2021)
  BibTex  DOI  PDF 

  @inproceedings{BKNP-SAC2021,
        author = {Franz {Baader} and Francesco {Kriegel} and Adrian {Nuradiansyah} and Rafael {Pe{\~n}aloza}},
        booktitle = {Proceedings of the 36th ACM/SIGAPP Symposium on Applied Computing (SAC 2021)},
        doi = {10.1145/3412841.3441961},
        title = {{Safety of Quantified ABoxes w.r.t. Singleton $\mathcal{EL}$ Policies}},
        year = {2021},
        editor    = {Chih{-}Cheng Hung and
                 Jiman Hong and
                 Alessio Bechini and
                 Eunjee Song},
        pages     = {863--872},
        publisher = {{ACM}},
  }
  

• Paolo Tenti, James Thomas, Rafael Peñaloza and Gabriella Pasi. Using an Ensemble of Features for Personalized Recommendations of Scientific Publications. In Proceedings of the 11th Italian Information Retrieval Workshop 2021
  BibTex 

  @inproceedings{TTPP-IIR21,
    author    = {Paolo Tenti and
                 James Thomas and
                 Rafael Pe{\~{n}}aloza and
                 Gabriella Pasi},
    editor    = {Vito Walter Anelli and
                 Tommaso Di Noia and
                 Nicola Ferro and
                 Fedelucio Narducci},
    title     = {Using an Ensemble of Features for Personalized Recommendations of
                 Scientific Publications},
    booktitle = {Proceedings of the 11th Italian Information Retrieval Workshop 2021},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2947},
    publisher = {CEUR-WS.org},
    year      = {2021},
    url       = {http://ceur-ws.org/Vol-2947/paper30.pdf},
  }
  

• Paolo Tenti, Gabriella Pasi and Rafael Peñaloza. Complementing Language Embeddings with Knowledge Bases for Specific Domains. In Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021)
  BibTex 

  @inproceedings{TPP-DAO21,
    author    = {Paolo Tenti and
                 Gabriella Pasi and
                 Rafael Pe{\~{n}}aloza},
    editor    = {Roberto Confalonieri and
                 Oliver Kutz and
                 Diego Calvanese},
    title     = {Complementing Language Embeddings with Knowledge Bases for Specific
                 Domains},
    booktitle = {Proceedings of the Workshop on Data meets Applied Ontologies in Explainable
                 {AI} {(DAO-XAI} 2021)},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2998},
    publisher = {CEUR-WS.org},
    year      = {2021},
    url       = {http://ceur-ws.org/Vol-2998/paper3.pdf},
  }
  

• Rafael Peñaloza. An Upper Bound for Provenance in ELHr. In Proceedings of the 34th International Workshop on Description Logics (DL 2021)
  BibTex 

  @inproceedings{Pena-21,
    author    = {Rafael Pe{\~{n}}aloza},
    editor    = {Martin Homola and
                 Vladislav Ryzhikov and
                 Renate A. Schmidt},
    title     = {An Upper Bound for Provenance in ELHr},
    booktitle = {Proceedings of the 34th International Workshop on Description Logics
                 {(DL} 2021)},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2954},
    publisher = {CEUR-WS.org},
    year      = {2021},
    url       = {http://ceur-ws.org/Vol-2954/paper-25.pdf},
  }
  

• Jieying Chen, Rafael Peñaloza and Hui Yang. Union and Intersection of all Justifications (Extended Abstract). In Proceedings of the 34th International Workshop on Description Logics (DL 2021)
  BibTex 

  @inproceedings{CPY-DL21,
    author    = {Jieying Chen and
                 Rafael Pe{\~{n}}aloza and
                 Hui Yang},
    editor    = {Martin Homola and
                 Vladislav Ryzhikov and
                 Renate A. Schmidt},
    title     = {Union and Intersection of all Justifications (Extended Abstract)},
    booktitle = {Proceedings of the 34th International Workshop on Description Logics
                 {(DL} 2021)},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2954},
    publisher = {CEUR-WS.org},
    year      = {2021},
    url       = {http://ceur-ws.org/Vol-2954/abstract-12.pdf},
  }
  

• Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah and Rafael Peñaloza. Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. In Proceedings of the 34th International Workshop on Description Logics (DL 2021)
  BibTex 

  @inproceedings{BKKNP21,
    author    = {Franz Baader and
                 Patrick Koopmann and
                 Francesco Kriegel and
                 Adrian Nuradiansyah and
                 Rafael Pe{\~{n}}aloza},
    editor    = {Martin Homola and
                 Vladislav Ryzhikov and
                 Renate A. Schmidt},
    title     = {Privacy-Preserving Ontology Publishing: The Case of Quantified {ABoxes} w.r.t. a Static Cycle-Restricted $\mathcal{EL}$ {TBox}},
    booktitle = {Proceedings of the 34th International Workshop on Description Logics
                 {(DL} 2021)},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2954},
    publisher = {CEUR-WS.org},
    year      = {2021},
    url       = {http://ceur-ws.org/Vol-2954/paper-3.pdf},
  }
  

• Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu and Dumitru Roman (eds.). Proceedings of the 5th International Joint Conference on Rules and Reasoning, RuleML+RR.
  BibTex  DOI 

  @proceedings{RuleML21,
    editor    = {Sotiris Moschoyiannis and
                 Rafael Pe{\~{n}}aloza and
                 Jan Vanthienen and
                 Ahmet Soylu and
                 Dumitru Roman},
    title     = {Proceedings of the 5th International Joint Conference on Rules and Reasoning, RuleML+RR},
    series    = {Lecture Notes in Computer Science},
    volume    = {12851},
    publisher = {Springer},
    year      = {2021},
    url       = {https://doi.org/10.1007/978-3-030-91167-6},
    doi       = {10.1007/978-3-030-91167-6},
    isbn      = {978-3-030-91166-9},
  }
  

• Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily LeBlanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper and Jessica Zangari (eds.). Proceedings of the International Conference on Logic Programming 2021 Workshops.
  BibTex 

  @proceedings{ICLP-21,
    editor    = {Joaqu{\'{\i}}n Arias and
                 Fabio Aurelio D'Asaro and
                 Abeer Dyoub and
                 Gopal Gupta and
                 Markus Hecher and
                 Emily LeBlanc and
                 Rafael Pe{\~{n}}aloza and
                 Elmer Salazar and
                 Ari Saptawijaya and
                 Felix Weitk{\"{a}}mper and
                 Jessica Zangari},
    title     = {Proceedings of the International Conference on Logic Programming 2021
                 Workshops},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2970},
    publisher = {CEUR-WS.org},
    year      = {2021},
    url       = {http://ceur-ws.org/Vol-2970},
    urn       = {urn:nbn:de:0074-2970-2},
  }
  

• João Marques-Silva, Rafael Peñaloza and Uli Sattler. Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). In Dagstuhl Reports
  BibTex  DOI 

  @article{MaPS-21,
    author    = {Jo{\~{a}}o Marques{-}Silva and
                 Rafael Pe{\~{n}}aloza and
                 Uli Sattler},
    title     = {Extending the Synergies Between {SAT} and Description Logics (Dagstuhl
                 Seminar 21361)},
    journal   = {Dagstuhl Reports},
    volume    = {11},
    number    = {8},
    pages     = {1--10},
    year      = {2021},
    url       = {https://doi.org/10.4230/DagRep.11.8.1},
    doi       = {10.4230/DagRep.11.8.1},
  }
  

2020

• Rafael Peñaloza. Axiom Pinpointing. In Applications and Practices in Ontology Design, Extraction, and Reasoning
  BibTex  DOI  PDF 

  @incollection{Pena-SSWS20,
    author    = {Rafael Pe{\~{n}}aloza},
    editor    = {Giuseppe Cota and Marilena Daquino and Gian Luca Pozzato},
    title     = {Axiom Pinpointing},
    booktitle = {Applications and Practices in Ontology Design, Extraction, and Reasoning},
    series    = {Studies on the Semantic Web},
    volume    = {49},
    pages     = {162--177},
    publisher = {IOS Press},
    year      = {2020},
    url       = {https://ebooks.iospress.nl/volumearticle/56013},
    doi       = {10.3233/SSW200042},
  }
  

• Rafael Peñaloza. Error-Tolerance and Error Management in Lightweight Description Logics. In Künstliche Intelligenz
  BibTex  DOI  PDF 

  @article{Pena-KI20,
    author    = {Rafael Pe{\~{n}}aloza},
    title     = {Error-Tolerance and Error Management in Lightweight Description Logics},
    journal   = {K{\"{u}}nstliche Intelligenz},
    volume    = {34},
    number    = {4},
    pages     = {491--500},
    year      = {2020},
    url       = {https://doi.org/10.1007/s13218-020-00684-5},
    doi       = {10.1007/s13218-020-00684-5},
  }
  

• Norbert Manthey, Rafael Peñaloza and Sebastian Rudolph. SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. In Künstliche Intelligenz
  BibTex  DOI  PDF 

  @article{MaPR-KI20,
    author    = {Norbert Manthey and
                 Rafael Pe{\~{n}}aloza and
                 Sebastian Rudolph},
    title     = {SATPin: Axiom Pinpointing for Lightweight Description Logics Through
                 Incremental {SAT}},
    journal   = {K{\"{u}}nstliche Intelligenz},
    volume    = {34},
    number    = {3},
    pages     = {389--394},
    year      = {2020},
    url       = {https://doi.org/10.1007/s13218-020-00669-4},
    doi       = {10.1007/s13218-020-00669-4},
  }
  

• Rafael Peñaloza. Towards a Logic of Meta-Analysis. In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
  BibTex  DOI  PDF 

  @inproceedings{Pena-KR20,
    author    = {Rafael Pe{\~{n}}aloza},
    editor    = {Diego Calvanese and
                 Esra Erdem and
                 Michael Thielscher},
    title     = {Towards a Logic of Meta-Analysis},
    booktitle = {Proceedings of the 17th International Conference on Principles of
                 Knowledge Representation and Reasoning, {KR} 2020},
    pages     = {672--676},
    year      = {2020},
    url       = {https://doi.org/10.24963/kr.2020/68},
    doi       = {10.24963/kr.2020/68},
  }
  

• Gabriella Pasi and Rafael Peñaloza. Query Answering in Fuzzy DL-Lite with Graded Axioms. In Proceedings of the 4th International Joint Conference on Rules and Reasoning RuleML+RR 2020
  BibTex  DOI  PDF 

  @inproceedings{PaPe-RR20,
    author    = {Gabriella Pasi and
                 Rafael Pe{\~{n}}aloza},
    editor    = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
                 Tom{\'{a}}s Kliegr and
                 Ahmet Soylu and
                 Martin Giese and
                 Dumitru Roman},
    title     = {Query Answering in Fuzzy DL-Lite with Graded Axioms},
    booktitle = {Proceedings of the 4th International Joint Conference on Rules and Reasoning
    		RuleML+RR 2020},
    series    = {Lecture Notes in Computer Science},
    volume    = {12173},
    pages     = {39--53},
    publisher = {Springer},
    year      = {2020},
    url       = {https://doi.org/10.1007/978-3-030-57977-7\_3},
    doi       = {10.1007/978-3-030-57977-7\_3},
  }
  

• Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza and Anti Alman. Extending Temporal Business Constraints with Uncertainty. In Proceedings of the 18th International Conference on Business Process Management, BPM 2020
  BibTex  DOI  PDF 

  @inproceedings{MMPA-BPM20,
    author    = {Fabrizio Maria Maggi and
                 Marco Montali and
                 Rafael Pe{\~{n}}aloza and
                 Anti Alman},
    title     = {Extending Temporal Business Constraints with Uncertainty},
    booktitle = {Proceedings of the 18th International Conference on Business Process Management, {BPM}
                 2020},
    series    = {Lecture Notes in Computer Science},
    volume    = {12168},
    pages     = {35--54},
    publisher = {Springer},
    year      = {2020},
    url       = {https://doi.org/10.1007/978-3-030-58666-9\_3},
    doi       = {10.1007/978-3-030-58666-9\_3},
  }
  

• Fabrizio Maria Maggi, Marco Montali and Rafael Peñaloza. Probabilistic Conformance Checking Based on Declarative Process Models. In Proceedings of the Conference on Advanced Information Systems Engineering, CAiSE Forum 2020
  BibTex  DOI  PDF 

  @inproceedings{MaMP-CF20,
    author    = {Fabrizio Maria Maggi and
                 Marco Montali and
                 Rafael Pe{\~{n}}aloza},
    title     = {Probabilistic Conformance Checking Based on Declarative Process Models},
    booktitle = {Proceedings of the Conference on Advanced Information Systems Engineering, CAiSE Forum 2020},
    series    = {Lecture Notes in Business Information Processing},
    volume    = {386},
    pages     = {86--99},
    publisher = {Springer},
    year      = {2020},
    url       = {https://doi.org/10.1007/978-3-030-58135-0\_8},
    doi       = {10.1007/978-3-030-58135-0\_8},
  }
  

• Fabrizio Maria Maggi, Marco Montali and Rafael Peñaloza. Temporal Logics Over Finite Traces with Uncertainty. In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020
  BibTex  PDF  arXiv 

  @inproceedings{MaMP-AAAI20,
    author    = {Fabrizio Maria Maggi and
                 Marco Montali and
                 Rafael Pe{\~{n}}aloza},
    title     = {Temporal Logics Over Finite Traces with Uncertainty},
    booktitle = {Proceedings of the Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                 2020},
    pages     = {10218--10225},
    publisher = {{AAAI} Press},
    year      = {2020},
    url       = {https://aaai.org/ojs/index.php/AAAI/article/view/6583},
    arxiv     = {http://arxiv.org/abs/1903.04940},
  }
  

• Camille Bourgaux, Ana Ozaki, Rafael Peñaloza and Livia Predoiu. Provenance for the Description Logic ELHr. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020
  BibTex  DOI  PDF  arXiv 

  @inproceedings{BOPP-IJCAI20,
    author    = {Camille Bourgaux and
                 Ana Ozaki and
                 Rafael Pe{\~{n}}aloza and
                 Livia Predoiu},
    editor    = {Christian Bessiere},
    title     = {Provenance for the Description Logic ELHr},
    booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
                 Artificial Intelligence, {IJCAI} 2020},
    pages     = {1862--1869},
    publisher = {ijcai.org},
    year      = {2020},
    url       = {https://doi.org/10.24963/ijcai.2020/258},
    doi       = {10.24963/ijcai.2020/258},
    arxiv     = {https://arxiv.org/abs/2001.07541},
  }
  

• Franz Baader, Francesco Kriegel, Adrian Nuradiansyah and Rafael Peñaloza. Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies. In Proceedings of the 19th International Semantic Web Conference (ISWC 2020), Part I
  BibTex  DOI  PDF 

  @inproceedings{BKNP-ISWC20,
    author    = {Franz Baader and
                 Francesco Kriegel and
                 Adrian Nuradiansyah and
                 Rafael Pe{\~{n}}aloza},
    editor    = {Jeff Z. Pan and
                 Valentina A. M. Tamma and
                 Claudia d'Amato and
                 Krzysztof Janowicz and
                 Bo Fu and
                 Axel Polleres and
                 Oshani Seneviratne and
                 Lalana Kagal},
    title     = {Computing Compliant Anonymisations of Quantified ABoxes w.r.t. \emph{EL}
                 Policies},
    booktitle = {Proceedings of the 19th International Semantic Web Conference ({ISWC} 2020), Part {I}},
    series    = {Lecture Notes in Computer Science},
    volume    = {12506},
    pages     = {3--20},
    publisher = {Springer},
    year      = {2020},
    url       = {https://doi.org/10.1007/978-3-030-62419-4\_1},
    doi       = {10.1007/978-3-030-62419-4\_1},
  }
  

• Erman Acar and Rafael Peñaloza. Reasoning with Contextual Knowledge and Influence Diagrams. In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
  BibTex  DOI  PDF  arXiv 

  @inproceedings{AcPe-KR20,
    author    = {Erman Acar and
                 Rafael Pe{\~{n}}aloza},
    editor    = {Diego Calvanese and
                 Esra Erdem and
                 Michael Thielscher},
    title     = {Reasoning with Contextual Knowledge and Influence Diagrams},
    booktitle = {Proceedings of the 17th International Conference on Principles of
                 Knowledge Representation and Reasoning, {KR} 2020},
    pages     = {12--21},
    year      = {2020},
    url       = {https://doi.org/10.24963/kr.2020/2},
    doi       = {10.24963/kr.2020/2},
    arxiv     = {https://arxiv.org/abs/2007.00571},
  }
  

• Gabriella Pasi and Rafael Peñaloza. Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract). In Proceedings of the 33rd International Workshop on Description Logics (DL 2020)
  BibTex  PDF 

  @inproceedings{PaPe-DL20,
    author    = {Gabriella Pasi and
                 Rafael Pe{\~{n}}aloza},
    editor    = {Stefan Borgwardt and
                 Thomas Meyer},
    title     = {Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract)},
    booktitle = {Proceedings of the 33rd International Workshop on Description Logics
                 {(DL} 2020)},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2663},
    publisher = {CEUR-WS.org},
    year      = {2020},
    url       = {http://ceur-ws.org/Vol-2663/abstract-20.pdf},
  }
  

• Camille Bourgaux, Ana Ozaki, Rafael Peñaloza and Livia Predoiu. Provenance for the Description Logic ELHr (Extended Abstract). In Proceedings of the 33rd International Workshop on Description Logics (DL 2020)
  BibTex  PDF 

  @inproceedings{BOPP-DL20,
    author    = {Camille Bourgaux and
                 Ana Ozaki and
                 Rafael Pe{\~{n}}aloza and
                 Livia Predoiu},
    editor    = {Stefan Borgwardt and
                 Thomas Meyer},
    title     = {Provenance for the Description Logic ELHr (Extended Abstract)},
    booktitle = {Proceedings of the 33rd International Workshop on Description Logics
                 {(DL} 2020)},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2663},
    publisher = {CEUR-WS.org},
    year      = {2020},
    url       = {http://ceur-ws.org/Vol-2663/abstract-6.pdf},
  }
  

• Rafael Peñaloza. Introduction to Probabilistic Ontologies. In Tutorial Lectures of the 16th International Summer School on Reasoning Web (RW 20). Declarative Artificial Intelligence
  BibTex  DOI  PDF 

  @inproceedings{Pena-RW20,
    author    = {Rafael Pe{\~{n}}aloza},
    editor    = {Marco Manna and
                 Andreas Pieris},
    title     = {Introduction to Probabilistic Ontologies},
    booktitle = {Tutorial Lectures of the 16th International Summer School on Reasoning Web ({RW} 20). 
    		Declarative Artificial Intelligence},
    series    = {Lecture Notes in Computer Science},
    volume    = {12258},
    pages     = {1--35},
    publisher = {Springer},
    year      = {2020},
    url       = {https://doi.org/10.1007/978-3-030-60067-9\_1},
    doi       = {10.1007/978-3-030-60067-9\_1},
  }
  

• Rafael Peñaloza. Introduction to Probabilistic Ontologies (tutorial). In Proceedings of the 35th Italian Conference on Computational Logic
  BibTex 

  @inproceedings{Pena-CILC20,
    author    = {Rafael Pe{\~{n}}aloza},
    editor    = {Francesco Calimeri and
                 Simona Perri and
                 Ester Zumpano},
    title     = {Introduction to Probabilistic Ontologies (tutorial)},
    booktitle = {Proceedings of the 35th Italian Conference on Computational Logic,
                 {CILC} 2020},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2710},
    pages     = {4},
    publisher = {CEUR-WS.org},
    year      = {2020},
    url       = {http://ceur-ws.org/Vol-2710/abstract-invited-4.pdf},
  }
  

2019

• Rafael Peñaloza. Explaining Axiom Pinpointing. In Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
  BibTex  DOI  PDF 

  @inproceedings{Pena-FB19,
    author    = {Rafael Pe{\~{n}}aloza},
    editor    = {Carsten Lutz and
                 Uli Sattler and
                 Cesare Tinelli and
                 Anni{-}Yasmin Turhan and
                 Frank Wolter},
    title     = {Explaining Axiom Pinpointing},
    booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated
                 to Franz Baader on the Occasion of His 60th Birthday},
    series    = {Lecture Notes in Computer Science},
    volume    = {11560},
    pages     = {475--496},
    publisher = {Springer},
    year      = {2019},
    url       = {https://doi.org/10.1007/978-3-030-22102-7\_22},
    doi       = {10.1007/978-3-030-22102-7\_22},
  }
  

• Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza and Giancarlo Guizzardi. Image Schema Combinations and Complex Events. In Künstliche Intelligenz
  BibTex  DOI  PDF 

  @article{HKPG-KI19,
    author    = {Maria M. Hedblom and
                 Oliver Kutz and
                 Rafael Pe{\~{n}}aloza and
                 Giancarlo Guizzardi},
    title     = {Image Schema Combinations and Complex Events},
    journal   = {K{\"{u}}nstliche Intelligenz},
    volume    = {33},
    number    = {3},
    pages     = {279--291},
    year      = {2019},
    url       = {https://doi.org/10.1007/s13218-019-00605-1},
    doi       = {10.1007/s13218-019-00605-1},
  }
  

• Alessander Botti Benevides, Jean-Rémi Bourguet, Giancarlo Guizzardi, Rafael Peñaloza, João Paulo A. Almeida. Representing a reference foundational ontology of events in SROIQ. In Applied Ontology
  BibTex  DOI 

  @article{BBG+-AO19,
    author    = {Alessander Botti Benevides and
                 Jean{-}R{\'{e}}mi Bourguet and
                 Giancarlo Guizzardi and
                 Rafael Pe{\~{n}}aloza and
                 Jo{\~{a}}o Paulo A. Almeida},
    title     = {Representing a reference foundational ontology of events in {SROIQ}},
    journal   = {Applied Ontology},
    volume    = {14},
    number    = {3},
    pages     = {293--334},
    year      = {2019},
    url       = {https://doi.org/10.3233/AO-190214},
    doi       = {10.3233/AO-190214},
  }
  

• Rafael Peñaloza. Making Decisions with Knowledge Base Repairs. In Proceedings of the 16th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2019
  BibTex  DOI  PDF 

  @inproceedings{Pena-MDAI19,
    author    = {Rafael Pe{\~{n}}aloza},
    title     = {Making Decisions with Knowledge Base Repairs},
    booktitle = {Proceedings of the 16th International Conference on 
    		Modeling Decisions for Artificial Intelligence, {MDAI} 2019},
    series    = {Lecture Notes in Computer Science},
    volume    = {11676},
    pages     = {259--271},
    publisher = {Springer},
    year      = {2019},
    url       = {https://doi.org/10.1007/978-3-030-26773-5\_23},
    doi       = {10.1007/978-3-030-26773-5\_23},
  }
  

• Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza and Guohui Xiao. Enriching Ontology-based Data Access with Provenance. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019
  BibTex  DOI  PDF  arXiv 

  @inproceedings{CLOP-IJCAI19,
    author    = {Diego Calvanese and
                 Davide Lanti and
                 Ana Ozaki and
                 Rafael Pe{\~{n}}aloza and
                 Guohui Xiao},
    editor    = {Sarit Kraus},
    title     = {Enriching Ontology-based Data Access with Provenance},
    booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
                 Artificial Intelligence, {IJCAI} 2019},
    pages     = {1616--1623},
    publisher = {ijcai.org},
    year      = {2019},
    url       = {https://doi.org/10.24963/ijcai.2019/224},
    doi       = {10.24963/ijcai.2019/224},
    arxiv     = {http://arxiv.org/abs/1906.00179},
  }
  

• Leonard Botha, Thomas Meyer and Rafael Peñaloza. A Bayesian Extension of the Description Logic ALC. In Proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019
  BibTex  DOI  PDF 

  @inproceedings{BoMP19,
    author    = {Leonard Botha and
                 Thomas Meyer and
                 Rafael Pe{\~{n}}aloza},
    title     = {A Bayesian Extension of the Description Logic {ALC}},
    booktitle = {Proceedings of the 16th European Conference on Logics in Artificial Intelligence, {JELIA}
                 2019},
    series    = {Lecture Notes in Computer Science},
    volume    = {11468},
    pages     = {339--354},
    publisher = {Springer},
    year      = {2019},
    url       = {https://doi.org/10.1007/978-3-030-19570-0\_22},
    doi       = {10.1007/978-3-030-19570-0\_22},
  }
  

• Erman Acar, Rafael Peñaloza and Livia Predoiu. Making Decisions over Contextual Ontologies. In Proceedings of the 32nd International Workshop on Description Logics
  BibTex  PDF 

  @inproceedings{AcPP-DL19,
    author    = {Erman Acar and
                 Rafael Pe{\~{n}}aloza and
                 Livia Predoiu},
    title     = {Making Decisions over Contextual Ontologies},
    booktitle = {Proceedings of the 32nd International Workshop on Description Logics},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2373},
    publisher = {CEUR-WS.org},
    year      = {2019},
    url       = {http://ceur-ws.org/Vol-2373/paper-1.pdf},
  }
  

2018

• Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt and Sascha Wunderlich. A Hardware/Software Stack for Heterogeneous Systems. In IEEE Transactions on Multi-Scale Computing Systems
  BibTex  DOI 

  @article{CLea-18,
    author    = {Jer{\'{o}}nimo Castrill{\'{o}}n and
                 Matthias Lieber and
                 Sascha Kl{\"{u}}ppelholz and
                 Marcus V{\"{o}}lp and
                 Nils Asmussen and
                 Uwe A{\ss}mann and
                 Franz Baader and
                 Christel Baier and
                 Gerhard P. Fettweis and
                 Jochen Fr{\"{o}}hlich and
                 Andr{\'{e}}s Goens and
                 Sebastian Haas and
                 Dirk Habich and
                 Hermann H{\"{a}}rtig and
                 Mattis Hasler and
                 Immo Huismann and
                 Tomas Karnagel and
                 Sven Karol and
                 Akash Kumar and
                 Wolfgang Lehner and
                 Linda Leuschner and
                 Siqi Ling and
                 Steffen M{\"{a}}rcker and
                 Christian Menard and
                 Johannes Mey and
                 Wolfgang E. Nagel and
                 Benedikt N{\"{o}}then and
                 Rafael Pe{\~{n}}aloza and
                 Michael Raitza and
                 J{\"{o}}rg Stiller and
                 Annett Ungeth{\"{u}}m and
                 Axel Voigt and
                 Sascha Wunderlich},
    title     = {A Hardware/Software Stack for Heterogeneous Systems},
    journal   = {{IEEE} Transactions on Multi-Scale Computing Systems},
    volume    = {4},
    number    = {3},
    pages     = {243--259},
    year      = {2018},
    url       = {https://doi.org/10.1109/TMSCS.2017.2771750},
    doi       = {10.1109/TMSCS.2017.2771750},
  }
  

• Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza and Enric Plaza. Upward Refinement Operators for Conceptual Blending in the Description Logic EL++. In Annals of Mathematics and Artificial Intelligence
  BibTex  DOI  PDF 

  @article{CESKPP-AMAI16,
    author = {Roberto Confalonieri and Manfred Eppe and Marco Schorlemmer and Oliver Kutz and Rafael Pe{\~n}aloza and Enric Plaza},
    title   = {Upward Refinement Operators for Conceptual Blending in the Description Logic {EL++}},
    journal = {Annals of Mathematics and Artificial Intelligence},
    volume    = {82},
    number    = {1-3},
    pages     = {69--99},
    year      = {2018},
    url       = {https://doi.org/10.1007/s10472-016-9524-8},
    doi       = {10.1007/s10472-016-9524-8},
  }
  

• Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello and Oliver Kutz. Repairing Ontologies via Axiom Weakening. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)
  BibTex  PDF  arXiv 

  @inproceedings{TCGP+18,
    author    = {Nicolas Troquard and
                 Roberto Confalonieri and
                 Pietro Galliani and
                 Rafael Pe{\~{n}}aloza and
                 Daniele Porello and               
                 Oliver Kutz},
    title     = {Repairing Ontologies via Axiom Weakening},
    booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)},
    year      = {2018},
    editor    = {Sheila A. McIlraith and
                 Kilian Q. Weinberger},
    publisher = {{AAAI} Press},
    arxiv     = {https://arxiv.org/abs/1711.03430},
  
  }
  

• Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani and Oliver Kutz. Two Approaches to Ontology Aggregation Based on Axiom Weakening. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018
  BibTex  DOI  PDF 

  @inproceedings{PTPC+18,
    author    = {Daniele Porello and
                 Nicolas Troquard and
                 Rafael Pe{\~{n}}aloza and
                 Roberto Confalonieri and
                 Pietro Galliani and
                 Oliver Kutz},
    title     = {Two Approaches to Ontology Aggregation Based on Axiom Weakening},
    booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
                 Artificial Intelligence, {IJCAI} 2018},
    pages     = {1942--1948},
    year      = {2018},
    url       = {https://doi.org/10.24963/ijcai.2018/268},
    doi       = {10.24963/ijcai.2018/268},
    editor    = {J{\'{e}}r{\^{o}}me Lang},
    publisher = {ijcai.org},
  }
  

• Rafael Peñaloza, Veronika Thost and Anni-Yasmin Turhan. Query Answering for Rough EL Ontologies. In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
  BibTex  arXiv 

  @inproceedings{PeTT18,
    author    = {Rafael Pe{\~{n}}aloza and
                 Veronika Thost and
                 Anni{-}Yasmin Turhan},
    title     = {Query Answering for Rough {EL} Ontologies},
    booktitle = {Proceedings of the Sixteenth International Conference on 
    		Principles of Knowledge Representation and Reasoning ({KR} 2018)},
    pages     = {399--408},
    year      = {2018},
    url       = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18036},
    editor    = {Michael Thielscher and
                 Francesca Toni and
                 Frank Wolter},
    publisher = {{AAAI} Press},
    isbn      = {978-1-57735-803-9},
    arxiv = {http://arxiv.org/abs/1808.01877},
  }
  

• Ana Ozaki and Rafael Peñaloza. Consequence-Based Axiom Pinpointing. In Proceedings of the 12th International Conference on Scalable Uncertainty Management (SUM 2018)
  BibTex  DOI  arXiv 

  @inproceedings{OzPe-SUM18,
    author    = {Ana Ozaki and
                 Rafael Pe{\~{n}}aloza},
    title     = {Consequence-Based Axiom Pinpointing},
    booktitle = {Proceedings of the 12th International Conference on Scalable Uncertainty Management 
    		({SUM} 2018)},
    pages     = {181--195},
    year      = {2018},
    url       = {https://doi.org/10.1007/978-3-030-00461-3\_13},
    doi       = {10.1007/978-3-030-00461-3\_13},
    editor    = {Davide Ciucci and
                 Gabriella Pasi and
                 Barbara Vantaggi},
    series    = {Lecture Notes in Computer Science},
    volume    = {11142},
    publisher = {Springer},
    isbn      = {978-3-030-00460-6},
    arxiv     = {http://arxiv.org/abs/1805.10250},
  }
  

• Alisa Kovtunova and Rafael Peñaloza. Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
  BibTex 

  @inproceedings{KoPe-KR18,
    author    = {Alisa Kovtunova and
                 Rafael Pe{\~{n}}aloza},
    title     = {Cutting Diamonds: {A} Temporal Logic with Probabilistic Distributions},
    booktitle = {Proceedings of the Sixteenth International Conference on 
    		Principles of Knowledge Representation and Reasoning ({KR} 2018)},
    pages     = {561--570},
    year      = {2018},
    url       = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18037},
    editor    = {Michael Thielscher and
                 Francesca Toni and
                 Frank Wolter},
    publisher = {{AAAI} Press},
    isbn      = {978-1-57735-803-9},
  }
  

• Giancarlo Guizzardi, Rafael Peñaloza, Maria M. Hedblom and Oliver Kutz. Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending. In Proceedings of the Ninth International Conference on Computational Creativity
  BibTex  PDF 

  @inproceedings{GPHK18,
    author    = {Giancarlo Guizzardi and
                 Rafael Pe{\~{n}}aloza and
                 Maria M. Hedblom and
                 Oliver Kutz},
    title     = {Under the Super-Suit: What Superheroes Can Reveal About Inherited
                 properties in Conceptual Blending},
    booktitle = {Proceedings of the Ninth International Conference on Computational
                 Creativity},
    pages     = {216--223},
    year      = {2018},
    url       = {http://computationalcreativity.net/iccc2018/sites/default/files/papers/ICCC\_2018\_paper\_56.pdf},
    editor    = {Fran{\c{c}}ois Pachet and
                 Anna Jordanous and
                 Carlos Le{\'{o}}n},
    publisher = {Association for Computational Creativity {(ACC)}},
    isbn      = {978-989-54160-0-4},
  }
  

• Franz Baader, Francesco Kriegel, Adrian Nuradiansyah and Rafael Peñaloza. Making Repairs in Description Logics More Gentle. In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
  BibTex  arXiv 

  @inproceedings{BKNP-KR18,
    author    = {Franz Baader and
                 Francesco Kriegel and
                 Adrian Nuradiansyah and
                 Rafael Pe{\~{n}}aloza},
    title     = {Making Repairs in Description Logics More Gentle},
    booktitle = {Proceedings of the Sixteenth International Conference on
    		Principles of Knowledge Representation and Reasoning ({KR} 2018)},
    pages     = {319--328},
    year      = {2018},
    url       = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18056},
    editor    = {Michael Thielscher and
                 Francesca Toni and
                 Frank Wolter},
    publisher = {{AAAI} Press},
    isbn      = {978-1-57735-803-9},
    arxiv = {http://arxiv.org/abs/1808.00248},
  }
  

• Ana Ozaki and Rafael Peñaloza. Provenance in Ontology-based Data Access. In Proceedings of the 31st International Workshop on Description Logics (DL 2018)
  BibTex 

  @inproceedings{OzPe-DL18,
    author    = {Ana Ozaki and
                 Rafael Pe{\~{n}}aloza},
    title     = {Provenance in Ontology-based Data Access},
    booktitle = {Proceedings of the 31st International Workshop on Description Logics
                 (DL 2018)},
    year      = {2018},
    url       = {http://ceur-ws.org/Vol-2211/paper-28.pdf},
    editor    = {Magdalena Ortiz and
                 Thomas Schneider},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2211},
    publisher = {CEUR-WS.org},
  }
  

• Alisa Kovtunova and Rafael Peñaloza. Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. In Proceedings of the 31st International Workshop on Description Logics (DL 2018)
  BibTex  arXiv 

  @inproceedings{KoPe-DL18,
    author    = {Alisa Kovtunova and
                 Rafael Pe{\~{n}}aloza},
    title     = {Cutting Diamonds: Temporal DLs with Probabilistic Distributions over
                 Data},
    booktitle = {Proceedings of the 31st International Workshop on Description Logics
                 (DL 2018)},
    year      = {2018},
    url       = {http://ceur-ws.org/Vol-2211/paper-23.pdf},
    editor    = {Magdalena Ortiz and
                 Thomas Schneider},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2211},
    publisher = {CEUR-WS.org},
    arxiv = {http://arxiv.org/abs/1810.01516},
  }
  

• Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza and Giancarlo Guizzardi. What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events. In Joint Proceedings of the Workshops C3GI: The 7th International Workshop on Computational Creativity, Concept Invention, and General Intelligence ISD4: The 4th Image Schema Day, and SCORE: From Image Schemas to Cognitive Robotics
  BibTex 

  @inproceedings{HKPG18,
    author    = {Maria M. Hedblom and
                 Oliver Kutz and
                 Rafael Pe{\~{n}}aloza and
                 Giancarlo Guizzardi},
    title     = {What's Cracking? How Image Schema Combinations Can Model Conceptualisations
                 of Events},
    booktitle = {Joint Proceedings of the Workshops {C3GI:} The 7th International Workshop
                 on Computational Creativity, Concept Invention, and General Intelligence
                 {ISD4:} The 4th Image Schema Day, and {SCORE:} From Image Schemas
                 to Cognitive Robotics},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2347},
    publisher = {CEUR-WS.org},
    year      = {2018},
    url       = {http://ceur-ws.org/Vol-2347/paper7.pdf},
  }
  

• Leonard Botha, Thomas Meyer and Rafael Peñaloza. The Bayesian Description Logic BALC. In Proceedings of the 31st International Workshop on Description Logics (DL 2018)
  BibTex 

  @inproceedings{BoMP18,
    author    = {Leonard Botha and
                 Thomas Meyer and
                 Rafael Pe{\~{n}}aloza},
    title     = {The Bayesian Description Logic {BALC}},
    booktitle = {Proceedings of the 31st International Workshop on Description Logics
                 (DL 2018)},
    year      = {2018},
    url       = {http://ceur-ws.org/Vol-2211/paper-09.pdf},
    editor    = {Magdalena Ortiz and
                 Thomas Schneider},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2211},
    publisher = {CEUR-WS.org},
  }
  

• Franz Baader, Francesco Kriegel, Adrian Nuradiansyah and Rafael Peñaloza. Making Repairs in Description Logics More Gentle (Extended Abstract). In Proceedings of the 31st International Workshop on Description Logics (DL 2018)
  BibTex 

  @inproceedings{BKNP18,
    author    = {Franz Baader and
                 Francesco Kriegel and
                 Adrian Nuradiansyah and
                 Rafael Pe{\~{n}}aloza},
    title     = {Making Repairs in Description Logics More Gentle (Extended Abstract)},
    booktitle = {Proceedings of the 31st International Workshop on Description Logics
                 (DL 2018)},
    year      = {2018},
    url       = {http://ceur-ws.org/Vol-2211/paper-39.pdf},
    editor    = {Magdalena Ortiz and
                 Thomas Schneider},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2211},
    publisher = {CEUR-WS.org},
  }
  

• Thomas Lukasiewicz, Rafael Peñaloza and Anni-Yasmin Turhan (eds.). Proceedings of the Second Workshop on Logics for Reasoning about Preferences.
  BibTex 

  @proceedings{LuPT-PRUV18,
    editor    = {Thomas Lukasiewicz and
                 Rafael Pe{\~{n}}aloza and
                 Anni{-}Yasmin Turhan},
    title     = {Proceedings of the Second Workshop on Logics for Reasoning about Preferences,
                 Uncertainty, and Vagueness ({PRUV} 2018)},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2157},
    publisher = {CEUR-WS.org},
    year      = {2018},
    url       = {http://ceur-ws.org/Vol-2157},
  }
  

• Stefano Borgo, Oliver Kutz, Frank Loebe, Fabian Neuhaus, Kemo Adrian, Mihailo Antovic, Valerio Basile, Martin Boeker, Diego Calvanese, Tommaso Caselli, Giorgio Colombo, Roberto Confalonieri, Laura Daniele, Jérôme Euzenat, Antony Galton, Dagmar Gromann, Maria M. Hedblom, Heinrich Herre, Inge Hinterwaldner, Andrea Janes, Ludger Jansen, Kris Krois, Antonio Lieto, Claudio Masolo, Rafael Peñaloza, Daniele Porello, Daniele P. Radicioni, Emilio M. Sanfilippo, Daniel Schober, Rossella Stufano, Amanda Vizedom (eds.). Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology.
  BibTex 

  @proceedings{JOWO17,
    editor    = {Stefano Borgo and
                 Oliver Kutz and
                 Frank Loebe and
                 Fabian Neuhaus and
                 Kemo Adrian and
                 Mihailo Antovic and
                 Valerio Basile and
                 Martin Boeker and
                 Diego Calvanese and
                 Tommaso Caselli and
                 Giorgio Colombo and
                 Roberto Confalonieri and
                 Laura Daniele and
                 J{\'{e}}r{\^{o}}me Euzenat and
                 Antony Galton and
                 Dagmar Gromann and
                 Maria M. Hedblom and
                 Heinrich Herre and
                 Inge Hinterwaldner and
                 Andrea Janes and
                 Ludger Jansen and
                 Kris Krois and
                 Antonio Lieto and
                 Claudio Masolo and
                 Rafael Pe{\~{n}}aloza and
                 Daniele Porello and
                 Daniele P. Radicioni and
                 Emilio M. Sanfilippo and
                 Daniel Schober and
                 Rossella Stufano and
                 Amanda Vizedom},
    title     = {Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean
                 Autumn of Ontology},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2050},
    publisher = {CEUR-WS.org},
    year      = {2018},
    url       = {http://ceur-ws.org/Vol-2050},
  }
  

2017

• Rafael Peñaloza and Baris Sertkaya. Understanding the Complexity of Axiom Pinpointing in Lightweight Description Logics. In Artificial Intelligence
  BibTex  DOI  PDF 

  @article{PeSe-AIJ17,
    title = "Understanding the Complexity of Axiom Pinpointing in Lightweight Description Logics",
    journal = "Artificial Intelligence ",
    volume = "250",
    number = "",
    pages = "80--104",
    year = "2017",
    issn = "0004-3702",
    doi = "10.1016/j.artint.2017.06.002",
    note = "doi: https://doi.org/10.1016/j.artint.2017.06.002",
    url = "http://www.sciencedirect.com/science/article/pii/S0004370217300711",
    author = "Rafael Pe{\~n}aloza and Bar\i{}\c{s} Sertkaya",
    month = {September},
    publisher = {Elsevier},
  }
  

• Ismail Ilkan Ceylan and Rafael Peñaloza. The Bayesian Ontology Language BEL. In Journal of Automated Reasoning
  BibTex  DOI  PDF 

  @article{CePe-JAR16,
    author = {{\.I}smail {\.I}lkan Ceylan and Rafael Pe{\~n}aloza},
    title   = {The {Bayesian} Ontology Language {BEL}},
    journal = {Journal of Automated Reasoning},
    year    = {2017},
    volume    = {58},
    number    = {1},
    pages     = {67--95},
    url       = {https://doi.org/10.1007/s10817-016-9386-0},
    note       = {doi: https://doi.org/10.1007/s10817-016-9386-0},
    doi       = {10.1007/s10817-016-9386-0},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics. In International Journal of Approximate Reasoning
  BibTex  DOI  PDF 

  @article{BoPe-IJAR17,
    author    = {Stefan Borgwardt and
                 Rafael Pe{\~{n}}aloza},
    title     = {Algorithms for reasoning in very expressive description logics under
                 infinitely valued {G{\"{o}}del} semantics},
    journal   = {International Journal of Approximate Reasoning},
    volume    = {83},
    pages     = {60--101},
    year      = {2017},
    url       = {https://doi.org/10.1016/j.ijar.2016.12.014},
    note       = {doi: https://doi.org/10.1016/j.ijar.2016.12.014},
    doi       = {10.1016/j.ijar.2016.12.014},
  }
  

• Stefan Borgwardt, Marco Cerami and Rafael Peñaloza. The complexity of fuzzy EL under the Lukasiewicz T-norm. In International Journal of Approximate Reasoning
  BibTex  DOI  PDF 

  @article{BoCP-IJA17,
    title = "The complexity of fuzzy {EL} under the {\L ukasiewicz} T-norm",
    journal = "International Journal of Approximate Reasoning",
    volume = "91",
    number = "Supplement C",
    pages = "179 - 201",
    year = "2017",
    issn = "0888-613X",
    doi = "10.1016/j.ijar.2017.09.005",
    note = "doi: https://doi.org/10.1016/j.ijar.2017.09.005",
    author = "Stefan Borgwardt and Marco Cerami and Rafael Pe{\~n}aloza",
  }
  

• Baader, Franz, Borgwardt, Stefan and Peñaloza, Rafael. Decidability and Complexity of Fuzzy Description Logics. In KI - Künstliche Intelligenz
  BibTex  DOI  PDF 

  @Article{BaBP-KI17,
    author="Baader, Franz
                 and Borgwardt, Stefan
                 and Pe{\~{n}}aloza, Rafael",
    title="Decidability and Complexity of Fuzzy Description Logics",
    journal="KI - K{\"u}nstliche Intelligenz",
    year="2017",
    volume    = {31},
    number    = {1},
    pages     = {85--90},
    doi="10.1007/s13218-016-0459-3",
    url="http://dx.doi.org/10.1007/s13218-016-0459-3",
    note="doi: http://dx.doi.org/10.1007/s13218-016-0459-3",
  }
  

• Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz and Rafael Peñaloza. Repairing Socially Aggregated Ontologies Using Axiom Weakening. In Proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017)
  BibTex  DOI  PDF 

  @inproceedings{PTCG+17,
    author    = {Daniele Porello and
                 Nicolas Troquard and
                 Roberto Confalonieri and
                 Pietro Galliani and
                 Oliver Kutz and
                 Rafael Pe{\~{n}}aloza},
    title     = {Repairing Socially Aggregated Ontologies Using Axiom Weakening},
    booktitle = {Proceedings of the 20th 
                 International Conference on Principles and Practice of Multi-Agent Systems
  	       ({PRIMA} 2017)},
    pages     = {441--449},
    year      = {2017},
    doi       = {10.1007/978-3-319-69131-2_26},
    note       = {doi: \url{https://doi.org/10.1007/978-3-319-69131-2_26}},
    editor    = {Bo An and
                 Ana L. C. Bazzan and
                 Jo{\~{a}}o Leite and
                 Serena Villata and
                 Leendert W. N. van der Torre},
    series    = {Lecture Notes in Computer Science},
    volume    = {10621},
    publisher = {Springer},
  }
  

• Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev and Joao Marques-Silva. Lean Kernels in Description Logics. In Proceedings of the 14th International ESWC Conference, ESWC 2017, Part I
  BibTex  DOI  PDF 

  @inproceedings{PMIM17,
    author    = {Rafael Pe{\~{n}}aloza and
                 Carlos Menc{\'{\i}}a and
                 Alexey Ignatiev and
                 Joao Marques{-}Silva},
    title     = {Lean Kernels in Description Logics},
    booktitle = {Proceedings of the 14th International ESWC Conference, {ESWC} 2017, Part {I}},
    pages     = {518--533},
    year      = {2017},
    url       = {https://doi.org/10.1007/978-3-319-58068-5_32},
    note       = {doi: \url{https://doi.org/10.1007/978-3-319-58068-5_32}},
    doi       = {10.1007/978-3-319-58068-5_32},
    editor    = {Eva Blomqvist and
                 Diana Maynard and
                 Aldo Gangemi and
                 Rinke Hoekstra and
                 Pascal Hitzler and
                 Olaf Hartig},
    series    = {Lecture Notes in Computer Science},
    volume    = {10249},
  }
  

• Rafael Peñaloza and Nico Potyka. Towards Statistical Reasoning in Description Logics over Finite Domains. In Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM 2017)
  BibTex  DOI  PDF  arXiv 

  @inproceedings{PePoSUM17,
    author    = {Rafael Pe{\~{n}}aloza and
                 Nico Potyka},
    title     = {Towards Statistical Reasoning in Description Logics over Finite Domains},
    booktitle = {Proceedings of the 11th International Conference on Scalable Uncertainty Management  
    		({SUM} 2017)},
    pages     = {280--294},
    year      = {2017},
    doi       = {10.1007/978-3-319-67582-4_20},
    note       = {doi: \url{https://doi.org/10.1007/978-3-319-67582-4_20}},
    editor    = {Seraf{\'{\i}}n Moral and
                 Olivier Pivert and
                 Daniel S{\'{a}}nchez and
                 Nicol{\'{a}}s Mar{\'{\i}}n},
    series    = {Lecture Notes in Computer Science},
    volume    = {10564},
    publisher = {Springer},
    arxiv     = {http://arxiv.org/abs/1706.03207},
  }
  

• Rafael Peñaloza. Inconsistency-Tolerant Instance Checking in Tractable Description Logics. In Proceedings of the International Joint Conference on Rules and Reasoning (RuleML+RR 2017)
  BibTex  DOI  PDF 

  @inproceedings{Pena17,
    author    = {Rafael Pe{\~{n}}aloza},
    title     = {Inconsistency-Tolerant Instance Checking in Tractable Description
                 Logics},
    booktitle = {Proceedings of the International Joint Conference on Rules and Reasoning 
    		(RuleML+RR 2017)},
    pages     = {215--229},
    year      = {2017},
    doi       = {10.1007/978-3-319-61252-2_15},
    note       = {doi: \url{https://doi.org/10.1007/978-3-319-61252-2_15}},
    editor    = {Stefania Costantini and
                 Enrico Franconi and
                 William Van Woensel and
                 Roman Kontchakov and
                 Fariba Sadri and
                 Dumitru Roman},
    series    = {Lecture Notes in Computer Science},
    volume    = {10364},
    publisher = {Springer},
  }
  

• Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Rafael Peñaloza, Gulnar Mehdi, Mikhail Roshchin and Ian Horrocks. Semantic Rules for Machine Diagnostics: Execution and Management. In Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, CIKM 2017
  BibTex  DOI  PDF 

  @inproceedings{KSea17,
    author    = {Evgeny Kharlamov and
                 Ognjen Savkovic and
                 Guohui Xiao and
                 Rafael Pe{\~{n}}aloza and
                 Gulnar Mehdi and
                 Mikhail Roshchin and
                 Ian Horrocks},
    title     = {Semantic Rules for Machine Diagnostics: Execution and Management},
    booktitle = {Proceedings of the 2017 {ACM} on Conference on Information and Knowledge
                 Management, {CIKM} 2017},
    pages     = {2131--2134},
    year      = {2017},
    url       = {http://doi.acm.org/10.1145/3132847.3133159},
    note       = {doi: http://doi.acm.org/10.1145/3132847.3133159},
    doi       = {10.1145/3132847.3133159},
    editor    = {Ee{-}Peng Lim and
                 Marianne Winslett and
                 Mark Sanderson and
                 Ada Wai{-}Chee Fu and
                 Jimeng Sun and
                 J. Shane Culpepper and
                 Eric Lo and
                 Joyce C. Ho and
                 Debora Donato and
                 Rakesh Agrawal and
                 Yu Zheng and
                 Carlos Castillo and
                 Aixin Sun and
                 Vincent S. Tseng and
                 Chenliang Li},
    publisher = {{ACM}},
  }
  

• Lisa Hutschenreiter and Rafael Peñaloza. An Automata View to Goal-Directed Methods. In Proceedings of the 11th International Conference on Language and Automata Theory and Applications (LATA 2017)
  BibTex  DOI  PDF 

  @inproceedings{HuPe17,
    author    = {Lisa Hutschenreiter and
                 Rafael Pe{\~{n}}aloza},
    title     = {An Automata View to Goal-Directed Methods},
    booktitle = {Proceedings of the 11th International Conference on Language and 
    			Automata Theory and Applications ({LATA} 2017)},
    pages     = {103--114},
    year      = {2017},
    url       = {https://doi.org/10.1007/978-3-319-53733-7_7},
    note       = {doi: \url{https://doi.org/10.1007/978-3-319-53733-7_7}},
    doi       = {10.1007/978-3-319-53733-7_7},
    editor    = {Frank Drewes and
                 Carlos Mart{\'{\i}}n{-}Vide and
                 Bianca Truthe},
    series    = {Lecture Notes in Computer Science},
    volume    = {10168},
  }
  

• Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza and Oana Tifrea-Marciuska. Query Answering in Ontologies under Preference Rankings. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017
  BibTex  DOI  PDF 

  @inproceedings{CLPT17,
    author    = {{\.I}smail {\.I}lkan Ceylan and
                 Thomas Lukasiewicz and
                 Rafael Pe{\~{n}}aloza and
                 Oana Tifrea{-}Marciuska},
    title     = {Query Answering in Ontologies under Preference Rankings},
    booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
                 Artificial Intelligence, {IJCAI} 2017},
    pages     = {943--949},
    year      = {2017},
    url       = {https://doi.org/10.24963/ijcai.2017/131},
    note       = {doi: https://doi.org/10.24963/ijcai.2017/131},
    doi       = {10.24963/ijcai.2017/131},
    editor    = {Carles Sierra},
    publisher = {ijcai.org},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. Fuzzy Description Logics - A Survey. In Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM 2017)
  BibTex  DOI  PDF 

  @inproceedings{BoPe-SUM17,
    author    = {Stefan Borgwardt and
                 Rafael Pe{\~{n}}aloza},
    title     = {Fuzzy Description Logics - {A} Survey},
    booktitle = {Proceedings of the 11th International Conference on Scalable Uncertainty Management
    		({SUM} 2017)},
    pages     = {31--45},
    year      = {2017},
    doi       = {10.1007/978-3-319-67582-4_3},
    note       = {doi: \url{https://doi.org/10.1007/978-3-319-67582-4_3}},
    editor    = {Seraf{\'{\i}}n Moral and
                 Olivier Pivert and
                 Daniel S{\'{a}}nchez and
                 Nicol{\'{a}}s Mar{\'{\i}}n},
    series    = {Lecture Notes in Computer Science},
    volume    = {10564},
    publisher = {Springer},
  }
  

• Mario Alviano, Giovanni Amendola and Rafael Peñaloza. Minimal Undefinedness for Fuzzy Answer Sets. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence
  BibTex  PDF 

  @inproceedings{AlAP17,
    author    = {Mario Alviano and
                 Giovanni Amendola and
                 Rafael Pe{\~{n}}aloza},
    title     = {Minimal Undefinedness for Fuzzy Answer Sets},
    booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence},
    pages     = {3694--3700},
    year      = {2017},
    url       = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14309},
    editor    = {Satinder P. Singh and
                 Shaul Markovitch},
    publisher = {{AAAI} Press},
  }
  

• Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli. A Decidable Very Expressive Description Logic for Databases. In Proceedings of the 16th International Semantic Web Conference ISWC 2017
  BibTex  DOI  PDF  arXiv 

  @inproceedings{AFPS17,
    author    = {Alessandro Artale and
                 Enrico Franconi and
                 Rafael Pe{\~{n}}aloza and
                 Francesco Sportelli},
    title     = {A Decidable Very Expressive Description Logic for Databases},
    booktitle = {Proceedings of the 16th International Semantic Web Conference {ISWC} 2017, 
                      Part {I}},
    pages     = {37--52},
    year      = {2017},
    doi       = {10.1007/978-3-319-68288-4_3},
    note       = {doi: \url{https://doi.org/10.1007/978-3-319-68288-4_3}},
    editor    = {Claudia d'Amato and
                 Miriam Fern{\'{a}}ndez and
                 Valentina A. M. Tamma and
                 Freddy L{\'{e}}cu{\'{e}} and
                 Philippe Cudr{\'{e}}{-}Mauroux and
                 Juan F. Sequeda and
                 Christoph Lange and
                 Jeff Heflin},
    series    = {Lecture Notes in Computer Science},
    volume    = {10587},
    publisher = {Springer},
    arxiv     = {http://arxiv.org/abs/1707.08468},
  }
  

• Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev and Joao Marques-Silva. Lean Kernels in DLs. In Proceedings of the 30th International Workshop on Description Logics (DL 2017)
  BibTex 

  @inproceedings{PMIM-DL17,
    author    = {Rafael Pe{\~{n}}aloza and
                 Carlos Menc{\'{\i}}a and
                 Alexey Ignatiev and
                 Joao Marques{-}Silva},
    title     = {Lean Kernels in DLs},
    booktitle = {Proceedings of the 30th International Workshop on Description Logics (DL 2017)},
    year      = {2017},
    url       = {http://ceur-ws.org/Vol-1879/paper10.pdf},
    editor    = {Alessandro Artale and
                 Birte Glimm and
                 Roman Kontchakov},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {1879},
    publisher = {CEUR-WS.org},
  }
  

• Alexey Ignatiev, Joao Marques-Silva, Carlos Mencía and Rafael Peñaloza. Debugging EL+ Ontologies through Horn MUS Enumeration. In Proceedings of the 30th International Workshop on Description Logics (DL 2017)
  BibTex 

  @inproceedings{IMMP17,
    author    = {Alexey Ignatiev and
                 Joao Marques{-}Silva and
                 Carlos Menc{\'{\i}}a and
                 Rafael Pe{\~{n}}aloza},
    title     = {Debugging {EL+} Ontologies through Horn {MUS} Enumeration},
    booktitle = {Proceedings of the 30th International Workshop on Description Logics (DL 2017)},
    year      = {2017},
    url       = {http://ceur-ws.org/Vol-1879/paper54.pdf},
    editor    = {Alessandro Artale and
                 Birte Glimm and
                 Roman Kontchakov},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {1879},
    publisher = {CEUR-WS.org},
  }
  

• Roberto Confalonieri, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza and Daniele Porello. Two Applications of Concept Refinement. In Proceedings of the First International Workshop on Comprehensibility and Explanation in AI and ML 2017
  BibTex 

  @inproceedings{CTGKPP17,
    author    = {Roberto Confalonieri and
                 Nicolas Troquard and
                 Pietro Galliani and
                 Oliver Kutz and
                 Rafael Pe{\~{n}}aloza and
                 Daniele Porello},
    title     = {Two Applications of Concept Refinement},
    booktitle = {Proceedings of the First International Workshop on Comprehensibility
                 and Explanation in {AI} and {ML} 2017},
    year      = {2017},
    url       = {http://ceur-ws.org/Vol-2071/CExAIIA_2017_paper_4.pdf},
    editor    = {Tarek R. Besold and
                 Oliver Kutz},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2071},
    publisher = {CEUR-WS.org},
  }
  

• Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer and Nicolas Troquard. Coherence, Similarity, and Concept Generalisation. In Proceedings of the 30th International Workshop on Description Logics (DL 2017)
  BibTex 

  @inproceedings{CKG+17,
    author    = {Roberto Confalonieri and
                 Oliver Kutz and
                 Pietro Galliani and
                 Rafael Pe{\~{n}}aloza and
                 Daniele Porello and
                 Marco Schorlemmer and
                 Nicolas Troquard},
    title     = {Coherence, Similarity, and Concept Generalisation},
    booktitle = {Proceedings of the 30th International Workshop on Description Logics (DL 2017)},
    year      = {2017},
    url       = {http://ceur-ws.org/Vol-1879/paper45.pdf},
    editor    = {Alessandro Artale and
                 Birte Glimm and
                 Roman Kontchakov},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {1879},
    publisher = {CEUR-WS.org},
  }
  

• Stefan Borgwardt, Marco Cerami and Rafael Peñaloza. 
ukasiewicz Fuzzy EL is Undecidable. In Proceedings of the 30th International Workshop on Description Logics (DL 2017)
  BibTex 

  @inproceedings{BoCP-DL17,
    author    = {Stefan Borgwardt and
                 Marco Cerami and
                 Rafael Pe{\~{n}}aloza},
    title     = {{\L}ukasiewicz Fuzzy {EL} is Undecidable},
    booktitle = {Proceedings of the 30th International Workshop on Description Logics (DL 2017)},
    year      = {2017},
    url       = {http://ceur-ws.org/Vol-1879/paper27.pdf},
    editor    = {Alessandro Artale and
                 Birte Glimm and
                 Roman Kontchakov},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {1879},
    publisher = {CEUR-WS.org},
  }
  

• Alessander Botti Benevides, Jean-Rémi Bourguet, Giancarlo Guizzardi, Rafael Peñaloza. Representing the UFO-B Foundational Ontology of Events in SROIQ. In Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology
  BibTex 

  @inproceedings{BBGP-FOUST17,
    author = {Alessander {Botti Benevides} and Jean-R\'emi Bourguet and Giancarlo Guizzardi and 
    		Rafael Pe{\~n}aloza},
    title = {Representing the {UFO-B} Foundational Ontology of Events in {SROIQ}},
    booktitle = {Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean
                 Autumn of Ontology},
    year = 2017,
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2050},
    publisher = {CEUR-WS.org},
  }
  

• Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli. A Decidable Very Expressive Description Logic for Databases (Extended Abstract). In Proceedings of the 25th Italian Symposium on Advanced Database Systems (SEBD 2017)
  BibTex 

  @inproceedings{AFPS-SEBD17,
    author    = {Alessandro Artale and
                 Enrico Franconi and
                 Rafael Pe{\~{n}}aloza and
                 Francesco Sportelli},
    title     = {A Decidable Very Expressive Description Logic for Databases (Extended Abstract)},
    booktitle = {Proceedings of the 25th Italian Symposium on Advanced Database Systems (SEBD 2017)},
    year      = {2017},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {2037},
    publisher = {CEUR-WS.org},
    editor    = {Sergio Flesca and
                 Sergio Greco and
                 Elio Masciari and
                 Domenico Sacc{\`{a}}},
  }
  

2016

• Stefan Borgwardt and Rafael Peñaloza. Reasoning in fuzzy description logics using automata. In Fuzzy Sets and Systems
  BibTex  DOI 

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

• Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza and Anni-Yasmin Turhan. Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. In Journal on Data Semantics
  BibTex  DOI 

  @article{BMPT-JoDS16,
    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},
    year      = 2016,
    doi       = {10.1007/s13740-015-0055-y},
    note       = {doi: http://dx.doi.org/10.1007/s13740-015-0055-y},
    volume    = {5},
    number    = {2},
    pages     = {55--75},
  }
  

• Rafael Peñaloza and Nico Potyka. Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy. In Proceedings of the Tenth International Conference on Scalable Uncertainty Management (SUM 2016)
  BibTex  arXiv 

  @inproceedings{PePo-SUM16,
    author    = {Rafael Pe{\~{n}}aloza and
                 Nico Potyka},
    title     = {Probabilistic Reasoning in the Description Logic {ALCP} with the Principle
                 of Maximum Entropy},
    year      = {2016},
    booktitle = {Proceedings of the Tenth International Conference on Scalable Uncertainty Management (SUM 2016)},
    editor    = {Steven Schockaert and
                 Pierre Senellart},
    series    = {Lecture Notes in Computer Science},
    volume    = {9858},
    publisher = {Springer},
    pages     = {246--259},            
    arxiv     = {http://arxiv.org/abs/1606.09521},
  }
  

• Joao Marques-Silva, Alexey Ignatiev, Carlos Mencía and Rafael Peñaloza. Efficient Reasoning for Inconsistent Horn Formulae. In Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA'16)
  BibTex  DOI 

  @inproceedings{ MIMP-JELIA16,
    author = {Joao Marques{-}Silva and Alexey Ignatiev and Carlos Menc{\'{\i}}a and Rafael {Pe{\~n}aloza}},
    booktitle = {Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA'16)},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Artificial Intelligence},
    title = {Efficient Reasoning for Inconsistent Horn Formulae},
    year = {2016},
    pages     = {336--352},
    doi       = {10.1007/978-3-319-48758-8_22},
    note       = {doi: \url{https://doi.org/10.1007/978-3-319-48758-8_22}},
    editor    = {Loizos Michael and
                 Antonis C. Kakas},
    volume    = {10021},
  }
  

• Ismail Ilkan Ceylan, Thomas Lukasiewicz and Rafael Peñaloza. Complexity Results for Probabilistic Datalog+-. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16)
  BibTex 

  @inproceedings{CeLP-ECAI16,
    author    = {{\.I}smail {\.I}lkan Ceylan and
                 Thomas Lukasiewicz and
                 Rafael Pe{\~{n}}aloza},
    title     = {Complexity Results for Probabilistic Datalog{+-}},
    booktitle = {Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16)},
    year      = {2016},
    editor    = {Gal A. Kaminka and
                 Maria Fox and
                 Paolo Bouquet and
                 Eyke H{\"{u}}llermeier and
                 Virginia Dignum and
                 Frank Dignum and
                 Frank van Harmelen},
    series    = {Frontiers in Artificial Intelligence and Applications},
    volume    = {285},  
    publisher = {IOS Press},
    pages     = {1414--1422},
  }
  

• M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza and Joao Marques-Silva. BEACON: An Efficient SAT-Based Tool for Debugging EL+ Ontologies. In Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
  BibTex  DOI 

  @inproceedings{AMIMPM16,
    author    = {M. Fareed Arif and
                 Carlos Menc{\'{\i}}a and
                 Alexey Ignatiev and
                 Norbert Manthey and
                 Rafael Pe{\~{n}}aloza and
                 Joao Marques{-}Silva},
    title     = {{BEACON:} An Efficient SAT-Based Tool for Debugging \emph{EL}{\^{}}+
                 Ontologies},
    booktitle = {Proceedings of the 19th International Conference on Theory and 
                 Applications of Satisfiability Testing ({SAT} 2016)},
    pages     = {521--530},
    year      = {2016},
    url       = {http://dx.doi.org/10.1007/978-3-319-40970-2_32},
    note       = {doi: \url{http://dx.doi.org/10.1007/978-3-319-40970-2_32}},
    doi       = {10.1007/978-3-319-40970-2_32},
    editor    = {Nadia Creignou and
                 Daniel Le Berre},
    series    = {Lecture Notes in Computer Science},
    volume    = {9710},
    publisher = {Springer},
  }
  

• Marcus Völp, Sascha Klüppelholz, Jeronimo Castrillon, Hermann Härtig, Nils Asmussen, Uwe Assmann, Franz Baader, Christel Baier, Gerhard Fettweis, Jochen Fröhlich, Andres Goens, Sebastian Haas, Dirk Habich, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Wolfgang Lehner, Linda Leuschner, Matthias Lieber, Siqi Ling, Steffen Märcker, Johannes Mey, Wolfgang Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm and Axel Voigt. The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware. In Proceedings of the 1st International Workshop on Post-Moore's Era Supercomputing (PMES)
  BibTex 

  @InProceedings{VKC+-16,
    author = {Marcus V{\"o}lp and Sascha Kl{\"u}ppelholz and Jeronimo Castrillon and Hermann H{\"a}rtig and Nils Asmussen and Uwe Assmann and Franz Baader and Christel Baier and Gerhard Fettweis and Jochen Fr{\"o}hlich and Andres Goens and Sebastian Haas and Dirk Habich and Mattis Hasler and Immo Huismann and Tomas Karnagel and Sven Karol and Wolfgang Lehner and Linda Leuschner and Matthias Lieber and Siqi Ling and Steffen M{\"a}rcker and Johannes Mey and Wolfgang Nagel and Benedikt N{\"o}then and Rafael Pe{\~n}aloza and Michael Raitza and J{\"o}rg Stiller and Annett Ungeth{\"u}m and Axel Voigt},
    title = {The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware},
    booktitle = {Proceedings of the 1st International Workshop on Post-Moore's Era Supercomputing (PMES)},
    year = {2016},
    address = {Salt Lake City, USA},
    month = {nov},
    url = {https://cfaed.tu-dresden.de/files/user/jcastrillon/publications/1611_Voelp_PMES.pdf},
  }
  

• Norbert Manthey, Rafael Peñaloza and Sebastian Rudolph. Efficient Axiom Pinpointing in EL using SAT Technology. In Proceedings of the 2016 International Workshop on Description Logics (DL'16)
  BibTex 

  @inproceedings{ MaPR-DL16,
    address = {Cape Town, South Africa},
    author = {Norbert Manthey and Rafael {Pe{\~n}aloza} and Sebastian Rudolph},
    booktitle = {Proceedings of the 2016 International Workshop on Description Logics ({DL'16})},
    editor = {Maurizio Lenzerini and Rafael {Pe{\~n}aloza}},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {1577},
    publisher = {CEUR-WS.org},  
    title = {Efficient Axiom Pinpointing in {EL} using {SAT} Technology},
    year = {2016},
  }
  

• Roberto Confalonieri, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza and Manfred Eppe. Conceptual Blending in EL++. In Proceedings of the 2016 International Workshop on Description Logics (DL'16)
  BibTex 

  @inproceedings{ CES+-DL16,
    address = {Cape Town, South Africa},
    author = {Roberto Confalonieri and Marco Schorlemmer and 
    		Oliver Kutz and Rafael Pe{\~n}aloza and Enric Plaza and Manfred Eppe},
    booktitle = {Proceedings of the 2016 International Workshop on Description Logics ({DL'16})},
    editor = {Maurizio Lenzerini and Rafael {Pe{\~n}aloza}},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {1577},
    publisher = {CEUR-WS.org},  
    title = {Conceptual Blending in {EL++}},
    year = {2016},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. Reasoning in Expressive Gödel Description Logics. In Proceedings of the 2016 International Workshop on Description Logics (DL'16)
  BibTex 

  @inproceedings{ BoPe-DL16,
    address = {Cape Town, South Africa},
    author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
    booktitle = {Proceedings of the 2016 International Workshop on Description Logics ({DL'16})},
    editor = {Maurizio Lenzerini and Rafael {Pe{\~n}aloza}},
    series = {CEUR-WS},
    title = {Reasoning in Expressive {G{\"o}del} Description Logics},
    year = {2016},
    volume    = {1577},
    publisher = {CEUR-WS.org},
  }
  

• Marco Montali and Rafael Peñaloza (eds.). Proceedings of the Doctoral Consortia for the 9th and 10th International Conference on Web Reasoning and Rule Systems.
  BibTex 

  @proceedings{MoPe-RRDC16,
    editor    = {Marco Montali and
                 Rafael Pe{\~{n}}aloza},
    title     = {Proceedings of the Doctoral Consortia for the 9th and 10th International Conference on Web Reasoning and Rule Systems},
    year      = 2016,
  }
  

• Maurizio Lenzerini and Rafael Peñaloza (eds.). Proceedings of the 29th International Workshop on Description Logics.
  BibTex 

  @proceedings{LePe-DL16,
    editor    = {Maurizio Lenzerini and
                 Rafael Pe{\~{n}}aloza},
    title     = {Proceedings of the 29th International Workshop on Description Logics},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {1577},
    publisher = {CEUR-WS.org},
    year      = {2016},
    url       = {http://ceur-ws.org/Vol-1577},
  }
  

2015

• Fernando Bobillo, Marco Cerami, Francesc Esteva, Àngel García-Cerdaña, Rafael Peñaloza, Umberto Straccia. Fuzzy Description Logic. In Handbook of Mathematical Fuzzy Logic Volume 3
  BibTex 

  @incollection{BCE+-15,
    author = {Fernando Bobillo and Marco Cerami and Francesc Esteva and 
  	{\`{A}}ngel Garc{\'{i}}a-Cerda{\~{n}}a and Rafael Pe{\~n}aloza and Umberto 
  	Straccia},
    title = {Fuzzy Description Logic},
    editor = {Petr Cintula and Christian G. Ferm{\"u}ller and Carles Noguera},
    publisher = {College Publications},
    series = {Studies in Logic},
    booktitle = {Handbook of Mathematical Fuzzy Logic Volume 3},
    volume = 58,
    year = 2015,
  }
  

• Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Similarity-based Relaxed Instance Queries. In Journal of Applied Logic
  BibTex  DOI 

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

• Stefan Borgwardt, Felix Distel and Rafael Peñaloza. The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions. In Artificial Intelligence
  BibTex  DOI 

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

• Franz Baader, Stefan Borgwardt and Rafael Peñaloza. On the Decidability Status of Fuzzy ALC with General Concept Inclusions. In Journal of Philosophical Logic
  BibTex  DOI 

  @article{ BaBP-JPL14,
    author = {Franz Baader and Stefan Borgwardt and Rafael Pe{\~n}aloza},
    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},
    doi = {10.1007/s10992-014-9329-3},
    note = {doi: http://dx.doi.org/10.1007/s10992-014-9329-3},
  }
  

• Mario Alviano and Rafael Peñaloza. Fuzzy Answer Set Computation via Satisfiability Modulo Theories. In Theory and Practice of Logic Programming
  BibTex  DOI  arXiv 

  @article{AlPe-TPLP15,
    author    = {Mario Alviano and
                 Rafael Pe{\~{n}}aloza},
    title     = {Fuzzy Answer Set Computation via Satisfiability Modulo Theories},
    journal   = {Theory and Practice of Logic Programming},
    volume    = {15},
    number    = {4-5},
    pages     = {588--603},
    year      = {2015},
    url       = {http://dx.doi.org/10.1017/S1471068415000241},
    doi       = {10.1017/S1471068415000241},
    note       = {doi: http://dx.doi.org/10.1017/S1471068415000241},
    arxiv    = {http://arxiv.org/abs/1507.03920},
  }
  

• Ismail Ilkan Ceylan and Rafael Peñaloza. Probabilistic Query Answering in the Bayesian Description Logic BEL. In Proceedings of the 9th International Conference on Scalable Uncertainty Management (SUM 2015)
  BibTex  DOI 

  @inproceedings{CePe-SUM15,
    author    = {{\.I}smail {\.I}lkan Ceylan and
                 Rafael Pe{\~{n}}aloza},
    title     = {Probabilistic Query Answering in the {Bayesian} Description Logic \emph{BEL}},
    booktitle = {Proceedings of the 9th International Conference on Scalable Uncertainty 
    			Management ({SUM} 2015)},
    pages     = {21--35},
    year      = {2015},
    url       = {http://dx.doi.org/10.1007/978-3-319-23540-0_2},
    note       = {doi: \url{http://dx.doi.org/10.1007/978-3-319-23540-0_2}},
    doi       = {10.1007/978-3-319-23540-0_2},
    editor    = {Christoph Beierle and
                 Alex Dekhtyar},
    series    = {Lecture Notes in Computer Science},
    volume    = {9310},
    publisher = {Springer},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. In Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS 2015)
  BibTex  DOI 

  @inproceedings{BoPe-FroCoS15,
    author    = {Stefan Borgwardt and
                 Rafael Pe{\~{n}}aloza},
    title     = {Reasoning in Expressive Description Logics under Infinitely Valued
                 G{\"{o}}del Semantics},
    booktitle = {Proceedings of the 10th International Symposium on Frontiers of Combining Systems {(FroCoS 2015)}},
    pages     = {49--65},
    year      = {2015},
    url       = {http://dx.doi.org/10.1007/978-3-319-24246-0_4},
    note       = {doi: \url{http://dx.doi.org/10.1007/978-3-319-24246-0_4}},
    doi       = {10.1007/978-3-319-24246-0_4},
    series    = {Lecture Notes in Computer Science},
    volume    = {9322},
    publisher = {Springer},
    editor    = {Carsten Lutz and
                 Silvio Ranise},
  }
  

• Stefan Borgwardt, Marco Cerami and Rafael Peñaloza. The Complexity of Subsumption in Fuzzy EL. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015
  BibTex 

  @inproceedings{BoCP-IJCAI15,
    author    = {Stefan Borgwardt and
                 Marco Cerami and
                 Rafael Pe{\~{n}}aloza},
    title     = {The Complexity of Subsumption in Fuzzy {EL}},
    booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
                 Artificial Intelligence, {IJCAI} 2015},
    pages     = {2812--2818},
    year      = {2015},
    url       = {http://ijcai.org/papers15/Abstracts/IJCAI15-398.html},
    editor    = {Qiang Yang and
                 Michael Wooldridge},
    publisher = {{AAAI} Press},
  }
  

• Rafael Peñaloza and Aparna Saisree Thuluva. Iterative Ontology Updates Using Context Labels. In Proceedings of the International Workshop on Belief Change and NMR in Ontologies and Databases
  BibTex 

  @inproceedings{PeTh-OC15,
    author = {Rafael {Pe{\~n}aloza} and Aparna Saisree {Thuluva}},
    booktitle = {Proceedings of the International Workshop on Belief Change and NMR in Ontologies and Databases},
    title = {Iterative Ontology Updates Using Context Labels},
    year = {2015},
  }
  

• Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza and Enric Plaza. Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++. In Proceedings of the International Workshop on Ontologies and Logic Programming for Query Answering
  BibTex 

  @inproceedings{ CES+-LPQA15,
    author = {Roberto Confalonieri and Manfred Eppe and Marco Schorlemmer and 
    		Oliver Kutz and Rafael Pe{\~n}aloza and Enric Plaza},
    booktitle = {Proceedings of the International Workshop on Ontologies and Logic Programming 
    			for Query Answering},
    title = {Upward Refinement for Conceptual Blending in Description Logic: 
    		An {ASP}-based Approach and Case Study in {EL++}},
    year = {2015},
  }
  

• Ismail Ilkan Ceylan and Rafael Peñaloza. Dynamic Bayesian Ontology Languages. In Proceedings of the 5th International Workshop on Statistical Relational AI (starAI 2015)
  BibTex  arXiv 

  @inproceedings{ CePe-starAI15,
    author    = {{\.I}smail {\.I}lkan Ceylan and
                 Rafael Pe{\~{n}}aloza},
    booktitle = {Proceedings of the 5th International Workshop on Statistical Relational AI (starAI 2015)},
    title     = {Dynamic Bayesian Ontology Languages},
    year      = {2015},
    url       = {http://arxiv.org/abs/1506.08030},
    arxiv       = {http://arxiv.org/abs/1506.08030},
  }
  

• Ismail Ilkan Ceylan and Rafael Peñaloza. Dynamic Bayesian Description Logics. In Proceedings of the 28th International Workshop on Description Logics
  BibTex 

  @inproceedings{CePe-DL15,
    author    = {{\.I}smail {\.I}lkan Ceylan and
                 Rafael Pe{\~{n}}aloza},
    title     = {Dynamic Bayesian Description Logics},
    booktitle = {Proceedings of the 28th International Workshop on Description Logics},
    year      = {2015},
    url       = {http://ceur-ws.org/Vol-1350/paper-48.pdf},
    editor    = {Diego Calvanese and
                 Boris Konev},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {1350},
    publisher = {CEUR-WS.org},
  }
  

• Ismail Ilkan Ceylan, Julian Mendez and Rafael Peñaloza. The Bayesian Ontology Reasoner is BORN!. In Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015)
  BibTex 

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

• Ismail Ilkan Ceylan, Thomas Lukasiewicz and Rafael Peñaloza. Answering EL Queries in the Presence of Preferences. In Proceedings of the 28th International Workshop on Description Logics
  BibTex 

  @inproceedings{CeLP-DL15,
    author    = {{\.I}smail {\.I}lkan Ceylan and
                 Thomas Lukasiewicz and
                 Rafael Pe{\~{n}}aloza},
    title     = {Answering {EL} Queries in the Presence of Preferences},
    booktitle = {Proceedings of the 28th International Workshop on Description Logics},
    year      = {2015},
    url       = {http://ceur-ws.org/Vol-1350/paper-47.pdf},
    editor    = {Diego Calvanese and
                 Boris Konev},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {1350},
    publisher = {CEUR-WS.org},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. Reasoning in Infinitely Valued G-IALCQ. In Workshop on Weighted Logics for AI (WL4AI-15)
  BibTex  arXiv 

  @inproceedings{ BoPe-WL4AI15,
    author = {Stefan Borgwardt and Rafael Pe{\~n}aloza},
    booktitle = {Workshop on {W}eighted {L}ogics for {AI} (WL4AI-15)},
    title = {Reasoning in Infinitely Valued {G-IALCQ}},
    year = {2015},
    arxiv = {https://arxiv.org/abs/1509.08761},
  }
  

• Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza and Anni-Yasmin Turhan. Conjunctive Query Answering with Finitely Many Truth Degrees. In Proceedings of the 28th International Workshop on Description Logics
  BibTex  arXiv 

  @inproceedings{BMPT-DL15,
    author    = {Stefan Borgwardt and
                 Theofilos P. Mailis and
                 Rafael Pe{\~{n}}aloza and
                 Anni{-}Yasmin Turhan},
    title     = {Conjunctive Query Answering with Finitely Many Truth Degrees},
    booktitle = {Proceedings of the 28th International Workshop on Description Logics},
    year      = {2015},
    url       = {http://ceur-ws.org/Vol-1350/paper-45.pdf},
    editor    = {Diego Calvanese and
                 Boris Konev},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {1350},
    publisher = {CEUR-WS.org},
    arxiv     = {http://arxiv.org/abs/1508.02626},
  }
  

• Rafael Peñaloza. Reasoning with Annotated Description Logic Ontologies. [Thesis]
  BibTex 

  @MastersThesis{PenaHabil,
    author = {Rafael Pe{\~n}aloza},
    title = {Reasoning with Annotated Description Logic Ontologies},
    school = {Dresden University of Technology},
    year = 2015,
    type = {Habilitation Thesis},
    address = {Germany},
    note = {Cumulative habilitation report}
  }
  

• Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza and Sebastian Rudolph (eds.). Proceedings of the 38th Annual German Conference on AI (KI 2015).
  BibTex  DOI 

  @proceedings{HKPR-KI15,
    editor    = {Steffen H{\"{o}}lldobler and
                 Markus Kr{\"{o}}tzsch and
                 Rafael Pe{\~{n}}aloza and
                 Sebastian Rudolph},
    title     = {Proceedings of the 38th Annual German Conference on AI ({KI} 2015)},
    series    = {Lecture Notes in Computer Science},
    volume    = {9324},
    publisher = {Springer},
    year      = {2015},
    url       = {http://dx.doi.org/10.1007/978-3-319-24489-1},
    note       = {doi: http://dx.doi.org/10.1007/978-3-319-24489-1},
    doi       = {10.1007/978-3-319-24489-1},
    isbn      = {978-3-319-24488-4},
  }
  

• Rafael Peñaloza. Feeding Many Values to Lightweight Description Logics. In Proceedings of ManyVal 2015
  BibTex 

  @inproceedings{PenaMV15,
    author = {Rafael Pe{\~n}aloza},
    title = {Feeding Many Values to Lightweight Description Logics},
    year = 2015,
    booktitle = {Proceedings of ManyVal 2015},
    editor = {George Metcalfe},
    pages = {13--14},
  }
  

2014

• Karsten Lehmann and Rafael Peñaloza. The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees. In Theoretical Computer Science
  BibTex  DOI 

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

• Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities. In International Journal of Approximate Reasoning
  BibTex  DOI 

  @article{ EcPT-IJAR14,
    author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
    doi = {10.1016/j.ijar.2014.03.001},
    note = {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},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. Consistency Reasoning in Lattice-Based Fuzzy Description Logics. In International Journal of Approximate Reasoning
  BibTex  DOI 

  @article{ BoPe-IJAR14,
    author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
    doi = {10.1016/j.ijar.2013.07.006},
    note = {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},
  }
  

• Dorian Merz, Rafael Peñaloza and Anni-Yasmin Turhan. Reasoning in ALC with Fuzzy Concrete Domains. In Proceedings of 37th German Conference on Artificial Intelligence (KI'14)
  BibTex 

  @inproceedings{ MePT-KI14,
    author = {Dorian {Merz} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
    booktitle = {Proceedings of 37th 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},
  }
  

• Theofilos Mailis, Rafael Peñaloza and Anni-Yasmin Turhan. Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics. In Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR 2014)
  BibTex 

  @inproceedings{ MaPT-RR14,
    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},
  }
  

• Michel Ludwig and Rafael Peñaloza. Error-Tolerant Reasoning in the Description Logic EL. In Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14)
  BibTex 

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

• Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Answering Instance Queries Relaxed by Concept Similarity. In Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14)
  BibTex 

  @inproceedings{ EcPT-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},
  }
  

• Stathis Delivorias, Haralampos Hatzikirou, Rafael Peñaloza and Dirk Walther. Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. In Proceedings of the 11th International Conference on Cellular Automata for Research and Industry, (ACRI 2014)
  BibTex  DOI 

  @inproceedings{DHPW-ACRI14,
    author    = {Stathis Delivorias and
                 Haralampos Hatzikirou and
                 Rafael Pe{\~{n}}aloza and
                 Dirk Walther},
    title     = {Detecting Emergent Phenomena in Cellular Automata Using Temporal Description
                 Logics},
    booktitle = {Proceedings of the 11th International Conference on Cellular Automata
                 for Research and Industry, ({ACRI} 2014)},
    year      = {2014},
    pages     = {357--366},
    doi       = {10.1007/978-3-319-11520-7_37},
    note       = {doi: \url{https://doi.org/10.1007/978-3-319-11520-7_37}},
    editor    = {Jaroslaw Was and
                 Georgios Ch. Sirakoulis and
                 Stefania Bandini},
    series    = {Lecture Notes in Computer Science},
    volume    = {8751},
    publisher = {Springer},
  }
  

• Ismail Ilkan Ceylan and Rafael Peñaloza. Tight Complexity Bounds for Reasoning in the Description Logic BEL. In Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)
  BibTex 

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

• Ismail Ilkan Ceylan and Rafael Peñaloza. The Bayesian Description Logic BEL. In Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014)
  BibTex 

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

• Daniel Borchmann, Rafael Peñaloza and Wenqian Wang. Classifying Software Bug Reports Using Methods from Formal Concept Analysis. In Studia Universitatis Babes-Bolyai Informatica
  BibTex 

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

• Stefan Borgwardt, José A. Leyva Galano and Rafael Peñaloza. The Fuzzy Description Logic extsfG-FL0 with Greatest Fixed-Point Semantics. In Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14)
  BibTex 

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

• Stefan Borgwardt, Felix Distel and Rafael Peñaloza. Decidable Gödel description logics without the finitely-valued model property. In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)
  BibTex 

  @inproceedings{BoDP-KR14,
    address = {Vienna, Austria},
    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},
  }
  

• Rafael Peñaloza, Veronika Thost and Anni-Yasmin Turhan. Certain Answers in a Rough World. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
  BibTex 

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

• Rafael Peñaloza and Aparna Saisree Thuluva. COBRA, a Demo. In Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014)
  BibTex 

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

• Yue Ma and Rafael Peñaloza. Towards Parallel Repair: An Ontology Decomposition-based Approach. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
  BibTex 

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

• Michel Ludwig and Rafael Peñaloza. Brave and Cautious Reasoning in EL. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
  BibTex 

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

• Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Mary, What's Like All Cats?. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
  BibTex 

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

• Chiara Del Vescovo and Rafael Peñaloza. DeaLing with Ontologies using CODs. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
  BibTex 

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

• Ismail Ilkan Ceylan and Rafael Peñaloza. Reasoning in the Description Logic BEL using Bayesian Networks. In Proceedings of the 4th International Workshop on Statistical Relational AI (starAI 2014)
  BibTex 

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

• Ismail Ilkan Ceylan and Rafael Peñaloza. Bayesian Description Logics. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
  BibTex 

  @inproceedings{ CePe-DL14,
    author = {Ismail Ilkan {Ceylan} 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 = {447--458},
    publisher = {CEUR-WS},
    series = {CEUR Workshop Proceedings},
    title = {{Bayesian Description Logics}},
    volume = {1193},
    year = {2014},
  }
  

• Stefan Borgwardt, José A. Leyva Galano and Rafael Peñaloza. Gödel FL0 with Greatest Fixed-Point Semantics. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
  BibTex 

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

• Stefan Borgwardt, Felix Distel and Rafael Peñaloza. Gödel Description Logics with General Models. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
  BibTex 

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

• Stefan Borgwardt, Marco Cerami and Rafael Peñaloza. Many-Valued Horn Logic is Hard. In Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV'14)
  BibTex 

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

• Thomas Lukasiewicz, Rafael Peñaloza and Anni-Yasmin Turhan (eds.). Proceedings of the First Workshop on Logics for Reasoning about Preferences.
  BibTex 

  @proceedings{LuPT-PRUV14,
    editor    = {Thomas Lukasiewicz and
                 Rafael Pe{\~{n}}aloza and
                 Anni{-}Yasmin Turhan},
    title     = {Proceedings of the First Workshop on Logics for Reasoning about Preferences,
                 Uncertainty, and Vagueness ({PRUV} 2014)},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {1205},
    publisher = {CEUR-WS.org},
    year      = {2014},
    url       = {http://ceur-ws.org/Vol-1205},
  }
  

• Rafael Peñaloza. Automata-based Reasoning in Fuzzy Description Logics. In Proceedings of the 35th Linz Seminar on Fuzzy Set Theory
  BibTex 

  @inproceedings{PenaLinz14,
    author = {Rafael Pe{\~n}aloza},
    title = {Automata-based Reasoning in Fuzzy Description Logics},
    year = 2014,
    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 = {103--106},
  }
  

2013

• Stefan Borgwardt and Rafael Peñaloza. The Complexity of Lattice-Based Fuzzy Description Logics. In Journal on Data Semantics
  BibTex  DOI 

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

• Mario Alviano and Rafael Peñaloza. Fuzzy Answer Sets Approximations. In Theory and Practice of Logic Programming
  BibTex  DOI 

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

• Rafael Peñaloza and Tingting Zou. Roughening the EL Envelope. In Proceedings of the 2013 International Symposium on Frontiers of Combining Systems (FroCoS 2013)
  BibTex 

  @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})},
    title = {Roughening the $\mathcal{EL}$ Envelope},
    year = {2013},
    editor = {P. {Fontaine} and C. {Ringeissen} and R. A. {Schmidt}},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {8152},
    pages = {71--86},
  }
  

• Rafael Peñaloza and Anni-Yasmin Turhan. Instance-based Non-standard Inferences in EL with Subjective Probabilities. In Uncertainty Reasoning for the Semantic Web II
  BibTex 

  @InProceedings{PeTu12,
    author = {Rafael Pe{\~n}aloza and Anni-Yasmin Turhan},
    title = {Instance-based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities},
    booktitle = {Uncertainty Reasoning for the Semantic Web II},
    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},
    year = 2013,
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    number = 7123,
    pages = {80--98},
  }
  

• Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Computing Role-depth Bounded Generalizations in the Description Logic ELOR. In Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013)
  BibTex 

  @inproceedings{ EcPT-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)},
    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},
    pages = {49--60},
    editor = {Ingo J. Timm and Matthias Thimm},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. Positive Subsumption in Fuzzy EL with General t-norms. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13)
  BibTex 

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

• Rafael Peñaloza and Tingting Zou. Rough EL Classification. In Proceedings of the 2013 International Workshop on Description Logics (DL'13)
  BibTex 

  @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})},
    series = {CEUR-WS},
    title = {Rough $\mathcal{EL}$ Classification},
    year = {2013},
    editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr{\"o}tzsch},
    volume = 1014,
    pages = {415--427},
  }
  

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

  @inproceedings{ EcPT-WL4AI13,
    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},
  }
  

• Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Role-depth bounded Least Common Subsumer in Prob-EL with Nominals. In Proceedings of the 26th International Workshop on Description Logics (DL-2013)
  BibTex 

  @inproceedings{ EcPT-DL13,
    address = {Ulm, Germany},
    author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
    booktitle = {Proceedings of the 26th International Workshop on Description Logics ({DL-2013})},
    month = {July},
    editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr{\"o}tzsch},
    series = {CEUR-WS},
    volume = 1014,
    pages = {670--688},
    title = {Role-depth bounded Least Common Subsumer in Prob-{$\mathcal{EL}$} with Nominals},
    year = {2013},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. About Subsumption in Fuzzy EL. In Proceedings of the 2013 International Workshop on Description Logics (DL'13)
  BibTex 

  @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},
    series = {CEUR-WS},
    volume = 1014,
    pages = {526--538},
    title = {About Subsumption in Fuzzy $\mathcal{EL}$},
    year = {2013},
  }
  

2012

• Franz Baader, Martin Knechtel and Rafael Peñaloza. Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies. In Journal of Web Semantics
  BibTex  DOI 

  @article{BaKP-JWS12,
    author = {Franz Baader and Martin Knechtel and Rafael Pe{\~n}aloza},
    title = {Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies},
    journal = {Journal of Web Semantics},
    volume = {12--13},
    pages = {22--40},
    month = {April},
    year = {2012},
    note = {doi: http://dx.doi.org/10.1016/j.websem.2011.11.006},
    doi = {10.1016/j.websem.2011.11.006},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. In Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012)
  BibTex 

  @inproceedings{BoPe-RR12,
    author    = {Stefan Borgwardt and Rafael Pe{\~n}aloza},
    title     = {A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices},
    booktitle = {Proceedings of the 6th International Conference on Web Reasoning and Rule Systems
                 (RR 2012)},
    year      = {2012},
    pages     = {9--24},
    publisher = {Springer},
    volume    = 7497,
    series    = {Lecture Notes in Computer Science},
    editor    = {Markus Kr{\"o}tzsch and
                 Umberto Straccia},
    springer  = {yes},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. Undecidability of Fuzzy Description Logics. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12)
  BibTex 

  @inproceedings{BoPe-KR12,
    author    = {Stefan Borgwardt and Rafael Pe{\~n}aloza},
    title     = {Undecidability of Fuzzy Description Logics},
    booktitle = {Proceedings of the 13th International Conference on
  		Principles of Knowledge Representation and Reasoning ({KR'12})},
    year      = 2012,
    publisher = {AAAI Press},
    address   = {Rome, Italy},
    pages     = {232--242},
    editor    = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith},
  }
  

• Stefan Borgwardt, Felix Distel and Rafael Peñaloza. How Fuzzy is my Fuzzy Description Logic?. In Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12)
  BibTex 

  @InProceedings{BoDP-IJCAR12,
    author = {Stefan Borgwardt and Felix Distel and Rafael Pe{\~n}aloza},
    title = {How Fuzzy is my Fuzzy Description Logic?},
    booktitle = {Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12)},
    year = 2012,
    address = {Manchester, UK},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Artificial Intelligence},
    volume = 7364,
    pages = {82--96},
    editor = {Bernhard Gramlich and Dale Miller and Ulrike Sattler},
    springer = {yes},
  }
  

• Karsten Lehmann and Rafael Peñaloza. The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices. In Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications (WATA'12)
  BibTex 

  @InProceedings{LePe12,
    author = 	 {Karsten Lehmann and Rafael Pe{\~n}aloza},
    title = 	 {The Complexity of Computing the Behaviour of Weighted B\"uchi Automata over Lattices},
    booktitle = 	 {Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications ({WATA'12})},
    year =	 2012,
    editor =	 {Heiko Vogler and Manfred Droste},
  }
  

• Weili Fu and Rafael Peñaloza. Adding Context to Tableaux for DLs. In Proceedings of the 2012 International Workshop on Description Logics (DL'12)
  BibTex 

  @inproceedings{FuPe-DL12,
    author    = {Weili Fu and Rafael Pe{\~n}aloza},
    title     = {Adding Context to Tableaux for {DLs}},
    booktitle = {Proceedings of the 2012 International Workshop on Description Logics ({DL'12})},
    year      = 2012,
    series    = {CEUR-WS},
    address   = {Rome, Italy},
    volume    = 846,
    editor    = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. Non Gödel Negation Makes Unwitnessed Consistency Undecidable. In Proceedings of the 2012 International Workshop on Description Logics (DL'12)
  BibTex 

  @inproceedings{BoPe-DL12,
    author    = {Stefan Borgwardt and Rafael Pe{\~n}aloza},
    title     = {Non {G\"o}del Negation Makes Unwitnessed Consistency Undecidable},
    booktitle = {Proceedings of the 2012 International Workshop on Description Logics ({DL'12})},
    year      = 2012,
    series    = {CEUR-WS},
    address   = {Rome, Italy},
    volume    = 846,
    editor    = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter},
  }
  

• Stefan Borgwardt, Felix Distel and Rafael Peñaloza. Gödel Negation Makes Unwitnessed Consistency Crisp. In Proceedings of the 2012 International Workshop on Description Logics (DL'12)
  BibTex 

  @inproceedings{BoDP-DL12,
    author    = {Stefan Borgwardt and Felix Distel and Rafael Pe{\~n}aloza},
    title     = {{G\"o}del Negation Makes Unwitnessed Consistency Crisp},
    booktitle = {Proceedings of the 2012 International Workshop on Description Logics ({DL'12})},
    year      = 2012,
    series    = {CEUR-WS},
    address   = {Rome, Italy},
    volume    = 846,
    editor    = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter},
  }
  

2011

• Rafael Peñaloza and Anni-Yasmin Turhan. A Practical Approach for Computing Generalization Inferences in EL. In Proceedings of the 8th European Semantic Web Conference (ESWC'11), Part I
  BibTex 

  @InProceedings{PeTu-ESWC11,
    author = 	 {Rafael Pe{\~n}aloza and Anni-Yasmin Turhan},
    title = 	 {A Practical Approach for Computing Generalization Inferences in {${\mathcal{EL}}$}},
    booktitle = 	 {Proceedings of the 8th European Semantic Web
                     Conference ({ESWC'11}), Part I},
    year = 	 {2011},
    series = 	 {Lecture Notes in Computer Science},
    publisher =    {Springer-Verlag},
    editor    =    {Grigoris Antoniou and
                    Marko Grobelnik and
                    Elena Paslaru Bontas Simperl and
                    Bijan Parsia and
                    Dimitris Plexousakis and
                    Pieter De Leenheer and
                    Jeff Z. Pan},
    pages     =     {410--423},
    volume    =     {6643},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. Description Logics over Lattices with Multi-valued Ontologies. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11)
  BibTex 

  @inproceedings{BoPe-IJCAI11,
    author    = {Stefan Borgwardt and Rafael Pe{\~n}aloza},
    title     = {Description Logics over Lattices with Multi-valued Ontologies},
    booktitle = {Proceedings of the Twenty-Second International Joint 
  		Conference on Artificial Intelligence ({IJCAI'11})},
    year      = 2011,
    editor    = {Toby Walsh},
    publisher = {AAAI Press},
    pages     = {768--773},
    address   = {Barcelona, Spain},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. The Inclusion Problem for Weighted Automata on Infinite Trees. In Proceedings of the 13th International Conference on Automata and Formal Languages (AFL'11)
  BibTex 

  @inproceedings{BoPe-AFL11,
    author    = {Stefan Borgwardt and Rafael Pe{\~n}aloza},
    title     = {The Inclusion Problem for Weighted Automata on Infinite Trees},
    booktitle = {Proceedings of the 13th International Conference on Automata and Formal Languages (AFL'11)},
    year      = 2011,
    publisher = {Institute of Mathematics and Computer Science of Ny{\'i}regyh{\'a}za College},
    editor    = {P. D{\"o}m{\"o}si and Sz. Iv{\'a}n},
    pages     = {108--122},
    address   = {Debrecen, Hungary},
  }
  

• Franz Baader and Rafael Peñaloza. Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?. In Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011)
  BibTex 

  @inproceedings{BaPe-FuzzIEEE11,
    author    = {Franz Baader and Rafael Pe{\~n}aloza},
    title     = {Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?},
    booktitle = {Proceedings of 2011 IEEE International Conference on Fuzzy Systems ({Fuzz-IEEE 2011})},
    year      = 2011,
    publisher = {IEEE Press},
    pages     = {1735--1742},
    address   = {Taipei, Taiwan},
  }
  

• Franz Baader and Rafael Peñaloza. On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm. In Proceedings of 8th International Symposium Frontiers of Combining Systems (FroCoS 2011)
  BibTex 

  @inproceedings{BaPe-FroCoS11,
    author    = {Franz Baader and Rafael Pe{\~n}aloza},
    title     = {On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm},
    booktitle = {Proceedings of 8th International Symposium Frontiers of Combining Systems ({FroCoS 2011})},
    year      = 2011,
    publisher = {Springer-Verlag},
    address   = {Saarbr{\"u}cken, Germany},
    editor    = {Cesare Tinelli and Viorica Sofronie-Stokkermans},
    series    = {Lecture Notes in Aritificial Intelligence},
    volume    = 6989,
    pages     = {55--70},
    springer  = {yes}
  }
  

• Eldora, Martin Knechtel and Rafael Peñaloza. Correcting Access Restrictions to a Consequence More Flexibly. In Proceedings of the 2011 International Workshop on Description Logics (DL'11)
  BibTex 

  @inproceedings{ElKP-DL11,
    author    = {Eldora and Martin Knechtel and Rafael Pe{\~n}aloza},
    title     = {Correcting Access Restrictions to a Consequence More Flexibly},
    booktitle = {Proceedings of the 2011 International Workshop on Description Logics ({DL'11})},
    year      = 2011,
    series    = {CEUR-WS},
    address   = {Barcelona, Spain},
    editor    = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev},
    volume    = 745,
  }
  

• Stefan Borgwardt and Rafael Peñaloza. Finite Lattices Do Not Make Reasoning in ALCI Harder. In Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW'11)
  BibTex 

  @inproceedings{BoPe-URSW11,
    author    = {Stefan Borgwardt and Rafael Pe{\~n}aloza},
    title     = {Finite Lattices Do Not Make Reasoning in $\mathcal{ALCI}$ Harder},
    booktitle = {Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web ({URSW'11})},
    year      = 2011,
    series    = {CEUR-WS},
    address   = {Bonn, Germany},
    editor    = {Fernando Bobillo et.al.},
    volume    = 778,
    pages     = {51--62},
  }
  

• Stefan Borgwardt and Rafael Peñaloza. Fuzzy Ontologies over Lattices with T-norms. In Proceedings of the 2011 International Workshop on Description Logics (DL'11)
  BibTex 

  @inproceedings{BoPe-DL11,
    author    = {Stefan Borgwardt and Rafael Pe{\~n}aloza},
    title     = {Fuzzy Ontologies over Lattices with T-norms},
    booktitle = {Proceedings of the 2011 International Workshop on Description Logics ({DL'11})},
    year      = 2011,
    series    = {CEUR-WS},
    address   = {Barcelona, Spain},
    editor    = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev},
    volume    = 745,
  }
  

• Franz Baader and Rafael Peñaloza. GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. In Proceedings of the 2011 International Workshop on Description Logics (DL'11)
  BibTex 

  @inproceedings{BaPe-DL11,
    author    = {Franz Baader and Rafael Pe{\~n}aloza},
    title     = {{GCIs} Make Reasoning in Fuzzy {DL} with the Product T-norm Undecidable},
    booktitle = {Proceedings of the 2011 International Workshop on Description Logics ({DL'11})},
    year      = 2011,
    series    = {CEUR-WS},
    address   = {Barcelona, Spain},
    editor    = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev},
    volume    = 745,
  }
  

2010

• Franz Baader and Rafael Peñaloza. Automata-based Axiom Pinpointing. In Journal of Automated Reasoning
  BibTex  DOI 

  @Article{BaPe-JAR09,
    author	= {Franz Baader and Rafael Pe{\~n}aloza},
    title		= {Automata-based Axiom Pinpointing},
    journal	= {Journal of Automated Reasoning},
    year		= 2010,
    volume	= 45,
    number	= 2,
    month		= {August},
    pages		= {91--129},
    note		= {Special Issue: Selected Papers from {IJCAR} 2008},
    doi			= {10.1007/s10817-010-9181-2},
  }
  

• Franz Baader and Rafael Peñaloza. Axiom Pinpointing in General Tableaux. In Journal of Logic and Computation
  BibTex  DOI 

  @Article{BaPe-JLC09,
    author =       {Franz Baader and Rafael Pe{\~n}aloza},
    title =        {Axiom Pinpointing in General Tableaux},
    journal =      {Journal of Logic and Computation},
    year =         2010,
    volume =	 20,
    number =	 1,
    month =	 {February},
    pages =	 {5--34},
    note = 	"Special Issue: Tableaux and Analytic Proof Methods",
    doi = {10.1093/logcom/exn058},
  }
  

• Rafael Peñaloza and Baris Sertkaya. On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. In Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR'10)
  BibTex 

  @inproceedings{PeSe10-KR,
    author    = {Rafael Pe{\~n}aloza and Bar\i{}\c{s} Sertkaya},
    title     = {On the Complexity of Axiom Pinpointing in the EL Family of Description Logics},
    booktitle = {Proceedings of the 12th International Conference on the Principles
  		of Knowledge Representation and Reasoning ({KR'10})}, 
    year      = {2010},
    editor    = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski},
    pages	    = {280--289},
    publisher = {AAAI Press},
    address   = {Toronto, Canada},
  }
  

• Rafael Peñaloza and Baris Sertkaya. Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10)
  BibTex  DOI 

  @inproceedings{PeSe10-ECAI,
    author    = {Rafael Pe{\~n}aloza and Bar\i{}\c{s} Sertkaya},
    title     = {Complexity of Axiom Pinpointing in the {DL-Lite} Family of Description Logics},
    booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence ({ECAI'10})},
    year      = {2010},
    pages     = {29--34},
    series    = {Frontiers in Artificial Intelligence and Applications},
    volume    = 215,
    publisher = {IOS Press},
    editor    = {Helder Coelho and Rudi Studer and Michael Wooldridge},
    doi = {10.3233/978-1-60750-606-5-29},
  }
  

• Rafael Peñaloza. Using Sums-of-Products for Non-standard Reasoning. In Proceedings of the 4th International Conference on Language and Automata Theory and Applications (LATA 2010)
  BibTex  DOI 

  @inproceedings{Pena10,
    author    = {Rafael Pe{\~n}aloza},
    title     = {Using Sums-of-Products for Non-standard Reasoning},
    booktitle = {Proceedings of the 4th International Conference on Language and
  		Automata Theory and Applications ({LATA 2010})},
    year      = 2010,
    editor    = {A.-H.~Dediu and H.~Fernau and C.~Mart{\'i}n-Vide},
    series    = {Lecture Notes in Computer Science},
    volume    = 6031,
    pages     = {488--499},
    publisher = {Springer-Verlag},
    doi = {10.1007/978-3-642-13089-2_41},
  }
  

• Martin Knechtel and Rafael Peñaloza. A Generic Approach for Correcting Access Restrictions to a Consequence. In Proceedings of the 7th Extended Semantic Web Conference (ESWC 2010)
  BibTex  DOI 

  @inproceedings{KnPe-ESWC-10,
    author    = {Martin Knechtel and Rafael Pe{\~n}aloza},
    title     = {A Generic Approach for Correcting Access Restrictions to a Consequence},
    booktitle = {Proceedings of the 7th Extended Semantic Web Conference ({ESWC 2010})},
    year      = 2010,
    editor = {Lora Aroyo and Grigoris Antoniou and Eero Hyv{\"o}nen and Annette ten
  	Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache},
    volume = {6088},
    series = {Lecture Notes in Computer Science},
    pages = {167-182},
    doi = {10.1007/978-3-642-13486-9_12},
  }
  

• Rafael Peñaloza and Anni-Yasmin Turhan. Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. In Proceedings of the First International Workshop on Uncertainty in Description Logics (UniDL'10)
  BibTex 

  @InProceedings{PeTu-UniDL10,
    author = 	 {Rafael Pe{\~n}aloza and Anni-Yasmin Turhan},
    title = 	 {Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities},
    booktitle = 	 {Proceedings of the First International Workshop on Uncertainty in Description Logics ({UniDL'10})},
    year =	 2010,
    editor =	 {Thomas Lukasiewicz and Rafael Pe{\~n}aloza and Anni-Yasmin Turhan},
    volume =	 613,
    series =	 {{CEUR-WS}},
    address =	 {Edinburgh, UK},
  }
  

• Rafael Peñaloza and Anni-Yasmin Turhan. Role-depth Bounded Least Common Subsumers by Completion for EL- and Prob-EL-TBoxes. In Proceedings of the 2010 International Workshop on Description Logics (DL'10)
  BibTex 

  @InProceedings{PeTu-DL10,
    author = 	 {Rafael Pe{\~n}aloza and Anni-Yasmin Turhan},
    title = 	 {Role-depth Bounded Least Common Subsumers by Completion for EL- and Prob-EL-TBoxes},
    booktitle = 	 {Proceedings of the 2010 International Workshop on Description Logics ({DL'10})},
    year =	 2010,
    editor =	 {Volker Haarslev and David Toman and Grant Weddell},
    volume =	 573,
    series =	 {{CEUR-WS}},
    address =	 {Waterloo, Canada},
  }
  

• Rafael Peñaloza and Baris Sertkaya. Complexity of Axiom Pinpointing in the DL-Lite Family. In Proceedings of the 2010 International Workshop on Description Logics (DL'10)
  BibTex 

  @InProceedings{PeSe-DL10,
    author = 	 {Rafael Pe{\~n}aloza and Bar\i{}\c{s} Sertkaya},
    title = 	 {Complexity of Axiom Pinpointing in the {DL-Lite} Family},
    booktitle = 	 {Proceedings of the 2010 International Workshop on Description Logics ({DL'10})},
    year =	 2010,
    editor =	 {Volker Haarslev and David Toman and Grant Weddell},
    volume =	 573,
    series =	 {{CEUR-WS}},
    address =	 {Waterloo, Canada},
  }
  

• Martin Knechtel and Rafael Peñaloza. Correcting Access Restrictions to a Consequence. In Proceedings of the 2010 International Workshop on Description Logics (DL'10)
  BibTex 

  @InProceedings{KnPe-DL10,
    author = 	 {Martin Knechtel and Rafael Pe{\~n}aloza},
    title = 	 {Correcting Access Restrictions to a Consequence},
    booktitle = 	 {Proceedings of the 2010 International Workshop on Description Logics ({DL'10})},
    year =	 2010,
    editor =	 {Volker Haarslev and David Toman and Grant Weddell},
    volume =	 573,
    series =	 {{CEUR-WS}},
    address =	 {Waterloo, Canada},
  }
  

• Thomas Lukasiewicz, Rafael Peñaloza and Anni-Yasmin Turhan (eds.). Proceedings of the First International Workshop on Uncertainty in Description Logics.
  BibTex 

  @proceedings{LuPT-UniDL10,
    editor    = {Thomas Lukasiewicz and
                 Rafael Pe{\~{n}}aloza and
                 Anni{-}Yasmin Turhan},
    title     = {Proceedings of the First International Workshop on Uncertainty in
                 Description Logics},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {613},
    publisher = {CEUR-WS.org},
    year      = {2010},
    url       = {http://ceur-ws.org/Vol-613},
  }
  

• Rafael Peñaloza. Wie findet man die verantwortliche Axiome? Axiom-Pinpointing in Beschreibungslogiken. In Ausgezeichnete Informatikdissertationen 2009
  BibTex 

  @InProceedings{PenaGI09,
    author = {Rafael Pe{\~n}aloza},
    title = {Wie findet man die verantwortliche {A}xiome? {A}xiom-{P}inpointing in {B}eschreibungslogiken},
    booktitle = {Ausgezeichnete Informatikdissertationen 2009},
    year = 2010,
    volume = {D10},
    series = {Lecture Notes in Informatics},
    publisher = {Gesellschaft f\"ur Informatik},
    address = {Germany},
    pages = {181--190},
    note = {In german},
  }
  

2009

• Franz Baader, Martin Knechtel and Rafael Peñaloza. A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. In Proceedings of the 8th International Semantic Web Conference (ISWC 2009)
  BibTex  DOI 

  @INPROCEEDINGS{BaKP09,
    author = {Franz Baader and Martin Knechtel and Rafael Pe{\~n}aloza},
    title = {A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms},
    booktitle = {Proceedings of the 8th International Semantic Web Conference (ISWC 2009)},
    year = {2009},
    editor = {Abraham Bernstein et al.},
    pages = {49-64},
    volume = {5823},
    series = {Lecture Notes in Computer Science},
    springer = {yes},
    address = {Washington, DC},
    doi = {10.1007/978-3-642-04930-9_4},
  }
  

• Rafael Peñaloza and Baris Sertkaya. Axiom Pinpointing is Hard. In Proceedings of the 2009 International Workshop on Description Logics (DL'09)
  BibTex 

  @inproceedings{PeSe09,
    author    = {Rafael Pe{\~n}aloza and Bar\i{}\c{s} Sertkaya},
    title     = {Axiom Pinpointing is Hard},
    booktitle = {Proceedings of the 2009 International Workshop on Description
                 Logics ({DL'09})},
    editor   =  {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and 
                 Ulrike Sattler},
    year      = {2009},
    series    = {CEUR-WS},
    volume    = 477,
  }
  

• Rafael Peñaloza. Reasoning With Weighted Ontologies. In Proceedings of the 2009 International Workshop on Description Logics (DL'09)
  BibTex 

  @inproceedings{Pena09b,
    author    = {Rafael Pe{\~n}aloza},
    title     = {Reasoning With Weighted Ontologies},
    booktitle = {Proceedings of the 2009 International Workshop on Description
                 Logics ({DL'09})},
    editor   =  {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and 
                 Ulrike Sattler},
    year      = {2009},
    series    = {CEUR-WS},
    volume    = 477,
  }
  

• Rafael Peñaloza. Using Tableaux and Automata for Pinpointing in EL. In TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab'09)
  BibTex 

  @inproceedings{Pena09,
    author    = {Rafael Pe{\~n}aloza},
    title     = {Using Tableaux and Automata for Pinpointing in EL},
    booktitle = {TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical
                 Decision Methods ({AutoTab'09})},
    editor   =  {Valentin Goranko},
    year      = {2009},
  }
  

• Rafael Peñaloza. Axiom-Pinpointing in Description Logics and Beyond. [Thesis]
  BibTex 

  @PhDThesis{PenaPhD,
    author = {Rafael Pe{\~n}aloza},
    title = {Axiom-Pinpointing in Description Logics and Beyond},
    school = {Dresden University of Technology},
    year = {2009},
    address = {Germany}
  }
  

2008

• Franz Baader, Jan Hladik and Rafael Peñaloza. Automata Can Show PSPACE Results for Description Logics. In Information and Computation
  BibTex  DOI 

  @Article{BaHP-IC08,
   author = 	 {Franz Baader and Jan Hladik and Rafael Pe{\~n}aloza},
   title = 	 {Automata Can Show {PSPACE} Results for Description Logics},
   journal = 	 {Information and Computation},
   year = 	 2008,
   volume =	 {206},
   number =	 {9,10},
   publisher = 	 {Elsevier Science Publishers Ltd.},
   pages =	 {1045--1056},
   note =	 {Special Issue: First International Conference on Language and Automata Theory and Applications ({LATA'07})},
   doi = {10.1016/j.ic.2008.03.006},
  }
  

• Franz Baader and Rafael Peñaloza. Automata-based Axiom Pinpointing. In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2008)
  BibTex  DOI 

  @InProceedings{BaPe08,
    author =       {Franz Baader and Rafael Pe{\~n}aloza},
    title =        {Automata-based Axiom Pinpointing},
    booktitle =    {Proceedings of the International Joint Conference on Automated Reasoning (IJCAR~2008)},
    year =         2008,
    address =      {Sydney, Australia},
    publisher =    "Springer-Verlag",
    series =       {Lecture Notes in Artificial Intelligence},
    volume =	 4667,
    pages =	 {226--241},
    editor =	 {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
    springer =     {yes},
    doi = {10.1007/978-3-540-71070-7_19},
  }
  

• Rafael Peñaloza. Automata-based Pinpointing for DLs. In Proceedings of the 2008 International Workshop on Description Logics (DL'08)
  BibTex 

  @InProceedings{Pena08,
    author =	"Rafael Pe{\~n}aloza",
    title = 	"Automata-based Pinpointing for {DLs}",
    booktitle = 	"Proceedings of the 2008 International Workshop on Description Logics ({DL'08})",
    editor =	"Franz Baader and Carsten Lutz and Boris Motik",
    volume =	353,
    year =	2008,
    series =	{CEUR-WS},
    address =	"Dresden, Germany",
  }
  

2007

• Franz Baader, Rafael Peñaloza and Boontawee Suntisrivaraporn. Pinpointing in the Description Logic EL^+. In Proceedings of the 30th German Annual Conference on Artificial Intelligence (KI'07)
  BibTex 

  @InProceedings{BaPS07,
    author =	"Franz Baader and Rafael Pe{\~n}aloza and Boontawee Suntisrivaraporn",
    title  =	"Pinpointing in the Description Logic $\mathcal{EL}^+$",
    booktitle =	"Proceedings of the 30th German Annual Conference on Artificial Intelligence
    		 ({KI'07})",
    year	 =	"2007",
    address =	"Osnabr{\"u}ck, Germany",
    publisher = 	"Springer-Verlag",
    series = 	"Lecture Notes in Artificial Intelligence",
    volume = 	4667,
    pages  =	"52--67",
    editor =	{Joachim Hertzberg and Michael Beetz and Roman Englert},
  }
  

• Franz Baader and Rafael Peñaloza. Axiom Pinpointing in General Tableaux. In Proceedings of the 16th International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2007)
  BibTex 

  @InProceedings{BaPe07,
    author = 	"Franz Baader and Rafael Pe{\~n}aloza",
    title =	"Axiom Pinpointing in General Tableaux",
    booktitle =	"Proceedings of the 16th International Conference on Analytic Tableaux and
    		 Related Methods ({TABLEAUX~2007})",
    editor =	"Nicola Olivetti",
    publisher =	"Springer-Verlag",
    volume =	4548,
    series =	"Lecture Notes in Artificial Intelligence",
    pages =	"11--27",
    address =	"Aix-en-Provence, France",
    year =	2007,
  }
  

• Franz Baader, Jan Hladik and Rafael Peñaloza. SI! Automata Can Show PSPACE Results for Description Logics. In Proceedings of the First International Conference on Language and Automata Theory and Applications (LATA'07)
  BibTex 

  @InProceedings{BaHP07b,
    author = 	 {Franz Baader and Jan Hladik and Rafael Pe{\~n}aloza},
    title = 	 {{SI}! Automata Can Show {PSPACE} Results for Description Logics},
    booktitle = 	 {Proceedings of the First International Conference on Language and 
    		  Automata Theory and Applications ({LATA'07})},
    year =	 2007,
    editor =	 {Remco Loos and Szil{\'a}rd Zsolt Fazekas and Carlos Martin-Vide},
    address =	 {Tarragona, Spain},
  }
  

• Franz Baader, Rafael Peñaloza and Boontawee Suntisrivaraporn. Pinpointing in the Description Logic EL. In Proceedings of the 2007 International Workshop on Description Logics (DL'07)
  BibTex 

  @InProceedings{BaPS07b,
    author =	"Franz Baader and Rafael Pe{\~n}aloza and Boontawee Suntisrivaraporn",
    title  =	"Pinpointing in the Description Logic $\mathcal{EL}$",
    booktitle = 	"Proceedings of the 2007 International Workshop on Description Logics ({DL'07})",
    year	 =	"2007",
    series = 	"CEUR-WS",
    volume = 	250,
    pages  =	"",
    editor =	"Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo
    		and Boris Motik and Anni-Yasmin Turhan and Sergio Tessaris",
    address =	"Brixen-Bressanone, Italy",
  }
  

• Franz Baader, Jan Hladik and Rafael Peñaloza. Blocking Automata for PSPACE DLs. In Proceedings of the 2007 International Workshop on Description Logics (DL'07)
  BibTex 

  @InProceedings{BaHP07,
    author = 	 {Franz Baader and Jan Hladik and Rafael Pe{\~n}aloza},
    title = 	 {Blocking Automata for {PSPACE} {DLs}},
    booktitle = 	 {Proceedings of the 2007 International Workshop on Description Logics ({DL'07})},
    year =	 2007,
    volume =	250,
    editor =	 {Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo
    		and Boris Motik and Anni-Yasmin Turhan and Sergio Tessaris},
    series =	 {CEUR-WS},
    address =	"Brixen-Bressanone, Italy",
  }
  

2006

• Alex Kozlenkov, Rafael Peñaloza, Vivek Nigam, Loic Royer, Gihan Dawelbait and Michael Schroeder. Prova: Rule-based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. In Proceedings of the Workshop on Reactivity on the Web at the International Conference on Extending Database Technology (EDBT 2006)
  BibTex 

  @InProceedings{KPea06,
    author =	"Alex Kozlenkov and Rafael Pe{\~n}aloza and Vivek Nigam and Loic Royer and
    		 Gihan Dawelbait and Michael Schroeder",
    title =	"Prova: Rule-based Java Scripting for Distributed Web Applications: A Case
    		 Study in Bioinformatics",
    booktitle =	"Proceedings of the Workshop on Reactivity on the Web at the International
    		 Conference on Extending Database Technology ({EDBT~2006})",
    publisher =	"Springer-Verlag",
    year =	2006,
    volume =	4254,
    series =	"Lecture Notes in Computer Science",
    address =	"Munich, Germany",
  }
  

• Jan Hladik and Rafael Peñaloza. PSPACE Automata for Description Logics. In Proceedings of the 2006 International Workshop on Description Logics (DL'06)
  BibTex 

  @InProceedings{HlPe06,
    author = 	 {Jan Hladik and Rafael Pe{\~n}aloza},
    title = 	 {{PSPACE} Automata for Description Logics},
    booktitle = 	 {Proceedings of the 2006 International Workshop on Description Logics ({DL'06})},
    year =	 2006,
    editor =	 {Bijan Parsia and Ulrike Sattler and David Toman},
    volume =	 189,
    series =	 {{CEUR-WS}},
    address =	 {The Lake District, UK},
  }
  

• Rafael Peñaloza. Optimization of Emptiness Test of Büchi Automata on Infinite Trees. [Thesis]
  BibTex 

  @MASTERSTHESIS{PenaCL,
    author = {Rafael Pe{\~n}aloza},
    title = {Optimization of Emptiness Test of {B{\"u}chi} Automata on Infinite Trees},
    school = {Dresden University of Technology},
    year = {2006},
    type = {Master's thesis},
    address = {Germany}
  }
  

2003

• Angel Kuri, M.R. Ortiz, Daniela Zenteno and Rafael Peñaloza. Classification of Sperm Cells According to their Chromosomic Content Using a Neural Network Trained with a Genetic Algorithm. In Proceedings of the 25th Annual International Conference of the IEEE Engineering in Medicine and Biology Society
  BibTex 

  @InProceedings{KOZP03,
    author =	"Angel Kuri and M.R. Ortiz and Daniela Zenteno and Rafael Pe{\~n}aloza",
    title =	"Classification of Sperm Cells According to their Chromosomic Content Using a
    		 Neural Network Trained with a Genetic Algorithm",
    booktitle =	"Proceedings of the 25th Annual International Conference of the {IEEE} Engineering
    		 in Medicine and Biology Society",
    publisher =	"IEEE-Press",
    year =	2003,
  }
  

• Osvaldo Cairó and Rafael Peñaloza. Using Bayesian Networks as an Inference Engine in KAMET. In Proceedings of the XXIII International Conference of the Chilean Computer Science Society (SCCC'03)
  BibTex 

  @InProceedings{CaPe03b,
    author =	"Osvaldo Cair{\'o} and Rafael Pe{\~n}aloza",
    title =	"Using {B}ayesian Networks as an Inference Engine in {KAMET}",
    booktitle =	"Proceedings of the XXIII International Conference of the Chilean Computer Science
    		 Society ({SCCC'03})",
    address =	"Chillan, Chile",
    publisher =	"IEEE-Press",
    year =	2003,
  }
  

• Osvaldo Cairó and Rafael Peñaloza. Creating a Bayesian Inference Engine for KAMET. In Proceedings of the X Conference of the Spanish Society of Artificial Intelligence (CAEPIA'03)
  BibTex 

  @InProceedings{CaPe03,
    author =	"Osvaldo Cair{\'o} and Rafael Pe{\~n}aloza",
    title =	"Creating a {B}ayesian Inference Engine for {KAMET}",
    booktitle =	"Proceedings of the X Conference of the Spanish Society of Artificial
    		 Intelligence ({CAEPIA'03})",
    address =	"Donostia-San Sebastian, Spain",
    year =	2003,
  }
  

• Rafael Peñaloza. Sistemas basados en conocimiento, redes probabilistas y KAMET. [Thesis]
  BibTex 

  @MastersThesis{PenaITAM,
    author = {Rafael Pe{\~n}aloza},
    title = {Sistemas basados en conocimiento, redes probabilistas y {KAMET}},
    school = {Instituto Tecnol{\'o}gico Autonomo de M{\'e}xico},
    year = 2003,
    type = {Bachelor's Thesis},
    address = {Mexico},
    note = {In spanish}
  }