Rafael Peñaloza

According to our database1, Rafael Peñaloza authored at least 134 papers between 2003 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
A Bayesian Extension of the Description Logic ALC.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Making Decisions over Contextual Ontologies.
Proceedings of the 32nd International Workshop on Description Logics, 2019

Explaining Axiom Pinpointing.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018
A Hardware/Software Stack for Heterogeneous Systems.
IEEE Trans. Multi-Scale Computing Systems, 2018

Upward refinement operators for conceptual blending in the description logic ℰ ℒ++.
Ann. Math. Artif. Intell., 2018

Consequence-Based Axiom Pinpointing.
Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Query Answering for Rough EL Ontologies.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Cutting Diamonds: A Temporal Logic with Probabilistic Distributions.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Making Repairs in Description Logics More Gentle.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Two Approaches to Ontology Aggregation Based on Axiom Weakening.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending.
Proceedings of the Ninth International Conference on Computational Creativity, 2018

Provenance in Ontology-based Data Access.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

The Bayesian Description Logic BALC.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Making Repairs in Description Logics More Gentle (Extended Abstract).
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events.
Proceedings of the Joint Proceedings of the Workshops C3GI: The 7th International Workshop on Computational Creativity, 2018

Repairing Ontologies via Axiom Weakening.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Decidability and Complexity of Fuzzy Description Logics.
KI, 2017

The Bayesian Ontology Language $$\mathcal {BEL}$$ BEL.
J. Autom. Reasoning, 2017

Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics.
Int. J. Approx. Reasoning, 2017

The complexity of fuzzy EL under the Łukasiewicz T-norm.
Int. J. Approx. Reasoning, 2017

Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness.
FLAP, 2017

Understanding the complexity of axiom pinpointing in lightweight description logics.
Artif. Intell., 2017

Towards Statistical Reasoning in Description Logics over Finite Domains.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Fuzzy Description Logics - A Survey.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

A Decidable Very Expressive Description Logic for Databases.
Proceedings of the Semantic Web - ISWC 2017, 2017

A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract).
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

Inconsistency-Tolerant Instance Checking in Tractable Description Logics.
Proceedings of the Rules and Reasoning - International Joint Conference, 2017

Repairing Socially Aggregated Ontologies Using Axiom Weakening.
Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

An Automata View to Goal-Directed Methods.
Proceedings of the Language and Automata Theory and Applications, 2017

The Shape of the Other.
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Representing the UFO-B Foundational Ontology of Events in SROIQ.
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Query Answering in Ontologies under Preference Rankings.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Lean Kernels in Description Logics.
Proceedings of the Semantic Web - 14th International Conference, 2017

Debugging EL+ Ontologies through Horn MUS Enumeration.
Proceedings of the 30th International Workshop on Description Logics, 2017

Coherence, Similarity, and Concept Generalisation.
Proceedings of the 30th International Workshop on Description Logics, 2017

Łukasiewicz Fuzzy EL is Undecidable.
Proceedings of the 30th International Workshop on Description Logics, 2017

Semantic Rules for Machine Diagnostics: Execution and Management.
Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

Two Applications of Concept Refinement.
Proceedings of the First International Workshop on Comprehensibility and Explanation in AI and ML 2017 co-located with 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

Minimal Undefinedness for Fuzzy Answer Sets.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.
J. Data Semantics, 2016

Reasoning in Fuzzy Description Logics using Automata.
Fuzzy Sets and Systems, 2016

Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy.
Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Efficient Reasoning for Inconsistent Horn Formulae.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Complexity Results for Probabilistic Datalog±.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Efficient Axiom Pinpointing in EL using SAT Technology.
Proceedings of the 29th International Workshop on Description Logics, 2016

Conceptual Blending in EL++.
Proceedings of the 29th International Workshop on Description Logics, 2016

Reasoning in Expressive Gödel Description Logics.
Proceedings of the 29th International Workshop on Description Logics, 2016

2015
Fuzzy answer set computation via satisfiability modulo theories.
TPLP, 2015

On the Decidability Status of Fuzzy ALC with General Concept Inclusions.
J. Philosophical Logic, 2015

Similarity-based relaxed instance queries.
J. Applied Logic, 2015

The limits of decidability in fuzzy description logics with general concept inclusions.
Artif. Intell., 2015

Probabilistic Query Answering in the Bayesian Description Logic BEL.
Proceedings of the Scalable Uncertainty Management - 9th International Conference, 2015

The Bayesian Ontology Reasoner is BORN!
Proceedings of the Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), 2015

Iterative Ontology Updates Using Context Labels.
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++.
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

The Complexity of Subsumption in Fuzzy EL.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Dynamic Bayesian Description Logics.
Proceedings of the 28th International Workshop on Description Logics, 2015

Answering EL Queries in the Presence of Preferences.
Proceedings of the 28th International Workshop on Description Logics, 2015

Conjunctive Query Answering with Finitely Many Truth Degrees.
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
The complexity of computing the behaviour of lattice automata on infinite trees.
Theor. Comput. Sci., 2014

Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities.
Int. J. Approx. Reasoning, 2014

Consistency reasoning in lattice-based fuzzy Description Logics.
Int. J. Approx. Reasoning, 2014

Finite Lattices Do Not Make Reasoning in ALCOI Harder.
Proceedings of the Uncertainty Reasoning for the Semantic Web III, 2014

Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics.
Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Answering Instance Queries Relaxed by Concept Similarity.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Decidable Gödel Description Logics without the Finitely-Valued Model Property.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Reasoning in ALC with Fuzzy Concrete Domains.
Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

DeaLing with Ontologies using CODs.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Certain Answers in a Rough World.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Towards Parallel Repair: An Ontology Decomposition-based Approach.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Brave and Cautious Reasoning in EL.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Mary, What's Like All Cats?
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Bayesian Description Logics.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Gödel FL_0 with Greatest Fixed-Point Semantics.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Gödel Description Logics with General Models.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

The Bayesian Description Logic ${\mathcal{BEL}}$.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Many-valued Horn Logic is Hard.
Proceedings of the First Workshop on Logics for Reasoning about Preferences, 2014

Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics.
Proceedings of the Cellular Automata, 2014

Reasoning in the Description Logic BEL Using Bayesian Networks.
Proceedings of the Statistical Relational Artificial Intelligence, 2014

2013
Fuzzy answer sets approximations.
TPLP, 2013

The Complexity of Lattice-Based Fuzzy Description Logics.
J. Data Semantics, 2013

Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities.
Proceedings of the Uncertainty Reasoning for the Semantic Web II, 2013

Computing Role-Depth Bounded Generalizations in the Description Logic.
Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Positive Subsumption in Fuzzy EL with General t-Norms.
Proceedings of the IJCAI 2013, 2013

Roughening the Envelope.
Proceedings of the Frontiers of Combining Systems, 2013

Rough EL Classification.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

About Subsumption in Fuzzy EL.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
Context-dependent views to axioms and consequences of Semantic Web ontologies.
J. Web Semant., 2012

A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Undecidability of Fuzzy Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Adding Context to Tableaux for DLs.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Non-Gödel Negation Makes Unwitnessed Consistency Undecidable.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Gödel Negation Makes Unwitnessed Consistency Crisp.
Proceedings of the 2012 International Workshop on Description Logics, 2012

How Fuzzy Is My Fuzzy Description Logic?
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011
Finite Lattices Do Not Make Reasoning in ALCI Harder.
Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), 2011

Description Logics over Lattices with Multi-Valued Ontologies.
Proceedings of the IJCAI 2011, 2011

Are fuzzy description logics with general concept inclusion axioms decidable?
Proceedings of the FUZZ-IEEE 2011, 2011

On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm.
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

A Practical Approach for Computing Generalization Inferences in EL\mathcal{EL}.
Proceedings of the Semantic Web: Research and Applications, 2011

Correcting Access Restrictions to a Consequence More Flexibly.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Fuzzy Ontologies over Lattices with T-norms.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

The Inclusion Problem for Weighted Automata on Infinite Trees.
Proceedings of the Automata and Formal Languages, 13th International Conference, 2011

2010
Using Sums-of-Products for Non-standard Reasoning.
Proceedings of the Language and Automata Theory and Applications, 2010

On the Complexity of Axiom Pinpointing in the EL Family of Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

A Generic Approach for Correcting Access Restrictions to a Consequence.
Proceedings of the Semantic Web: Research and Applications, 2010

Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics.
Proceedings of the ECAI 2010, 2010

Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Complexity of Axiom Pinpointing in the DL-Lite Family.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Correcting Access Restrictions to a Consequence.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities.
Proceedings of the First International Workshop on Uncertainty in Description Logics, 2010

2009
Axiom pinpointing in description logics and beyond.
PhD thesis, 2009

A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Wie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken.
Proceedings of the Ausgezeichnete Informatikdissertationen 2009, 2009

Axiom Pinpointing is Hard.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Reasoning With Weighted Ontologies.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
Automata can show PSpace results for description logics.
Inf. Comput., 2008

Automata-based Pinpointing for DLs.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Automata-Based Axiom Pinpointing.
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007
Axiom Pinpointing in General Tableaux.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

SI! Automata Can Show PSPACE Results for Description Logics.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

Pinpointing in the Description Logic EL+.
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Pinpointing in the Description Logic EL.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Blocking Automata for PSPACE DLs.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006
Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics.
Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

PSPACE Automata for Description Logics.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2003
Using Bayesian Networks as an Inference Engine in KAMET.
Proceedings of the 23rd International Conference of the Chilean Computer Science Society (SCCC 2003), 2003


  Loading...