Skip to main content
Erschienen in: KI - Künstliche Intelligenz 2/2016

13.10.2015 | Technical Contribution

Abductive Conjunctive Query Answering w.r.t. Ontologies

verfasst von: Ralf Möller, Özgür Özçep, Volker Haarslev, Anahita Nafissi, Michael Wessel

Erschienen in: KI - Künstliche Intelligenz | Ausgabe 2/2016

Einloggen

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

search-config
loading …

Abstract

In this article we investigate abductive conjunctive query answering w.r.t. ontologies and show how use cases can benefit from this kind of query answering service. While practical reasoning systems such as Racer have supported abductive conjunctive query answering for 10 years now, and many projects have exploited this feature, few publications deal with A-box abduction from an implementation perspective. This article gives a generalized overview on features provided by practical systems and also explains optimization techniques needed to meet practical requirements.

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!

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

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!

Weitere Produktempfehlungen anzeigen
Fußnoten
1
A slightly different approach for ranking different interpretation possibilities based on probabilistic logic is presented in [22].
 
Literatur
1.
Zurück zum Zitat Kakas A, Kowalski R, Toni F (1993) Abductive logic programming. J Logic Comput 2(6):239–770MathSciNetMATH Kakas A, Kowalski R, Toni F (1993) Abductive logic programming. J Logic Comput 2(6):239–770MathSciNetMATH
2.
Zurück zum Zitat Gaasterland T, Godfrey P, Minker J (1992) Relaxation as a platform for cooperative answering. J Intell Inf Syst 1:293–321CrossRef Gaasterland T, Godfrey P, Minker J (1992) Relaxation as a platform for cooperative answering. J Intell Inf Syst 1:293–321CrossRef
3.
Zurück zum Zitat Shanahan M (2005) Perception as abduction: turning sensor data into meaningful representation. Cognit Sci 29(1):103–134MathSciNetCrossRef Shanahan M (2005) Perception as abduction: turning sensor data into meaningful representation. Cognit Sci 29(1):103–134MathSciNetCrossRef
4.
Zurück zum Zitat Petasis G, Möller R, Karkaletsis V (2013) Boemie: reasoning-based information extraction. In: Proceedings of the 1st workshop on natural language processing and automated reasoning co-located with 12th international conference on logic programming and nonmonotonic reasoning (LPNMR 2013), pp 60–75 Petasis G, Möller R, Karkaletsis V (2013) Boemie: reasoning-based information extraction. In: Proceedings of the 1st workshop on natural language processing and automated reasoning co-located with 12th international conference on logic programming and nonmonotonic reasoning (LPNMR 2013), pp 60–75
5.
Zurück zum Zitat Haarslev V, Hidde K, Möller R, Wessel M (2012) The RacerPro knowledge representation and reasoning system. Seman Web J 3(3):267–277 Haarslev V, Hidde K, Möller R, Wessel M (2012) The RacerPro knowledge representation and reasoning system. Seman Web J 3(3):267–277
6.
Zurück zum Zitat Espinosa S, Kaya A, Möller R (2009) The BOEMIE semantic browser: a semantic application exploiting rich semantic metadata. In: Proceedings of the applications of semantic technologies workshop (AST-2009), Lübeck, Germany Espinosa S, Kaya A, Möller R (2009) The BOEMIE semantic browser: a semantic application exploiting rich semantic metadata. In: Proceedings of the applications of semantic technologies workshop (AST-2009), Lübeck, Germany
8.
Zurück zum Zitat Denecker M, Kakas AC (2002) Abduction in logic programming. In: Kakas AC, Sadri F (eds) Computational logic: logic programming and beyond, essays in honour of Robert A. Kowalski, part I. Lecture notes in computer science, vol 2407. Springer, Berlin, pp 402–436 Denecker M, Kakas AC (2002) Abduction in logic programming. In: Kakas AC, Sadri F (eds) Computational logic: logic programming and beyond, essays in honour of Robert A. Kowalski, part I. Lecture notes in computer science, vol 2407. Springer, Berlin, pp 402–436
9.
Zurück zum Zitat Möller R, Neumann B (2008) Ontology-based reasoning techniques for multimedia interpretation and retrieval. In: Semantic multimedia and ontologies : theory and applications. Springer, Berlin, pp 55–98 Möller R, Neumann B (2008) Ontology-based reasoning techniques for multimedia interpretation and retrieval. In: Semantic multimedia and ontologies : theory and applications. Springer, Berlin, pp 55–98
10.
Zurück zum Zitat Espinosa Peraldi S, Kaya A, Melzer S, Möller R (2008) On ontology based abduction for text interpretation. In: Gelbukh A (ed) Proceedings of 9th international conference on intelligent text processing and computational linguistics (CICLing-2008) Espinosa Peraldi S, Kaya A, Melzer S, Möller R (2008) On ontology based abduction for text interpretation. In: Gelbukh A (ed) Proceedings of 9th international conference on intelligent text processing and computational linguistics (CICLing-2008)
11.
Zurück zum Zitat Dolog P, Stuckenschmidt H, Wache H, Diederich J (2009) Relaxing rdf queries based on user and domain preferences. J Intell Inf Syst 33:239–260CrossRef Dolog P, Stuckenschmidt H, Wache H, Diederich J (2009) Relaxing rdf queries based on user and domain preferences. J Intell Inf Syst 33:239–260CrossRef
12.
Zurück zum Zitat Espinosa S (2011) Content management and knowledge management: two faces of ontology-based text interpretation. PhD thesis, Hamburg University of Technology Espinosa S (2011) Content management and knowledge management: two faces of ontology-based text interpretation. PhD thesis, Hamburg University of Technology
13.
Zurück zum Zitat Espinosa S, Atila K, Möller R (2011) Knowledge-driven multimedia information extraction and ontology evolution. In: LNCS, chapter logical formalization of multimedia interpretation, vol 6050. Springer, Berlin, pp 110–133 Espinosa S, Atila K, Möller R (2011) Knowledge-driven multimedia information extraction and ontology evolution. In: LNCS, chapter logical formalization of multimedia interpretation, vol 6050. Springer, Berlin, pp 110–133
14.
Zurück zum Zitat Kaya A (2010) A logic-based approach to multimedia interpretation. PhD thesis, Hamburg University of Technology Kaya A (2010) A logic-based approach to multimedia interpretation. PhD thesis, Hamburg University of Technology
15.
Zurück zum Zitat Castano S, Peraldi ISE, Ferrara A, Karkaletsis V, Kaya A, Möller R, Montanelli S, Petasis G, Wessel M (2009) Multimedia interpretation for dynamic ontology evolution. J. Log. Comput. 19(5):859–897MathSciNetCrossRefMATH Castano S, Peraldi ISE, Ferrara A, Karkaletsis V, Kaya A, Möller R, Montanelli S, Petasis G, Wessel M (2009) Multimedia interpretation for dynamic ontology evolution. J. Log. Comput. 19(5):859–897MathSciNetCrossRefMATH
16.
Zurück zum Zitat Espinosa S, Kaya A, Möller R (2009) Formalizing multimedia interpretation based on abduction over description logic aboxes. In: Proceedings of the 2009 international workshop on description logics DL- 2009, 27 to 30 July 2009. CEUR workshop proceedings, vol 477, Oxford, UK Espinosa S, Kaya A, Möller R (2009) Formalizing multimedia interpretation based on abduction over description logic aboxes. In: Proceedings of the 2009 international workshop on description logics DL- 2009, 27 to 30 July 2009. CEUR workshop proceedings, vol 477, Oxford, UK
17.
Zurück zum Zitat Du J, Guilin Q, Yi-Dong S, Jeff PZ (2012) Towards practical abox abduction in large description logic ontologies. Int. J. Seman. Web Inf. Syst. 8(2):1–33CrossRef Du J, Guilin Q, Yi-Dong S, Jeff PZ (2012) Towards practical abox abduction in large description logic ontologies. Int. J. Seman. Web Inf. Syst. 8(2):1–33CrossRef
19.
Zurück zum Zitat Ma Y, Gu T, Xu B, Chang L (2012) An abox abduction algorithm for the description logic alci. In: Intelligent information processing VI. IFIP advances in information and communication technology, vol 385. Springer, Berlin, pp 125–130 Ma Y, Gu T, Xu B, Chang L (2012) An abox abduction algorithm for the description logic alci. In: Intelligent information processing VI. IFIP advances in information and communication technology, vol 385. Springer, Berlin, pp 125–130
20.
Zurück zum Zitat Hobbs JR, Stickel ME, Appelt DE, Martin PA (1993) Interpretation as abduction. Artif Intell 63(1–2):69–142CrossRef Hobbs JR, Stickel ME, Appelt DE, Martin PA (1993) Interpretation as abduction. Artif Intell 63(1–2):69–142CrossRef
21.
Zurück zum Zitat Gries O, Möller R, Nafissi A, Rosenfeld M, Sokolski K, Wessel M (2010) A probabilistic abduction engine for media interpretation based on ontologies. In: Hitzler P, Lukasiewicz T (eds) Web reasoning and rule systems—fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22–24, 2010. Proceedings. Lecture notes in computer science, vol 6333. Springer, Berlin, pp 182–194 Gries O, Möller R, Nafissi A, Rosenfeld M, Sokolski K, Wessel M (2010) A probabilistic abduction engine for media interpretation based on ontologies. In: Hitzler P, Lukasiewicz T (eds) Web reasoning and rule systems—fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22–24, 2010. Proceedings. Lecture notes in computer science, vol 6333. Springer, Berlin, pp 182–194
22.
Zurück zum Zitat Nafissi A (2013) Applying markov logics for controlling abox abduction. PhD thesis, Hamburg University of Technology Nafissi A (2013) Applying markov logics for controlling abox abduction. PhD thesis, Hamburg University of Technology
23.
Zurück zum Zitat Baader F, Peñaloza R (2010) Axiom pinpointing in general tableaux. J Logic Comput 20(1):5–34 (Special Issue: Tableaux and Analytic Proof Methods) MathSciNetCrossRefMATH Baader F, Peñaloza R (2010) Axiom pinpointing in general tableaux. J Logic Comput 20(1):5–34 (Special Issue: Tableaux and Analytic Proof Methods) MathSciNetCrossRefMATH
24.
Zurück zum Zitat Kalyanpur A, Parsia B, Horridge M, Sirin E (2007) Finding all justifications of owl dl entailments. In: The semantic web. Springer, Berlin, pp 267–280 Kalyanpur A, Parsia B, Horridge M, Sirin E (2007) Finding all justifications of owl dl entailments. In: The semantic web. Springer, Berlin, pp 267–280
25.
Zurück zum Zitat Özçep OL, Möller R, Neuenstadt C (2014) A stream-temporal query language for ontology based data access. In: KI 2014, vol 8736. LNCS, pp 183–194 Özçep OL, Möller R, Neuenstadt C (2014) A stream-temporal query language for ontology based data access. In: KI 2014, vol 8736. LNCS, pp 183–194
Metadaten
Titel
Abductive Conjunctive Query Answering w.r.t. Ontologies
verfasst von
Ralf Möller
Özgür Özçep
Volker Haarslev
Anahita Nafissi
Michael Wessel
Publikationsdatum
13.10.2015
Verlag
Springer Berlin Heidelberg
Erschienen in
KI - Künstliche Intelligenz / Ausgabe 2/2016
Print ISSN: 0933-1875
Elektronische ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-015-0399-3

Weitere Artikel der Ausgabe 2/2016

KI - Künstliche Intelligenz 2/2016 Zur Ausgabe

Community

News