Top

Published in:

2017 | OriginalPaper | Chapter

Repairing Socially Aggregated Ontologies Using Axiom Weakening

Authors : Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Peñaloza

Published in: PRIMA 2017: Principles and Practice of Multi-Agent Systems

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

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 and widely used aggregation procedures are prone to return inconsistent collective ontologies. We propose to solve the possible inconsistencies in the collective ontology by applying suitable weakenings of axioms that cause inconsistencies.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter ABAplus: Attack Reversal in Abstract and Structured Argumentation with Preferences

next chapter Collective Voice of Experts in Multilateral Negotiation

The finite set of TBox formulas in \(\varPhi \) might be all TBox formulas of a certain maximum length or the union of all TBox formulas that a given population of agents choose to include in their TBoxes.

Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)MATH

Baader, F., Peñaloza, R.: Axiom pinpointing in general tableaux. J. Logic Comput. 20(1), 5–34 (2010). Special Issue: Tableaux and Analytic Proof MethodsMathSciNetCrossRefMATH

Confalonieri, R., Eppe, M., Schorlemmer, M., Kutz, O., Peñaloza, R., Plaza, E.: Upward refinement operators for conceptual blending in \(\cal{EL}^{++}\). Ann. Math. Artif. Intell. (2016). doi:10.1007/s10472-016-9524-8

Confalonieri, R., Kutz, O., Troquard, N., Galliani, P., Porello, D., Peñaloza, R., Schorlemmer, M.: Coherence, similarity, and concept generalisation. In: Proceedings of DL 2017. CEUR (2017)

Dietrich, F., List, C.: Judgment aggregation by quota rules: majority voting generalized. J. Theor. Polit. 19(4), 391–424 (2007)CrossRef

Gaertner, W.: A Primer in Social Choice Theory. Oxford University Press, Oxford (2006)MATH

Horridge, M., Parsia, B., Sattler, U.: Justification masking in ontologies. In: KR 2012. AAAI Press (2012)

Kornhauser, L.A., Sager, L.G.: The one and the many: adjudication in collegial courts. Calif. Law Rev. 81(1), 1–59 (1993)CrossRef

Kutz, O., Mossakowski, T., Lücke, D.: Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis 4(2), 255–333 (2010). Special Issue on Is Logic Universal?

10.

van der Laag, P.R., Nienhuys-Cheng, S.H.: Completeness and properness of refinement operators in inductive logic programming. J. Logic Program. 34(3), 201–225 (1998)MathSciNetCrossRefMATH

11.

List, C., Pettit, P.: Aggregating sets of judgments: An impossibility result. Econ. Philos. 18(1), 89–110 (2002)CrossRef

12.

List, C.: Deliberation and agreement. In: Rosenberg, S.W. (ed.) Deliberation, Participation and Democracy, pp. 64–81. Palgrave Macmillan UK, London (2007). doi:10.1057/9780230591080_4 CrossRef

13.

List, C., Puppe, C.: Judgment aggregation: a survey. In: Handbook of Rational and Social Choice. Oxford University Press (2009)

14.

Ottonelli, V., Porello, D.: On the elusive notion of meta-agreement. Politics Philos. Econ. 12(1), 68–92 (2013)CrossRef

15.

Porello, D., Endriss, U.: Ontology merging as social choice: judgment aggregation under the open world assumption. J. Logic Comput. 24(6), 1229–1249 (2014)MathSciNetCrossRefMATH

16.

Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of IJCAI 2003, pp. 355–362. Morgan Kaufmann (2003)

Title: Repairing Socially Aggregated Ontologies Using Axiom Weakening
Authors: Daniele Porello
Nicolas Troquard
Roberto Confalonieri
Pietro Galliani
Oliver Kutz
Rafael Peñaloza
Publisher: Springer International Publishing
Book: PRIMA 2017: Principles and Practice of Multi-Agent Systems
Print ISBN: 978-3-319-69130-5

Electronic ISBN: 978-3-319-69131-2

Copyright Year: 2017
DOI: https://doi.org/10.1007/978-3-319-69131-2_26

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner