Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Syntactic ASP Forgetting with Forks Kapitel lesen Erstes Kapitel lesen

2022 | OriginalPaper | Buchkapitel

Pinpointing Axioms in Ontologies via ASP

verfasst von : Rafael Peñaloza, Francesco Ricca

Erschienen in: Logic Programming and Nonmonotonic Reasoning

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

Axiom pinpointing is the task of identifying the axiomatic causes for a consequence to follow from an ontology. Different approaches have been proposed in the literature for finding one or all the subset-minimal subontologies that preserve a description logic consequence. We propose an approach that leverages the capabilities of answer set programming for transparent axiom pinpointing. We show how other associated tasks can be modelled without much additional effort.

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Computing Smallest MUSes of Quantified Boolean Formulas
Nächstes Kapitel Interlinking Logic Programs and Argumentation Frameworks
Literatur
1.
Arif, M.F., Mencía, C., Ignatiev, A., Manthey, N., Peñaloza, R., Marques-Silva, J.: BEACON: an efficient SAT-based tool for debugging \({\cal{EL}}{^+}\) ontologies. In: Creignou, N., Le Berre, D. (eds.) SAT 2016. LNCS, vol. 9710, pp. 521–530. Springer, Cham (2016). https://​doi.​org/​10.​1007/​978-3-319-40970-2_​32
2.
Baader, F., Brandt, S., Lutz, C.: Pushing the \(\cal{EL} \) envelope. In: Proceedings of IJCAI 2005, pp. 364–369. Professional Book Center (2005)
3.
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)
4.
5.
Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2010)
6.
Bienvenu, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Rossi, F. (ed.) Proceedings of IJCAI 2013, pp. 775–781. AAAI Press/IJCAI (2013)
7.
Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)CrossRef
8.
Ceylan, İ.İ., Mendez, J., Peñaloza, R.: The bayesian ontology reasoner is born! In: Proceedings of (ORE-2015). CEUR Workshop Proceedings, vol. 1387, pp. 8–14. CEUR-WS.org (2015)
9.
10.
Cucala, D.T., Grau, B.C., Horrocks, I.: Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals. In: Proceedings of DL 2017, Montpellier, France, 18–21 July 2017 (2017)
11.
Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.A.: Debugging unsatisfiable classes in OWL ontologies. J. Web Semant. 3(4), 268–293 (2005)CrossRef
12.
Lifschitz, V.: Answer set planning. In: Schreye, D.D. (ed.) Logic Programming: The 1999 International Conference, pp. 23–37. MIT Press (1999)
13.
14.
Peñaloza, R., Mencía, C., Ignatiev, A., Marques-Silva, J.: Lean Kernels in description logics. In: Blomqvist, E., Maynard, D., Gangemi, A., Hoekstra, R., Hitzler, P., Hartig, O. (eds.) ESWC 2017. LNCS, vol. 10249, pp. 518–533. Springer, Cham (2017). https://​doi.​org/​10.​1007/​978-3-319-58068-5_​32
15.
Peñaloza, R., Sertkaya, B.: Understanding the complexity of axiom pinpointing in lightweight description logics. Artif. Intell. 250, 80–104 (2017)MathSciNetCrossRefMATH
16.
Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of IJCAI 2003, pp. 355–360. Morgan Kaufmann Publishers Inc. (2003)
17.
Sebastiani, R., Vescovi, M.: Axiom pinpointing in large EL+ ontologies via SAT and SMT techniques. Disi technical report, University of Trento (2015)
18.
Simančík, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond Horn ontologies. In: Proceedings of the IJCAI 2011, pp. 1093–1098. AAAI Press (2011)
Metadaten
Titel
Pinpointing Axioms in Ontologies via ASP
verfasst von
Rafael Peñaloza
Francesco Ricca
Copyright-Jahr
2022
Buch
Logic Programming and Nonmonotonic Reasoning

Print ISBN: 978-3-031-15706-6

Electronic ISBN: 978-3-031-15707-3

Copyright-Jahr: 2022

DOI
https://doi.org/10.1007/978-3-031-15707-3_24

Premium Partner

    Bildnachweise