


default search action
Rafael 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
2020 – today
- 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) - [c148]Rafael Peñaloza, Anni-Yasmin Turhan:
Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. Description Logics 2024 - [c147]Lorenzo Olearo, Giorgio Longari, Simone Melzi, Alessandro Raganato, Rafael Peñaloza:
How to Blend Concepts in Diffusion Models. ISD 2024 - [c146]Antonio Ielo, Giuseppe Mazzotta, Francesco Ricca, Rafael Peñaloza:
Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf. OVERLAY 2024: 49-55 - [c145]Andrea Cuteri, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca:
Automata-based LTL_f Satisfiability Checking via ASP. AI4CC-IPS-RCRA-SPIRIT@AI*IA 2024 - [c144]Rafael Peñaloza
, Anni-Yasmin Turhan
:
Reasoning in Rough Description Logics with Multiple Indiscernibility Relations. RuleML+RR 2024: 142-158 - [c143]Mikel Robredo
, Nyyti Saarimäki
, Rafael Peñaloza
, Davide Taibi
, Valentina Lenarduzzi
:
Comparing Multivariate Time Series Analysis and Machine Learning Performance for Technical Debt Prediction: The SQALE Index Case. TechDebt@ICSE 2024: 45-46 - [i31]Giorgio Longari, Lorenzo Olearo, Simone Melzi, Rafael Peñaloza, Alessandro Raganato:
How to Blend Concepts in Diffusion Models. CoRR abs/2407.14280 (2024) - [i30]Mikel Robredo, Matteo Esposito, Fabio Palomba, Rafael Peñaloza, Valentina Lenarduzzi:
In Search of Metrics to Guide Developer-Based Refactoring Recommendations. CoRR abs/2407.18169 (2024) - [i29]Mikel Robredo, Nyyti Saarimäki, Davide Taibi, Rafael Peñaloza, Valentina Lenarduzzi:
Evaluating Time-Dependent Methods and Seasonal Effects in Code Technical Debt Prediction. CoRR abs/2408.08095 (2024) - [i28]Antonio Ielo
, Giuseppe Mazzotta
, Rafael Peñaloza, Francesco Ricca:
Enumerating Minimal Unsatisfiable Cores of LTLf formulas. CoRR abs/2409.09485 (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) - [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 - [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] - [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) - 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) - [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 - [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
- [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) - [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 - [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] - [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
- [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) - [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. RW 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 - [p2]Rafael Peñaloza:
Axiom Pinpointing. Applications and Practices in Ontology Design, Extraction, and Reasoning 2020: 162-177 - [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)
2010 – 2019
- 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) - [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 - [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
- [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) - [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 - [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] - [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
- [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) - [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 - [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
- [j15]Stefan Borgwardt
, Rafael Peñaloza
:
Reasoning in Fuzzy Description Logics using Automata. Fuzzy Sets Syst. 298: 22-43 (2016) - [j14]