Rafael Peñaloza

33 publications

12 venues

H Index11

Name Venue Year Citations
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. ISWC 2009 31
Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$. JELIA 2014 0
Making Repairs in Description Logics More Gentle. KR 2018 4
Description Logics over Lattices with Multi-Valued Ontologies. IJCAI 2011 29
Decidable Gödel Description Logics without the Finitely-Valued Model Property. KR 2014 19
Undecidability of Fuzzy Description Logics. KR 2012 45
Answering Instance Queries Relaxed by Concept Similarity. KR 2014 9
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. KR 2010 36
Positive Subsumption in Fuzzy EL with General t-Norms. IJCAI 2013 18
A Generic Approach for Correcting Access Restrictions to a Consequence. ESWC 2010 11
The limits of decidability in fuzzy description logics with general concept inclusions. Artificial Intelligence 2015 34
Axiom Pinpointing in General Tableaux. TABLEAUX 2007 100
Semantic Rules for Machine Diagnostics: Execution and Management. CIKM 2017 7
Minimal Undefinedness for Fuzzy Answer Sets. AAAI 2017 6
Two Approaches to Ontology Aggregation Based on Axiom Weakening. IJCAI 2018 3
The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics. JELIA 2014 1
Inconsistency-Tolerant Instance Checking in Tractable Description Logics. RuleML+RR 2017 2
Enriching Ontology-based Data Access with Provenance. IJCAI 2019 2
Query Answering in Ontologies under Preference Rankings. IJCAI 2017 1
Query Answering for Rough EL Ontologies. KR 2018 1
Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. KR 2018 7
The Complexity of Subsumption in Fuzzy EL. IJCAI 2015 9
Repairing Ontologies via Axiom Weakening. AAAI 2018 12
Understanding the complexity of axiom pinpointing in lightweight description logics. Artificial Intelligence 2017 13
Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$. JELIA 2014 1
Efficient Reasoning for Inconsistent Horn Formulae. JELIA 2016 7
Lean Kernels in Description Logics. ESWC 2017 5
A Decidable Very Expressive Description Logic for Databases. ISWC 2017 3
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. ECAI 2010 0
Complexity Results for Probabilistic Datalog ECAI 2016 0
A Bayesian Extension of the Description Logic JELIA 2019 0
A Practical Approach for Computing Generalization Inferences in ESWC 2011 0
BEACON: An Efficient SAT-Based Tool for Debugging SAT 2016 0
Copyright ©2019 Universität Würzburg
Website created in context of the REGIO Project
Impressum | Privacy | FAQ