{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T13:10:03Z","timestamp":1746277803023,"version":"3.40.4"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319082592"},{"type":"electronic","value":"9783319082608"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08260-8_8","type":"book-chapter","created":{"date-parts":[[2014,6,24]],"date-time":"2014-06-24T07:13:31Z","timestamp":1403594011000},"page":"127-146","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems"],"prefix":"10.1007","author":[{"given":"Wusheng","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas T.","family":"Hildebrandt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,6,25]]},"reference":[{"key":"8_CR1","volume-title":"Non-monotonic Reasoning: Formalization of Commonsense Reasoning","author":"W Aukaszewicz","year":"1990","unstructured":"Aukaszewicz, W.: Non-monotonic Reasoning: Formalization of Commonsense Reasoning. Ellis Horwood, New York (1990)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/11690634_13","volume-title":"Foundations of Software Science and Computation Structures","author":"L Birkedal","year":"2006","unstructured":"Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical models of context-aware systems. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol. 3921, pp. 187\u2013201. Springer, Heidelberg (2006)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-68265-3_6","volume-title":"Coordination Models and Languages","author":"M Bundgaard","year":"2008","unstructured":"Bundgaard, M., Glenstrup, A.J., Hildebrandt, T., H\u00f8jsgaard, E., Niss, H.: Formalizing higher-order mobile embedded business processes with binding bigraphs. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 83\u201399. Springer, Heidelberg (2008)"},{"issue":"4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1016\/j.eswa.2004.06.008","volume":"27","author":"K Byung","year":"2004","unstructured":"Byung, K.: Modeling and generating context-aware agent-based applications with amended colored petri nets. Expert Syst. Appl. 27(4), 609\u2013621 (2004)","journal-title":"Expert Syst. Appl."},{"issue":"5","key":"8_CR5","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1093\/logcom\/exn049","volume":"19","author":"S Castano","year":"2009","unstructured":"Castano, S., Peraldi, I.S.E., Ferrara, A., Karkaletsis, V., Kaya, A., M\u00f6ller, R., Montanelli, S., Petasis, G., Wessel, M.: Multimedia interpretation for dynamic ontology evolution. J. Logic Comput. 19(5), 859\u2013897 (2009)","journal-title":"J. Logic Comput."},{"key":"8_CR6","first-page":"l288","volume-title":"Encyclopedia of Artificial Intelligence","author":"E Davis","year":"1992","unstructured":"Davis, E.: Common sense reasoning. In: Shapiro, E. (ed.) Encyclopedia of Artificial Intelligence, pp. l288\u2013l294. Wiley, Chichester (1992)"},{"key":"8_CR7","unstructured":"Faithfull, A., Perrone, G., Hildebrandt, T.: Big red: a development envronment for bigraphs. In: Margaria, T., Padberg, J., Taenzer, G. (eds.) Selected Revised Papers from the 4th International Workshop on Graph Computation Models (GCM 2012), vol. 61. ECEASST (2013): http:\/\/www.easst.org\/eceasst\/"},{"issue":"5","key":"8_CR8","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","volume":"43","author":"TR Gruber","year":"1995","unstructured":"Gruber, T.R., et al.: Toward principles for the design of ontologies used for knowledge sharing. Int. J. Hum. Comput. Stud. 43(5), 907\u2013928 (1995)","journal-title":"Int. J. Hum. Comput. Stud."},{"key":"8_CR9","unstructured":"Gu, T., Wang, X.H., Pung, H.K., Zhang, D.Q.: An ontology-based context model in intelligent environments. In: Proceedings of Communication Networks and Distributed Systems Modeling and Simulation Conference, vol. 2004, pp. 270\u2013275 (2004)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Hansen, J.P., Glenstrup, A.J., Wusheng, W., Weiping, L., Zhonghai, W.: Collecting location-based voice messages on a talkingbadge. In: Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design, NordiCHI \u201912, pp. 219\u2013227. ACM (2012)","DOI":"10.1145\/2399016.2399050"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Hansen, J.P., Wusheng, W., Shklovski, I.: Talkingbadge demo. In: Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design, NordiCHI \u201912, pp. 771\u2013772. ACM (2012)","DOI":"10.1145\/2399016.2399139"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Heflin, J., Hendler, J.A.: Dynamic ontologies on the web. In: Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, pp. 443\u2013449. AAAI Press (2000)","DOI":"10.21236\/ADA440528"},{"key":"8_CR13","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M., et al.: Swrl: a semantic web rule language combining owl and ruleml. W3C Member submission, 21:79 (2004)"},{"key":"8_CR14","unstructured":"Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised), Technical report. University of Cambridge Computer Laboratory (2004)"},{"key":"8_CR15","unstructured":"Jess, the rule engine for the java platform. http:\/\/www.jessrules.com\/jess\/index.shtml"},{"key":"8_CR16","unstructured":"John, M.C., Patrick, J.H.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 4, pp. 463\u2013502. Edinburgh University Press (1969). Reprinted in McC90"},{"issue":"3","key":"8_CR17","doi-asserted-by":"publisher","first-page":"439","DOI":"10.3166\/ria.19.439-458","volume":"19","author":"JW Kaltz","year":"2005","unstructured":"Kaltz, J.W., Ziegler, J., Lohmann, S.: Context-aware web engineering: modeling and applications. Revue d\u2019intelligence Artificielle 19(3), 439\u2013458 (2005)","journal-title":"Revue d\u2019intelligence Artificielle"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"T Michael","year":"1997","unstructured":"Michael, T.: Ramification and causality. Artif. Intell. 89, 317\u2013364 (1997)","journal-title":"Artif. Intell."},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-44685-0_2","volume-title":"CONCUR 2001 - Concurrency Theory","author":"R Milner","year":"2001","unstructured":"Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, p. 16. Springer, Heidelberg (2001)"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1007\/978-3-540-27755-2_19","volume-title":"Lectures on Concurrency and Petri Nets","author":"Robin Milner","year":"2004","unstructured":"Milner, Robin: Bigraphs for petri nets. In: Desel, J\u00f6rg, Reisig, Wolfgang, Rozenberg, Grzegorz (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 686\u2013701. Springer, Heidelberg (2004)"},{"key":"8_CR21","unstructured":"Milner, R.: Pure bigraphs. Technical report UCAM-CL-TR-614, University of Cambridge (2005)"},{"key":"8_CR22","unstructured":"Owl web ontology language reference (2004). http:\/\/www.w3.org\/TR\/2004\/REC-owl-ref-20040210\/"},{"key":"8_CR23","unstructured":"Owl 2 web ontology language document overview, 2nd edn. (2012). http:\/\/www.w3.org\/TR\/2012\/REC-owl2-overview-20121211\/"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Pereira, E., Kirsch, C.M., Sengupta, R., de Sousa, J.B.: Bigactors-a model for structure-aware computation. In: ACM\/IEEE 4th International Conference on Cyber-Physical Systems (2013)","DOI":"10.1145\/2502524.2502551"},{"key":"8_CR25","unstructured":"Perrone, G.: Domain-specific modelling languages in bigraphs. Ph.D. thesis, IT University of Copenhagen, Copenhagen (2013)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Perrone, G., Debois, S., Hildebrandt, T.T.: A model checker for bigraphs. In: ACM Symposium on Applied Computing - Software Verification and Tools Track, ACM SAC-SVT \u201912 (2012)","DOI":"10.1145\/2245276.2231985"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"Coordination Models and Languages","author":"B Perrone","year":"2004","unstructured":"Perrone, B., Gian, P.P.: On calculi for context-aware coordination. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949. Springer, Heidelberg (2004)"},{"key":"8_CR28","unstructured":"The prot\u00e8g\u00e8 ontology editor and knowledge acquisition system (2004). http:\/\/protege.stanford.edu\/"},{"key":"8_CR29","unstructured":"Rdf semantics (2004). http:\/\/www.w3.org\/TR\/2004\/REC-rdf-mt-20040210\/"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Schilit, B.N., Adams, N., Want, R.: Context-aware computing applications. In: Proceedings of the 1st Workshop on Mobile Computing Systems and Applications, WMCSA \u201994 (1994)","DOI":"10.1109\/WMCSA.1994.16"},{"key":"8_CR31","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/65.313011","volume":"5","author":"BUIN Schilit","year":"1994","unstructured":"Schilit, B.U.I.N., Theimer, M.M.: Disseminating active map information to mobile hosts. IEEE Netw. 5, 22\u201332 (1994)","journal-title":"IEEE Netw."},{"key":"8_CR32","volume-title":"Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia","author":"M Shanahan","year":"1997","unstructured":"Shanahan, M.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)"},{"key":"8_CR33","volume-title":"The Frame Problem","author":"M Shanahan","year":"2006","unstructured":"Shanahan, M.: The Frame Problem. Wiley Online Library, New York (2006)"},{"issue":"4","key":"8_CR34","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1016\/j.jcss.2010.02.003","volume":"77","author":"F Siewe","year":"2011","unstructured":"Siewe, F., Zedan, H., Cau, A.: The calculus of context-aware ambients. J. Comput. Syst. Sci. 77(4), 597\u2013620 (2011)","journal-title":"J. Comput. Syst. Sci."},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"Tong, M., Weiping, L., Weijie, C., Zhonghai, W.: An event driven model for context-aware service. In: Proceedings of the 2011 IEEE International Conference on Web Services, ICWS \u201911, pp. 740\u2013741. IEEE Computer Society, Washington (2011)","DOI":"10.1109\/ICWS.2011.125"},{"issue":"11","key":"8_CR36","first-page":"2084","volume":"33","author":"M Tong","year":"2010","unstructured":"Tong, M., Weiping, L., Zhonghai, W., Weijie, C.: Framework of context-aware based service system. Jisuanji Xuebao (Chin. J. Comput.) 33(11), 2084\u20132092 (2010)","journal-title":"Jisuanji Xuebao (Chin. J. Comput.)"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Weijie, C., Tong, M., Jie, C., Yuan, W., Jingmin, X., Weiping, L., Huiping, L.: A context-aware services development model. In: Proceedings of the 2012 International Joint Conference on Service Sciences, IJCSS \u201912, pp. 194\u2013199. IEEE (2012)","DOI":"10.1109\/IJCSS.2012.35"},{"key":"8_CR38","unstructured":"Wusheng, W., Perrone, G., Hildebrandt, T.: Petri nets in bigraphs revisited. In: 24th Nordic Workshop on Programming Theory, NWPT \u201912 (2012)"},{"key":"8_CR39","doi-asserted-by":"crossref","unstructured":"Wusheng, W., Weiping, L., Zhonghai, W.: A process calculus for context-aware systems. In: Proceedings of the 10th International Conference on Services Computing, SCC \u201913. IEEE (2013)","DOI":"10.1109\/SCC.2013.106"},{"key":"8_CR40","doi-asserted-by":"crossref","unstructured":"Wusheng, W., Weiping, L., Zhonghai, W., Weijie, C., Tong, M.: An ontology-based context model for building context-aware services. In: Proceedings of 2nd International Conference on Intelligent Systems, Modelling and Simulation, ISMS \u201911, pp. 296\u2013299. IEEE (2011)","DOI":"10.1109\/ISMS.2011.52"},{"key":"8_CR41","series-title":"Theory and Decision Library","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-94-009-6309-2_13","volume-title":"Aspects of Vagueness","author":"LA Zadeh","year":"1984","unstructured":"Zadeh, L.A.: A theory of commonsense knowledge. In: Skala, H., Termini, S., Trillas, E. (eds.) Aspects of Vagueness. Theory and Decision Library, vol. 39, pp. 257\u2013295. Springer, Netherlands (1984)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08260-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T12:46:44Z","timestamp":1746276404000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08260-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319082592","9783319082608"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08260-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"25 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}