2 citations · 7 across the 10 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
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…