Repairing Socially Aggregated Ontologies Using Axiom Weakening

  title={Repairing Socially Aggregated Ontologies Using Axiom Weakening},
  author={Daniele Porello and N. Troquard and Roberto Confalonieri and Pietro Galliani and Oliver Kutz and Rafael Pe{\~n}aloza},
Ontologies represent principled, formalised descriptions of agents’ conceptualisations of a domain. For a community of agents, these descriptions may significantly differ. We propose an aggregative view of the integration of ontologies based on Judgement Aggregation (JA). Agents may vote on statements of the ontologies, and we aim at constructing a collective, integrated ontology, that reflects the individual conceptualisations as much as possible. As several results in JA show, many attractive… 
Social Mechanisms for the Collective Engineering of Ontologies 1
This work studies how to repair an inconsistent collective ontology that results from the views of heterogeneous experts, once they have been aggregated by means of voting.
Two Applications of Concept Refinement
Two applications of refinement operators that can generalise and specialise concepts expressed in the ALC description logic language are described and used to weaken some axioms and to repair the collective ontology.
Repairing Ontologies via Axiom Weakening
This work introduces the theoretical framework for weakening DL ontologies, proposes algorithms to repair ontologies based on the framework, and provides an analysis of the computational complexity.
Explaining Axiom Pinpointing
  • R. Peñaloza
  • Computer Science, Philosophy
    Description Logic, Theory Combination, and All That
  • 2019
A historic look at the field is taken, focusing mainly on description logics, and the specific contributions stemming from one researcher, who started it all in more than one sense.
Blending under deconstruction
A coherent computational narrative is presented, focusing on how one may derive a formal reconstruction of conceptual blending from a deconstruction of the human ability of concept invention into some of its core components, on presenting the key facets that a computational framework for concept invention should possess.
A computational framework for conceptual blending


Ontology merging as social choice: judgment aggregation under the open world assumption
The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering, and other domains where information from several distinct sources needs to be
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design
This paper employs the structuring mechanisms of the heterogeneous algebraic specification language HetCasl for defining a general concept of heterogeneous, distributed, highly modular and structured ontologies, called hyperontologies, and distinguishes, on a structural and semantic level, several different kinds of combining and aligning heterogeneous ontologies.
Concept learning in description logics using refinement operators
This paper provides a learning algorithm based on refinement operators for the description logic ALCQ including support for concrete roles and shows that the approach is superior to other learning approaches on description logics, and is competitive with established ILP systems.
Coherence, Similarity, and Concept Generalisation
This work explores the applicability of Paul Thagard’s computational theory of coherence, in combination with semantic similarity between concepts based on a generalisation operator, to address the problem of analysing the joint coherence of a number of concepts with respect to a background ontology.
A generalised model of judgment aggregation
This methodological paper presents a simple unified model of judgment aggregation in general logics, and shows how many realistic decision problems can be represented in it and proves impossibility results that generalise earlier theorems.
The Description Logic Handbook: Theory, Implementation, and Applications
This new edition of The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications.
Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies
New non-standard reasoning services are designed and implemented to pinpoint logical contradictions when developing the medical terminology DICE to provide complete algorithms for unfoldable ACC-TBoxes based on minimisation of axioms using Boolean methods for minimal unsatisfiability-presening sub-T boxes.
Justification Masking in Ontologies
The results of an empirical study are presented which shows that the phenomenon of masking is prevalent throughout ontologies with non-trivial entailments in the NCBO BioPortal corpus.
Probabilistic opinion pooling generalized. Part one: general agendas
It is shown that the same kinds of axioms have radically different implications for different aggregation problems: linearity for probability aggregation and dictatorship for binary judgment or preference aggregation.