


Остановите войну!
for scientists:


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
- 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. 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 - [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]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) - [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 - [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] - [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
- [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) - [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 - [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] - [i4]Ismail Ilkan Ceylan, Rafael Peñaloza:
Dynamic Bayesian Ontology Languages. CoRR abs/1506.08030 (2015) - [i3]