Publications
2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2003
I have 200 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.
2023
-
Piscioneri, Antonella, Morelli, Sabrina, Ritacco, Tiziana, Giocondo, Michele, Peñaloza, Rafael, Drioli, Enrico and De Bartolo, Loredana. Topographical cues of PLGA membranes modulate the behavior of hMSCs, myoblasts and neuronal cells. In Colloids and Surfaces B: Biointerfaces
BibTex DOI@article{PMRG+23, author = {Piscioneri, Antonella and Morelli, Sabrina and Ritacco, Tiziana and Giocondo, Michele and Pe{\~n}aloza, Rafael and Drioli, Enrico and De Bartolo, Loredana}, title = {Topographical cues of {PLGA} membranes modulate the behavior of {hMSCs}, myoblasts and neuronal cells}, year = {2023}, volume = {222}, doi = {10.1016/j.colsurfb.2022.113070}, journal = {Colloids and Surfaces B: Biointerfaces}, pages = {113070}, } -
Gabriella Pasi and Rafael Peñaloza. Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. In Theory and Practice of Logic Programming
BibTex PDF@article{PaPe-TPLP22, title={Answering Fuzzy Queries over Fuzzy {DL-Lite} Ontologies}, DOI={10.1017/S1471068421000569}, journal={Theory and Practice of Logic Programming}, publisher={Cambridge University Press}, author={Gabriella Pasi and Rafael Pe{\~{n}}aloza}, year={2023}, pages={594--623}, volume = 23, number = 3, }
2022
-
Steven Schockaert and Rafael Peñaloza. Highlights of AI Research in Europe. In AI Commun.
BibTex DOI@article{ScPe-AIC22, author = {Steven Schockaert and Rafael Pe{\~{n}}aloza}, title = {Highlights of {AI} Research in Europe}, journal = {{AI} Commun.}, volume = {35}, number = {2}, pages = {45}, year = {2022}, url = {https://doi.org/10.3233/AIC-229002}, doi = {10.3233/AIC-229002}, } -
Anti Alman, Fabrizio Maria Maggi, Marco Montali and Rafael Peñaloza. Probabilistic declarative process mining. In Information Systems
BibTex DOI PDF@article{AMMP-IS22, author = {Anti Alman and Fabrizio Maria Maggi and Marco Montali and Rafael Pe{\~{n}}aloza}, title = {Probabilistic declarative process mining}, journal = {Information Systems}, volume = {109}, pages = {102033}, year = {2022}, url = {https://doi.org/10.1016/j.is.2022.102033}, doi = {10.1016/j.is.2022.102033}, } -
Nyyti Saarimäki, Sergio Moreschini, Francesco Lomio, Rafael Peñaloza and Valentina Lenarduzzi. Towards a Robust Approach to Analyze Time-Dependent Data in Software Engineering. In Proceedings of the IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022
BibTex DOI@inproceedings{SMLPL-SAER22, author = {Nyyti Saarim{\"{a}}ki and Sergio Moreschini and Francesco Lomio and Rafael Pe{\~{n}}aloza and Valentina Lenarduzzi}, title = {Towards a Robust Approach to Analyze Time-Dependent Data in Software Engineering}, booktitle = {Proceedings of the {IEEE} International Conference on Software Analysis, Evolution and Reengineering, {SANER} 2022}, pages = {36--40}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/SANER53432.2022.00015}, doi = {10.1109/SANER53432.2022.00015}, } -
Rafael Peñaloza and Francesco Ricca. Pinpointing Axioms in Ontologies via ASP. In Proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022
BibTex DOI PDF@inproceedings{PeRi-LPMR22, author = {Rafael Pe{\~{n}}aloza and Francesco Ricca}, editor = {Georg Gottlob and Daniela Inclezan and Marco Maratea}, title = {Pinpointing Axioms in Ontologies via {ASP}}, booktitle = {Proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, {LPNMR} 2022}, series = {Lecture Notes in Computer Science}, volume = {13416}, pages = {315--321}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-15707-3\_24}, doi = {10.1007/978-3-031-15707-3\_24}, } -
Jieying Chen, Yue Ma, Rafael Peñaloza and Hui Yang. Union and Intersection of All Justifications. In Proceedings of the 19th International ESWC Conference, ESWC 2022
BibTex DOI@inproceedings{CMPY-ESWC22, author = {Jieying Chen and Yue Ma and Rafael Pe{\~{n}}aloza and Hui Yang}, editor = {Paul Groth and Maria{-}Esther Vidal and Fabian M. Suchanek and Pedro A. Szekely and Pavan Kapanipathi and Catia Pesquita and Hala Skaf{-}Molli and Minna Tamper}, title = {Union and Intersection of All Justifications}, booktitle = {Proceedings of the 19th International ESWC Conference, {ESWC} 2022}, series = {Lecture Notes in Computer Science}, volume = {13261}, pages = {56--73}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-06981-9\_4}, doi = {10.1007/978-3-031-06981-9\_4}, } -
Rafael Peñaloza and Anni-Yasmin Turhan. User-aware Explications of Ontology Consequences: Levelling Technicality. In Proceedings of the 8th Workshop on Formal and Cognitive Reasoning
BibTex PDF@inproceedings{PeTu-FCR22, author = {Rafael Pe{\~{n}}aloza and Anni{-}Yasmin Turhan}, editor = {Christoph Beierle and Marco Ragni and Frieder Stolzenburg and Kai Sauerwald and Matthias Thimm}, title = {User-aware Explications of Ontology Consequences: Levelling Technicality}, booktitle = {Proceedings of the 8th Workshop on Formal and Cognitive Reasoning}, series = {{CEUR} Workshop Proceedings}, volume = {3242}, pages = {90--101}, publisher = {CEUR-WS.org}, year = {2022}, url = {http://ceur-ws.org/Vol-3242/paper7.pdf}, } -
Tiago Prince Sales, Maria M. Hedblom, He Tan, Guendalina Righetti, Oliver Kutz, Martin Glauer, Janna Hastings, Till Mossakowski, Fabian Neuhaus, Lucía Gómez Álvarez, Rafael Peñaloza, Srdjan Vesic, Claudenir Morais Fonseca, Jona Thai, Stefano Borgo, Damion M. Dooley, Rhiannon Cameron, Lauren E. Chan, Duccio Cavalieri, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Fernanda Forea, Francesco Vitali, Bart Gajderowicz, Daniela Rosu, Aldo Gangemi, Robert Porzel, Daniel Beßler, Mihai Pomarlan, Mohammed Diab, Alberto Olivares Alarcos (eds.). Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology.
BibTex@proceedings{JOWO22, editor = {Tiago Prince Sales and Maria M. Hedblom and He Tan and Guendalina Righetti and Oliver Kutz and Martin Glauer and Janna Hastings and Till Mossakowski and Fabian Neuhaus and Luc{\'{\i}}a G{\'{o}}mez {\'{A}}lvarez and Rafael Pe{\~{n}}aloza and Srdjan Vesic and Claudenir Morais Fonseca and Jona Thai and Stefano Borgo and Damion M. Dooley and Rhiannon Cameron and Lauren E. Chan and Duccio Cavalieri and Robert Warren and Hande K{\"{u}}{\c{c}}{\"{u}}k{-}McGinty and Matthew Lange and Fernanda Forea and Francesco Vitali and Bart Gajderowicz and Daniela Rosu and Aldo Gangemi and Robert Porzel and Daniel Be{\ss}ler and Mihai Pomarlan and Mohammed Diab and Alberto Olivares Alarcos}, title = {Proceedings of the Joint Ontology Workshops 2022 Episode {VIII:} The Svear Sommar of Ontology}, series = {{CEUR} Workshop Proceedings}, volume = {3249}, publisher = {CEUR-WS.org}, year = {2022}, url = {http://ceur-ws.org/Vol-3249}, urn = {urn:nbn:de:0074-3249-2}, } -
Camille Bourgaux, Ana Ozaki and Rafael Peñaloza (eds.). Proceedings of the International Research School in Artificial Intelligence in Bergen.
BibTex@proceedings{AIB22, editor = {Camille Bourgaux and Ana Ozaki and Rafael Pe{\~{n}}aloza}, title = {Proceedings of the International Research School in Artificial Intelligence in Bergen, {AIB} 2022}, series = {OASIcs}, volume = {99}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-228-0}, isbn = {978-3-95977-228-0}, }
2021
-
Steven Schockaert and Rafael Peñaloza. Special issue on historical and future perspectives of AI. In AI Commun.
BibTex DOI@article{ScPe-AIC21, author = {Steven Schockaert and Rafael Pe{\~{n}}aloza}, title = {Special issue on historical and future perspectives of {AI}}, journal = {{AI} Commun.}, volume = {34}, number = {3}, pages = {179}, year = {2021}, url = {https://doi.org/10.3233/AIC-229001}, doi = {10.3233/AIC-229001}, } -
Rafael Peñaloza. A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics. In Algorithms
BibTex DOI@article{Pena-Al21, author = {Rafael Pe{\~{n}}aloza}, title = {A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics}, journal = {Algorithms}, volume = {14}, number = {10}, pages = {280}, year = {2021}, url = {https://doi.org/10.3390/a14100280}, doi = {10.3390/a14100280}, } -
Leonard Botha, Thomas Meyer and Rafael Peñaloza. The Probabilistic Description Logic BALC. In Theory and Practice of Logic Programming
BibTex DOI PDF arXiv@article{BoMP-TPLP21, title={The Probabilistic Description Logic {BALC}}, doi={10.1017/S1471068420000460}, journal={Theory and Practice of Logic Programming}, publisher={Cambridge University Press}, author={Leonard Botha and Thomas Meyer and Rafael Pe{\~n}aloza}, volume = {21}, number = {4}, pages = {404--427}, year = {2021}, url = {https://doi.org/10.1017/S1471068420000460}, arxiv = {https://arxiv.org/abs/2009.13407}, } -
Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali and Rafael Peñaloza. Probabilistic Trace Alignment. In Proceedings of the3rd International Conference on Process Mining, ICPM 2021
BibTex DOI@inproceedings{BMMP-ICPM21, author = {Giacomo Bergami and Fabrizio Maria Maggi and Marco Montali and Rafael Pe{\~{n}}aloza}, editor = {Claudio Di Ciccio and Chiara Di Francescomarino and Pnina Soffer}, title = {Probabilistic Trace Alignment}, booktitle = {Proceedings of the3rd International Conference on Process Mining, {ICPM} 2021}, pages = {9--16}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICPM53251.2021.9576856}, doi = {10.1109/ICPM53251.2021.9576856}, } -
Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali and Rafael Peñaloza. A Tool for Computing Probabilistic Trace Alignments. In Proceedings of Intelligent Information Systems - CAiSE Forum 2021
BibTex DOI@inproceedings{BMMP-CF21, author = {Giacomo Bergami and Fabrizio Maria Maggi and Marco Montali and Rafael Pe{\~{n}}aloza}, editor = {Selmin Nurcan and Axel Korthaus}, title = {A Tool for Computing Probabilistic Trace Alignments}, booktitle = {Proceedings of Intelligent Information Systems - CAiSE Forum 2021}, series = {Lecture Notes in Business Information Processing}, volume = {424}, pages = {118--126}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-79108-7\_14}, doi = {10.1007/978-3-030-79108-7\_14}, } -
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah and Rafael Peñaloza. Safety of Quantified ABoxes w.r.t. Singleton EL Policies. In Proceedings of the 36th ACM/SIGAPP Symposium on Applied Computing (SAC 2021)
BibTex DOI PDF@inproceedings{BKNP-SAC2021, author = {Franz {Baader} and Francesco {Kriegel} and Adrian {Nuradiansyah} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 36th ACM/SIGAPP Symposium on Applied Computing (SAC 2021)}, doi = {10.1145/3412841.3441961}, title = {{Safety of Quantified ABoxes w.r.t. Singleton $\mathcal{EL}$ Policies}}, year = {2021}, editor = {Chih{-}Cheng Hung and Jiman Hong and Alessio Bechini and Eunjee Song}, pages = {863--872}, publisher = {{ACM}}, } -
Paolo Tenti, James Thomas, Rafael Peñaloza and Gabriella Pasi. Using an Ensemble of Features for Personalized Recommendations of Scientific Publications. In Proceedings of the 11th Italian Information Retrieval Workshop 2021
BibTex@inproceedings{TTPP-IIR21, author = {Paolo Tenti and James Thomas and Rafael Pe{\~{n}}aloza and Gabriella Pasi}, editor = {Vito Walter Anelli and Tommaso Di Noia and Nicola Ferro and Fedelucio Narducci}, title = {Using an Ensemble of Features for Personalized Recommendations of Scientific Publications}, booktitle = {Proceedings of the 11th Italian Information Retrieval Workshop 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2947}, publisher = {CEUR-WS.org}, year = {2021}, url = {http://ceur-ws.org/Vol-2947/paper30.pdf}, } -
Paolo Tenti, Gabriella Pasi and Rafael Peñaloza. Complementing Language Embeddings with Knowledge Bases for Specific Domains. In Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021)
BibTex@inproceedings{TPP-DAO21, author = {Paolo Tenti and Gabriella Pasi and Rafael Pe{\~{n}}aloza}, editor = {Roberto Confalonieri and Oliver Kutz and Diego Calvanese}, title = {Complementing Language Embeddings with Knowledge Bases for Specific Domains}, booktitle = {Proceedings of the Workshop on Data meets Applied Ontologies in Explainable {AI} {(DAO-XAI} 2021)}, series = {{CEUR} Workshop Proceedings}, volume = {2998}, publisher = {CEUR-WS.org}, year = {2021}, url = {http://ceur-ws.org/Vol-2998/paper3.pdf}, } -
Rafael Peñaloza. An Upper Bound for Provenance in ELHr. In Proceedings of the 34th International Workshop on Description Logics (DL 2021)
BibTex@inproceedings{Pena-21, author = {Rafael Pe{\~{n}}aloza}, editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt}, title = {An Upper Bound for Provenance in ELHr}, booktitle = {Proceedings of the 34th International Workshop on Description Logics {(DL} 2021)}, series = {{CEUR} Workshop Proceedings}, volume = {2954}, publisher = {CEUR-WS.org}, year = {2021}, url = {http://ceur-ws.org/Vol-2954/paper-25.pdf}, } -
Jieying Chen, Rafael Peñaloza and Hui Yang. Union and Intersection of all Justifications (Extended Abstract). In Proceedings of the 34th International Workshop on Description Logics (DL 2021)
BibTex@inproceedings{CPY-DL21, author = {Jieying Chen and Rafael Pe{\~{n}}aloza and Hui Yang}, editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt}, title = {Union and Intersection of all Justifications (Extended Abstract)}, booktitle = {Proceedings of the 34th International Workshop on Description Logics {(DL} 2021)}, series = {{CEUR} Workshop Proceedings}, volume = {2954}, publisher = {CEUR-WS.org}, year = {2021}, url = {http://ceur-ws.org/Vol-2954/abstract-12.pdf}, } -
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah and Rafael Peñaloza. Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. In Proceedings of the 34th International Workshop on Description Logics (DL 2021)
BibTex@inproceedings{BKKNP21, author = {Franz Baader and Patrick Koopmann and Francesco Kriegel and Adrian Nuradiansyah and Rafael Pe{\~{n}}aloza}, editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt}, title = {Privacy-Preserving Ontology Publishing: The Case of Quantified {ABoxes} w.r.t. a Static Cycle-Restricted $\mathcal{EL}$ {TBox}}, booktitle = {Proceedings of the 34th International Workshop on Description Logics {(DL} 2021)}, series = {{CEUR} Workshop Proceedings}, volume = {2954}, publisher = {CEUR-WS.org}, year = {2021}, url = {http://ceur-ws.org/Vol-2954/paper-3.pdf}, } -
Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu and Dumitru Roman (eds.). Proceedings of the 5th International Joint Conference on Rules and Reasoning, RuleML+RR.
BibTex DOI@proceedings{RuleML21, editor = {Sotiris Moschoyiannis and Rafael Pe{\~{n}}aloza and Jan Vanthienen and Ahmet Soylu and Dumitru Roman}, title = {Proceedings of the 5th International Joint Conference on Rules and Reasoning, RuleML+RR}, series = {Lecture Notes in Computer Science}, volume = {12851}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-91167-6}, doi = {10.1007/978-3-030-91167-6}, isbn = {978-3-030-91166-9}, } -
Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily LeBlanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper and Jessica Zangari (eds.). Proceedings of the International Conference on Logic Programming 2021 Workshops.
BibTex@proceedings{ICLP-21, editor = {Joaqu{\'{\i}}n Arias and Fabio Aurelio D'Asaro and Abeer Dyoub and Gopal Gupta and Markus Hecher and Emily LeBlanc and Rafael Pe{\~{n}}aloza and Elmer Salazar and Ari Saptawijaya and Felix Weitk{\"{a}}mper and Jessica Zangari}, title = {Proceedings of the International Conference on Logic Programming 2021 Workshops}, series = {{CEUR} Workshop Proceedings}, volume = {2970}, publisher = {CEUR-WS.org}, year = {2021}, url = {http://ceur-ws.org/Vol-2970}, urn = {urn:nbn:de:0074-2970-2}, } -
João Marques-Silva, Rafael Peñaloza and Uli Sattler. Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). In Dagstuhl Reports
BibTex DOI@article{MaPS-21, author = {Jo{\~{a}}o Marques{-}Silva and Rafael Pe{\~{n}}aloza and Uli Sattler}, title = {Extending the Synergies Between {SAT} and Description Logics (Dagstuhl Seminar 21361)}, journal = {Dagstuhl Reports}, volume = {11}, number = {8}, pages = {1--10}, year = {2021}, url = {https://doi.org/10.4230/DagRep.11.8.1}, doi = {10.4230/DagRep.11.8.1}, }
2020
-
Rafael Peñaloza. Axiom Pinpointing. In Applications and Practices in Ontology Design, Extraction, and Reasoning
BibTex DOI PDF@incollection{Pena-SSWS20, author = {Rafael Pe{\~{n}}aloza}, editor = {Giuseppe Cota and Marilena Daquino and Gian Luca Pozzato}, title = {Axiom Pinpointing}, booktitle = {Applications and Practices in Ontology Design, Extraction, and Reasoning}, series = {Studies on the Semantic Web}, volume = {49}, pages = {162--177}, publisher = {IOS Press}, year = {2020}, url = {https://ebooks.iospress.nl/volumearticle/56013}, doi = {10.3233/SSW200042}, } -
Rafael Peñaloza. Error-Tolerance and Error Management in Lightweight Description Logics. In Künstliche Intelligenz
BibTex DOI PDF@article{Pena-KI20, author = {Rafael Pe{\~{n}}aloza}, title = {Error-Tolerance and Error Management in Lightweight Description Logics}, journal = {K{\"{u}}nstliche Intelligenz}, volume = {34}, number = {4}, pages = {491--500}, year = {2020}, url = {https://doi.org/10.1007/s13218-020-00684-5}, doi = {10.1007/s13218-020-00684-5}, } -
Norbert Manthey, Rafael Peñaloza and Sebastian Rudolph. SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. In Künstliche Intelligenz
BibTex DOI PDF@article{MaPR-KI20, author = {Norbert Manthey and Rafael Pe{\~{n}}aloza and Sebastian Rudolph}, title = {SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental {SAT}}, journal = {K{\"{u}}nstliche Intelligenz}, volume = {34}, number = {3}, pages = {389--394}, year = {2020}, url = {https://doi.org/10.1007/s13218-020-00669-4}, doi = {10.1007/s13218-020-00669-4}, } -
Rafael Peñaloza. Towards a Logic of Meta-Analysis. In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
BibTex DOI PDF@inproceedings{Pena-KR20, author = {Rafael Pe{\~{n}}aloza}, editor = {Diego Calvanese and Esra Erdem and Michael Thielscher}, title = {Towards a Logic of Meta-Analysis}, booktitle = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020}, pages = {672--676}, year = {2020}, url = {https://doi.org/10.24963/kr.2020/68}, doi = {10.24963/kr.2020/68}, } -
Gabriella Pasi and Rafael Peñaloza. Query Answering in Fuzzy DL-Lite with Graded Axioms. In Proceedings of the 4th International Joint Conference on Rules and Reasoning RuleML+RR 2020
BibTex DOI PDF@inproceedings{PaPe-RR20, author = {Gabriella Pasi and Rafael Pe{\~{n}}aloza}, editor = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and Tom{\'{a}}s Kliegr and Ahmet Soylu and Martin Giese and Dumitru Roman}, title = {Query Answering in Fuzzy DL-Lite with Graded Axioms}, booktitle = {Proceedings of the 4th International Joint Conference on Rules and Reasoning RuleML+RR 2020}, series = {Lecture Notes in Computer Science}, volume = {12173}, pages = {39--53}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-57977-7\_3}, doi = {10.1007/978-3-030-57977-7\_3}, } -
Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza and Anti Alman. Extending Temporal Business Constraints with Uncertainty. In Proceedings of the 18th International Conference on Business Process Management, BPM 2020
BibTex DOI PDF@inproceedings{MMPA-BPM20, author = {Fabrizio Maria Maggi and Marco Montali and Rafael Pe{\~{n}}aloza and Anti Alman}, title = {Extending Temporal Business Constraints with Uncertainty}, booktitle = {Proceedings of the 18th International Conference on Business Process Management, {BPM} 2020}, series = {Lecture Notes in Computer Science}, volume = {12168}, pages = {35--54}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-58666-9\_3}, doi = {10.1007/978-3-030-58666-9\_3}, } -
Fabrizio Maria Maggi, Marco Montali and Rafael Peñaloza. Probabilistic Conformance Checking Based on Declarative Process Models. In Proceedings of the Conference on Advanced Information Systems Engineering, CAiSE Forum 2020
BibTex DOI PDF@inproceedings{MaMP-CF20, author = {Fabrizio Maria Maggi and Marco Montali and Rafael Pe{\~{n}}aloza}, title = {Probabilistic Conformance Checking Based on Declarative Process Models}, booktitle = {Proceedings of the Conference on Advanced Information Systems Engineering, CAiSE Forum 2020}, series = {Lecture Notes in Business Information Processing}, volume = {386}, pages = {86--99}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-58135-0\_8}, doi = {10.1007/978-3-030-58135-0\_8}, } -
Fabrizio Maria Maggi, Marco Montali and Rafael Peñaloza. Temporal Logics Over Finite Traces with Uncertainty. In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020
BibTex PDF arXiv@inproceedings{MaMP-AAAI20, author = {Fabrizio Maria Maggi and Marco Montali and Rafael Pe{\~{n}}aloza}, title = {Temporal Logics Over Finite Traces with Uncertainty}, booktitle = {Proceedings of the Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020}, pages = {10218--10225}, publisher = {{AAAI} Press}, year = {2020}, url = {https://aaai.org/ojs/index.php/AAAI/article/view/6583}, arxiv = {http://arxiv.org/abs/1903.04940}, } -
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza and Livia Predoiu. Provenance for the Description Logic ELHr. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020
BibTex DOI PDF arXiv@inproceedings{BOPP-IJCAI20, author = {Camille Bourgaux and Ana Ozaki and Rafael Pe{\~{n}}aloza and Livia Predoiu}, editor = {Christian Bessiere}, title = {Provenance for the Description Logic ELHr}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020}, pages = {1862--1869}, publisher = {ijcai.org}, year = {2020}, url = {https://doi.org/10.24963/ijcai.2020/258}, doi = {10.24963/ijcai.2020/258}, arxiv = {https://arxiv.org/abs/2001.07541}, } -
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah and Rafael Peñaloza. Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies. In Proceedings of the 19th International Semantic Web Conference (ISWC 2020), Part I
BibTex DOI PDF@inproceedings{BKNP-ISWC20, author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah and Rafael Pe{\~{n}}aloza}, editor = {Jeff Z. Pan and Valentina A. M. Tamma and Claudia d'Amato and Krzysztof Janowicz and Bo Fu and Axel Polleres and Oshani Seneviratne and Lalana Kagal}, title = {Computing Compliant Anonymisations of Quantified ABoxes w.r.t. \emph{EL} Policies}, booktitle = {Proceedings of the 19th International Semantic Web Conference ({ISWC} 2020), Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12506}, pages = {3--20}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-62419-4\_1}, doi = {10.1007/978-3-030-62419-4\_1}, } -
Erman Acar and Rafael Peñaloza. Reasoning with Contextual Knowledge and Influence Diagrams. In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
BibTex DOI PDF arXiv@inproceedings{AcPe-KR20, author = {Erman Acar and Rafael Pe{\~{n}}aloza}, editor = {Diego Calvanese and Esra Erdem and Michael Thielscher}, title = {Reasoning with Contextual Knowledge and Influence Diagrams}, booktitle = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020}, pages = {12--21}, year = {2020}, url = {https://doi.org/10.24963/kr.2020/2}, doi = {10.24963/kr.2020/2}, arxiv = {https://arxiv.org/abs/2007.00571}, } -
Gabriella Pasi and Rafael Peñaloza. Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract). In Proceedings of the 33rd International Workshop on Description Logics (DL 2020)
BibTex PDF@inproceedings{PaPe-DL20, author = {Gabriella Pasi and Rafael Pe{\~{n}}aloza}, editor = {Stefan Borgwardt and Thomas Meyer}, title = {Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract)}, booktitle = {Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020)}, series = {{CEUR} Workshop Proceedings}, volume = {2663}, publisher = {CEUR-WS.org}, year = {2020}, url = {http://ceur-ws.org/Vol-2663/abstract-20.pdf}, } -
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza and Livia Predoiu. Provenance for the Description Logic ELHr (Extended Abstract). In Proceedings of the 33rd International Workshop on Description Logics (DL 2020)
BibTex PDF@inproceedings{BOPP-DL20, author = {Camille Bourgaux and Ana Ozaki and Rafael Pe{\~{n}}aloza and Livia Predoiu}, editor = {Stefan Borgwardt and Thomas Meyer}, title = {Provenance for the Description Logic ELHr (Extended Abstract)}, booktitle = {Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020)}, series = {{CEUR} Workshop Proceedings}, volume = {2663}, publisher = {CEUR-WS.org}, year = {2020}, url = {http://ceur-ws.org/Vol-2663/abstract-6.pdf}, } -
Rafael Peñaloza. Introduction to Probabilistic Ontologies. In Tutorial Lectures of the 16th International Summer School on Reasoning Web (RW 20). Declarative Artificial Intelligence
BibTex DOI PDF@inproceedings{Pena-RW20, author = {Rafael Pe{\~{n}}aloza}, editor = {Marco Manna and Andreas Pieris}, title = {Introduction to Probabilistic Ontologies}, booktitle = {Tutorial Lectures of the 16th International Summer School on Reasoning Web ({RW} 20). Declarative Artificial Intelligence}, series = {Lecture Notes in Computer Science}, volume = {12258}, pages = {1--35}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-60067-9\_1}, doi = {10.1007/978-3-030-60067-9\_1}, } -
Rafael Peñaloza. Introduction to Probabilistic Ontologies (tutorial). In Proceedings of the 35th Italian Conference on Computational Logic
BibTex@inproceedings{Pena-CILC20, author = {Rafael Pe{\~{n}}aloza}, editor = {Francesco Calimeri and Simona Perri and Ester Zumpano}, title = {Introduction to Probabilistic Ontologies (tutorial)}, booktitle = {Proceedings of the 35th Italian Conference on Computational Logic, {CILC} 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2710}, pages = {4}, publisher = {CEUR-WS.org}, year = {2020}, url = {http://ceur-ws.org/Vol-2710/abstract-invited-4.pdf}, }
2019
-
Rafael Peñaloza. Explaining Axiom Pinpointing. In Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
BibTex DOI PDF@inproceedings{Pena-FB19, author = {Rafael Pe{\~{n}}aloza}, editor = {Carsten Lutz and Uli Sattler and Cesare Tinelli and Anni{-}Yasmin Turhan and Frank Wolter}, title = {Explaining Axiom Pinpointing}, booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11560}, pages = {475--496}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-22102-7\_22}, doi = {10.1007/978-3-030-22102-7\_22}, } -
Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza and Giancarlo Guizzardi. Image Schema Combinations and Complex Events. In Künstliche Intelligenz
BibTex DOI PDF@article{HKPG-KI19, author = {Maria M. Hedblom and Oliver Kutz and Rafael Pe{\~{n}}aloza and Giancarlo Guizzardi}, title = {Image Schema Combinations and Complex Events}, journal = {K{\"{u}}nstliche Intelligenz}, volume = {33}, number = {3}, pages = {279--291}, year = {2019}, url = {https://doi.org/10.1007/s13218-019-00605-1}, doi = {10.1007/s13218-019-00605-1}, } -
Alessander Botti Benevides, Jean-Rémi Bourguet, Giancarlo Guizzardi, Rafael Peñaloza, João Paulo A. Almeida. Representing a reference foundational ontology of events in SROIQ. In Applied Ontology
BibTex DOI@article{BBG+-AO19, author = {Alessander Botti Benevides and Jean{-}R{\'{e}}mi Bourguet and Giancarlo Guizzardi and Rafael Pe{\~{n}}aloza and Jo{\~{a}}o Paulo A. Almeida}, title = {Representing a reference foundational ontology of events in {SROIQ}}, journal = {Applied Ontology}, volume = {14}, number = {3}, pages = {293--334}, year = {2019}, url = {https://doi.org/10.3233/AO-190214}, doi = {10.3233/AO-190214}, } -
Rafael Peñaloza. Making Decisions with Knowledge Base Repairs. In Proceedings of the 16th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2019
BibTex DOI PDF@inproceedings{Pena-MDAI19, author = {Rafael Pe{\~{n}}aloza}, title = {Making Decisions with Knowledge Base Repairs}, booktitle = {Proceedings of the 16th International Conference on Modeling Decisions for Artificial Intelligence, {MDAI} 2019}, series = {Lecture Notes in Computer Science}, volume = {11676}, pages = {259--271}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-26773-5\_23}, doi = {10.1007/978-3-030-26773-5\_23}, } -
Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza and Guohui Xiao. Enriching Ontology-based Data Access with Provenance. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019
BibTex DOI PDF arXiv@inproceedings{CLOP-IJCAI19, author = {Diego Calvanese and Davide Lanti and Ana Ozaki and Rafael Pe{\~{n}}aloza and Guohui Xiao}, editor = {Sarit Kraus}, title = {Enriching Ontology-based Data Access with Provenance}, booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019}, pages = {1616--1623}, publisher = {ijcai.org}, year = {2019}, url = {https://doi.org/10.24963/ijcai.2019/224}, doi = {10.24963/ijcai.2019/224}, arxiv = {http://arxiv.org/abs/1906.00179}, } -
Leonard Botha, Thomas Meyer and Rafael Peñaloza. A Bayesian Extension of the Description Logic ALC. In Proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019
BibTex DOI PDF@inproceedings{BoMP19, author = {Leonard Botha and Thomas Meyer and Rafael Pe{\~{n}}aloza}, title = {A Bayesian Extension of the Description Logic {ALC}}, booktitle = {Proceedings of the 16th European Conference on Logics in Artificial Intelligence, {JELIA} 2019}, series = {Lecture Notes in Computer Science}, volume = {11468}, pages = {339--354}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19570-0\_22}, doi = {10.1007/978-3-030-19570-0\_22}, } -
Erman Acar, Rafael Peñaloza and Livia Predoiu. Making Decisions over Contextual Ontologies. In Proceedings of the 32nd International Workshop on Description Logics
BibTex PDF@inproceedings{AcPP-DL19, author = {Erman Acar and Rafael Pe{\~{n}}aloza and Livia Predoiu}, title = {Making Decisions over Contextual Ontologies}, booktitle = {Proceedings of the 32nd International Workshop on Description Logics}, series = {{CEUR} Workshop Proceedings}, volume = {2373}, publisher = {CEUR-WS.org}, year = {2019}, url = {http://ceur-ws.org/Vol-2373/paper-1.pdf}, }
2018
-
Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt and Sascha Wunderlich. A Hardware/Software Stack for Heterogeneous Systems. In IEEE Transactions on Multi-Scale Computing Systems
BibTex DOI@article{CLea-18, author = {Jer{\'{o}}nimo Castrill{\'{o}}n and Matthias Lieber and Sascha Kl{\"{u}}ppelholz and Marcus V{\"{o}}lp and Nils Asmussen and Uwe A{\ss}mann and Franz Baader and Christel Baier and Gerhard P. Fettweis and Jochen Fr{\"{o}}hlich and Andr{\'{e}}s Goens and Sebastian Haas and Dirk Habich and Hermann H{\"{a}}rtig and Mattis Hasler and Immo Huismann and Tomas Karnagel and Sven Karol and Akash Kumar and Wolfgang Lehner and Linda Leuschner and Siqi Ling and Steffen M{\"{a}}rcker and Christian Menard and Johannes Mey and Wolfgang E. Nagel and Benedikt N{\"{o}}then and Rafael Pe{\~{n}}aloza and Michael Raitza and J{\"{o}}rg Stiller and Annett Ungeth{\"{u}}m and Axel Voigt and Sascha Wunderlich}, title = {A Hardware/Software Stack for Heterogeneous Systems}, journal = {{IEEE} Transactions on Multi-Scale Computing Systems}, volume = {4}, number = {3}, pages = {243--259}, year = {2018}, url = {https://doi.org/10.1109/TMSCS.2017.2771750}, doi = {10.1109/TMSCS.2017.2771750}, } -
Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza and Enric Plaza. Upward Refinement Operators for Conceptual Blending in the Description Logic EL++. In Annals of Mathematics and Artificial Intelligence
BibTex DOI PDF@article{CESKPP-AMAI16, author = {Roberto Confalonieri and Manfred Eppe and Marco Schorlemmer and Oliver Kutz and Rafael Pe{\~n}aloza and Enric Plaza}, title = {Upward Refinement Operators for Conceptual Blending in the Description Logic {EL++}}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {82}, number = {1-3}, pages = {69--99}, year = {2018}, url = {https://doi.org/10.1007/s10472-016-9524-8}, doi = {10.1007/s10472-016-9524-8}, } -
Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello and Oliver Kutz. Repairing Ontologies via Axiom Weakening. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)
BibTex PDF arXiv@inproceedings{TCGP+18, author = {Nicolas Troquard and Roberto Confalonieri and Pietro Galliani and Rafael Pe{\~{n}}aloza and Daniele Porello and Oliver Kutz}, title = {Repairing Ontologies via Axiom Weakening}, booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)}, year = {2018}, editor = {Sheila A. McIlraith and Kilian Q. Weinberger}, publisher = {{AAAI} Press}, arxiv = {https://arxiv.org/abs/1711.03430}, } -
Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani and Oliver Kutz. Two Approaches to Ontology Aggregation Based on Axiom Weakening. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018
BibTex DOI PDF@inproceedings{PTPC+18, author = {Daniele Porello and Nicolas Troquard and Rafael Pe{\~{n}}aloza and Roberto Confalonieri and Pietro Galliani and Oliver Kutz}, title = {Two Approaches to Ontology Aggregation Based on Axiom Weakening}, booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018}, pages = {1942--1948}, year = {2018}, url = {https://doi.org/10.24963/ijcai.2018/268}, doi = {10.24963/ijcai.2018/268}, editor = {J{\'{e}}r{\^{o}}me Lang}, publisher = {ijcai.org}, } -
Rafael Peñaloza, Veronika Thost and Anni-Yasmin Turhan. Query Answering for Rough EL Ontologies. In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
BibTex arXiv@inproceedings{PeTT18, author = {Rafael Pe{\~{n}}aloza and Veronika Thost and Anni{-}Yasmin Turhan}, title = {Query Answering for Rough {EL} Ontologies}, booktitle = {Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR} 2018)}, pages = {399--408}, year = {2018}, url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18036}, editor = {Michael Thielscher and Francesca Toni and Frank Wolter}, publisher = {{AAAI} Press}, isbn = {978-1-57735-803-9}, arxiv = {http://arxiv.org/abs/1808.01877}, } -
Ana Ozaki and Rafael Peñaloza. Consequence-Based Axiom Pinpointing. In Proceedings of the 12th International Conference on Scalable Uncertainty Management (SUM 2018)
BibTex DOI arXiv@inproceedings{OzPe-SUM18, author = {Ana Ozaki and Rafael Pe{\~{n}}aloza}, title = {Consequence-Based Axiom Pinpointing}, booktitle = {Proceedings of the 12th International Conference on Scalable Uncertainty Management ({SUM} 2018)}, pages = {181--195}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-00461-3\_13}, doi = {10.1007/978-3-030-00461-3\_13}, editor = {Davide Ciucci and Gabriella Pasi and Barbara Vantaggi}, series = {Lecture Notes in Computer Science}, volume = {11142}, publisher = {Springer}, isbn = {978-3-030-00460-6}, arxiv = {http://arxiv.org/abs/1805.10250}, } -
Alisa Kovtunova and Rafael Peñaloza. Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
BibTex@inproceedings{KoPe-KR18, author = {Alisa Kovtunova and Rafael Pe{\~{n}}aloza}, title = {Cutting Diamonds: {A} Temporal Logic with Probabilistic Distributions}, booktitle = {Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR} 2018)}, pages = {561--570}, year = {2018}, url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18037}, editor = {Michael Thielscher and Francesca Toni and Frank Wolter}, publisher = {{AAAI} Press}, isbn = {978-1-57735-803-9}, } -
Giancarlo Guizzardi, Rafael Peñaloza, Maria M. Hedblom and Oliver Kutz. Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending. In Proceedings of the Ninth International Conference on Computational Creativity
BibTex PDF@inproceedings{GPHK18, author = {Giancarlo Guizzardi and Rafael Pe{\~{n}}aloza and Maria M. Hedblom and Oliver Kutz}, title = {Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending}, booktitle = {Proceedings of the Ninth International Conference on Computational Creativity}, pages = {216--223}, year = {2018}, url = {http://computationalcreativity.net/iccc2018/sites/default/files/papers/ICCC\_2018\_paper\_56.pdf}, editor = {Fran{\c{c}}ois Pachet and Anna Jordanous and Carlos Le{\'{o}}n}, publisher = {Association for Computational Creativity {(ACC)}}, isbn = {978-989-54160-0-4}, } -
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah and Rafael Peñaloza. Making Repairs in Description Logics More Gentle. In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
BibTex arXiv@inproceedings{BKNP-KR18, author = {Franz Baader and Francesco Kriegel and Adrian Nuradiansyah and Rafael Pe{\~{n}}aloza}, title = {Making Repairs in Description Logics More Gentle}, booktitle = {Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR} 2018)}, pages = {319--328}, year = {2018}, url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18056}, editor = {Michael Thielscher and Francesca Toni and Frank Wolter}, publisher = {{AAAI} Press}, isbn = {978-1-57735-803-9}, arxiv = {http://arxiv.org/abs/1808.00248}, } -
Ana Ozaki and Rafael Peñaloza. Provenance in Ontology-based Data Access. In Proceedings of the 31st International Workshop on Description Logics (DL 2018)
BibTex@inproceedings{OzPe-DL18, author = {Ana Ozaki and Rafael Pe{\~{n}}aloza}, title = {Provenance in Ontology-based Data Access}, booktitle = {Proceedings of the 31st International Workshop on Description Logics (DL 2018)}, year = {2018}, url = {http://ceur-ws.org/Vol-2211/paper-28.pdf}, editor = {Magdalena Ortiz and Thomas Schneider}, series = {{CEUR} Workshop Proceedings}, volume = {2211}, publisher = {CEUR-WS.org}, } -
Alisa Kovtunova and Rafael Peñaloza. Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. In Proceedings of the 31st International Workshop on Description Logics (DL 2018)
BibTex arXiv@inproceedings{KoPe-DL18, author = {Alisa Kovtunova and Rafael Pe{\~{n}}aloza}, title = {Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data}, booktitle = {Proceedings of the 31st International Workshop on Description Logics (DL 2018)}, year = {2018}, url = {http://ceur-ws.org/Vol-2211/paper-23.pdf}, editor = {Magdalena Ortiz and Thomas Schneider}, series = {{CEUR} Workshop Proceedings}, volume = {2211}, publisher = {CEUR-WS.org}, arxiv = {http://arxiv.org/abs/1810.01516}, } -
Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza and Giancarlo Guizzardi. What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events. In Joint Proceedings of the Workshops C3GI: The 7th International Workshop on Computational Creativity, Concept Invention, and General Intelligence ISD4: The 4th Image Schema Day, and SCORE: From Image Schemas to Cognitive Robotics
BibTex@inproceedings{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 and Automata Theory and Applications (LATA 2017)
BibTex DOI PDF@inproceedings{HuPe17, author = {Lisa Hutschenreiter and Rafael Pe{\~{n}}aloza}, title = {An Automata View to Goal-Directed Methods}, booktitle = {Proceedings of the 11th International Conference on Language and Automata Theory and Applications ({LATA} 2017)}, pages = {103--114}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-53733-7_7}, note = {doi: \url{https://doi.org/10.1007/978-3-319-53733-7_7}}, doi = {10.1007/978-3-319-53733-7_7}, editor = {Frank Drewes and Carlos Mart{\'{\i}}n{-}Vide and Bianca Truthe}, series = {Lecture Notes in Computer Science}, volume = {10168}, } -
Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza and Oana Tifrea-Marciuska. Query Answering in Ontologies under Preference Rankings. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017
BibTex DOI PDF@inproceedings{CLPT17, author = {{\.I}smail {\.I}lkan Ceylan and Thomas Lukasiewicz and Rafael Pe{\~{n}}aloza and Oana Tifrea{-}Marciuska}, title = {Query Answering in Ontologies under Preference Rankings}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017}, pages = {943--949}, year = {2017}, url = {https://doi.org/10.24963/ijcai.2017/131}, note = {doi: https://doi.org/10.24963/ijcai.2017/131}, doi = {10.24963/ijcai.2017/131}, editor = {Carles Sierra}, publisher = {ijcai.org}, } -
Stefan Borgwardt and Rafael Peñaloza. Fuzzy Description Logics - A Survey. In Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM 2017)
BibTex DOI PDF@inproceedings{BoPe-SUM17, author = {Stefan Borgwardt and Rafael Pe{\~{n}}aloza}, title = {Fuzzy Description Logics - {A} Survey}, booktitle = {Proceedings of the 11th International Conference on Scalable Uncertainty Management ({SUM} 2017)}, pages = {31--45}, year = {2017}, doi = {10.1007/978-3-319-67582-4_3}, note = {doi: \url{https://doi.org/10.1007/978-3-319-67582-4_3}}, editor = {Seraf{\'{\i}}n Moral and Olivier Pivert and Daniel S{\'{a}}nchez and Nicol{\'{a}}s Mar{\'{\i}}n}, series = {Lecture Notes in Computer Science}, volume = {10564}, publisher = {Springer}, } -
Mario Alviano, Giovanni Amendola and Rafael Peñaloza. Minimal Undefinedness for Fuzzy Answer Sets. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence
BibTex PDF@inproceedings{AlAP17, author = {Mario Alviano and Giovanni Amendola and Rafael Pe{\~{n}}aloza}, title = {Minimal Undefinedness for Fuzzy Answer Sets}, booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence}, pages = {3694--3700}, year = {2017}, url = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14309}, editor = {Satinder P. Singh and Shaul Markovitch}, publisher = {{AAAI} Press}, } -
Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli. A Decidable Very Expressive Description Logic for Databases. In Proceedings of the 16th International Semantic Web Conference ISWC 2017
BibTex DOI PDF arXiv@inproceedings{AFPS17, author = {Alessandro Artale and Enrico Franconi and Rafael Pe{\~{n}}aloza and Francesco Sportelli}, title = {A Decidable Very Expressive Description Logic for Databases}, booktitle = {Proceedings of the 16th International Semantic Web Conference {ISWC} 2017, Part {I}}, pages = {37--52}, year = {2017}, doi = {10.1007/978-3-319-68288-4_3}, note = {doi: \url{https://doi.org/10.1007/978-3-319-68288-4_3}}, editor = {Claudia d'Amato and Miriam Fern{\'{a}}ndez and Valentina A. M. Tamma and Freddy L{\'{e}}cu{\'{e}} and Philippe Cudr{\'{e}}{-}Mauroux and Juan F. Sequeda and Christoph Lange and Jeff Heflin}, series = {Lecture Notes in Computer Science}, volume = {10587}, publisher = {Springer}, arxiv = {http://arxiv.org/abs/1707.08468}, } -
Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev and Joao Marques-Silva. Lean Kernels in DLs. In Proceedings of the 30th International Workshop on Description Logics (DL 2017)
BibTex@inproceedings{PMIM-DL17, author = {Rafael Pe{\~{n}}aloza and Carlos Menc{\'{\i}}a and Alexey Ignatiev and Joao Marques{-}Silva}, title = {Lean Kernels in DLs}, booktitle = {Proceedings of the 30th International Workshop on Description Logics (DL 2017)}, year = {2017}, url = {http://ceur-ws.org/Vol-1879/paper10.pdf}, editor = {Alessandro Artale and Birte Glimm and Roman Kontchakov}, series = {{CEUR} Workshop Proceedings}, volume = {1879}, publisher = {CEUR-WS.org}, } -
Alexey Ignatiev, Joao Marques-Silva, Carlos Mencía and Rafael Peñaloza. Debugging EL+ Ontologies through Horn MUS Enumeration. In Proceedings of the 30th International Workshop on Description Logics (DL 2017)
BibTex@inproceedings{IMMP17, author = {Alexey Ignatiev and Joao Marques{-}Silva and Carlos Menc{\'{\i}}a and Rafael Pe{\~{n}}aloza}, title = {Debugging {EL+} Ontologies through Horn {MUS} Enumeration}, booktitle = {Proceedings of the 30th International Workshop on Description Logics (DL 2017)}, year = {2017}, url = {http://ceur-ws.org/Vol-1879/paper54.pdf}, editor = {Alessandro Artale and Birte Glimm and Roman Kontchakov}, series = {{CEUR} Workshop Proceedings}, volume = {1879}, publisher = {CEUR-WS.org}, } -
Roberto Confalonieri, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza and Daniele Porello. Two Applications of Concept Refinement. In Proceedings of the First International Workshop on Comprehensibility and Explanation in AI and ML 2017
BibTex@inproceedings{CTGKPP17, author = {Roberto Confalonieri and Nicolas Troquard and Pietro Galliani and Oliver Kutz and Rafael Pe{\~{n}}aloza and Daniele Porello}, title = {Two Applications of Concept Refinement}, booktitle = {Proceedings of the First International Workshop on Comprehensibility and Explanation in {AI} and {ML} 2017}, year = {2017}, url = {http://ceur-ws.org/Vol-2071/CExAIIA_2017_paper_4.pdf}, editor = {Tarek R. Besold and Oliver Kutz}, series = {{CEUR} Workshop Proceedings}, volume = {2071}, publisher = {CEUR-WS.org}, } -
Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer and Nicolas Troquard. Coherence, Similarity, and Concept Generalisation. In Proceedings of the 30th International Workshop on Description Logics (DL 2017)
BibTex@inproceedings{CKG+17, author = {Roberto Confalonieri and Oliver Kutz and Pietro Galliani and Rafael Pe{\~{n}}aloza and Daniele Porello and Marco Schorlemmer and Nicolas Troquard}, title = {Coherence, Similarity, and Concept Generalisation}, booktitle = {Proceedings of the 30th International Workshop on Description Logics (DL 2017)}, year = {2017}, url = {http://ceur-ws.org/Vol-1879/paper45.pdf}, editor = {Alessandro Artale and Birte Glimm and Roman Kontchakov}, series = {{CEUR} Workshop Proceedings}, volume = {1879}, publisher = {CEUR-WS.org}, } -
Stefan Borgwardt, Marco Cerami and Rafael Peñaloza.
ukasiewicz Fuzzy EL is Undecidable. In Proceedings of the 30th International Workshop on Description Logics (DL 2017)
BibTex@inproceedings{BoCP-DL17, author = {Stefan Borgwardt and Marco Cerami and Rafael Pe{\~{n}}aloza}, title = {{\L}ukasiewicz Fuzzy {EL} is Undecidable}, booktitle = {Proceedings of the 30th International Workshop on Description Logics (DL 2017)}, year = {2017}, url = {http://ceur-ws.org/Vol-1879/paper27.pdf}, editor = {Alessandro Artale and Birte Glimm and Roman Kontchakov}, series = {{CEUR} Workshop Proceedings}, volume = {1879}, publisher = {CEUR-WS.org}, } -
Alessander Botti Benevides, Jean-Rémi Bourguet, Giancarlo Guizzardi, Rafael Peñaloza. Representing the UFO-B Foundational Ontology of Events in SROIQ. In Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology
BibTex@inproceedings{BBGP-FOUST17, author = {Alessander {Botti Benevides} and Jean-R\'emi Bourguet and Giancarlo Guizzardi and Rafael Pe{\~n}aloza}, title = {Representing the {UFO-B} Foundational Ontology of Events in {SROIQ}}, booktitle = {Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology}, year = 2017, series = {{CEUR} Workshop Proceedings}, volume = {2050}, publisher = {CEUR-WS.org}, } -
Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli. A Decidable Very Expressive Description Logic for Databases (Extended Abstract). In Proceedings of the 25th Italian Symposium on Advanced Database Systems (SEBD 2017)
BibTex@inproceedings{AFPS-SEBD17, author = {Alessandro Artale and Enrico Franconi and Rafael Pe{\~{n}}aloza and Francesco Sportelli}, title = {A Decidable Very Expressive Description Logic for Databases (Extended Abstract)}, booktitle = {Proceedings of the 25th Italian Symposium on Advanced Database Systems (SEBD 2017)}, year = {2017}, series = {{CEUR} Workshop Proceedings}, volume = {2037}, publisher = {CEUR-WS.org}, editor = {Sergio Flesca and Sergio Greco and Elio Masciari and Domenico Sacc{\`{a}}}, }
2016
-
Stefan Borgwardt and Rafael Peñaloza. Reasoning in fuzzy description logics using automata. In Fuzzy Sets and Systems
BibTex DOI@article{BoPe-FSS16, author = {Stefan Borgwardt and Rafael Pe{\~{n}}aloza}, title = {Reasoning in fuzzy description logics using automata}, journal = {Fuzzy Sets and Systems}, year = {2016}, doi = {10.1016/j.fss.2015.07.013}, note = {doi: https://doi.org/10.1016/j.fss.2015.07.013}, volume = {298}, pages = {22--43}, } -
Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza and Anni-Yasmin Turhan. Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. In Journal on Data Semantics
BibTex DOI@article{BMPT-JoDS16, author = {Stefan Borgwardt and Theofilos Mailis and Rafael Pe{\~n}aloza and Anni-Yasmin Turhan}, title = {Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}, journal = {Journal on Data Semantics}, year = 2016, doi = {10.1007/s13740-015-0055-y}, note = {doi: http://dx.doi.org/10.1007/s13740-015-0055-y}, volume = {5}, number = {2}, pages = {55--75}, } -
Rafael Peñaloza and Nico Potyka. Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy. In Proceedings of the Tenth International Conference on Scalable Uncertainty Management (SUM 2016)
BibTex arXiv@inproceedings{PePo-SUM16, author = {Rafael Pe{\~{n}}aloza and Nico Potyka}, title = {Probabilistic Reasoning in the Description Logic {ALCP} with the Principle of Maximum Entropy}, year = {2016}, booktitle = {Proceedings of the Tenth International Conference on Scalable Uncertainty Management (SUM 2016)}, editor = {Steven Schockaert and Pierre Senellart}, series = {Lecture Notes in Computer Science}, volume = {9858}, publisher = {Springer}, pages = {246--259}, arxiv = {http://arxiv.org/abs/1606.09521}, } -
Joao Marques-Silva, Alexey Ignatiev, Carlos Mencía and Rafael Peñaloza. Efficient Reasoning for Inconsistent Horn Formulae. In Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA'16)
BibTex DOI@inproceedings{ MIMP-JELIA16, author = {Joao Marques{-}Silva and Alexey Ignatiev and Carlos Menc{\'{\i}}a and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA'16)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Artificial Intelligence}, title = {Efficient Reasoning for Inconsistent Horn Formulae}, year = {2016}, pages = {336--352}, doi = {10.1007/978-3-319-48758-8_22}, note = {doi: \url{https://doi.org/10.1007/978-3-319-48758-8_22}}, editor = {Loizos Michael and Antonis C. Kakas}, volume = {10021}, } -
Ismail Ilkan Ceylan, Thomas Lukasiewicz and Rafael Peñaloza. Complexity Results for Probabilistic Datalog+-. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16)
BibTex@inproceedings{CeLP-ECAI16, author = {{\.I}smail {\.I}lkan Ceylan and Thomas Lukasiewicz and Rafael Pe{\~{n}}aloza}, title = {Complexity Results for Probabilistic Datalog{+-}}, booktitle = {Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16)}, year = {2016}, editor = {Gal A. Kaminka and Maria Fox and Paolo Bouquet and Eyke H{\"{u}}llermeier and Virginia Dignum and Frank Dignum and Frank van Harmelen}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {285}, publisher = {IOS Press}, pages = {1414--1422}, } -
M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza and Joao Marques-Silva. BEACON: An Efficient SAT-Based Tool for Debugging EL+ Ontologies. In Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016)
BibTex DOI@inproceedings{AMIMPM16, author = {M. Fareed Arif and Carlos Menc{\'{\i}}a and Alexey Ignatiev and Norbert Manthey and Rafael Pe{\~{n}}aloza and Joao Marques{-}Silva}, title = {{BEACON:} An Efficient SAT-Based Tool for Debugging \emph{EL}{\^{}}+ Ontologies}, booktitle = {Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing ({SAT} 2016)}, pages = {521--530}, year = {2016}, url = {http://dx.doi.org/10.1007/978-3-319-40970-2_32}, note = {doi: \url{http://dx.doi.org/10.1007/978-3-319-40970-2_32}}, doi = {10.1007/978-3-319-40970-2_32}, editor = {Nadia Creignou and Daniel Le Berre}, series = {Lecture Notes in Computer Science}, volume = {9710}, publisher = {Springer}, } -
Marcus Völp, Sascha Klüppelholz, Jeronimo Castrillon, Hermann Härtig, Nils Asmussen, Uwe Assmann, Franz Baader, Christel Baier, Gerhard Fettweis, Jochen Fröhlich, Andres Goens, Sebastian Haas, Dirk Habich, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Wolfgang Lehner, Linda Leuschner, Matthias Lieber, Siqi Ling, Steffen Märcker, Johannes Mey, Wolfgang Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm and Axel Voigt. The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware. In Proceedings of the 1st International Workshop on Post-Moore's Era Supercomputing (PMES)
BibTex@InProceedings{VKC+-16, author = {Marcus V{\"o}lp and Sascha Kl{\"u}ppelholz and Jeronimo Castrillon and Hermann H{\"a}rtig and Nils Asmussen and Uwe Assmann and Franz Baader and Christel Baier and Gerhard Fettweis and Jochen Fr{\"o}hlich and Andres Goens and Sebastian Haas and Dirk Habich and Mattis Hasler and Immo Huismann and Tomas Karnagel and Sven Karol and Wolfgang Lehner and Linda Leuschner and Matthias Lieber and Siqi Ling and Steffen M{\"a}rcker and Johannes Mey and Wolfgang Nagel and Benedikt N{\"o}then and Rafael Pe{\~n}aloza and Michael Raitza and J{\"o}rg Stiller and Annett Ungeth{\"u}m and Axel Voigt}, title = {The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware}, booktitle = {Proceedings of the 1st International Workshop on Post-Moore's Era Supercomputing (PMES)}, year = {2016}, address = {Salt Lake City, USA}, month = {nov}, url = {https://cfaed.tu-dresden.de/files/user/jcastrillon/publications/1611_Voelp_PMES.pdf}, } -
Norbert Manthey, Rafael Peñaloza and Sebastian Rudolph. Efficient Axiom Pinpointing in EL using SAT Technology. In Proceedings of the 2016 International Workshop on Description Logics (DL'16)
BibTex@inproceedings{ MaPR-DL16, address = {Cape Town, South Africa}, author = {Norbert Manthey and Rafael {Pe{\~n}aloza} and Sebastian Rudolph}, booktitle = {Proceedings of the 2016 International Workshop on Description Logics ({DL'16})}, editor = {Maurizio Lenzerini and Rafael {Pe{\~n}aloza}}, series = {{CEUR} Workshop Proceedings}, volume = {1577}, publisher = {CEUR-WS.org}, title = {Efficient Axiom Pinpointing in {EL} using {SAT} Technology}, year = {2016}, } -
Roberto Confalonieri, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza and Manfred Eppe. Conceptual Blending in EL++. In Proceedings of the 2016 International Workshop on Description Logics (DL'16)
BibTex@inproceedings{ CES+-DL16, address = {Cape Town, South Africa}, author = {Roberto Confalonieri and Marco Schorlemmer and Oliver Kutz and Rafael Pe{\~n}aloza and Enric Plaza and Manfred Eppe}, booktitle = {Proceedings of the 2016 International Workshop on Description Logics ({DL'16})}, editor = {Maurizio Lenzerini and Rafael {Pe{\~n}aloza}}, series = {{CEUR} Workshop Proceedings}, volume = {1577}, publisher = {CEUR-WS.org}, title = {Conceptual Blending in {EL++}}, year = {2016}, } -
Stefan Borgwardt and Rafael Peñaloza. Reasoning in Expressive Gödel Description Logics. In Proceedings of the 2016 International Workshop on Description Logics (DL'16)
BibTex@inproceedings{ BoPe-DL16, address = {Cape Town, South Africa}, author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 2016 International Workshop on Description Logics ({DL'16})}, editor = {Maurizio Lenzerini and Rafael {Pe{\~n}aloza}}, series = {CEUR-WS}, title = {Reasoning in Expressive {G{\"o}del} Description Logics}, year = {2016}, volume = {1577}, publisher = {CEUR-WS.org}, } -
Marco Montali and Rafael Peñaloza (eds.). Proceedings of the Doctoral Consortia for the 9th and 10th International Conference on Web Reasoning and Rule Systems.
BibTex@proceedings{MoPe-RRDC16, editor = {Marco Montali and Rafael Pe{\~{n}}aloza}, title = {Proceedings of the Doctoral Consortia for the 9th and 10th International Conference on Web Reasoning and Rule Systems}, year = 2016, } -
Maurizio Lenzerini and Rafael Peñaloza (eds.). Proceedings of the 29th International Workshop on Description Logics.
BibTex@proceedings{LePe-DL16, editor = {Maurizio Lenzerini and Rafael Pe{\~{n}}aloza}, title = {Proceedings of the 29th International Workshop on Description Logics}, series = {{CEUR} Workshop Proceedings}, volume = {1577}, publisher = {CEUR-WS.org}, year = {2016}, url = {http://ceur-ws.org/Vol-1577}, }
2015
-
Fernando Bobillo, Marco Cerami, Francesc Esteva, Àngel García-Cerdaña, Rafael Peñaloza, Umberto Straccia. Fuzzy Description Logic. In Handbook of Mathematical Fuzzy Logic Volume 3
BibTex@incollection{BCE+-15, author = {Fernando Bobillo and Marco Cerami and Francesc Esteva and {\`{A}}ngel Garc{\'{i}}a-Cerda{\~{n}}a and Rafael Pe{\~n}aloza and Umberto Straccia}, title = {Fuzzy Description Logic}, editor = {Petr Cintula and Christian G. Ferm{\"u}ller and Carles Noguera}, publisher = {College Publications}, series = {Studies in Logic}, booktitle = {Handbook of Mathematical Fuzzy Logic Volume 3}, volume = 58, year = 2015, } -
Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Similarity-based Relaxed Instance Queries. In Journal of Applied Logic
BibTex DOI@article{ EcPT-JAL15, author = {Andreas {Ecke} and Rafael {Pe\~naloza} and Anni-Yasmin {Turhan}}, doi = {10.1016/j.jal.2015.01.002}, note = {doi: http://dx.doi.org/10.1016/j.jal.2015.01.002}, journal = {Journal of Applied Logic}, volume = 13, number = 4, pages = {480--508}, title = {Similarity-based Relaxed Instance Queries}, year = {2015}, } -
Stefan Borgwardt, Felix Distel and Rafael Peñaloza. The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions. In Artificial Intelligence
BibTex DOI@article{BoDP-AIJ15, author = {Stefan Borgwardt and Felix Distel and Rafael Pe{\~n}aloza}, title = {The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions}, journal = {Artificial Intelligence}, year = 2015, doi = {10.1016/j.artint.2014.09.001}, note = {doi: http://dx.doi.org/10.1016/j.artint.2014.09.001}, pages = {23--55}, volume = {218}, } -
Franz Baader, Stefan Borgwardt and Rafael Peñaloza. On the Decidability Status of Fuzzy ALC with General Concept Inclusions. In Journal of Philosophical Logic
BibTex DOI@article{ BaBP-JPL14, author = {Franz Baader and Stefan Borgwardt and Rafael Pe{\~n}aloza}, journal = {Journal of Philosophical Logic}, volume = {44}, number = {2}, pages = {117--146}, title = {On the Decidability Status of Fuzzy {$\mathcal{ALC}$} with General Concept Inclusions}, year = {2015}, doi = {10.1007/s10992-014-9329-3}, note = {doi: http://dx.doi.org/10.1007/s10992-014-9329-3}, } -
Mario Alviano and Rafael Peñaloza. Fuzzy Answer Set Computation via Satisfiability Modulo Theories. In Theory and Practice of Logic Programming
BibTex DOI arXiv@article{AlPe-TPLP15, author = {Mario Alviano and Rafael Pe{\~{n}}aloza}, title = {Fuzzy Answer Set Computation via Satisfiability Modulo Theories}, journal = {Theory and Practice of Logic Programming}, volume = {15}, number = {4-5}, pages = {588--603}, year = {2015}, url = {http://dx.doi.org/10.1017/S1471068415000241}, doi = {10.1017/S1471068415000241}, note = {doi: http://dx.doi.org/10.1017/S1471068415000241}, arxiv = {http://arxiv.org/abs/1507.03920}, } -
Ismail Ilkan Ceylan and Rafael Peñaloza. Probabilistic Query Answering in the Bayesian Description Logic BEL. In Proceedings of the 9th International Conference on Scalable Uncertainty Management (SUM 2015)
BibTex DOI@inproceedings{CePe-SUM15, author = {{\.I}smail {\.I}lkan Ceylan and Rafael Pe{\~{n}}aloza}, title = {Probabilistic Query Answering in the {Bayesian} Description Logic \emph{BEL}}, booktitle = {Proceedings of the 9th International Conference on Scalable Uncertainty Management ({SUM} 2015)}, pages = {21--35}, year = {2015}, url = {http://dx.doi.org/10.1007/978-3-319-23540-0_2}, note = {doi: \url{http://dx.doi.org/10.1007/978-3-319-23540-0_2}}, doi = {10.1007/978-3-319-23540-0_2}, editor = {Christoph Beierle and Alex Dekhtyar}, series = {Lecture Notes in Computer Science}, volume = {9310}, publisher = {Springer}, } -
Stefan Borgwardt and Rafael Peñaloza. Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. In Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS 2015)
BibTex DOI@inproceedings{BoPe-FroCoS15, author = {Stefan Borgwardt and Rafael Pe{\~{n}}aloza}, title = {Reasoning in Expressive Description Logics under Infinitely Valued G{\"{o}}del Semantics}, booktitle = {Proceedings of the 10th International Symposium on Frontiers of Combining Systems {(FroCoS 2015)}}, pages = {49--65}, year = {2015}, url = {http://dx.doi.org/10.1007/978-3-319-24246-0_4}, note = {doi: \url{http://dx.doi.org/10.1007/978-3-319-24246-0_4}}, doi = {10.1007/978-3-319-24246-0_4}, series = {Lecture Notes in Computer Science}, volume = {9322}, publisher = {Springer}, editor = {Carsten Lutz and Silvio Ranise}, } -
Stefan Borgwardt, Marco Cerami and Rafael Peñaloza. The Complexity of Subsumption in Fuzzy EL. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015
BibTex@inproceedings{BoCP-IJCAI15, author = {Stefan Borgwardt and Marco Cerami and Rafael Pe{\~{n}}aloza}, title = {The Complexity of Subsumption in Fuzzy {EL}}, booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015}, pages = {2812--2818}, year = {2015}, url = {http://ijcai.org/papers15/Abstracts/IJCAI15-398.html}, editor = {Qiang Yang and Michael Wooldridge}, publisher = {{AAAI} Press}, } -
Rafael Peñaloza and Aparna Saisree Thuluva. Iterative Ontology Updates Using Context Labels. In Proceedings of the International Workshop on Belief Change and NMR in Ontologies and Databases
BibTex@inproceedings{PeTh-OC15, author = {Rafael {Pe{\~n}aloza} and Aparna Saisree {Thuluva}}, booktitle = {Proceedings of the International Workshop on Belief Change and NMR in Ontologies and Databases}, title = {Iterative Ontology Updates Using Context Labels}, year = {2015}, } -
Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza and Enric Plaza. Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++. In Proceedings of the International Workshop on Ontologies and Logic Programming for Query Answering
BibTex@inproceedings{ CES+-LPQA15, author = {Roberto Confalonieri and Manfred Eppe and Marco Schorlemmer and Oliver Kutz and Rafael Pe{\~n}aloza and Enric Plaza}, booktitle = {Proceedings of the International Workshop on Ontologies and Logic Programming for Query Answering}, title = {Upward Refinement for Conceptual Blending in Description Logic: An {ASP}-based Approach and Case Study in {EL++}}, year = {2015}, } -
Ismail Ilkan Ceylan and Rafael Peñaloza. Dynamic Bayesian Ontology Languages. In Proceedings of the 5th International Workshop on Statistical Relational AI (starAI 2015)
BibTex arXiv@inproceedings{ CePe-starAI15, author = {{\.I}smail {\.I}lkan Ceylan and Rafael Pe{\~{n}}aloza}, booktitle = {Proceedings of the 5th International Workshop on Statistical Relational AI (starAI 2015)}, title = {Dynamic Bayesian Ontology Languages}, year = {2015}, url = {http://arxiv.org/abs/1506.08030}, arxiv = {http://arxiv.org/abs/1506.08030}, } -
Ismail Ilkan Ceylan and Rafael Peñaloza. Dynamic Bayesian Description Logics. In Proceedings of the 28th International Workshop on Description Logics
BibTex@inproceedings{CePe-DL15, author = {{\.I}smail {\.I}lkan Ceylan and Rafael Pe{\~{n}}aloza}, title = {Dynamic Bayesian Description Logics}, booktitle = {Proceedings of the 28th International Workshop on Description Logics}, year = {2015}, url = {http://ceur-ws.org/Vol-1350/paper-48.pdf}, editor = {Diego Calvanese and Boris Konev}, series = {{CEUR} Workshop Proceedings}, volume = {1350}, publisher = {CEUR-WS.org}, } -
Ismail Ilkan Ceylan, Julian Mendez and Rafael Peñaloza. The Bayesian Ontology Reasoner is BORN!. In Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015)
BibTex@inproceedings{CeMP-ORE15, author = {{\.I}smail {\.I}lkan Ceylan and Julian Mendez and Rafael Pe{\~{n}}aloza}, title = {The Bayesian Ontology Reasoner is BORN!}, booktitle = {Informal Proceedings of the 4th International Workshop on {OWL} Reasoner Evaluation {(ORE-2015)}}, pages = {8--14}, year = {2015}, url = {http://ceur-ws.org/Vol-1387/paper_5.pdf}, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, publisher = {CEUR-WS.org}, } -
Ismail Ilkan Ceylan, Thomas Lukasiewicz and Rafael Peñaloza. Answering EL Queries in the Presence of Preferences. In Proceedings of the 28th International Workshop on Description Logics
BibTex@inproceedings{CeLP-DL15, author = {{\.I}smail {\.I}lkan Ceylan and Thomas Lukasiewicz and Rafael Pe{\~{n}}aloza}, title = {Answering {EL} Queries in the Presence of Preferences}, booktitle = {Proceedings of the 28th International Workshop on Description Logics}, year = {2015}, url = {http://ceur-ws.org/Vol-1350/paper-47.pdf}, editor = {Diego Calvanese and Boris Konev}, series = {{CEUR} Workshop Proceedings}, volume = {1350}, publisher = {CEUR-WS.org}, } -
Stefan Borgwardt and Rafael Peñaloza. Reasoning in Infinitely Valued G-IALCQ. In Workshop on Weighted Logics for AI (WL4AI-15)
BibTex arXiv@inproceedings{ BoPe-WL4AI15, author = {Stefan Borgwardt and Rafael Pe{\~n}aloza}, booktitle = {Workshop on {W}eighted {L}ogics for {AI} (WL4AI-15)}, title = {Reasoning in Infinitely Valued {G-IALCQ}}, year = {2015}, arxiv = {https://arxiv.org/abs/1509.08761}, } -
Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza and Anni-Yasmin Turhan. Conjunctive Query Answering with Finitely Many Truth Degrees. In Proceedings of the 28th International Workshop on Description Logics
BibTex arXiv@inproceedings{BMPT-DL15, author = {Stefan Borgwardt and Theofilos P. Mailis and Rafael Pe{\~{n}}aloza and Anni{-}Yasmin Turhan}, title = {Conjunctive Query Answering with Finitely Many Truth Degrees}, booktitle = {Proceedings of the 28th International Workshop on Description Logics}, year = {2015}, url = {http://ceur-ws.org/Vol-1350/paper-45.pdf}, editor = {Diego Calvanese and Boris Konev}, series = {{CEUR} Workshop Proceedings}, volume = {1350}, publisher = {CEUR-WS.org}, arxiv = {http://arxiv.org/abs/1508.02626}, } -
Rafael Peñaloza. Reasoning with Annotated Description Logic Ontologies. [Thesis]
BibTex@MastersThesis{PenaHabil, author = {Rafael Pe{\~n}aloza}, title = {Reasoning with Annotated Description Logic Ontologies}, school = {Dresden University of Technology}, year = 2015, type = {Habilitation Thesis}, address = {Germany}, note = {Cumulative habilitation report} } -
Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza and Sebastian Rudolph (eds.). Proceedings of the 38th Annual German Conference on AI (KI 2015).
BibTex DOI@proceedings{HKPR-KI15, editor = {Steffen H{\"{o}}lldobler and Markus Kr{\"{o}}tzsch and Rafael Pe{\~{n}}aloza and Sebastian Rudolph}, title = {Proceedings of the 38th Annual German Conference on AI ({KI} 2015)}, series = {Lecture Notes in Computer Science}, volume = {9324}, publisher = {Springer}, year = {2015}, url = {http://dx.doi.org/10.1007/978-3-319-24489-1}, note = {doi: http://dx.doi.org/10.1007/978-3-319-24489-1}, doi = {10.1007/978-3-319-24489-1}, isbn = {978-3-319-24488-4}, } -
Rafael Peñaloza. Feeding Many Values to Lightweight Description Logics. In Proceedings of ManyVal 2015
BibTex@inproceedings{PenaMV15, author = {Rafael Pe{\~n}aloza}, title = {Feeding Many Values to Lightweight Description Logics}, year = 2015, booktitle = {Proceedings of ManyVal 2015}, editor = {George Metcalfe}, pages = {13--14}, }
2014
-
Karsten Lehmann and Rafael Peñaloza. The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees. In Theoretical Computer Science
BibTex DOI@article{ LePe-TCS14, author = {Karsten {Lehmann} and Rafael {Pe{\~n}aloza}}, journal = {Theoretical Computer Science}, title = {The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees}, year = {2014}, doi = {10.1016/j.tcs.2014.02.036}, note = {doi: http://dx.doi.org/10.1016/j.tcs.2014.02.036}, url = {http://www.sciencedirect.com/science/article/pii/S0304397514001625}, volume = 534, pages = {53--68}, month = {May}, publisher = {Elsevier}, } -
Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities. In International Journal of Approximate Reasoning
BibTex DOI@article{ EcPT-IJAR14, author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}}, doi = {10.1016/j.ijar.2014.03.001}, note = {doi: http://dx.doi.org/10.1016/j.ijar.2014.03.001}, journal = {International Journal of Approximate Reasoning}, number = {9}, pages = {1939--1970}, publisher = {Elsevier}, title = {Completion-based Generalization Inferences for the Description Logic $\mathcal{ELOR}$ with Subjective Probabilities}, volume = {55}, year = {2014}, } -
Stefan Borgwardt and Rafael Peñaloza. Consistency Reasoning in Lattice-Based Fuzzy Description Logics. In International Journal of Approximate Reasoning
BibTex DOI@article{ BoPe-IJAR14, author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}}, doi = {10.1016/j.ijar.2013.07.006}, note = {doi: http://dx.doi.org/10.1016/j.ijar.2013.07.006}, journal = {International Journal of Approximate Reasoning}, number = {9}, pages = {1917--1938}, title = {Consistency Reasoning in Lattice-Based Fuzzy Description Logics}, volume = {55}, year = {2014}, } -
Dorian Merz, Rafael Peñaloza and Anni-Yasmin Turhan. Reasoning in ALC with Fuzzy Concrete Domains. In Proceedings of 37th German Conference on Artificial Intelligence (KI'14)
BibTex@inproceedings{ MePT-KI14, author = {Dorian {Merz} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}}, booktitle = {Proceedings of 37th German Conference on Artificial Intelligence (KI'14)}, editor = {Carsten {Lutz} and Michael {Thielscher}}, pages = {171--182}, publisher = {Springer Verlag}, series = {Lecture Notes in Artificial Intelligence}, title = {Reasoning in {$\mathcal{ALC}$} with Fuzzy Concrete Domains}, volume = {8736}, year = {2014}, } -
Theofilos Mailis, Rafael Peñaloza and Anni-Yasmin Turhan. Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics. In Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR 2014)
BibTex@inproceedings{ MaPT-RR14, author = {Theofilos {Mailis} and Rafael {Pe\~naloza} and Anni-Yasmin {Turhan}}, booktitle = {Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR 2014)}, editor = {Roman {Kontchakov} and Marie-Laure {Mugnier}}, pages = {124--139}, publisher = {Springer}, title = {Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics}, volume = {8741}, year = {2014}, } -
Michel Ludwig and Rafael Peñaloza. Error-Tolerant Reasoning in the Description Logic EL. In Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14)
BibTex@inproceedings{ LuPe-JELIA14, address = {Madeira, Portugal}, author = {Michel {Ludwig} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 14th European Conference on Logics in Artificial Intelligence {(JELIA'14)}}, editor = {Eduardo {Ferm{\'e}} and Jo{\~a}o {Leite}}, pages = {107--121}, publisher = {Springer-Verlag}, series = {Lecture Notes in Artificial Intelligence}, title = {Error-Tolerant Reasoning in the Description Logic EL}, volume = {8761}, year = {2014}, } -
Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Answering Instance Queries Relaxed by Concept Similarity. In Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14)
BibTex@inproceedings{ EcPT-KR14, address = {Vienna, Austria}, author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}}, booktitle = {Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR'14})}, editor = {Chitta {Baral} and Giuseppe {De Giacomo} and Thomas {Eiter}}, pages = {248--257}, publisher = {AAAI Press}, title = {Answering Instance Queries Relaxed by Concept Similarity}, year = {2014}, } -
Stathis Delivorias, Haralampos Hatzikirou, Rafael Peñaloza and Dirk Walther. Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. In Proceedings of the 11th International Conference on Cellular Automata for Research and Industry, (ACRI 2014)
BibTex DOI@inproceedings{DHPW-ACRI14, author = {Stathis Delivorias and Haralampos Hatzikirou and Rafael Pe{\~{n}}aloza and Dirk Walther}, title = {Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics}, booktitle = {Proceedings of the 11th International Conference on Cellular Automata for Research and Industry, ({ACRI} 2014)}, year = {2014}, pages = {357--366}, doi = {10.1007/978-3-319-11520-7_37}, note = {doi: \url{https://doi.org/10.1007/978-3-319-11520-7_37}}, editor = {Jaroslaw Was and Georgios Ch. Sirakoulis and Stefania Bandini}, series = {Lecture Notes in Computer Science}, volume = {8751}, publisher = {Springer}, } -
Ismail Ilkan Ceylan and Rafael Peñaloza. Tight Complexity Bounds for Reasoning in the Description Logic BEL. In Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)
BibTex@inproceedings{ CePe-JELIA14, author = {Ismail Ilkan {Ceylan} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)}, editor = {Eduardo {Ferm{\'e}} and Jo{\~a}o {Leite}}, pages = {77--91}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Tight Complexity Bounds for Reasoning in the Description Logic {$\mathcal{BEL}$}}, volume = {8761}, year = {2014}, } -
Ismail Ilkan Ceylan and Rafael Peñaloza. The Bayesian Description Logic BEL. In Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014)
BibTex@InProceedings{ CePe-IJCAR14, author = {{\.I}smail {\.I}lkan Ceylan and Rafael Pe{\~n}aloza}, title = {The {B}ayesian Description Logic {BEL}}, booktitle = {Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014)}, year = 2014, editor = {Stephane Demri and Deepak Kapur and Christoph Weidenbach}, pages = {480--494}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {8562}, } -
Daniel Borchmann, Rafael Peñaloza and Wenqian Wang. Classifying Software Bug Reports Using Methods from Formal Concept Analysis. In Studia Universitatis Babes-Bolyai Informatica
BibTex@Article{ BoPW-ICFCA14, author = {Daniel Borchmann and Rafael Pe{\~n}aloza and Wenqian Wang}, title = {Classifying Software Bug Reports Using Methods from Formal Concept Analysis}, journal = {Studia Universitatis Babe{\c{s}}-Bolyai Informatica}, volume = 59, month = {June}, year = 2014, pages = {10--27}, note = {Suplemental proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA'14)}, } -
Stefan Borgwardt, José A. Leyva Galano and Rafael Peñaloza. The Fuzzy Description Logic extsfG-FL0 with Greatest Fixed-Point Semantics. In Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14)
BibTex@inproceedings{ BoLP-JELIA14, address = {Funchal, Portugal}, author = {Stefan {Borgwardt} and Jos{\'e} A. {Leyva Galano} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14)}, editor = {Eduardo {Ferm{\'e}} and Jo{\~a}o {Leite}}, pages = {62--76}, publisher = {Springer-Verlag}, series = {Lecture Notes in Artificial Intelligence}, title = {The Fuzzy Description Logic {\textsf{G}}-{$\mathcal{FL}_0$} with Greatest Fixed-Point Semantics}, volume = {8761}, year = {2014}, } -
Stefan Borgwardt, Felix Distel and Rafael Peñaloza. Decidable Gödel description logics without the finitely-valued model property. In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)
BibTex@inproceedings{BoDP-KR14, address = {Vienna, Austria}, author = {Stefan {Borgwardt} and Felix {Distel} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)}, editor = {Chitta {Baral} and Giuseppe {De Giacomo} and Thomas {Eiter}}, pages = {228--237}, publisher = {AAAI Press}, title = {Decidable {G}{\"o}del description logics without the finitely-valued model property}, year = {2014}, } -
Rafael Peñaloza, Veronika Thost and Anni-Yasmin Turhan. Certain Answers in a Rough World. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
BibTex@inproceedings{ PeTT-DL14, address = {Vienna, Austria}, author = {Rafael {Pe{\~n}aloza} and Veronika {Thost} and Anni-Yasmin {Turhan}}, booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})}, editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}}, pages = {709--712}, series = {CEUR Workshop Proceedings}, title = {Certain Answers in a Rough World}, volume = {1193}, year = {2014}, } -
Rafael Peñaloza and Aparna Saisree Thuluva. COBRA, a Demo. In Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014)
BibTex@inproceedings{ PeTh-OWLED14, author = {Rafael {Pe{\~n}aloza} and Aparna Saisree {Thuluva}}, booktitle = {Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014)}, editor = {C. Maria {Keet} and Valentina {Tamma}}, series = {CEUR Workshop Proceedings}, title = {COBRA, a Demo}, volume = {1265}, year = {2014}, } -
Yue Ma and Rafael Peñaloza. Towards Parallel Repair: An Ontology Decomposition-based Approach. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
BibTex@inproceedings{ MaPe-DL14, address = {Vienna, Austria}, author = {Yue {Ma} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})}, editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}}, pages = {633--645}, series = {CEUR Workshop Proceedings}, title = {Towards Parallel Repair: An Ontology Decomposition-based Approach}, volume = {1193}, year = {2014}, } -
Michel Ludwig and Rafael Peñaloza. Brave and Cautious Reasoning in EL. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
BibTex@inproceedings{ LuPe-DL14, address = {Vienna, Austria}, author = {Michel {Ludwig} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})}, editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}}, pages = {274--286}, series = {CEUR Workshop Proceedings}, title = {Brave and Cautious Reasoning in EL}, volume = {1193}, year = {2014}, } -
Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Mary, What's Like All Cats?. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
BibTex@inproceedings{ EcPT-DL14, address = {Vienna, Austria}, author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}}, booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})}, editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}}, pages = {526--529}, series = {CEUR Workshop Proceedings}, title = {Mary, What's Like All Cats?}, volume = {1193}, year = {2014}, } -
Chiara Del Vescovo and Rafael Peñaloza. DeaLing with Ontologies using CODs. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
BibTex@inproceedings{ DVPe-DL14, address = {Vienna, Austria}, author = {Chiara {Del Vescovo} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})}, editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}}, pages = {157--168}, series = {CEUR Workshop Proceedings}, title = {DeaLing with Ontologies using CODs}, volume = {1193}, year = {2014}, } -
Ismail Ilkan Ceylan and Rafael Peñaloza. Reasoning in the Description Logic BEL using Bayesian Networks. In Proceedings of the 4th International Workshop on Statistical Relational AI (starAI 2014)
BibTex@inproceedings{ CePe-starAI14, author = {Ismail Ilkan {Ceylan} and Rafael {Pe{\~n}aloza}}, editor = {Guy Van den {Broeck} and Kristian {Kersting} and Sriraam {Natarajan} and David {Poole}}, pages = {15--21}, booktitle = {Proceedings of the 4th International Workshop on Statistical Relational AI (starAI 2014)}, publisher = {AAAI Press}, series = {AAAI Workshops}, title = {Reasoning in the Description Logic BEL using Bayesian Networks}, volume = {WS-14-13}, year = {2014}, } -
Ismail Ilkan Ceylan and Rafael Peñaloza. Bayesian Description Logics. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
BibTex@inproceedings{ CePe-DL14, author = {Ismail Ilkan {Ceylan} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 27th International Workshop on Description Logics (DL'14)}, editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}}, pages = {447--458}, publisher = {CEUR-WS}, series = {CEUR Workshop Proceedings}, title = {{Bayesian Description Logics}}, volume = {1193}, year = {2014}, } -
Stefan Borgwardt, José A. Leyva Galano and Rafael Peñaloza. Gödel FL0 with Greatest Fixed-Point Semantics. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
BibTex@inproceedings{ BoLP-DL14, address = {Vienna, Austria}, author = {Stefan {Borgwardt} and Jos{\'e} A. {Leyva Galano} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})}, editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}}, pages = {71--82}, series = {CEUR Workshop Proceedings}, title = {G{\"o}del {$\mathcal{FL}_0$} with Greatest Fixed-Point Semantics}, volume = {1193}, year = {2014}, } -
Stefan Borgwardt, Felix Distel and Rafael Peñaloza. Gödel Description Logics with General Models. In Proceedings of the 27th International Workshop on Description Logics (DL'14)
BibTex@inproceedings{ BoDP-DL14, address = {Vienna, Austria}, author = {Stefan {Borgwardt} and Felix {Distel} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})}, editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}}, pages = {391--403}, series = {CEUR Workshop Proceedings}, title = {G\"odel Description Logics with General Models}, volume = {1193}, year = {2014}, } -
Stefan Borgwardt, Marco Cerami and Rafael Peñaloza. Many-Valued Horn Logic is Hard. In Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV'14)
BibTex@inproceedings{ BoCP-PRUV14, address = {Vienna, Austria}, author = {Stefan {Borgwardt} and Marco {Cerami} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness ({PRUV'14})}, editor = {Thomas {Lukasiewicz} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}}, pages = {52--58}, series = {CEUR Workshop Proceedings}, title = {Many-Valued Horn Logic is Hard}, volume = {1205}, year = {2014}, } -
Thomas Lukasiewicz, Rafael Peñaloza and Anni-Yasmin Turhan (eds.). Proceedings of the First Workshop on Logics for Reasoning about Preferences.
BibTex@proceedings{LuPT-PRUV14, editor = {Thomas Lukasiewicz and Rafael Pe{\~{n}}aloza and Anni{-}Yasmin Turhan}, title = {Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness ({PRUV} 2014)}, series = {{CEUR} Workshop Proceedings}, volume = {1205}, publisher = {CEUR-WS.org}, year = {2014}, url = {http://ceur-ws.org/Vol-1205}, } -
Rafael Peñaloza. Automata-based Reasoning in Fuzzy Description Logics. In Proceedings of the 35th Linz Seminar on Fuzzy Set Theory
BibTex@inproceedings{PenaLinz14, author = {Rafael Pe{\~n}aloza}, title = {Automata-based Reasoning in Fuzzy Description Logics}, year = 2014, booktitle = {Proceedings of the 35th Linz Seminar on Fuzzy Set Theory}, editor = {Tommaso Flaminio and Lluis Godo and Siegfried Gottlob and Erich Peter Klement }, pages = {103--106}, }
2013
-
Stefan Borgwardt and Rafael Peñaloza. The Complexity of Lattice-Based Fuzzy Description Logics. In Journal on Data Semantics
BibTex DOI@article{BoPe-JoDS12, author = {Stefan Borgwardt and Rafael Pe{\~n}aloza}, title = {The Complexity of Lattice-Based Fuzzy Description Logics}, journal = {Journal on Data Semantics}, year = 2013, springer = {yes}, volume = 2, number = 1, pages = {1--19}, doi = {10.1007/s13740-012-0013-x}, } -
Mario Alviano and Rafael Peñaloza. Fuzzy Answer Sets Approximations. In Theory and Practice of Logic Programming
BibTex DOI@article{AlPe-TPLP13, author = {Mario Alviano and Rafael Pe{\~n}aloza}, title = {Fuzzy Answer Sets Approximations}, journal = {Theory and Practice of Logic Programming}, year = {2013}, volume = 13, number = {4--5}, pages = {753--767}, doi = {10.1017/S1471068413000471}, note = {doi: http://dx.doi.org/10.1017/S1471068413000471}, copyright = {Cambridge University Press}, copylink = {http://www.cambridge.org/}, publisher = {Cambridge University Press}, } -
Rafael Peñaloza and Tingting Zou. Roughening the EL Envelope. In Proceedings of the 2013 International Symposium on Frontiers of Combining Systems (FroCoS 2013)
BibTex@inproceedings{ PeZo-FroCoS13, address = {Nancy, France}, author = {Rafael {Pe{\~n}aloza} and Tingting {Zou}}, booktitle = {Proceedings of the 2013 International Symposium on Frontiers of Combining Systems ({FroCoS 2013})}, title = {Roughening the $\mathcal{EL}$ Envelope}, year = {2013}, editor = {P. {Fontaine} and C. {Ringeissen} and R. A. {Schmidt}}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {8152}, pages = {71--86}, } -
Rafael Peñaloza and Anni-Yasmin Turhan. Instance-based Non-standard Inferences in EL with Subjective Probabilities. In Uncertainty Reasoning for the Semantic Web II
BibTex@InProceedings{PeTu12, author = {Rafael Pe{\~n}aloza and Anni-Yasmin Turhan}, title = {Instance-based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities}, booktitle = {Uncertainty Reasoning for the Semantic Web II}, editor = {Fernando Bobillo and Paulo C. G. Costa and Claudia d'Amato and Nicola Fanizzi and Kathryn B. Laskey and Kenneth J. Laskey and Thomas Lukasiewicz and Matthias Nickles and Michael Pool}, year = 2013, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 7123, pages = {80--98}, } -
Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Computing Role-depth Bounded Generalizations in the Description Logic ELOR. In Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013)
BibTex@inproceedings{ EcPT-KI-13, address = {Koblenz, Germany}, author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}}, booktitle = {Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Artificial Intelligence}, title = {Computing Role-depth Bounded Generalizations in the Description Logic {$\mathcal{ELOR}$}}, volume = {8077}, year = {2013}, pages = {49--60}, editor = {Ingo J. Timm and Matthias Thimm}, } -
Stefan Borgwardt and Rafael Peñaloza. Positive Subsumption in Fuzzy EL with General t-norms. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13)
BibTex@inproceedings{ BoPe-IJCAI13, address = {Beijing, China}, author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13)}, editor = {Francesca {Rossi}}, pages = {789--795}, publisher = {AAAI Press}, title = {Positive Subsumption in Fuzzy $\mathcal{EL}$ with General t-norms}, year = {2013}, } -
Rafael Peñaloza and Tingting Zou. Rough EL Classification. In Proceedings of the 2013 International Workshop on Description Logics (DL'13)
BibTex@inproceedings{PeZo-DL13, address = {Ulm, Germany}, author = {Rafael {Pe{\~n}aloza} and Tingting {Zou}}, booktitle = {Proceedings of the 2013 International Workshop on Description Logics ({DL'13})}, series = {CEUR-WS}, title = {Rough $\mathcal{EL}$ Classification}, year = {2013}, editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr{\"o}tzsch}, volume = 1014, pages = {415--427}, } -
Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Towards Instance Query Answering for Concepts Relaxed by Similarity Measures. In Workshop on Weighted Logics for AI (in conjunction with IJCAI'13)
BibTex@inproceedings{ EcPT-WL4AI13, address = {Beijing, China}, author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}}, booktitle = {Workshop on {W}eighted {L}ogics for {AI} (in conjunction with IJCAI'13)}, title = {Towards Instance Query Answering for Concepts Relaxed by Similarity Measures}, year = {2013}, } -
Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan. Role-depth bounded Least Common Subsumer in Prob-EL with Nominals. In Proceedings of the 26th International Workshop on Description Logics (DL-2013)
BibTex@inproceedings{ EcPT-DL13, address = {Ulm, Germany}, author = {Andreas {Ecke} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}}, booktitle = {Proceedings of the 26th International Workshop on Description Logics ({DL-2013})}, month = {July}, editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr{\"o}tzsch}, series = {CEUR-WS}, volume = 1014, pages = {670--688}, title = {Role-depth bounded Least Common Subsumer in Prob-{$\mathcal{EL}$} with Nominals}, year = {2013}, } -
Stefan Borgwardt and Rafael Peñaloza. About Subsumption in Fuzzy EL. In Proceedings of the 2013 International Workshop on Description Logics (DL'13)
BibTex@inproceedings{ BoPe-DL13, address = {Ulm, Germany}, author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}}, booktitle = {Proceedings of the 2013 International Workshop on Description Logics ({DL'13})}, editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr{\"o}tzsch}, series = {CEUR-WS}, volume = 1014, pages = {526--538}, title = {About Subsumption in Fuzzy $\mathcal{EL}$}, year = {2013}, }
2012
-
Franz Baader, Martin Knechtel and Rafael Peñaloza. Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies. In Journal of Web Semantics
BibTex DOI@article{BaKP-JWS12, author = {Franz Baader and Martin Knechtel and Rafael Pe{\~n}aloza}, title = {Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies}, journal = {Journal of Web Semantics}, volume = {12--13}, pages = {22--40}, month = {April}, year = {2012}, note = {doi: http://dx.doi.org/10.1016/j.websem.2011.11.006}, doi = {10.1016/j.websem.2011.11.006}, } -
Stefan Borgwardt and Rafael Peñaloza. A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. In Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012)
BibTex@inproceedings{BoPe-RR12, author = {Stefan Borgwardt and Rafael Pe{\~n}aloza}, title = {A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices}, booktitle = {Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012)}, year = {2012}, pages = {9--24}, publisher = {Springer}, volume = 7497, series = {Lecture Notes in Computer Science}, editor = {Markus Kr{\"o}tzsch and Umberto Straccia}, springer = {yes}, } -
Stefan Borgwardt and Rafael Peñaloza. Undecidability of Fuzzy Description Logics. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12)
BibTex@inproceedings{BoPe-KR12, author = {Stefan Borgwardt and Rafael Pe{\~n}aloza}, title = {Undecidability of Fuzzy Description Logics}, booktitle = {Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning ({KR'12})}, year = 2012, publisher = {AAAI Press}, address = {Rome, Italy}, pages = {232--242}, editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith}, } -
Stefan Borgwardt, Felix Distel and Rafael Peñaloza. How Fuzzy is my Fuzzy Description Logic?. In Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12)
BibTex@InProceedings{BoDP-IJCAR12, author = {Stefan Borgwardt and Felix Distel and Rafael Pe{\~n}aloza}, title = {How Fuzzy is my Fuzzy Description Logic?}, booktitle = {Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12)}, year = 2012, address = {Manchester, UK}, publisher = {Springer-Verlag}, series = {Lecture Notes in Artificial Intelligence}, volume = 7364, pages = {82--96}, editor = {Bernhard Gramlich and Dale Miller and Ulrike Sattler}, springer = {yes}, } -
Karsten Lehmann and Rafael Peñaloza. The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices. In Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications (WATA'12)
BibTex@InProceedings{LePe12, author = {Karsten Lehmann and Rafael Pe{\~n}aloza}, title = {The Complexity of Computing the Behaviour of Weighted B\"uchi Automata over Lattices}, booktitle = {Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications ({WATA'12})}, year = 2012, editor = {Heiko Vogler and Manfred Droste}, } -
Weili Fu and Rafael Peñaloza. Adding Context to Tableaux for DLs. In Proceedings of the 2012 International Workshop on Description Logics (DL'12)
BibTex@inproceedings{FuPe-DL12, author = {Weili Fu and Rafael Pe{\~n}aloza}, title = {Adding Context to Tableaux for {DLs}}, booktitle = {Proceedings of the 2012 International Workshop on Description Logics ({DL'12})}, year = 2012, series = {CEUR-WS}, address = {Rome, Italy}, volume = 846, editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter}, } -
Stefan Borgwardt and Rafael Peñaloza. Non Gödel Negation Makes Unwitnessed Consistency Undecidable. In Proceedings of the 2012 International Workshop on Description Logics (DL'12)
BibTex@inproceedings{BoPe-DL12, author = {Stefan Borgwardt and Rafael Pe{\~n}aloza}, title = {Non {G\"o}del Negation Makes Unwitnessed Consistency Undecidable}, booktitle = {Proceedings of the 2012 International Workshop on Description Logics ({DL'12})}, year = 2012, series = {CEUR-WS}, address = {Rome, Italy}, volume = 846, editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter}, } -
Stefan Borgwardt, Felix Distel and Rafael Peñaloza. Gödel Negation Makes Unwitnessed Consistency Crisp. In Proceedings of the 2012 International Workshop on Description Logics (DL'12)
BibTex@inproceedings{BoDP-DL12, author = {Stefan Borgwardt and Felix Distel and Rafael Pe{\~n}aloza}, title = {{G\"o}del Negation Makes Unwitnessed Consistency Crisp}, booktitle = {Proceedings of the 2012 International Workshop on Description Logics ({DL'12})}, year = 2012, series = {CEUR-WS}, address = {Rome, Italy}, volume = 846, editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter}, }
2011
-
Rafael Peñaloza and Anni-Yasmin Turhan. A Practical Approach for Computing Generalization Inferences in EL. In Proceedings of the 8th European Semantic Web Conference (ESWC'11), Part I
BibTex@InProceedings{PeTu-ESWC11, author = {Rafael Pe{\~n}aloza and Anni-Yasmin Turhan}, title = {A Practical Approach for Computing Generalization Inferences in {${\mathcal{EL}}$}}, booktitle = {Proceedings of the 8th European Semantic Web Conference ({ESWC'11}), Part I}, year = {2011}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, editor = {Grigoris Antoniou and Marko Grobelnik and Elena Paslaru Bontas Simperl and Bijan Parsia and Dimitris Plexousakis and Pieter De Leenheer and Jeff Z. Pan}, pages = {410--423}, volume = {6643}, } -
Stefan Borgwardt and Rafael Peñaloza. Description Logics over Lattices with Multi-valued Ontologies. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11)
BibTex@inproceedings{BoPe-IJCAI11, author = {Stefan Borgwardt and Rafael Pe{\~n}aloza}, title = {Description Logics over Lattices with Multi-valued Ontologies}, booktitle = {Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence ({IJCAI'11})}, year = 2011, editor = {Toby Walsh}, publisher = {AAAI Press}, pages = {768--773}, address = {Barcelona, Spain}, } -
Stefan Borgwardt and Rafael Peñaloza. The Inclusion Problem for Weighted Automata on Infinite Trees. In Proceedings of the 13th International Conference on Automata and Formal Languages (AFL'11)
BibTex@inproceedings{BoPe-AFL11, author = {Stefan Borgwardt and Rafael Pe{\~n}aloza}, title = {The Inclusion Problem for Weighted Automata on Infinite Trees}, booktitle = {Proceedings of the 13th International Conference on Automata and Formal Languages (AFL'11)}, year = 2011, publisher = {Institute of Mathematics and Computer Science of Ny{\'i}regyh{\'a}za College}, editor = {P. D{\"o}m{\"o}si and Sz. Iv{\'a}n}, pages = {108--122}, address = {Debrecen, Hungary}, } -
Franz Baader and Rafael Peñaloza. Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?. In Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011)
BibTex@inproceedings{BaPe-FuzzIEEE11, author = {Franz Baader and Rafael Pe{\~n}aloza}, title = {Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?}, booktitle = {Proceedings of 2011 IEEE International Conference on Fuzzy Systems ({Fuzz-IEEE 2011})}, year = 2011, publisher = {IEEE Press}, pages = {1735--1742}, address = {Taipei, Taiwan}, } -
Franz Baader and Rafael Peñaloza. On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm. In Proceedings of 8th International Symposium Frontiers of Combining Systems (FroCoS 2011)
BibTex@inproceedings{BaPe-FroCoS11, author = {Franz Baader and Rafael Pe{\~n}aloza}, title = {On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm}, booktitle = {Proceedings of 8th International Symposium Frontiers of Combining Systems ({FroCoS 2011})}, year = 2011, publisher = {Springer-Verlag}, address = {Saarbr{\"u}cken, Germany}, editor = {Cesare Tinelli and Viorica Sofronie-Stokkermans}, series = {Lecture Notes in Aritificial Intelligence}, volume = 6989, pages = {55--70}, springer = {yes} } -
Eldora, Martin Knechtel and Rafael Peñaloza. Correcting Access Restrictions to a Consequence More Flexibly. In Proceedings of the 2011 International Workshop on Description Logics (DL'11)
BibTex@inproceedings{ElKP-DL11, author = {Eldora and Martin Knechtel and Rafael Pe{\~n}aloza}, title = {Correcting Access Restrictions to a Consequence More Flexibly}, booktitle = {Proceedings of the 2011 International Workshop on Description Logics ({DL'11})}, year = 2011, series = {CEUR-WS}, address = {Barcelona, Spain}, editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev}, volume = 745, } -
Stefan Borgwardt and Rafael Peñaloza. Finite Lattices Do Not Make Reasoning in ALCI Harder. In Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW'11)
BibTex@inproceedings{BoPe-URSW11, author = {Stefan Borgwardt and Rafael Pe{\~n}aloza}, title = {Finite Lattices Do Not Make Reasoning in $\mathcal{ALCI}$ Harder}, booktitle = {Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web ({URSW'11})}, year = 2011, series = {CEUR-WS}, address = {Bonn, Germany}, editor = {Fernando Bobillo et.al.}, volume = 778, pages = {51--62}, } -
Stefan Borgwardt and Rafael Peñaloza. Fuzzy Ontologies over Lattices with T-norms. In Proceedings of the 2011 International Workshop on Description Logics (DL'11)
BibTex@inproceedings{BoPe-DL11, author = {Stefan Borgwardt and Rafael Pe{\~n}aloza}, title = {Fuzzy Ontologies over Lattices with T-norms}, booktitle = {Proceedings of the 2011 International Workshop on Description Logics ({DL'11})}, year = 2011, series = {CEUR-WS}, address = {Barcelona, Spain}, editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev}, volume = 745, } -
Franz Baader and Rafael Peñaloza. GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. In Proceedings of the 2011 International Workshop on Description Logics (DL'11)
BibTex@inproceedings{BaPe-DL11, author = {Franz Baader and Rafael Pe{\~n}aloza}, title = {{GCIs} Make Reasoning in Fuzzy {DL} with the Product T-norm Undecidable}, booktitle = {Proceedings of the 2011 International Workshop on Description Logics ({DL'11})}, year = 2011, series = {CEUR-WS}, address = {Barcelona, Spain}, editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev}, volume = 745, }
2010
-
Franz Baader and Rafael Peñaloza. Automata-based Axiom Pinpointing. In Journal of Automated Reasoning
BibTex DOI@Article{BaPe-JAR09, author = {Franz Baader and Rafael Pe{\~n}aloza}, title = {Automata-based Axiom Pinpointing}, journal = {Journal of Automated Reasoning}, year = 2010, volume = 45, number = 2, month = {August}, pages = {91--129}, note = {Special Issue: Selected Papers from {IJCAR} 2008}, doi = {10.1007/s10817-010-9181-2}, } -
Franz Baader and Rafael Peñaloza. Axiom Pinpointing in General Tableaux. In Journal of Logic and Computation
BibTex DOI@Article{BaPe-JLC09, author = {Franz Baader and Rafael Pe{\~n}aloza}, title = {Axiom Pinpointing in General Tableaux}, journal = {Journal of Logic and Computation}, year = 2010, volume = 20, number = 1, month = {February}, pages = {5--34}, note = "Special Issue: Tableaux and Analytic Proof Methods", doi = {10.1093/logcom/exn058}, } -
Rafael Peñaloza and Baris Sertkaya. On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. In Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR'10)
BibTex@inproceedings{PeSe10-KR, author = {Rafael Pe{\~n}aloza and Bar\i{}\c{s} Sertkaya}, title = {On the Complexity of Axiom Pinpointing in the EL Family of Description Logics}, booktitle = {Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning ({KR'10})}, year = {2010}, editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski}, pages = {280--289}, publisher = {AAAI Press}, address = {Toronto, Canada}, } -
Rafael Peñaloza and Baris Sertkaya. Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10)
BibTex DOI@inproceedings{PeSe10-ECAI, author = {Rafael Pe{\~n}aloza and Bar\i{}\c{s} Sertkaya}, title = {Complexity of Axiom Pinpointing in the {DL-Lite} Family of Description Logics}, booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence ({ECAI'10})}, year = {2010}, pages = {29--34}, series = {Frontiers in Artificial Intelligence and Applications}, volume = 215, publisher = {IOS Press}, editor = {Helder Coelho and Rudi Studer and Michael Wooldridge}, doi = {10.3233/978-1-60750-606-5-29}, } -
Rafael Peñaloza. Using Sums-of-Products for Non-standard Reasoning. In Proceedings of the 4th International Conference on Language and Automata Theory and Applications (LATA 2010)
BibTex DOI@inproceedings{Pena10, author = {Rafael Pe{\~n}aloza}, title = {Using Sums-of-Products for Non-standard Reasoning}, booktitle = {Proceedings of the 4th International Conference on Language and Automata Theory and Applications ({LATA 2010})}, year = 2010, editor = {A.-H.~Dediu and H.~Fernau and C.~Mart{\'i}n-Vide}, series = {Lecture Notes in Computer Science}, volume = 6031, pages = {488--499}, publisher = {Springer-Verlag}, doi = {10.1007/978-3-642-13089-2_41}, } -
Martin Knechtel and Rafael Peñaloza. A Generic Approach for Correcting Access Restrictions to a Consequence. In Proceedings of the 7th Extended Semantic Web Conference (ESWC 2010)
BibTex DOI@inproceedings{KnPe-ESWC-10, author = {Martin Knechtel and Rafael Pe{\~n}aloza}, title = {A Generic Approach for Correcting Access Restrictions to a Consequence}, booktitle = {Proceedings of the 7th Extended Semantic Web Conference ({ESWC 2010})}, year = 2010, editor = {Lora Aroyo and Grigoris Antoniou and Eero Hyv{\"o}nen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache}, volume = {6088}, series = {Lecture Notes in Computer Science}, pages = {167-182}, doi = {10.1007/978-3-642-13486-9_12}, } -
Rafael Peñaloza and Anni-Yasmin Turhan. Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. In Proceedings of the First International Workshop on Uncertainty in Description Logics (UniDL'10)
BibTex@InProceedings{PeTu-UniDL10, author = {Rafael Pe{\~n}aloza and Anni-Yasmin Turhan}, title = {Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities}, booktitle = {Proceedings of the First International Workshop on Uncertainty in Description Logics ({UniDL'10})}, year = 2010, editor = {Thomas Lukasiewicz and Rafael Pe{\~n}aloza and Anni-Yasmin Turhan}, volume = 613, series = {{CEUR-WS}}, address = {Edinburgh, UK}, } -
Rafael Peñaloza and Anni-Yasmin Turhan. Role-depth Bounded Least Common Subsumers by Completion for EL- and Prob-EL-TBoxes. In Proceedings of the 2010 International Workshop on Description Logics (DL'10)
BibTex@InProceedings{PeTu-DL10, author = {Rafael Pe{\~n}aloza and Anni-Yasmin Turhan}, title = {Role-depth Bounded Least Common Subsumers by Completion for EL- and Prob-EL-TBoxes}, booktitle = {Proceedings of the 2010 International Workshop on Description Logics ({DL'10})}, year = 2010, editor = {Volker Haarslev and David Toman and Grant Weddell}, volume = 573, series = {{CEUR-WS}}, address = {Waterloo, Canada}, } -
Rafael Peñaloza and Baris Sertkaya. Complexity of Axiom Pinpointing in the DL-Lite Family. In Proceedings of the 2010 International Workshop on Description Logics (DL'10)
BibTex@InProceedings{PeSe-DL10, author = {Rafael Pe{\~n}aloza and Bar\i{}\c{s} Sertkaya}, title = {Complexity of Axiom Pinpointing in the {DL-Lite} Family}, booktitle = {Proceedings of the 2010 International Workshop on Description Logics ({DL'10})}, year = 2010, editor = {Volker Haarslev and David Toman and Grant Weddell}, volume = 573, series = {{CEUR-WS}}, address = {Waterloo, Canada}, } -
Martin Knechtel and Rafael Peñaloza. Correcting Access Restrictions to a Consequence. In Proceedings of the 2010 International Workshop on Description Logics (DL'10)
BibTex@InProceedings{KnPe-DL10, author = {Martin Knechtel and Rafael Pe{\~n}aloza}, title = {Correcting Access Restrictions to a Consequence}, booktitle = {Proceedings of the 2010 International Workshop on Description Logics ({DL'10})}, year = 2010, editor = {Volker Haarslev and David Toman and Grant Weddell}, volume = 573, series = {{CEUR-WS}}, address = {Waterloo, Canada}, } -
Thomas Lukasiewicz, Rafael Peñaloza and Anni-Yasmin Turhan (eds.). Proceedings of the First International Workshop on Uncertainty in Description Logics.
BibTex@proceedings{LuPT-UniDL10, editor = {Thomas Lukasiewicz and Rafael Pe{\~{n}}aloza and Anni{-}Yasmin Turhan}, title = {Proceedings of the First International Workshop on Uncertainty in Description Logics}, series = {{CEUR} Workshop Proceedings}, volume = {613}, publisher = {CEUR-WS.org}, year = {2010}, url = {http://ceur-ws.org/Vol-613}, } -
Rafael Peñaloza. Wie findet man die verantwortliche Axiome? Axiom-Pinpointing in Beschreibungslogiken. In Ausgezeichnete Informatikdissertationen 2009
BibTex@InProceedings{PenaGI09, author = {Rafael Pe{\~n}aloza}, title = {Wie findet man die verantwortliche {A}xiome? {A}xiom-{P}inpointing in {B}eschreibungslogiken}, booktitle = {Ausgezeichnete Informatikdissertationen 2009}, year = 2010, volume = {D10}, series = {Lecture Notes in Informatics}, publisher = {Gesellschaft f\"ur Informatik}, address = {Germany}, pages = {181--190}, note = {In german}, }
2009
-
Franz Baader, Martin Knechtel and Rafael Peñaloza. A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. In Proceedings of the 8th International Semantic Web Conference (ISWC 2009)
BibTex DOI@INPROCEEDINGS{BaKP09, author = {Franz Baader and Martin Knechtel and Rafael Pe{\~n}aloza}, title = {A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms}, booktitle = {Proceedings of the 8th International Semantic Web Conference (ISWC 2009)}, year = {2009}, editor = {Abraham Bernstein et al.}, pages = {49-64}, volume = {5823}, series = {Lecture Notes in Computer Science}, springer = {yes}, address = {Washington, DC}, doi = {10.1007/978-3-642-04930-9_4}, } -
Rafael Peñaloza and Baris Sertkaya. Axiom Pinpointing is Hard. In Proceedings of the 2009 International Workshop on Description Logics (DL'09)
BibTex@inproceedings{PeSe09, author = {Rafael Pe{\~n}aloza and Bar\i{}\c{s} Sertkaya}, title = {Axiom Pinpointing is Hard}, booktitle = {Proceedings of the 2009 International Workshop on Description Logics ({DL'09})}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, year = {2009}, series = {CEUR-WS}, volume = 477, } -
Rafael Peñaloza. Reasoning With Weighted Ontologies. In Proceedings of the 2009 International Workshop on Description Logics (DL'09)
BibTex@inproceedings{Pena09b, author = {Rafael Pe{\~n}aloza}, title = {Reasoning With Weighted Ontologies}, booktitle = {Proceedings of the 2009 International Workshop on Description Logics ({DL'09})}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, year = {2009}, series = {CEUR-WS}, volume = 477, } -
Rafael Peñaloza. Using Tableaux and Automata for Pinpointing in EL. In TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab'09)
BibTex@inproceedings{Pena09, author = {Rafael Pe{\~n}aloza}, title = {Using Tableaux and Automata for Pinpointing in EL}, booktitle = {TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods ({AutoTab'09})}, editor = {Valentin Goranko}, year = {2009}, } -
Rafael Peñaloza. Axiom-Pinpointing in Description Logics and Beyond. [Thesis]
BibTex@PhDThesis{PenaPhD, author = {Rafael Pe{\~n}aloza}, title = {Axiom-Pinpointing in Description Logics and Beyond}, school = {Dresden University of Technology}, year = {2009}, address = {Germany} }
2008
-
Franz Baader, Jan Hladik and Rafael Peñaloza. Automata Can Show PSPACE Results for Description Logics. In Information and Computation
BibTex DOI@Article{BaHP-IC08, author = {Franz Baader and Jan Hladik and Rafael Pe{\~n}aloza}, title = {Automata Can Show {PSPACE} Results for Description Logics}, journal = {Information and Computation}, year = 2008, volume = {206}, number = {9,10}, publisher = {Elsevier Science Publishers Ltd.}, pages = {1045--1056}, note = {Special Issue: First International Conference on Language and Automata Theory and Applications ({LATA'07})}, doi = {10.1016/j.ic.2008.03.006}, } -
Franz Baader and Rafael Peñaloza. Automata-based Axiom Pinpointing. In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2008)
BibTex DOI@InProceedings{BaPe08, author = {Franz Baader and Rafael Pe{\~n}aloza}, title = {Automata-based Axiom Pinpointing}, booktitle = {Proceedings of the International Joint Conference on Automated Reasoning (IJCAR~2008)}, year = 2008, address = {Sydney, Australia}, publisher = "Springer-Verlag", series = {Lecture Notes in Artificial Intelligence}, volume = 4667, pages = {226--241}, editor = {Alessandro Armando and Peter Baumgartner and Gilles Dowek}, springer = {yes}, doi = {10.1007/978-3-540-71070-7_19}, } -
Rafael Peñaloza. Automata-based Pinpointing for DLs. In Proceedings of the 2008 International Workshop on Description Logics (DL'08)
BibTex@InProceedings{Pena08, author = "Rafael Pe{\~n}aloza", title = "Automata-based Pinpointing for {DLs}", booktitle = "Proceedings of the 2008 International Workshop on Description Logics ({DL'08})", editor = "Franz Baader and Carsten Lutz and Boris Motik", volume = 353, year = 2008, series = {CEUR-WS}, address = "Dresden, Germany", }
2007
-
Franz Baader, Rafael Peñaloza and Boontawee Suntisrivaraporn. Pinpointing in the Description Logic EL^+. In Proceedings of the 30th German Annual Conference on Artificial Intelligence (KI'07)
BibTex@InProceedings{BaPS07, author = "Franz Baader and Rafael Pe{\~n}aloza and Boontawee Suntisrivaraporn", title = "Pinpointing in the Description Logic $\mathcal{EL}^+$", booktitle = "Proceedings of the 30th German Annual Conference on Artificial Intelligence ({KI'07})", year = "2007", address = "Osnabr{\"u}ck, Germany", publisher = "Springer-Verlag", series = "Lecture Notes in Artificial Intelligence", volume = 4667, pages = "52--67", editor = {Joachim Hertzberg and Michael Beetz and Roman Englert}, } -
Franz Baader and Rafael Peñaloza. Axiom Pinpointing in General Tableaux. In Proceedings of the 16th International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2007)
BibTex@InProceedings{BaPe07, author = "Franz Baader and Rafael Pe{\~n}aloza", title = "Axiom Pinpointing in General Tableaux", booktitle = "Proceedings of the 16th International Conference on Analytic Tableaux and Related Methods ({TABLEAUX~2007})", editor = "Nicola Olivetti", publisher = "Springer-Verlag", volume = 4548, series = "Lecture Notes in Artificial Intelligence", pages = "11--27", address = "Aix-en-Provence, France", year = 2007, } -
Franz Baader, Jan Hladik and Rafael Peñaloza. SI! Automata Can Show PSPACE Results for Description Logics. In Proceedings of the First International Conference on Language and Automata Theory and Applications (LATA'07)
BibTex@InProceedings{BaHP07b, author = {Franz Baader and Jan Hladik and Rafael Pe{\~n}aloza}, title = {{SI}! Automata Can Show {PSPACE} Results for Description Logics}, booktitle = {Proceedings of the First International Conference on Language and Automata Theory and Applications ({LATA'07})}, year = 2007, editor = {Remco Loos and Szil{\'a}rd Zsolt Fazekas and Carlos Martin-Vide}, address = {Tarragona, Spain}, } -
Franz Baader, Rafael Peñaloza and Boontawee Suntisrivaraporn. Pinpointing in the Description Logic EL. In Proceedings of the 2007 International Workshop on Description Logics (DL'07)
BibTex@InProceedings{BaPS07b, author = "Franz Baader and Rafael Pe{\~n}aloza and Boontawee Suntisrivaraporn", title = "Pinpointing in the Description Logic $\mathcal{EL}$", booktitle = "Proceedings of the 2007 International Workshop on Description Logics ({DL'07})", year = "2007", series = "CEUR-WS", volume = 250, pages = "", editor = "Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Anni-Yasmin Turhan and Sergio Tessaris", address = "Brixen-Bressanone, Italy", } -
Franz Baader, Jan Hladik and Rafael Peñaloza. Blocking Automata for PSPACE DLs. In Proceedings of the 2007 International Workshop on Description Logics (DL'07)
BibTex@InProceedings{BaHP07, author = {Franz Baader and Jan Hladik and Rafael Pe{\~n}aloza}, title = {Blocking Automata for {PSPACE} {DLs}}, booktitle = {Proceedings of the 2007 International Workshop on Description Logics ({DL'07})}, year = 2007, volume = 250, editor = {Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Anni-Yasmin Turhan and Sergio Tessaris}, series = {CEUR-WS}, address = "Brixen-Bressanone, Italy", }
2006
-
Alex Kozlenkov, Rafael Peñaloza, Vivek Nigam, Loic Royer, Gihan Dawelbait and Michael Schroeder. Prova: Rule-based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. In Proceedings of the Workshop on Reactivity on the Web at the International Conference on Extending Database Technology (EDBT 2006)
BibTex@InProceedings{KPea06, author = "Alex Kozlenkov and Rafael Pe{\~n}aloza and Vivek Nigam and Loic Royer and Gihan Dawelbait and Michael Schroeder", title = "Prova: Rule-based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics", booktitle = "Proceedings of the Workshop on Reactivity on the Web at the International Conference on Extending Database Technology ({EDBT~2006})", publisher = "Springer-Verlag", year = 2006, volume = 4254, series = "Lecture Notes in Computer Science", address = "Munich, Germany", } -
Jan Hladik and Rafael Peñaloza. PSPACE Automata for Description Logics. In Proceedings of the 2006 International Workshop on Description Logics (DL'06)
BibTex@InProceedings{HlPe06, author = {Jan Hladik and Rafael Pe{\~n}aloza}, title = {{PSPACE} Automata for Description Logics}, booktitle = {Proceedings of the 2006 International Workshop on Description Logics ({DL'06})}, year = 2006, editor = {Bijan Parsia and Ulrike Sattler and David Toman}, volume = 189, series = {{CEUR-WS}}, address = {The Lake District, UK}, } -
Rafael Peñaloza. Optimization of Emptiness Test of Büchi Automata on Infinite Trees. [Thesis]
BibTex@MASTERSTHESIS{PenaCL, author = {Rafael Pe{\~n}aloza}, title = {Optimization of Emptiness Test of {B{\"u}chi} Automata on Infinite Trees}, school = {Dresden University of Technology}, year = {2006}, type = {Master's thesis}, address = {Germany} }
2003
-
Angel Kuri, M.R. Ortiz, Daniela Zenteno and Rafael Peñaloza. Classification of Sperm Cells According to their Chromosomic Content Using a Neural Network Trained with a Genetic Algorithm. In Proceedings of the 25th Annual International Conference of the IEEE Engineering in Medicine and Biology Society
BibTex@InProceedings{KOZP03, author = "Angel Kuri and M.R. Ortiz and Daniela Zenteno and Rafael Pe{\~n}aloza", title = "Classification of Sperm Cells According to their Chromosomic Content Using a Neural Network Trained with a Genetic Algorithm", booktitle = "Proceedings of the 25th Annual International Conference of the {IEEE} Engineering in Medicine and Biology Society", publisher = "IEEE-Press", year = 2003, } -
Osvaldo Cairó and Rafael Peñaloza. Using Bayesian Networks as an Inference Engine in KAMET. In Proceedings of the XXIII International Conference of the Chilean Computer Science Society (SCCC'03)
BibTex@InProceedings{CaPe03b, author = "Osvaldo Cair{\'o} and Rafael Pe{\~n}aloza", title = "Using {B}ayesian Networks as an Inference Engine in {KAMET}", booktitle = "Proceedings of the XXIII International Conference of the Chilean Computer Science Society ({SCCC'03})", address = "Chillan, Chile", publisher = "IEEE-Press", year = 2003, } -
Osvaldo Cairó and Rafael Peñaloza. Creating a Bayesian Inference Engine for KAMET. In Proceedings of the X Conference of the Spanish Society of Artificial Intelligence (CAEPIA'03)
BibTex@InProceedings{CaPe03, author = "Osvaldo Cair{\'o} and Rafael Pe{\~n}aloza", title = "Creating a {B}ayesian Inference Engine for {KAMET}", booktitle = "Proceedings of the X Conference of the Spanish Society of Artificial Intelligence ({CAEPIA'03})", address = "Donostia-San Sebastian, Spain", year = 2003, } -
Rafael Peñaloza. Sistemas basados en conocimiento, redes probabilistas y KAMET. [Thesis]
BibTex@MastersThesis{PenaITAM, author = {Rafael Pe{\~n}aloza}, title = {Sistemas basados en conocimiento, redes probabilistas y {KAMET}}, school = {Instituto Tecnol{\'o}gico Autonomo de M{\'e}xico}, year = 2003, type = {Bachelor's Thesis}, address = {Mexico}, note = {In spanish} }