Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRafael Peñaloza
Rafael Peñaloza Nyssen
Person information
- affiliation: University of Milano-Bicocca, Italy
- affiliation (former): Free University of Bozen-Bolzano, Italy
- affiliation (former): Dresden University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2009
[b1]Rafael Peñaloza Nyssen:
Axiom pinpointing in description logics and beyond. Dresden University of Technology, 2009, pp. 1-144
Journal Articles
- 2024
- [j34]Sotiris Moschoyiannis, Rafael Peñaloza
:
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021). Theory Pract. Log. Program. 24(2): 310-312 (2024) - 2023
- [j33]Gabriella Pasi, Rafael Peñaloza:
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. Theory Pract. Log. Program. 23(3): 594-623 (2023) - 2022
- [j32]Steven Schockaert, Rafael Peñaloza:
Highlights of AI Research in Europe. AI Commun. 35(2): 45 (2022) - [j31]Anti Alman, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic declarative process mining. Inf. Syst. 109: 102033 (2022) - 2021
- [j30]Steven Schockaert, Rafael Peñaloza:
Special issue on historical and future perspectives of AI. AI Commun. 34(3): 179 (2021) - [j29]Rafael Peñaloza:
A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics. Algorithms 14(10): 280 (2021) - [j28]Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza:
The Probabilistic Description Logic. Theory Pract. Log. Program. 21(4): 404-427 (2021) - 2020
- [j27]Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph:
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. Künstliche Intell. 34(3): 389-394 (2020) - [j26]Rafael Peñaloza:
Error-Tolerance and Error Management in Lightweight Description Logics. Künstliche Intell. 34(4): 491-500 (2020) - 2019
- [j25]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. Appl. Ontology 14(3): 293-334 (2019) - [j24]Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza, Giancarlo Guizzardi:
Image Schema Combinations and Complex Events. Künstliche Intell. 33(3): 279-291 (2019) - 2018
- [j23]Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza:
Upward refinement operators for conceptual blending in the description logic ℰ ℒ++. Ann. Math. Artif. Intell. 82(1-3): 69-99 (2018) - [j22]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, Sascha Wunderlich:
A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 4(3): 243-259 (2018) - 2017
- [j21]Rafael Peñaloza, Baris Sertkaya:
Understanding the complexity of axiom pinpointing in lightweight description logics. Artif. Intell. 250: 80-104 (2017) - [j20]Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness. FLAP 4(7) (2017) - [j19]Stefan Borgwardt, Rafael Peñaloza:
Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics. Int. J. Approx. Reason. 83: 60-101 (2017) - [j18]Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
The complexity of fuzzy EL under the Łukasiewicz T-norm. Int. J. Approx. Reason. 91: 179-201 (2017) - [j17]Ismail Ilkan Ceylan, Rafael Peñaloza:
The Bayesian Ontology Language $$\mathcal {BEL}$$ BEL. J. Autom. Reason. 58(1): 67-95 (2017) - [j16]Franz Baader, Stefan Borgwardt, Rafael Peñaloza:
Decidability and Complexity of Fuzzy Description Logics. Künstliche Intell. 31(1): 85-90 (2017) - 2016
- [j15]Stefan Borgwardt, Rafael Peñaloza:
Reasoning in Fuzzy Description Logics using Automata. Fuzzy Sets Syst. 298: 22-43 (2016) - [j14]Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. J. Data Semant. 5(2): 55-75 (2016) - 2015
- [j13]Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
The limits of decidability in fuzzy description logics with general concept inclusions. Artif. Intell. 218: 23-55 (2015) - [j12]Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Similarity-based relaxed instance queries. J. Appl. Log. 13(4): 480-508 (2015) - [j11]Franz Baader, Stefan Borgwardt, Rafael Peñaloza:
On the Decidability Status of Fuzzy ALC with General Concept Inclusions. J. Philos. Log. 44(2): 117-146 (2015) - [j10]Mario Alviano, Rafael Peñaloza:
Fuzzy answer set computation via satisfiability modulo theories. Theory Pract. Log. Program. 15(4-5): 588-603 (2015) - 2014
- [j9]Stefan Borgwardt, Rafael Peñaloza:
Consistency reasoning in lattice-based fuzzy Description Logics. Int. J. Approx. Reason. 55(9): 1917-1938 (2014) - [j8]Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities. Int. J. Approx. Reason. 55(9): 1939-1970 (2014) - [j7]Karsten Lehmann, Rafael Peñaloza:
The complexity of computing the behaviour of lattice automata on infinite trees. Theor. Comput. Sci. 534: 53-68 (2014) - 2013
- [j6]Stefan Borgwardt, Rafael Peñaloza:
The Complexity of Lattice-Based Fuzzy Description Logics. J. Data Semant. 2(1): 1-19 (2013) - [j5]Mario Alviano, Rafael Peñaloza:
Fuzzy answer sets approximations. Theory Pract. Log. Program. 13(4-5): 753-767 (2013) - 2012
- [j4]Franz Baader, Martin Knechtel, Rafael Peñaloza:
Context-dependent views to axioms and consequences of Semantic Web ontologies. J. Web Semant. 12: 22-40 (2012) - 2010
- [j3]Franz Baader, Rafael Peñaloza:
Automata-Based Axiom Pinpointing. J. Autom. Reason. 45(2): 91-129 (2010) - [j2]Franz Baader, Rafael Peñaloza:
Axiom Pinpointing in General Tableaux. J. Log. Comput. 20(1): 5-34 (2010) - 2008
- [j1]Franz Baader, Jan Hladik, Rafael Peñaloza:
Automata can show PSpace results for description logics. Inf. Comput. 206(9-10): 1045-1056 (2008)
Conference and Workshop Papers
- 2023
- [c142]Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca:
ASP-based Axiom Pinpointing for Description Logics. Description Logics 2023 - [c141]Rafael Peñaloza:
Semiring Provenance in Expressive Description Logics. Description Logics 2023 - [c140]Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Ramon Fraga Pereira:
Plan Recognition as Probabilistic Trace Alignment. ICPM 2023: 33-40 - [c139]Simone Melzi, Rafael Peñaloza, Alessandro Raganato:
Does Stable Diffusion Dream of Electric Sheep. ISD 2023 - [c138]Rafael Peñaloza, Zuzana Pinkosova:
Walk Me to the Moon: Representing Image Schemas with Abstract Time Measures. ISD 2023 - 2022
- [c137]Jieying Chen, Yue Ma, Rafael Peñaloza, Hui Yang:
Union and Intersection of All Justifications. ESWC 2022: 56-73 - [c136]Rafael Peñaloza, Anni-Yasmin Turhan:
User-aware Explications of Ontology Consequences: Levelling Technicality. FCR@KI 2022: 90-101 - [c135]Rafael Peñaloza, Francesco Ricca:
Pinpointing Axioms in Ontologies via ASP. LPNMR 2022: 315-321 - [c134]Nyyti Saarimäki, Sergio Moreschini, Francesco Lomio, Rafael Peñaloza, Valentina Lenarduzzi:
Towards a Robust Approach to Analyze Time-Dependent Data in Software Engineering. SANER 2022: 36-40 - 2021
- [c133]Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
A Tool for Computing Probabilistic Trace Alignments. CAiSE Forum 2021: 118-126 - [c132]Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. Description Logics 2021 - [c131]Jieying Chen, Rafael Peñaloza, Hui Yang:
Union and Intersection of all Justifications (Extended Abstract). Description Logics 2021 - [c130]Rafael Peñaloza:
An Upper Bound for Provenance in ELHr. Description Logics 2021 - [c129]Paolo Tenti, Gabriella Pasi, Rafael Peñaloza:
Complementing Language Embeddings with Knowledge Bases for Specific Domains. DAO-XAI 2021 - [c128]Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic Trace Alignment. ICPM 2021: 9-16 - [c127]Paolo Tenti, James Thomas, Rafael Peñaloza, Gabriella Pasi:
Using an Ensemble of Features for Personalized Recommendations of Scientific Publications. IIR 2021 - [c126]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Safety of quantified ABoxes w.r.t. singleton εL policies. SAC 2021: 863-872 - 2020
- [c125]Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Temporal Logics Over Finite Traces with Uncertainty. AAAI 2020: 10218-10225 - [c124]Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Anti Alman:
Extending Temporal Business Constraints with Uncertainty. BPM 2020: 35-54 - [c123]Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic Conformance Checking Based on Declarative Process Models. CAiSE Forum 2020: 86-99 - [c122]Rafael Peñaloza:
Introduction to Probabilistic Ontologies (tutorial). CILC 2020: 4 - [c121]Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu:
Provenance for the Description Logic ELHr (Extended Abstract). Description Logics 2020 - [c120]Gabriella Pasi, Rafael Peñaloza:
Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract). Description Logics 2020 - [c119]Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu:
Provenance for the Description Logic ELHr. IJCAI 2020: 1862-1869 - [c118]Erman Acar, Rafael Peñaloza:
Reasoning with Contextual Knowledge and Influence Diagrams. KR 2020: 12-21 - [c117]Rafael Peñaloza:
Towards a Logic of Meta-Analysis. KR 2020: 672-676 - [c116]Gabriella Pasi, Rafael Peñaloza:
Query Answering in Fuzzy DL-Lite with Graded Axioms. RuleML+RR 2020: 39-53 - [c115]Rafael Peñaloza:
Introduction to Probabilistic Ontologies. Reasoning Web 2020: 1-35 - [c114]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies. ISWC (1) 2020: 3-20 - 2019
- [c113]Rafael Peñaloza:
Explaining Axiom Pinpointing. Description Logic, Theory Combination, and All That 2019: 475-496 - [c112]Erman Acar, Rafael Peñaloza, Livia Predoiu:
Making Decisions over Contextual Ontologies. Description Logics 2019 - [c111]Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao:
Enriching Ontology-based Data Access with Provenance. IJCAI 2019: 1616-1623 - [c110]Leonard Botha, Thomas Meyer, Rafael Peñaloza:
A Bayesian Extension of the Description Logic ALC. JELIA 2019: 339-354 - [c109]Rafael Peñaloza:
Making Decisions with Knowledge Base Repairs. MDAI 2019: 259-271 - 2018
- [c108]Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz:
Repairing Ontologies via Axiom Weakening. AAAI 2018: 1981-1988 - [c107]Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza, Giancarlo Guizzardi:
What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events. TriCoLore (C3GI/ISD/SCORE) 2018 - [c106]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Making Repairs in Description Logics More Gentle (Extended Abstract). Description Logics 2018 - [c105]Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza:
The Bayesian Description Logic BALC. Description Logics 2018 - [c104]Alisa Kovtunova, Rafael Peñaloza:
Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. Description Logics 2018 - [c103]Ana Ozaki, Rafael Peñaloza:
Provenance in Ontology-based Data Access. Description Logics 2018 - [c102]Giancarlo Guizzardi, Rafael Peñaloza, Maria M. Hedblom, Oliver Kutz:
Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending. ICCC 2018: 216-223 - [c101]Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz:
Two Approaches to Ontology Aggregation Based on Axiom Weakening. IJCAI 2018: 1942-1948 - [c100]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Making Repairs in Description Logics More Gentle. KR 2018: 319-328 - [c99]Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan:
Query Answering for Rough EL Ontologies. KR 2018: 399-408 - [c98]Alisa Kovtunova, Rafael Peñaloza:
Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. KR 2018: 561-570 - [c97]Ana Ozaki, Rafael Peñaloza:
Consequence-Based Axiom Pinpointing. SUM 2018: 181-195 - 2017
- [c96]Mario Alviano, Giovanni Amendola, Rafael Peñaloza:
Minimal Undefinedness for Fuzzy Answer Sets. AAAI 2017: 3694-3700 - [c95]Roberto Confalonieri, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza, Daniele Porello:
Two Applications of Concept Refinement. CEx@AI*IA 2017 - [c94]Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Rafael Peñaloza, Gulnar Mehdi, Mikhail Roshchin, Ian Horrocks:
Semantic Rules for Machine Diagnostics: Execution and Management. CIKM 2017: 2131-2134 - [c93]Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
Łukasiewicz Fuzzy EL is Undecidable. Description Logics 2017 - [c92]Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard:
Coherence, Similarity, and Concept Generalisation. Description Logics 2017 - [c91]Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza:
Debugging EL+ Ontologies through Horn MUS Enumeration. Description Logics 2017 - [c90]Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, João Marques-Silva:
Lean Kernels in Description Logics. ESWC (1) 2017: 518-533 - [c89]Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza, Oana Tifrea-Marciuska:
Query Answering in Ontologies under Preference Rankings. IJCAI 2017: 943-949 - [c88]Alessander Botti Benevides, Jean-Rémi Bourguet, Giancarlo Guizzardi, Rafael Peñaloza:
Representing the UFO-B Foundational Ontology of Events in SROIQ. JOWO 2017 - [c87]Rafael Peñaloza:
The Shape of the Other. JOWO 2017 - [c86]Lisa Hutschenreiter, Rafael Peñaloza:
An Automata View to Goal-Directed Methods. LATA 2017: 103-114 - [c85]Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Peñaloza:
Repairing Socially Aggregated Ontologies Using Axiom Weakening. PRIMA 2017: 441-449 - [c84]Rafael Peñaloza:
Inconsistency-Tolerant Instance Checking in Tractable Description Logics. RuleML+RR 2017: 215-229 - [c83]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract). SEBD 2017: 33 - [c82]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive Description Logic for Databases. ISWC (1) 2017: 37-52 - [c81]Stefan Borgwardt, Rafael Peñaloza:
Fuzzy Description Logics - A Survey. SUM 2017: 31-45 - [c80]Rafael Peñaloza, Nico Potyka:
Towards Statistical Reasoning in Description Logics over Finite Domains. SUM 2017: 280-294 - 2016
- [c79]Stefan Borgwardt, Rafael Peñaloza:
Reasoning in Expressive Gödel Description Logics. Description Logics 2016 - [c78]Roberto Confalonieri, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza, Manfred Eppe:
Conceptual Blending in EL++. Description Logics 2016 - [c77]Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph:
Efficient Axiom Pinpointing in EL using SAT Technology. Description Logics 2016 - [c76]Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza:
Complexity Results for Probabilistic Datalog±. ECAI 2016: 1414-1422 - [c75]João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza:
Efficient Reasoning for Inconsistent Horn Formulae. JELIA 2016: 336-352 - [c74]M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva:
BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies. SAT 2016: 521-530 - [c73]Rafael Peñaloza, Nico Potyka:
Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy. SUM 2016: 246-259 - 2015
- [c72]Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Conjunctive Query Answering with Finitely Many Truth Degrees. Description Logics 2015 - [c71]Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza:
Answering EL Queries in the Presence of Preferences. Description Logics 2015 - [c70]Ismail Ilkan Ceylan, Rafael Peñaloza:
Dynamic Bayesian Description Logics. Description Logics 2015 - [c69]Stefan Borgwardt, Rafael Peñaloza:
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. FroCos 2015: 49-65 - [c68]Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
The Complexity of Subsumption in Fuzzy EL. IJCAI 2015: 2812-2818 - [c67]Roberto Confalonieri, Marco Schorlemmer, Enric Plaza, Manfred Eppe, Oliver Kutz, Rafael Peñaloza:
Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++. JOWO@IJCAI 2015 - [c66]Rafael Peñaloza, Aparna Saisree Thuluva:
Iterative Ontology Updates Using Context Labels. JOWO@IJCAI 2015 - [c65]Ismail Ilkan Ceylan, Julian Mendez, Rafael Peñaloza:
The Bayesian Ontology Reasoner is BORN! ORE 2015: 8-14 - [c64]Ismail Ilkan Ceylan, Rafael Peñaloza:
Probabilistic Query Answering in the Bayesian Description Logic BEL. SUM 2015: 21-35 - 2014
- [c63]Ismail Ilkan Ceylan, Rafael Peñaloza:
Reasoning in the Description Logic BEL Using Bayesian Networks. StarAI@AAAI 2014 - [c62]Stathis Delivorias, Haralampos Hatzikirou, Rafael Peñaloza, Dirk Walther:
Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. ACRI 2014: 357-366 - [c61]Stefan Borgwardt, Marco Cerami, Rafael Peñaloza:
Many-valued Horn Logic is Hard. PRUV 2014: 52-58 - [c60]Ismail Ilkan Ceylan, Rafael Peñaloza:
The Bayesian Description Logic ${\mathcal{BEL}}$. IJCAR 2014: 480-494 - [c59]Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza:
Gödel FL_0 with Greatest Fixed-Point Semantics. Description Logics 2014: 71-82 - [c58]Chiara Del Vescovo, Rafael Peñaloza:
DeaLing with Ontologies using CODs. Description Logics 2014: 157-168 - [c57]Michel Ludwig, Rafael Peñaloza:
Brave and Cautious Reasoning in EL. Description Logics 2014: 274-286 - [c56]Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
Gödel Description Logics with General Models. Description Logics 2014: 391-403 - [c55]Ismail Ilkan Ceylan, Rafael Peñaloza:
Bayesian Description Logics. Description Logics 2014: 447-458 - [c54]Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Mary, What's Like All Cats? Description Logics 2014: 526-529 - [c53]Yue Ma, Rafael Peñaloza:
Towards Parallel Repair: An Ontology Decomposition-based Approach. Description Logics 2014: 633-645 - [c52]Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan:
Certain Answers in a Rough World. Description Logics 2014: 709-712 - [c51]Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza:
The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics. JELIA 2014: 62-76 - [c50]Ismail Ilkan Ceylan, Rafael Peñaloza:
Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$. JELIA 2014: 77-91 - [c49]Michel Ludwig, Rafael Peñaloza:
Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$. JELIA 2014: 107-121 - [c48]Dorian Merz, Rafael Peñaloza, Anni-Yasmin Turhan:
Reasoning in ALC with Fuzzy Concrete Domains. KI 2014: 171-182 - [c47]Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
Decidable Gödel Description Logics without the Finitely-Valued Model Property. KR 2014 - [c46]Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Answering Instance Queries Relaxed by Concept Similarity. KR 2014 - [c45]Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics. RR 2014: 124-139 - [c44]Stefan Borgwardt, Rafael Peñaloza:
Finite Lattices Do Not Make Reasoning in ALCOI Harder. URSW (LNCS Vol.) 2014: 122-141 - 2013
- [c43]Rafael Peñaloza, Tingting Zou:
Rough EL Classification. Description Logics 2013: 415-427 - [c42]Stefan Borgwardt, Rafael Peñaloza:
About Subsumption in Fuzzy EL. Description Logics 2013: 526-538 - [c41]Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. Description Logics 2013: 670-688 - [c40]Rafael Peñaloza, Tingting Zou:
Roughening the Envelope. FroCos 2013: 71-86 - [c39]Stefan Borgwardt, Rafael Peñaloza:
Positive Subsumption in Fuzzy EL with General t-Norms. IJCAI 2013: 789-795 - [c38]Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Computing Role-Depth Bounded Generalizations in the Description Logic. KI 2013: 49-60 - [c37]Rafael Peñaloza, Anni-Yasmin Turhan:
Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities. URSW (LNCS Vol.) 2013: 80-98 - 2012
- [c36]Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
How Fuzzy Is My Fuzzy Description Logic? IJCAR 2012: 82-96 - [c35]Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
Gödel Negation Makes Unwitnessed Consistency Crisp. Description Logics 2012 - [c34]Stefan Borgwardt, Rafael Peñaloza:
Non-Gödel Negation Makes Unwitnessed Consistency Undecidable. Description Logics 2012 - [c33]Weili Fu, Rafael Peñaloza:
Adding Context to Tableaux for DLs. Description Logics 2012 - [c32]Stefan Borgwardt, Rafael Peñaloza:
Undecidability of Fuzzy Description Logics. KR 2012 - [c31]Stefan Borgwardt, Rafael Peñaloza:
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. RR 2012: 9-24 - 2011
- [c30]Stefan Borgwardt, Rafael Peñaloza:
The Inclusion Problem for Weighted Automata on Infinite Trees. AFL 2011: 108-122 - [c29]Franz Baader, Rafael Peñaloza:
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. Description Logics 2011 - [c28]Stefan Borgwardt, Rafael Peñaloza:
Fuzzy Ontologies over Lattices with T-norms. Description Logics 2011 - [c27]Eldora, Martin Knechtel, Rafael Peñaloza:
Correcting Access Restrictions to a Consequence More Flexibly. Description Logics 2011 - [c26]Rafael Peñaloza, Anni-Yasmin Turhan:
A Practical Approach for Computing Generalization Inferences in EL\mathcal{EL}. ESWC (1) 2011: 410-423 - [c25]Franz Baader, Rafael Peñaloza:
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. FroCoS 2011: 55-70 - [c24]Franz Baader, Rafael Peñaloza:
Are fuzzy description logics with general concept inclusion axioms decidable? FUZZ-IEEE 2011: 1735-1742 - [c23]Stefan Borgwardt, Rafael Peñaloza:
Description Logics over Lattices with Multi-Valued Ontologies. IJCAI 2011: 768-773 - [c22]Stefan Borgwardt, Rafael Peñaloza:
Finite Lattices Do Not Make Reasoning in ALCI Harder. URSW 2011: 51-62 - 2010
- [c21]Rafael Peñaloza, Anni-Yasmin Turhan:
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. UniDL 2010 - [c20]Martin Knechtel, Rafael Peñaloza:
Correcting Access Restrictions to a Consequence. Description Logics 2010 - [c19]Rafael Peñaloza, Baris Sertkaya:
Complexity of Axiom Pinpointing in the DL-Lite Family. Description Logics 2010 - [c18]Anni-Yasmin Turhan, Rafael Peñaloza:
Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes. Description Logics 2010 - [c17]Rafael Peñaloza, Baris Sertkaya:
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. ECAI 2010: 29-34 - [c16]Martin Knechtel, Rafael Peñaloza:
A Generic Approach for Correcting Access Restrictions to a Consequence. ESWC (1) 2010: 167-182 - [c15]Rafael Peñaloza, Baris Sertkaya:
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. KR 2010 - [c14]Rafael Peñaloza:
Using Sums-of-Products for Non-standard Reasoning. LATA 2010: 488-499 - 2009
- [c13]Rafael Peñaloza:
Reasoning With Weighted Ontologies. Description Logics 2009 - [c12]Rafael Peñaloza, Baris Sertkaya:
Axiom Pinpointing is Hard. Description Logics 2009 - [c11]Franz Baader, Martin Knechtel, Rafael Peñaloza:
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. ISWC 2009: 49-64 - 2008
- [c10]Franz Baader, Rafael Peñaloza:
Automata-Based Axiom Pinpointing. IJCAR 2008: 226-241 - [c9]Rafael Peñaloza:
Automata-based Pinpointing for DLs. Description Logics 2008 - 2007
- [c8]Franz Baader, Jan Hladik, Rafael Peñaloza:
Blocking Automata for PSPACE DLs. Description Logics 2007 - [c7]Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL. Description Logics 2007 - [c6]Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL+. KI 2007: 52-67 - [c5]Franz Baader, Jan Hladik, Rafael Peñaloza:
SI! Automata Can Show PSPACE Results for Description Logics. LATA 2007: 67-78 - [c4]Franz Baader, Rafael Peñaloza:
Axiom Pinpointing in General Tableaux. TABLEAUX 2007: 11-27 - 2006
- [c3]Jan Hladik, Rafael Peñaloza:
PSPACE Automata for Description Logics. Description Logics 2006 - [c2]Alexander Kozlenkov, Rafael Peñaloza, Vivek Nigam, Loïc Royer, Gihan Dawelbait, Michael Schroeder:
Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. EDBT Workshops 2006: 899-908 - 2003
- [c1]Osvaldo Cairó, Rafael Peñaloza:
Using Bayesian Networks as an Inference Engine in KAMET. SCCC 2003: 79-85
Parts in Books or Collections
- 2020
- [p2]Rafael Peñaloza:
Axiom Pinpointing. Applications and Practices in Ontology Design, Extraction, and Reasoning 2020: 162-177 - 2009
- [p1]Rafael Peñaloza:
Wie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken. Ausgezeichnete Informatikdissertationen 2009: 181-190
Editorship
- 2023
- [e11]Clayton K. Baker, Lucía Gómez Álvarez, Jesse Heyninck, Thomas Meyer, Rafael Peñaloza, Srdjan Vesic:
Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023. CEUR Workshop Proceedings 3548, CEUR-WS.org 2023 [contents] - 2022
- [e10]Camille Bourgaux, Ana Ozaki, Rafael Peñaloza:
International Research School in Artificial Intelligence in Bergen, AIB 2022, June 7-11, 2022, University of Bergen, Norway. OASIcs 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-228-0 [contents] - [e9]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:
Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden, August 15-19, 2022. CEUR Workshop Proceedings 3249, CEUR-WS.org 2022 [contents] - 2021
- [e8]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, Jessica Zangari:
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021. CEUR Workshop Proceedings 2970, CEUR-WS.org 2021 [contents] - [e7]Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman:
Rules and Reasoning - 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings. Lecture Notes in Computer Science 12851, Springer 2021, ISBN 978-3-030-91166-9 [contents] - 2018
- [e6]Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018. CEUR Workshop Proceedings 2157, CEUR-WS.org 2018 [contents] - [e5]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 Paolo Radicioni, Emilio M. Sanfilippo, Daniel Schober, Rossella Stufano, Amanda Vizedom:
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017. CEUR Workshop Proceedings 2050, CEUR-WS.org 2018 [contents] - 2016
- [e4]Maurizio Lenzerini, Rafael Peñaloza:
Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. CEUR Workshop Proceedings 1577, CEUR-WS.org 2016 [contents] - 2015
- [e3]Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph:
KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings. Lecture Notes in Computer Science 9324, Springer 2015, ISBN 978-3-319-24488-4 [contents] - 2014
- [e2]Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014. CEUR Workshop Proceedings 1205, CEUR-WS.org 2014 [contents] - 2010
- [e1]Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010. CEUR Workshop Proceedings 613, CEUR-WS.org 2010 [contents]
Informal and Other Publications
- 2023
- [i27]Dario Amoroso d'Aragona, Luca Pascarella, Andrea Janes, Valentina Lenarduzzi, Rafael Peñaloza, Davide Taibi:
Breaks and Code Quality: Investigating the Impact of Forgetting on Software Development. A Registered Report. CoRR abs/2305.00760 (2023) - [i26]Dario Amoroso d'Aragona, Luca Pascarella, Andrea Janes, Valentina Lenarduzzi, Rafael Peñaloza, Davide Taibi:
On the Empirical Evidence of Microservice Logical Coupling. A Registered Report. CoRR abs/2306.02036 (2023) - [i25]Camille Bourgaux, Ana Ozaki, Rafael Peñaloza:
Semiring Provenance for Lightweight Description Logics. CoRR abs/2310.16472 (2023) - [i24]Mikel Robredo, Nyyti Saarimäki, Rafael Peñaloza, Valentina Lenarduzzi:
Ignoring Time Dependence in Software Engineering Data. A Mistake. CoRR abs/2311.03114 (2023) - 2021
- [i23]Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic Trace Alignment. CoRR abs/2107.03997 (2021) - [i22]Rafael Peñaloza:
An Upper Bound for Provenance in ELHr. CoRR abs/2108.12774 (2021) - [i21]Jieying Chen, Yue Ma, Rafael Peñaloza, Hui Yang:
Union and Intersection of all Justifications. CoRR abs/2109.11216 (2021) - [i20]Gabriella Pasi, Rafael Peñaloza:
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. CoRR abs/2111.11779 (2021) - [i19]João Marques-Silva, Rafael Peñaloza, Uli Sattler:
Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). Dagstuhl Reports 11(8): 1-10 (2021) - 2020
- [i18]Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu:
Provenance for the Description Logic ELHr. CoRR abs/2001.07541 (2020) - [i17]Rafael Peñaloza:
Axiom Pinpointing. CoRR abs/2003.08298 (2020) - [i16]Erman Acar, Rafael Peñaloza:
Reasoning with Contextual Knowledge and Influence Diagrams. CoRR abs/2007.00571 (2020) - [i15]Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza:
The Probabilistic Description Logic BALC. CoRR abs/2009.13407 (2020) - 2019
- [i14]Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza:
Probabilistic Temporal Logic over Finite Traces (Technical Report). CoRR abs/1903.04940 (2019) - [i13]Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao:
Enriching Ontology-based Data Access with Provenance (Extended Version). CoRR abs/1906.00179 (2019) - 2018
- [i12]Ana Ozaki, Rafael Peñaloza:
Consequence-Based Axiom Pinpointing. CoRR abs/1805.10250 (2018) - [i11]Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza:
Repairing Description Logic Ontologies by Weakening Axioms. CoRR abs/1808.00248 (2018) - [i10]Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan:
Query Answering for Rough EL Ontologies (Extended Technical Report). CoRR abs/1808.01877 (2018) - [i9]Alisa Kovtunova, Rafael Peñaloza:
Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. CoRR abs/1810.01516 (2018) - 2017
- [i8]Rafael Peñaloza, Nico Potyka:
Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version). CoRR abs/1706.03207 (2017) - [i7]Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli:
A Decidable Very Expressive Description Logic for Databases (Extended Version). CoRR abs/1707.08468 (2017) - [i6]Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz:
Repairing Ontologies via Axiom Weakening. CoRR abs/1711.03430 (2017) - 2016
- [i5]Rafael Peñaloza, Nico Potyka:
Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version). CoRR abs/1606.09521 (2016) - 2015
- [i4]Ismail Ilkan Ceylan, Rafael Peñaloza:
Dynamic Bayesian Ontology Languages. CoRR abs/1506.08030 (2015) - [i3]Mario Alviano, Rafael Peñaloza:
Fuzzy Answer Set Computation via Satisfiability Modulo Theories. CoRR abs/1507.03920 (2015) - [i2]Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan:
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies. CoRR abs/1508.02626 (2015) - [i1]Stefan Borgwardt, Rafael Peñaloza:
Reasoning in Infinitely Valued G-IALCQ. CoRR abs/1509.08761 (2015)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
