Skip to main content
SpringerLink
Log in
Book cover

Towards the Internet of Services: The THESEUS Research Program pp 121–130Cite as

Reasoning Brokerage: New Reasoning Strategies

  • Chapter
  • First Online:

  • 1394 Accesses

Part of the book series: Cognitive Technologies ((COGTECH))

Abstract

Once a formal representation of data is available an important issue is to infer additional aspects out of this knowledge base. But according to the type of representation scheme chosen, different techniques can be applied or gain better or more accurate results. A reasoning broker system offers the possibility to apply strategies for selecting the best reasoning system, or for letting run different reasoners in parallel. In this article a reasoning broker system enabling the usage and integration of remote reasoners is presented. Additionally, the new reasoning capability of anytime reasoning has been developed and integrated into the reasoning broker.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD   54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    http://www.w3.org/2007/OWL/wiki/Implementations

  2. 2.

    http://www.hermit-reasoner.com/

  3. 3.

    http://clarkparsia.com/pellet/

  4. 4.

    http://kaon2.semanticweb.org/

  5. 5.

    http://lat.inf.tu-dresden.de/systems/cel/

  6. 6.

    http://trowl.eu/

  7. 7.

    http://elly.sourceforge.net/

  8. 8.

    http://herakles.sourceforge.net

  9. 9.

    Reasoners that do not provide an OWLlink server interface have to be wrapped with minor effort.

  10. 10.

    http://kaon2.semanticweb.org/

References

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

    Google Scholar 

  • C. Bock, A. Achille Fokoue, P. Haase, R. Hoekstra, I. Horrocks, A. Alan Ruttenberg, U. Sattler, M. Smith, OWL 2 Web Ontology Language – Structural Specification and Functional-Style syntax (2009a), http://www.w3.org/TR/owl2-syntax/

  • J. Bock, Parallel computation techniques for ontology reasoning, in The Semantic Web – ISWC 2008, ed. by A.P. Sheth, S. Staab, M. Dean, M. Paolucci, D. Maynard, T.W. Finin, K. Thirunarayan. Volume 5318 of Lecture Notes in Computer Science (Springer, Berlin/Heidelberg/New York, 2008), pp. 901–906, http://dblp.uni-trier.de/db/conf/semweb/iswc2008.html#Bock08

  • J. Bock, P. Haase, Q. Ji, R. Volz, Benchmarking OWL reasoners, in Proceedings of the ARea2008 – Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, Tenerife, June 2008, ed. by F. van Harmelen, A. Herzig, P. Hitzler, Z. Lin, R. Piskac, G. Qi. CEUR Workshop Proceedings, vol. 350, http://ceur-ws.org

  • J. Bock, U. Lösch, H. Wang, Automatic reasoner selection using machine learning, in Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics, Helsingborg, ed. by D.D. Burdescu, R. Akerkar, C. Badica (ACM, New York, 2012), http://dblp.uni-trier.de/db/conf/wims/wims2012.html#BockLW12

  • J. Bock, T. Tserendorj, Y. Xu, J. Wissmann, S. Grimm, A reasoning broker framework for OWL, in Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED ’09), Chantilly, ed. by R. Hoekstra, P.F. Patel-Schneider. CEUR Workshop Proceedings, vol. 529 (2009b), http://www.webont.org/owled/2009/papers/owled2009_submission_13.pdf

  • J. Bock, T. Tserendorj, Y. Xu, J. Wissmann, S. Grimm, A reasoning broker framework for protégé, in 11th International Protégé Conference, Amsterdam (June 2009c)

    Google Scholar 

  • D. Calvanese, J. Carroll, G. De Giacomo, I. Herman, B. Parsia, P.F. Patel-Schneider, A. Ruttenberg, U. Sattler, OWL 2 Web Ontology Language – Profiles (2009), http://www.w3.org/TR/owl2-profiles/

  • T. Gardiner, I. Horrocks, D. Tsarkov, Automated benchmarking of description logic reasoners, in Proceedings of the 19th International Workshop on Description Logics, ed. by B. Parsia, U. Sattler, D. Toman. Volume 189 of CEUR Workshop Proceedings (Windermere, Lake District, UK, 2006), http://dblp.uni-trier.de/db/conf/dlog/dlog2006.html#GardinerHT06

  • M. Horridge, S. Bechhofer, The OWL API: a Java API for OWL ontologies. Semant. Web 2(1), 11–21 (2011), http://dblp.uni-trier.de/db/journals/semweb/semweb2.html#HorridgeB11

  • T. Liebig, Reasoning with OWL – system support and insights. Technical Report 2006-04, Universität Ulm - Fakultät für Informatik, Sept 2006

    Google Scholar 

  • T. Liebig, M. Luther, O. Noppens, M. Wessel, OWLlink. Semant. Web – Interoper. Usability, Appl. 2(1), 23–32 (2010)

    Google Scholar 

  • M. Luther, T. Liebig, S. Böhm, O. Noppens, Who the Heck is the father of Bob? A survey of the OWL reasoning infrastructure for expressive real-world applications, in The Semantic Web: Research and Applications, ed. by L. Aroyo, P. Traverso, F. Ciravegna, P. Cimiano, T. Heath, E. Hyvönen, R. Mizoguchi, E. Oren, M. Sabou, E. Simperlm. Volume 5554 of Lecture Notes in Computer Science (Springer, Berlin/Heidelberg/New York, 2009), pp. 66–80

    Google Scholar 

  • Z. Pan, Benchmarking DL reasoners using realistic ontologies, in Proceedings of the OWL: Experiences and Directions Workshop, Galway, ed. by B.C. Grau, I. Horrocks, B. Parsia, P.F. Patel-Schneider. Volume 188 of CEUR Workshop Proceedings (2005), http://dblp.uni-trier.de/db/conf/owled/owled2005.html#Pan05

  • S. Rudolph, T. Tserendorj, P. Hitzler, What is approximate reasoning? in Web Reasoning and Rule Systems. Volume 5341 of Lecture Notes in Computer Science (Springer, Berlin/Heidelberg/New York, 2008), pp. 150–164

    Google Scholar 

  • T. Tserendorj, Approximate assertional reasoning over expressive ontologies. PhD thesis, Fakultät für Wirtschaftswissenschaften, Karlsruher Institut für Technologie (KIT), Jan 2010, http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/1235410

  • T. Tserendorj, S. Rudolph, M. Krötzsch, P. Hitzler, Approximate OWL-reasoning with screech, in Web Reasoning and Rule Systems, ed. by D. Calvanese, G. Lausen. Volume 5341 of Lecture Notes in Computer Science (Springer, Berlin/Heidelberg/New York, 2008), pp. 165–180, http://dblp.uni-trier.de/db/conf/rr/rr2008.html#TserendorjRKH08

Download references

Author information

Authors and Affiliations

  1. FZI, Forschungszentrum Informatik, Karlsruhe, Germany

    Jürgen Bock

Authors
  1. Jürgen Bock
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jürgen Bock .

Editor information

Editors and Affiliations

  1. Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH, Saarbrücken, Germany

    Wolfgang Wahlster

  2. Fraunhofer Heinrich-Hertz-Institut, Berlin, Germany

    Hans-Joachim Grallert

  3. Empolis Information Management GmbH, Kaiserslautern, Germany

    Stefan Wess

  4. Corporate Technology, Siemens AG, München, Germany

    Hermann Friedrich

  5. Strategy Advisory, SAP Deutschland AG & Co. KG, Walldorf, Germany

    Thomas Widenka

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Bock, J. (2014). Reasoning Brokerage: New Reasoning Strategies. In: Wahlster, W., Grallert, HJ., Wess, S., Friedrich, H., Widenka, T. (eds) Towards the Internet of Services: The THESEUS Research Program. Cognitive Technologies. Springer, Cham. https://doi.org/10.1007/978-3-319-06755-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-06755-1_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-06754-4

  • Online ISBN: 978-3-319-06755-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation