activity
20152023
most citedFuzzy Answer Set Computation via Satisfiability Modulo Theories

6 citations · 18 across the 18 of their papers we have counts for

collaborators
Showing cs.AIShow all

8 papers · 1 filter

cs.AI2021

Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies

Gabriella Pasi, Rafael Peñaloza

A prominent problem in knowledge representation is how to answer queries taking into account also the implicit consequences of an ontology representing domain knowledge. While this…

cs.AI2017

Repairing Ontologies via Axiom Weakening

Nicolas Troquard, Roberto Confalonieri, Pietro Galliani +3

Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for a…

cs.AI2017

A Decidable Very Expressive Description Logic for Databases (Extended Version)

Alessandro Artale, Enrico Franconi, Rafael Peñaloza +1

We introduce , an extension of the n-ary propositionally closed description logic to deal with attribute-labelled tuples (generalising the position…

cs.AI2017★ 1 cited

Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)

Rafael Peñaloza, Nico Potyka

We present a probabilistic extension of the description logic for reasoning about statistical knowledge. We consider conditional statements over proportions of the…

cs.AI2016★ 1 cited

Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version)

Rafael Peñaloza, Nico Potyka

A central question for knowledge representation is how to encode and handle uncertain knowledge adequately. We introduce the probabilistic description logic ALCP that is designed f…

cs.AI2015

Reasoning in Infinitely Valued G-IALCQ

Stefan Borgwardt, Rafael Peñaloza

Fuzzy Description Logics (FDLs) are logic-based formalisms used to represent and reason with vague or imprecise knowledge. It has been recently shown that reasoning in most FDLs us…

cs.AI2015★ 6 cited

Fuzzy Answer Set Computation via Satisfiability Modulo Theories

Mario Alviano, Rafael Penaloza

Fuzzy answer set programming (FASP) combines two declarative frameworks, answer set programming and fuzzy logic, in order to model reasoning by default over imprecise information.…

cs.AI2015★ 1 cited

Dynamic Bayesian Ontology Languages

İsmail İlkan Ceylan, Rafael Peñaloza

Many formalisms combining ontology languages with uncertainty, usually in the form of probabilities, have been studied over the years. Most of these formalisms, however, assume tha…