Skip to main content

2017 | OriginalPaper | Buchkapitel

Repairing Socially Aggregated Ontologies Using Axiom Weakening

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

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

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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!

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!

Fußnoten
1
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.
 
Literatur
1.
Zurück zum Zitat 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., 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
2.
Zurück zum Zitat 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 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
3.
Zurück zum Zitat 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., 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
4.
Zurück zum Zitat 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) 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)
5.
Zurück zum Zitat Dietrich, F., List, C.: Judgment aggregation by quota rules: majority voting generalized. J. Theor. Polit. 19(4), 391–424 (2007)CrossRef Dietrich, F., List, C.: Judgment aggregation by quota rules: majority voting generalized. J. Theor. Polit. 19(4), 391–424 (2007)CrossRef
6.
Zurück zum Zitat Gaertner, W.: A Primer in Social Choice Theory. Oxford University Press, Oxford (2006)MATH Gaertner, W.: A Primer in Social Choice Theory. Oxford University Press, Oxford (2006)MATH
7.
Zurück zum Zitat Horridge, M., Parsia, B., Sattler, U.: Justification masking in ontologies. In: KR 2012. AAAI Press (2012) Horridge, M., Parsia, B., Sattler, U.: Justification masking in ontologies. In: KR 2012. AAAI Press (2012)
8.
Zurück zum Zitat Kornhauser, L.A., Sager, L.G.: The one and the many: adjudication in collegial courts. Calif. Law Rev. 81(1), 1–59 (1993)CrossRef Kornhauser, L.A., Sager, L.G.: The one and the many: adjudication in collegial courts. Calif. Law Rev. 81(1), 1–59 (1993)CrossRef
9.
Zurück zum Zitat 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? 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.
Zurück zum Zitat 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 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.
Zurück zum Zitat List, C., Pettit, P.: Aggregating sets of judgments: An impossibility result. Econ. Philos. 18(1), 89–110 (2002)CrossRef List, C., Pettit, P.: Aggregating sets of judgments: An impossibility result. Econ. Philos. 18(1), 89–110 (2002)CrossRef
13.
Zurück zum Zitat List, C., Puppe, C.: Judgment aggregation: a survey. In: Handbook of Rational and Social Choice. Oxford University Press (2009) List, C., Puppe, C.: Judgment aggregation: a survey. In: Handbook of Rational and Social Choice. Oxford University Press (2009)
14.
Zurück zum Zitat Ottonelli, V., Porello, D.: On the elusive notion of meta-agreement. Politics Philos. Econ. 12(1), 68–92 (2013)CrossRef Ottonelli, V., Porello, D.: On the elusive notion of meta-agreement. Politics Philos. Econ. 12(1), 68–92 (2013)CrossRef
15.
Zurück zum Zitat 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 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.
Zurück zum Zitat 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) 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)
Metadaten
Titel
Repairing Socially Aggregated Ontologies Using Axiom Weakening
verfasst von
Daniele Porello
Nicolas Troquard
Roberto Confalonieri
Pietro Galliani
Oliver Kutz
Rafael Peñaloza
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-69131-2_26