Skip to main content
Springer Nature Link
Log in

Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

  • Conference paper
  • First Online:
Web Services and Formal Methods (WS-FM 2013)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8379))

Included in the following conference series:

Abstract

We show how a subpart of OWL ontologies and Semantic Web Rule Language (SWRL) rules can be represented as bigraphs and bigraphical reaction rules. While OWL allows for defining a static ontology and SWRL allows for inferring and adding more information to an ontology, we show that the bigraphical representation of ontologies and rules naturally allows for more general dynamic changes and modification of ontologies. We describe how the representation is implemented in BigRED, a recently developed Eclipse-based bigraphical editing tool allowing to simulate and perform state exploration in the defined systems using the BigMC bigraph model checker which is integrated in the BigRED editor. We discuss the potential uses of the approach for model-driven design and analysis of context-aware systems, and propose a first naive method to deal with the frame and ramification problems in the bigraphical ontology.

This research work is supported by the Jingling Genie project, funded by the Danish Council for Strategic Research in Denmark (Grant No. 2106-08-0046), 2009–2013.

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    Big Red is available from http://bigraph.org/papers/gcm2012/.

  2. 2.

    To be well defined, the indexes of holes in \(P\) and \(P'\) must be unique, since the order of the holes in the resulting bigraph is given by the order of the indexes.

References

  1. Aukaszewicz, W.: Non-monotonic Reasoning: Formalization of Commonsense Reasoning. Ellis Horwood, New York (1990)

    Google Scholar 

  2. Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical models of context-aware systems. In: Aceto, L., Ingólfsdóttir, A. (eds.) FOSSACS 2006. LNCS, vol. 3921, pp. 187–201. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. Bundgaard, M., Glenstrup, A.J., Hildebrandt, T., Højsgaard, 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–99. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  4. Byung, K.: Modeling and generating context-aware agent-based applications with amended colored petri nets. Expert Syst. Appl. 27(4), 609–621 (2004)

    Article  Google Scholar 

  5. Castano, S., Peraldi, I.S.E., Ferrara, A., Karkaletsis, V., Kaya, A., Möller, R., Montanelli, S., Petasis, G., Wessel, M.: Multimedia interpretation for dynamic ontology evolution. J. Logic Comput. 19(5), 859–897 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  6. Davis, E.: Common sense reasoning. In: Shapiro, E. (ed.) Encyclopedia of Artificial Intelligence, pp. l288–l294. Wiley, Chichester (1992)

    Google Scholar 

  7. 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/

  8. Gruber, T.R., et al.: Toward principles for the design of ontologies used for knowledge sharing. Int. J. Hum. Comput. Stud. 43(5), 907–928 (1995)

    Article  Google Scholar 

  9. 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–275 (2004)

    Google Scholar 

  10. 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 ’12, pp. 219–227. ACM (2012)

    Google Scholar 

  11. 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 ’12, pp. 771–772. ACM (2012)

    Google Scholar 

  12. 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–449. AAAI Press (2000)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised), Technical report. University of Cambridge Computer Laboratory (2004)

    Google Scholar 

  15. Jess, the rule engine for the java platform. http://www.jessrules.com/jess/index.shtml

  16. 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–502. Edinburgh University Press (1969). Reprinted in McC90

    Google Scholar 

  17. Kaltz, J.W., Ziegler, J., Lohmann, S.: Context-aware web engineering: modeling and applications. Revue d’intelligence Artificielle 19(3), 439–458 (2005)

    Article  Google Scholar 

  18. Michael, T.: Ramification and causality. Artif. Intell. 89, 317–364 (1997)

    Article  MATH  Google Scholar 

  19. Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, p. 16. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  20. Milner, Robin: Bigraphs for petri nets. In: Desel, Jörg, Reisig, Wolfgang, Rozenberg, Grzegorz (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 686–701. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  21. Milner, R.: Pure bigraphs. Technical report UCAM-CL-TR-614, University of Cambridge (2005)

    Google Scholar 

  22. Owl web ontology language reference (2004). http://www.w3.org/TR/2004/REC-owl-ref-20040210/

  23. Owl 2 web ontology language document overview, 2nd edn. (2012). http://www.w3.org/TR/2012/REC-owl2-overview-20121211/

  24. 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)

    Google Scholar 

  25. Perrone, G.: Domain-specific modelling languages in bigraphs. Ph.D. thesis, IT University of Copenhagen, Copenhagen (2013)

    Google Scholar 

  26. 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 ’12 (2012)

    Google Scholar 

  27. 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)

    Google Scholar 

  28. The protègè ontology editor and knowledge acquisition system (2004). http://protege.stanford.edu/

  29. Rdf semantics (2004). http://www.w3.org/TR/2004/REC-rdf-mt-20040210/

  30. Schilit, B.N., Adams, N., Want, R.: Context-aware computing applications. In: Proceedings of the 1st Workshop on Mobile Computing Systems and Applications, WMCSA ’94 (1994)

    Google Scholar 

  31. Schilit, B.U.I.N., Theimer, M.M.: Disseminating active map information to mobile hosts. IEEE Netw. 5, 22–32 (1994)

    Article  Google Scholar 

  32. Shanahan, M.: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)

    Google Scholar 

  33. Shanahan, M.: The Frame Problem. Wiley Online Library, New York (2006)

    Google Scholar 

  34. Siewe, F., Zedan, H., Cau, A.: The calculus of context-aware ambients. J. Comput. Syst. Sci. 77(4), 597–620 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  35. 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 ’11, pp. 740–741. IEEE Computer Society, Washington (2011)

    Google Scholar 

  36. Tong, M., Weiping, L., Zhonghai, W., Weijie, C.: Framework of context-aware based service system. Jisuanji Xuebao (Chin. J. Comput.) 33(11), 2084–2092 (2010)

    Google Scholar 

  37. 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 ’12, pp. 194–199. IEEE (2012)

    Google Scholar 

  38. Wusheng, W., Perrone, G., Hildebrandt, T.: Petri nets in bigraphs revisited. In: 24th Nordic Workshop on Programming Theory, NWPT ’12 (2012)

    Google Scholar 

  39. Wusheng, W., Weiping, L., Zhonghai, W.: A process calculus for context-aware systems. In: Proceedings of the 10th International Conference on Services Computing, SCC ’13. IEEE (2013)

    Google Scholar 

  40. 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 ’11, pp. 296–299. IEEE (2011)

    Google Scholar 

  41. 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–295. Springer, Netherlands (1984)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Electronics Engineering and Computer Science, Peking University, Beijing, China

    Wusheng Wang

  2. IT University of Copenhagen, Copenhagen, Denmark

    Thomas T. Hildebrandt

Authors
  1. Wusheng Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas T. Hildebrandt
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Wusheng Wang .

Editor information

Editors and Affiliations

  1. Computer Science, University of Leicester, Leicester, United Kingdom

    Emilio Tuosto

  2. Science and Engineering Faculty, Queensland University, Brisbane, Queensland, Australia

    Chun Ouyang

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Science and Engineering Faculty

About this paper

Cite this paper

Wang, W., Hildebrandt, T.T. (2014). Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems. In: Tuosto, E., Ouyang, C. (eds) Web Services and Formal Methods. WS-FM 2013. Lecture Notes in Computer Science(), vol 8379. Springer, Cham. https://doi.org/10.1007/978-3-319-08260-8_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-08260-8_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-08259-2

  • Online ISBN: 978-3-319-08260-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics