{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:14:32Z","timestamp":1743041672881,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642197963"},{"type":"electronic","value":"9783642197970"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19797-0_2","type":"book-chapter","created":{"date-parts":[[2011,6,20]],"date-time":"2011-06-20T07:03:58Z","timestamp":1308553438000},"page":"29-40","source":"Crossref","is-referenced-by-count":0,"title":["Semantic Web and Applied Informatics: Selected Research Activities in the Institute AIFB"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Oberweis","sequence":"first","affiliation":[]},{"given":"Hartmut","family":"Schmeck","sequence":"additional","affiliation":[]},{"given":"Detlef","family":"Seese","sequence":"additional","affiliation":[]},{"given":"Wolffried","family":"Stucky","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Tai","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","series-title":"CEUR Workshop Proceedings","volume-title":"Proceedings of Workshop on OWL Experiences and Directions","author":"S. Agarwal","year":"2005","unstructured":"Agarwal, S., Hitzler, P.: Modeling fuzzy rules with description logics. In: Cuenca\u00a0Grau, Bernardo, Horrocks, Ian, Parsia, Bijan, Patel-Schneider, Peter (eds.) Proceedings of Workshop on OWL Experiences and Directions, Galway, Ireland. CEUR Workshop Proceedings, vol.\u00a0188 (2005). Online: http:\/\/ftp.informatik.rwth-aachen.de\/Publications\/CEUR-WS\/Vol-188\/sub5.pdf"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1109\/ICECT.2005.84","volume-title":"Proceedings of Seventh IEEE International Conference on E-Commerce Technology (CEC\u201905)","author":"S. Agarwal","year":"2005","unstructured":"Agarwal, S., Lamparter, S.: SMART: a semantic matchmaking portal for electronic markets. In: Proceedings of Seventh IEEE International Conference on E-Commerce Technology (CEC\u201905), pp. 405\u2013408 (2005)"},{"issue":"1&2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0304-3975(94)90209-7","volume":"122","author":"H. Ait-Kaci","year":"1994","unstructured":"Ait-Kaci, H., Podelski, A., Smolka, G.: A feature constraint system for logic programming with entailment. Theor. Comput. Sci. 122(1&2), 263\u2013283 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1103\/RevModPhys.74.47","volume":"74","author":"R. Albert","year":"2002","unstructured":"Albert, R., Barab\u00e1si, A.L.: Statistical mechanics of complex networks. Rev. Mod. Phys. 74, 47\u201397 (2002)","journal-title":"Rev. Mod. Phys."},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-19797-0_17","volume-title":"Foundations for the Web of Information and Services","author":"J. Angele","year":"2011","unstructured":"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.\u00a0327\u2013341. Springer, Berlin (2011). This volume"},{"volume-title":"The Description-Logic Handbook","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description-Logic Handbook. Cambridge University Press, Cambridge (2003)","key":"2_CR6"},{"key":"2_CR7","series-title":"Lecture Notes in Physics","volume-title":"Statistical Mechanics of Complex Networks","author":"A.L. Barab\u00e1si","year":"2003","unstructured":"Barab\u00e1si, 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)"},{"key":"2_CR8","first-page":"235","volume-title":"Model-Theoretic Logics","author":"A. Baudisch","year":"1985","unstructured":"Baudisch, A., Seese, D., Tuschik, P., Weese, M.: Decidability and quantifier-elimination. In: Barwise, J., Feferman, S., Model-Theoretic Logics, pp. 235\u2013270. Springer, New York (1985). Chap.\u00a0VII"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/s00287-005-0487-0","volume":"28","author":"M. Bergfelder","year":"2005","unstructured":"Bergfelder, M., Nitschke, T., Sorge, C.: Signaturen durch elektronische Agenten\u2014Vertragsschluss, Form und Beweis. Informatik Spektrum 28(3), 210\u2013219 (2005)","journal-title":"Informatik Spektrum"},{"key":"2_CR10","first-page":"1","volume-title":"Proc. Workshop on Semantics for Business Process Management at the 3rd European Semantic Web Conference","author":"S. Betz","year":"2006","unstructured":"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\u201312 (2006)"},{"unstructured":"Blohm, S.: Large-scale pattern-based information extraction from the world wide web. PhD Thesis at the Karlsruhe Institute of Technology (KIT) (2009)","key":"2_CR11"},{"key":"2_CR12","first-page":"34","volume-title":"Proceedings of the National Conference on Artificial Intelligence (AAAI\u201984)","author":"R.J. Brachman","year":"1984","unstructured":"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\u201984), Austin, USA, August 6\u201310, 1984, pp. 34\u201337. AAAI Press, Menlo Park (1984)"},{"key":"2_CR13","volume-title":"Knowledge Representation and Reasoning","author":"J. Brachman","year":"2004","unstructured":"Brachman, J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier, Amsterdam (2004)"},{"key":"2_CR14","first-page":"191","volume-title":"Proc. Eighth International Conference on Enterprise Information Systems (ICEIS 2006)","author":"S. Brockmans","year":"2006","unstructured":"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.\u00a0191\u2013196. INSTICC Press, Paphos\/Cyprus (2006)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11530657_30","volume-title":"Peer-to-Peer Systems and Applications","author":"M. Conrad","year":"2005","unstructured":"Conrad, M., Dinger, J., Hartenstein, H., Rolli, D., Sch\u00f6ller, M., Zitterbart, M.: A peer-to-peer framework for electronic markets. In: Peer-to-Peer Systems and Applications. Lecture Notes in Computer Science, vol.\u00a03485. Springer, Berlin (2005)"},{"key":"2_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0515-9","volume-title":"Parameterized Complexity","author":"R.G. Downey","year":"1999","unstructured":"Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, New York (1999)"},{"key":"2_CR17","series-title":"Australian Computer Science Communications","first-page":"71","volume-title":"Conceptual Modelling 2007, Proc. Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM 2007)","author":"M. Ehrig","year":"2007","unstructured":"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.\u00a067, pp. 71\u201380 (2007)"},{"key":"2_CR18","volume-title":"Intuitionistic Logic Model Theory and Forcing","author":"M.C. Fitting","year":"1969","unstructured":"Fitting, M.C.: Intuitionistic Logic Model Theory and Forcing. North-Holland, Amsterdam (1969)"},{"key":"2_CR19","first-page":"1","volume-title":"Proceedings of the 11th Annual International Sustainable Development Research Conference","author":"M. Franke","year":"2005","unstructured":"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\u201312 (2005)"},{"key":"2_CR20","volume-title":"Logical Foundations of Artificial Intelligence","author":"M.L. Genesereth","year":"1987","unstructured":"Genesereth, M.L., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Los Altos (1987)"},{"key":"2_CR21","volume-title":"Fuzzy Rule-Based Expert Systems and Genetic Machine Learning","author":"A. Geyer-Schulz","year":"1997","unstructured":"Geyer-Schulz, A.: Fuzzy Rule-Based Expert Systems and Genetic Machine Learning, second revised and enlarged edition. Physica-Verlag, Heidelberg (1997)","edition":"2"},{"issue":"2","key":"2_CR22","first-page":"69","volume":"1","author":"R. Gil","year":"2004","unstructured":"Gil, R., Garc\u00eda, R., Delgado, J.: Measuring the Semantic Web, ongoing research column: real world SW cases. AIS SIGSEMIS Bull. 1(2), 69\u201372 (2004)","journal-title":"AIS SIGSEMIS Bull."},{"issue":"3","key":"2_CR23","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1093\/comjnl\/bxm056","volume":"51","author":"G. Gottlob","year":"2008","unstructured":"Gottlob, G., Szeider, S.: Fixed-parameter algorithms for artificial intelligence, constraint satisfaction and database problems. Comput. J. 51(3), 303\u2013325 (2008)","journal-title":"Comput. J."},{"key":"2_CR24","volume-title":"Finite Model Theory and Its Applications","author":"E. Gr\u00e4del","year":"2007","unstructured":"Gr\u00e4del, 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)"},{"key":"2_CR25","volume-title":"Proceedings of Semantic Web Services and Dynamic Networks, Informatik04","author":"S. Grimm","year":"2004","unstructured":"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)"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.artint.2009.11.010","volume":"174","author":"E. Hendler","year":"2010","unstructured":"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\u2013161 (2010)","journal-title":"Artif. Intell."},{"key":"2_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04880-1","volume-title":"The Complexity Theory Companion","author":"L.A. Hemaspaandra","year":"2002","unstructured":"Hemaspaandra, L.A., Ogilhara, M.: The Complexity Theory Companion. Springer, Berlin (2002)"},{"unstructured":"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\u2014July 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\/","key":"2_CR28"},{"issue":"3","key":"2_CR29","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1093\/comjnl\/bxm052","volume":"51","author":"H. Hlineny","year":"2008","unstructured":"Hlineny, H., Oum, S., Seese, D., Gottlob, G.: Width parameters beyond tree-width and their applications. Comput. J. 51(3), 326\u2013362 (2008)","journal-title":"Comput. J."},{"key":"2_CR30","volume-title":"Proc. CAiSE Forum, 19th Conference on Advanced Information Systems Engineering","author":"T. Hornung","year":"2007","unstructured":"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)"},{"key":"2_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-540-87877-3_20","volume-title":"Proc. 27th International Conference on Conceptual Modeling (ER\u201908)","author":"T. Hornung","year":"2008","unstructured":"Hornung, T., Koschmider, A., Lausen, G.: Recommendation based process modeling support: method and user experience. In: Li, Q., Spaccapietra, S., Yu, E., Oliv\u00e9, A. (eds.) Proc. 27th International Conference on Conceptual Modeling (ER\u201908), Barcelona\/Spain. Lecture Notes in Computer Science, pp. 265\u2013278. Springer, Berlin (2008)"},{"key":"2_CR32","volume-title":"Descriptive Complexity","author":"N. Immerman","year":"1998","unstructured":"Immerman, N.: Descriptive Complexity. Springer, New York (1998)"},{"key":"2_CR33","volume-title":"Fuzzy Sets and Fuzzy Logic","author":"G.J. Klir","year":"1995","unstructured":"Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic. Prentice Hall, New York (1995)"},{"unstructured":"Koschmider, A.: \u00c4hnlichkeitsbasierte Modellierungsunterst\u00fctzung f\u00fcr Gesch\u00e4ftsprozesse. Dissertation. Karlsruhe University Press, Universit\u00e4t Karlsruhe (TH) (2007) (in German)","key":"2_CR34"},{"key":"2_CR35","volume-title":"Handbook on Business Process Management","author":"A. Koschmider","year":"2010","unstructured":"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)"},{"key":"2_CR36","first-page":"452","volume-title":"Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07)","author":"M. Kr\u00f6tzsch","year":"2007","unstructured":"Kr\u00f6tzsch, 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\u2013457. AAAI Press, Menlo Park (2007)"},{"issue":"1","key":"2_CR37","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1093\/comjnl\/bxm003","volume":"51","author":"M.A. Langston","year":"2008","unstructured":"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\u201338 (2008)","journal-title":"Comput. J."},{"key":"2_CR38","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07003-1","volume-title":"Elements of Finite Model Theory","author":"L. Libkin","year":"2004","unstructured":"Libkin, L.: Elements of Finite Model Theory. Springer, Berlin (2004)"},{"unstructured":"MeRegio: Homepage of project MeRegio. http:\/\/meregio.forschung.kit.edu","key":"2_CR39"},{"unstructured":"MeRegioMobil: Homepage of project MeRegioMobil. http:\/\/meregiomobil.forschung.kit.edu","key":"2_CR40"},{"issue":"3","key":"2_CR41","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1524\/itit.2010.0582","volume":"51","author":"C. M\u00fcller-Schloer","year":"2010","unstructured":"M\u00fcller-Schloer, C., Schmeck, H.: Organic computing: a grand challenge for mastering complex systems. it-Inf. Technol. 51(3), 135\u2013141 (2010)","journal-title":"it-Inf. Technol."},{"key":"2_CR42","series-title":"Lecture Notes in Computer Science","volume-title":"Algorithm Engineering: 4th International Workshop, Proceedings\/WAE 2000","year":"2001","unstructured":"N\u00e4her, S., Wagner, D. (eds.): Algorithm Engineering: 4th International Workshop, Proceedings\/WAE 2000, Saarbr\u00fccken, Germany, September 5\u20138, 2000. Lecture Notes in Computer Science, vol.\u00a01982. Springer, Berlin (2001)"},{"key":"2_CR43","series-title":"Oxford Lecture Series in Mathematics and Its Applications","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198566076.001.0001","volume-title":"Invitation to Fixed-Parameter Algorithms","author":"R. Niedermeir","year":"2006","unstructured":"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)"},{"unstructured":"SPP Organic Computing: Homepage. http:\/\/www.organic-computing.de\/SPP","key":"2_CR44"},{"key":"2_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11926078_3","volume-title":"ISWC 2006","author":"J. P\u00e9rez","year":"2006","unstructured":"P\u00e9rez, 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\u201343. Springer, Heidelberg (2006)"},{"key":"2_CR46","first-page":"559","volume-title":"Handbook of Mathematical Logic","author":"M.O. Rabin","year":"1977","unstructured":"Rabin, M.O.: Decidable theories. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp.\u00a0559\u2013629. North-Holland, Amsterdam (1977)"},{"key":"2_CR47","volume-title":"Handbook of Satisfiability","author":"M. Samer","year":"2009","unstructured":"Samer, M., Szeider, S.: Fixed-parameter tractability. In: Biere, A., Heule, M., van\u00a0Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability. IOS Press, Amsterdam (2009). Chap.\u00a013"},{"key":"2_CR48","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1109\/ISORC.2005.42","volume-title":"Proceedings Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005)","author":"H. Schmeck","year":"2005","unstructured":"Schmeck, H.: Organic computing\u2014a 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\u201320, 2005, pp. 201\u2013203. IEEE Comput. Soc., Los Alamitos (2005)"},{"issue":"2","key":"2_CR49","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1524\/itit.2010.9062","volume":"51","author":"H. Schmeck","year":"2010","unstructured":"Schmeck, H., Karg, L.: Editorial: E-energy\u2014paving the way for an Internet of energy. it-Inf. Technol. 51(2), 55\u201357 (2010)","journal-title":"it-Inf. Technol."},{"key":"2_CR50","volume-title":"Encyclopedia of Algorithms","author":"S. Szeider","year":"2008","unstructured":"Szeider, S.: Parameterized SAT. In: Kao, M.Y. (ed.) Encyclopedia of Algorithms. Springer, Berlin (2008)"},{"key":"2_CR51","volume-title":"Undecidable Theories","author":"A. Tarski","year":"1953","unstructured":"Tarski, A., Mostowski, A., Robinson, R.M.: Undecidable Theories. North-Holland, Amsterdam (1953)"},{"unstructured":"Tserendorj, T.: Approximate assertional reasoning over expressive ontologies. PhD, Karlsruhe Institute of Technology (KIT) (2009)","key":"2_CR52"},{"key":"2_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1227","DOI":"10.1007\/978-3-540-27836-8_101","volume-title":"Proc. 31st ICALP","author":"R. Williams","year":"2004","unstructured":"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\u20131237. Springer, Berlin (2004)"}],"container-title":["Foundations for the Web of Information and Services"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19797-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T00:44:36Z","timestamp":1675730676000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-19797-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642197963","9783642197970"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19797-0_2","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}