2021  2020  2019  2018  2017  2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2003 

I have 178 publications in different venues. Below you can find all relevant bibliographic information, including Bibtex, DOI, and (in some cases) a preprint version of the paper. Preprints for older papers (before 2015) are available at the LAT Webpage.

2021

  • 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}, 
      year={2021}, 
      pages={1–24},
      note={to appear},
      arxiv = {https://arxiv.org/abs/2009.13407},
    }
    
  • 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},
          note = {To appear.},
          title = {{Safety of Quantified ABoxes w.r.t. Singleton $\mathcal{EL}$ Policies}},
          year = {2021},
    }
    

2020

  • Rafael Peñaloza. Axiom Pinpointing. In Applications, 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\ssmann, 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,, General Intelligence ISD4: The 4th Image Schema Day, and SCORE: From Image Schemas to Cognitive Robotics
    BibTex 
    @inproceedings{DBLP:conf/c3gi/HedblomKPG18,
      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, 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, 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. Lukasiewicz 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, 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,
      note      = {To appear},
    }
    
  • 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, 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 G-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, 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, 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}
    }