Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Semantic Web and Applied Informatics: Selected Research Activities in the Institute AIFB

  • Chapter
Foundations for the Web of Information and Services

Abstract

Research on Semantic Web has a long tradition in the Institute AIFB, and has largely influenced many research projects in the broader field of Applied Informatics. This article reports on a selection of research activities that illustrate the fruitful exchange of Semantic Web and Applied Informatics, covering the topics of Logic and Complexity Management, Efficient Algorithms, Organic Computing, and Business Process Management. This article does not have the character of a research paper in the classical sense. As a contribution to this Festschrift, it comprises a very special and personal selection of topics and research activities and should be considered as a message of greetings in honor of our colleague: Rudi Studer.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.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

Institutional subscriptions

Similar content being viewed by others

References

  1. Agarwal, S., Hitzler, P.: Modeling fuzzy rules with description logics. In: Cuenca Grau, Bernardo, Horrocks, Ian, Parsia, Bijan, Patel-Schneider, Peter (eds.) Proceedings of Workshop on OWL Experiences and Directions, Galway, Ireland. CEUR Workshop Proceedings, vol. 188 (2005). Online: http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-188/sub5.pdf

    Google Scholar 

  2. Agarwal, S., Lamparter, S.: SMART: a semantic matchmaking portal for electronic markets. In: Proceedings of Seventh IEEE International Conference on E-Commerce Technology (CEC’05), pp. 405–408 (2005)

    Chapter  Google Scholar 

  3. Ait-Kaci, H., Podelski, A., Smolka, G.: A feature constraint system for logic programming with entailment. Theor. Comput. Sci. 122(1&2), 263–283 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  4. Albert, R., Barabási, A.L.: Statistical mechanics of complex networks. Rev. Mod. Phys. 74, 47–97 (2002)

    Article  MATH  Google Scholar 

  5. Angele, J., Schnurr, H.P., Brockmans, S., Erdmann, M.: Real world application of semantic technology. In: Fensel, D. (ed.) Foundations for the Web of Information and Services, pp. 327–341. Springer, Berlin (2011). This volume

    Chapter  Google Scholar 

  6. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description-Logic Handbook. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  7. Barabási, A.L., Dezso, Z., Ravasz, E., Yook, S.H., Oltvai, Z.: Scale-free and hierarchical structures in complex networks. In: Pastor-Satorras, R., Rubi, J., Diaz-Guilera, A. (eds.) Statistical Mechanics of Complex Networks. Lecture Notes in Physics. Springer, Berlin (2003)

    Google Scholar 

  8. Baudisch, A., Seese, D., Tuschik, P., Weese, M.: Decidability and quantifier-elimination. In: Barwise, J., Feferman, S., Model-Theoretic Logics, pp. 235–270. Springer, New York (1985). Chap. VII

    Google Scholar 

  9. Bergfelder, M., Nitschke, T., Sorge, C.: Signaturen durch elektronische Agenten—Vertragsschluss, Form und Beweis. Informatik Spektrum 28(3), 210–219 (2005)

    Article  Google Scholar 

  10. Betz, S., Klink, S., Koschmider, A., Oberweis, A.: Automatic user support for business process modeling. In: Hinkelmann, K., Karagiannis, D., Stojanovic, N., Wagner, G. (eds.) Proc. Workshop on Semantics for Business Process Management at the 3rd European Semantic Web Conference, Budva/Montenegro, pp. 1–12 (2006)

    Google Scholar 

  11. Blohm, S.: Large-scale pattern-based information extraction from the world wide web. PhD Thesis at the Karlsruhe Institute of Technology (KIT) (2009)

    Google Scholar 

  12. Brachman, R.J., Levesque, H.J.: The tractability of subsumption in frame-based description languages. In: Brachman, R.J. (ed.) Proceedings of the National Conference on Artificial Intelligence (AAAI’84), Austin, USA, August 6–10, 1984, pp. 34–37. AAAI Press, Menlo Park (1984)

    Google Scholar 

  13. Brachman, J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier, Amsterdam (2004)

    Google Scholar 

  14. Brockmans, S., Ehrig, M., Koschmider, A., Oberweis, A., Studer, R.: Semantic alignment of business processes. In: Manolopoulos, Y., Filipe, J., Constantopoulos, P., Cordeiro, J. (eds.) Proc. Eighth International Conference on Enterprise Information Systems (ICEIS 2006), pp. 191–196. INSTICC Press, Paphos/Cyprus (2006)

    Google Scholar 

  15. Conrad, M., Dinger, J., Hartenstein, H., Rolli, D., Schöller, M., Zitterbart, M.: A peer-to-peer framework for electronic markets. In: Peer-to-Peer Systems and Applications. Lecture Notes in Computer Science, vol. 3485. Springer, Berlin (2005)

    Chapter  Google Scholar 

  16. Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, New York (1999)

    Google Scholar 

  17. Ehrig, M., Koschmider, A., Oberweis, A.: Measuring similarity between semantic business process models. In: Roddick, J.F., Hinze, A. (eds.) Conceptual Modelling 2007, Proc. Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM 2007), Ballarat, Victoria/Australia. Australian Computer Science Communications, vol. 67, pp. 71–80 (2007)

    Google Scholar 

  18. Fitting, M.C.: Intuitionistic Logic Model Theory and Forcing. North-Holland, Amsterdam (1969)

    MATH  Google Scholar 

  19. Franke, M., Rolli, D., Kamper, A., Dietrich, A., Geyer-Schulz, A., Lockemann, P., Schmeck, H., Weinhardt, C.: Impacts of distributed generation from virtual power plants. In: Proceedings of the 11th Annual International Sustainable Development Research Conference, pp. 1–12 (2005)

    Google Scholar 

  20. Genesereth, M.L., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Los Altos (1987)

    MATH  Google Scholar 

  21. Geyer-Schulz, A.: Fuzzy Rule-Based Expert Systems and Genetic Machine Learning, second revised and enlarged edition. Physica-Verlag, Heidelberg (1997)

    Google Scholar 

  22. Gil, R., García, R., Delgado, J.: Measuring the Semantic Web, ongoing research column: real world SW cases. AIS SIGSEMIS Bull. 1(2), 69–72 (2004)

    Google Scholar 

  23. Gottlob, G., Szeider, S.: Fixed-parameter algorithms for artificial intelligence, constraint satisfaction and database problems. Comput. J. 51(3), 303–325 (2008)

    Article  Google Scholar 

  24. Grädel, E., Kolaitis, P.G., Libkin, L., Marx, M., Spencer, J., Vardi, M.Y., Venema, Y., Weinstein, S.: Finite Model Theory and Its Applications. Springer, Berlin (2007)

    MATH  Google Scholar 

  25. Grimm, S., Steffen Lamparter, S., Abecker, A., Agarwal, S., Eberhart, A.: Ontology based specification of web service policies. In: Proceedings of Semantic Web Services and Dynamic Networks, Informatik04 (2004)

    Google Scholar 

  26. Hendler, E., Berners-Lee, T.: From the semantic Web to social machines: a research challenge for AI on the World Wide Web. Artif. Intell. 174, 156–161 (2010)

    Article  MathSciNet  Google Scholar 

  27. Hemaspaandra, L.A., Ogilhara, M.: The Complexity Theory Companion. Springer, Berlin (2002)

    MATH  Google Scholar 

  28. Herre, H., Heller, B., Burek, P., Hoehndorf, R., Loebe, L., Michalek, H.: General Formal Ontology (GFO), Part I: Basic Principles, Version 1.0, OntoMed Report No. 8—July 2006. University Leipzig, Institute of Medical Informatics, Statistics and Epidemiology (IMISE) and Institute of Informatics (IfI) Department of Formal Concepts (2006). http://www.ontomed.de/

  29. Hlineny, H., Oum, S., Seese, D., Gottlob, G.: Width parameters beyond tree-width and their applications. Comput. J. 51(3), 326–362 (2008)

    Article  Google Scholar 

  30. Hornung, T., Koschmider, A., Oberweis, A.: Rule-based autocompletion of business process models. In: Proc. CAiSE Forum, 19th Conference on Advanced Information Systems Engineering, Trondheim/Norway (2007)

    Google Scholar 

  31. Hornung, T., Koschmider, A., Lausen, G.: Recommendation based process modeling support: method and user experience. In: Li, Q., Spaccapietra, S., Yu, E., Olivé, A. (eds.) Proc. 27th International Conference on Conceptual Modeling (ER’08), Barcelona/Spain. Lecture Notes in Computer Science, pp. 265–278. Springer, Berlin (2008)

    Google Scholar 

  32. Immerman, N.: Descriptive Complexity. Springer, New York (1998)

    Google Scholar 

  33. Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic. Prentice Hall, New York (1995)

    MATH  Google Scholar 

  34. Koschmider, A.: Ähnlichkeitsbasierte Modellierungsunterstützung für Geschäftsprozesse. Dissertation. Karlsruhe University Press, Universität Karlsruhe (TH) (2007) (in German)

    Google Scholar 

  35. Koschmider, A., Oberweis, A.: Designing business processes with a recommendation-based editor. In: Rosemann, M., van Brocke, J. (eds.) Handbook on Business Process Management, vol. 1. Springer, Berlin (2010)

    Google Scholar 

  36. Krötzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for horn description logics. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), pp. 452–457. AAAI Press, Menlo Park (2007)

    Google Scholar 

  37. Langston, M.A., Perkins, A.D., Saxton, A.M., Scharff, J.A., Voy, B.H.: Innovative computational methods for transcriptomic data analysis: a case study in the use of FPT for practical algorithm design and implementation. Comput. J. 51(1), 26–38 (2008)

    Article  Google Scholar 

  38. Libkin, L.: Elements of Finite Model Theory. Springer, Berlin (2004)

    MATH  Google Scholar 

  39. MeRegio: Homepage of project MeRegio. http://meregio.forschung.kit.edu

  40. MeRegioMobil: Homepage of project MeRegioMobil. http://meregiomobil.forschung.kit.edu

  41. Müller-Schloer, C., Schmeck, H.: Organic computing: a grand challenge for mastering complex systems. it-Inf. Technol. 51(3), 135–141 (2010)

    Article  Google Scholar 

  42. Näher, S., Wagner, D. (eds.): Algorithm Engineering: 4th International Workshop, Proceedings/WAE 2000, Saarbrücken, Germany, September 5–8, 2000. Lecture Notes in Computer Science, vol. 1982. Springer, Berlin (2001)

    Google Scholar 

  43. Niedermeir, R.: Invitation to Fixed-Parameter Algorithms. Ball, J., Welsh, D. (eds.) Oxford Lecture Series in Mathematics and Its Applications, vol. 31. Oxford University Press, London (2006)

    Chapter  Google Scholar 

  44. SPP Organic Computing: Homepage. http://www.organic-computing.de/SPP

  45. Pérez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. Lecture Notes in Computer Science, vol. 4273, pp. 30–43. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  46. Rabin, M.O.: Decidable theories. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp. 559–629. North-Holland, Amsterdam (1977)

    Google Scholar 

  47. Samer, M., Szeider, S.: Fixed-parameter tractability. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability. IOS Press, Amsterdam (2009). Chap. 13

    Google Scholar 

  48. Schmeck, H.: Organic computing—a new vision for distributed embedded systems. In: Proceedings Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), Seattle, WA, USA, May 18–20, 2005, pp. 201–203. IEEE Comput. Soc., Los Alamitos (2005)

    Chapter  Google Scholar 

  49. Schmeck, H., Karg, L.: Editorial: E-energy—paving the way for an Internet of energy. it-Inf. Technol. 51(2), 55–57 (2010)

    Article  Google Scholar 

  50. Szeider, S.: Parameterized SAT. In: Kao, M.Y. (ed.) Encyclopedia of Algorithms. Springer, Berlin (2008)

    Google Scholar 

  51. Tarski, A., Mostowski, A., Robinson, R.M.: Undecidable Theories. North-Holland, Amsterdam (1953)

    MATH  Google Scholar 

  52. Tserendorj, T.: Approximate assertional reasoning over expressive ontologies. PhD, Karlsruhe Institute of Technology (KIT) (2009)

    Google Scholar 

  53. Williams, R.: A new algorithm for optimal constraint satisfaction ant its implications. In: Proc. 31st ICALP. Lecture Notes in Computer Science, vol. 3142, pp. 1227–1237. Springer, Berlin (2004)

    Google Scholar 

Download references

Acknowledgements

We wish to thank Agnes Koschmider for her contribution to Sect. 2 “Semantic Business Process Management”.

Author information

Authors and Affiliations

  1. Institute AIFB, Karlsruhe Institute of Technology (KIT), 76128, Karlsruhe, Germany

    Andreas Oberweis, Hartmut Schmeck, Detlef Seese, Wolffried Stucky & Stefan Tai

Authors
  1. Andreas Oberweis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hartmut Schmeck
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Detlef Seese
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Wolffried Stucky
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Stefan Tai
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Andreas Oberweis .

Editor information

Editors and Affiliations

  1. STI Innsbruck, ICT - Technologiepark, University of Innsbruck, Technikerstr. 21a, Innsbruck, 6020, Austria

    Dieter Fensel

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Oberweis, A., Schmeck, H., Seese, D., Stucky, W., Tai, S. (2011). Semantic Web and Applied Informatics: Selected Research Activities in the Institute AIFB. In: Fensel, D. (eds) Foundations for the Web of Information and Services. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19797-0_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-19797-0_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-19796-3

  • Online ISBN: 978-3-642-19797-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation