nach oben

Erschienen in:

2015 | OriginalPaper | Buchkapitel

Absorption for ABoxes and TBoxes with General Value Restrictions

verfasst von : Jiewen Wu, Taras Kinash, David Toman, Grant Weddell

Erschienen in: AI 2015: Advances in Artificial Intelligence

Verlag: Springer International Publishing

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

We consider the instance checking problem for \(\mathcal {SHIQ(\mathbf {D})}\) knowledge bases. In particular, we present a procedure that significantly reduces the number of ABox individuals that need to be examined for a given instance checking problem over a consistent \(\mathcal {SHIQ(\mathbf {D})}\) knowledge base that contains arbitrary occurrences of value restrictions. The procedure extends earlier work that assumed value restrictions were predominantly used to establish global domain and range restrictions, and, consequently, in which other applications of value restrictions had a significant risk of requiring an infeasible number of individuals to be examined for a given problem. Finally, experimental results are given that validate the effectiveness of the procedure.

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 Reinforcement Learning of Pareto-Optimal Multiobjective Policies Using Steering

Nächstes Kapitel Optimal Hyper-Parameter Search in Support Vector Machines Using Bézier Surfaces

This can be an important feature in cases for which a consistency check when “loading \(\mathcal{K}\)” would constitute a significant overhead due to the size and complexity of an included ontology.

Note that unary foreign keys occur in the LUBM benchmark [2] that we appeal to in our experimental evaluation. And indeed, as confirmed by our experimental results, such keys lead to large ripple problems.

Also inspired by the Canadian word for a “donut hole” pastry called a Timbit.

At a minimum, an interface to a cache of all individual names occurring in \(\mathcal{K}\) would be required, that is, a cache of the result of evaluating the instance query given by \(\mathcal{K}\) and the “top” concept \(\top \).

Recall that these are called data property assertions in RDF.

We chose to report on experiments using the LUBM benchmark for this study because of its wider appeal, e.g., its adoption of a set of predefined queries, and because its TBox includes foreign key constraints that are not global domain and range restrictions, a property missing with the digital camera case studied in [12]. Additional experiments can be found in [11].

http://swat.cse.lehigh.edu/projects/lubm/.

Dolby, J., Fokoue, A., Kalyanpur, A., Kershenbaum, A., Schonberg, E., Srinivas, K., Ma, L.: Scalable semantic retrieval through summarization and refinement. In: AAAI 2007, pp. 299–304 (2007)

Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. Web Semant. 3(2–3), 158–182 (2005)CrossRef

Haarslev, V., Möller, R.: On the scalability of description logic instance retrieval. J. Autom. Reasoning (JAR) 41(2), 99–142 (2008)MathSciNetCrossRefMATH

Horrocks, I.: Optimising tableaux decision procedures for description logics. Ph.D. thesis, the University of Manchester (1997)

Horrocks, I., Sattler, U.: Optimised reasoning for \({\cal SHIQ}\). In: ECAI 2002, pp. 277–281 (2002)

Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161–180. Springer, Heidelberg (1999) CrossRef

Hudek, A.K., Weddell, G.E.: Binary absorption in tableaux-based reasoning for description logics. In: Description Logics 2006 (2006)

Kollia, I., Glimm, B.: Cost based query ordering over OWL ontologies. In: Cudré-Mauroux, P., Heflin, J., Sirin, E., Tudorache, T., Euzenat, J., Hauswirth, M., Parreira, J.X., Hendler, J., Schreiber, G., Bernstein, A., Blomqvist, E. (eds.) ISWC 2012, Part I. LNCS, vol. 7649, pp. 231–246. Springer, Heidelberg (2012) CrossRef

Pound, J., Toman, D., Weddell, G.E., Wu, J.: An assertion retrieval algebra for object queries over knowledge bases. In: Walsh, T. (ed.) IJCAI 2011, pp. 1051–1056 (2011)

10.

Wandelt, S., Möller, R.: Towards ABox modularization of semi-expressive description logics. Appl. Ontology 7(2), 133–167 (2012)

11.

Wu, J.: Answering object queries over knowledge bases with expressive underlying description logics. Ph.D. thesis, University of Waterloo (2013)

12.

Jiewen, W., Hudek, A., Toman, D., Weddell, G.: Absorption for ABoxes. J. Autom. Reasoning 53, 215–243 (2014)MathSciNetCrossRefMATH

13.

Wu, J., Hudek, A.K., Toman, D., Weddell, G.E.: Absorption for ABoxes. In: DL 2012 (2012)

14.

Wu, J., Hudek, A.K., Toman, D., Weddell, G.E.: Assertion absorption in object queries over knowledge bases. In: KR 2012 (2012)

Titel: Absorption for ABoxes and TBoxes with General Value Restrictions
verfasst von: Jiewen Wu
Taras Kinash
David Toman
Grant Weddell
Verlag: Springer International Publishing
Buch: AI 2015: Advances in Artificial Intelligence
Print ISBN: 978-3-319-26349-6

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

Copyright-Jahr: 2015
DOI: https://doi.org/10.1007/978-3-319-26350-2_54

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"