Situation Prediction Nets: Playing the token game for ontology-driven situation awareness

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6412 LNCS, Issue , 2010, Pages 202-218

  Baumgartner, Norbert ^a   Gottesheim, Wolfgang ^b   Mitsch, Stefan ^b   Retschitzegger, Werner ^b   Schwinger, Wieland ^b  

^a Team Communication Technology Mgt Ltd   (Austria)

^b JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Colored Petri Nets; Ontology; Situation Awareness

Indexed keywords

COLORED PETRI NETS; DOMAIN-INDEPENDENT APPROACH; OBJECT CHARACTERISTICS; OVERALL QUALITY; PREDICTION PRECISION; REAL-WORLD; REAL-WORLD OBJECTS; ROAD TRAFFIC MANAGEMENT; SITUATION AWARENESS; SITUATION PREDICTION; SPATIO-TEMPORAL RELATIONS; TRAFFIC DATA;

BIOMINERALIZATION; FORECASTING; GRAPH THEORY; HIGHWAY PLANNING; HIGHWAY TRAFFIC CONTROL; PATHOLOGY; PETRI NETS; STREET TRAFFIC CONTROL;

ONTOLOGY;

EID: 78649962535     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16373-9_15     Document Type: Conference Paper

References (26)

1. Apt, K.R., Brand, S.: Constraint-based qualitative simulation. In: Proc. of the 12th Intl. Symp. on Temporal Rep. and Reasoning, pp. 26-34. IEEE, Los Alamitos (2005)
2. Bailey-Kellogg, C., Zhao, F.: Qualitative spatial reasoning - extracting and reasoning with spatial aggregates. AI Magazine 24(4), 47-60 (2003)
3. Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, Cambridge (1983)
4. Baumgartner, N., Gottesheim, W., Mitsch, S., Retschitzegger, W., Schwinger, W.: On optimization of predictions in ontology-driven situation awareness. In: Proc. of the 3rd Intl. Conf. on Knowl., Science, Eng. and Mgmt., pp. 297-309 (2009)
5. Baumgartner, N., Gottesheim, W., Mitsch, S., Retschitzegger, W., Schwinger, W.: BeAware! - situation awareness, the ontology-driven way. Accepted for publication in: Data and Knowledge Engineering (Journal) (2010)
6. Baumgartner, N., Retschitzegger, W., Schwinger, W., Kotsis, G., Schwietering, C.: Of situations and their neighbors - Evolution and Similarity in Ontology-Based Approaches to Situation Awareness. In: Kokinov, B., Richardson, D.C., Roth- Berghofer, T.R., Vieu, L. (eds.) CONTEXT 2007. LNCS (LNAI), vol. 4635, pp. 29-42. Springer, Heidelberg (2007)
7. Bhatt, M., Rahayu, W., Sterling, G.: Qualitative simulation: Towards a situation calculus based unifying semantics for space, time and actions. In: Cohn, A.G., Mark, D.M. (eds.) COSIT 2005. LNCS, vol. 3693. Springer, Heidelberg (2005)
8. Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: Compositional specification of web services via behavioural equivalence of nets: A case study. In: Proc. of the 29th Intl. Conf. on Application and Theory of Petri Nets and other models of concurrency, Xi'an, China, pp. 52-71. Springer, Heidelberg (2008)
9. Cohn, A.G., Renz, J.: Qualitative Spatial Representation and Reasoning. In: Handbook of Knowledge Representation, pp. 551-596. Elsevier, Amsterdam (2008)
10. Cui, Z., Cohn, A.G., Randell, D.A.: Qualitative simulation based on a logical formalism of space and time. In: Proc. AAAI 1992, pp. 679-684. AAAI Press, Menlo Park (1992)
11. m. In: Freksa, C., Kohlhase, M., Schill, K. (eds.) KI 2006. LNCS (LNAI), vol. 4314, pp. 274-288. Springer, Heidelberg (2007)
12. Dylla, F., Wallgrün, J.O.: Qualitative spatial reasoning with conceptual neighborhoods for agent control. Intelligent Robotics Systems 48(1), 55-78 (2007) (Pubitemid 46066368)
13. Freksa, C.: Conceptual neighborhood and its role in temporal and spatial reasoning. In: Proc. of the Imacs Intl.Workshop on Decision Support Systems and Qualitative Reasoning, pp. 181-187 (1991)
14. Ibrahim, Z.M., Tawfik, A.Y.: An abstract theory and ontology of motion based on the regions connection calculus. In: Miguel, I., Ruml, W. (eds.) SARA 2007. LNCS (LNAI), vol. 4612, pp. 230-242. Springer, Heidelberg (2007)
15. Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, 2nd edn. Springer, Heidelberg (1997)
16. Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and CPN Tools for modeling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer 9, 213-254 (2007) (Pubitemid 46876307)
17. Kokar, M.M., Matheus, C.J., Baclawski, K.: Ontology-based situation awareness. International Journal of Information Fusion 10(1), 83-98 (2009)
18. Laborie, S.: Spatio-temporal proximities for multimedia document adaptation. In: Euzenat, J., Domingue, J. (eds.) AIMSA 2006. LNCS (LNAI), vol. 4183, pp. 128- 137. Springer, Heidelberg (2006)
19. Li, B., Fonseca, F.: TDD - a comprehensive model for qualitative spatial similarity assessment. Journal on Spatial Cognition & Computation 6(1), 31-62 (2006)
20. Ligozat, G.: Towards a general characterization of conceptual neighborhoods in temporal and spatial reasoning. In: Proceedings of the AAAI 1994 Workshop on Spatial and Temporal Resoning, Seattle, WA, USA, pp. 55-59. AAAI, Menlo Park (1994)
21. Mulyar, N., van der Aalst, W.: Towards a pattern language for colored petri nets. In: Proc. of the 6th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, pp. 39-58. University of Aarhus (2005)
22. Ragni, M., Wölfl, S.: Temporalizing cardinal directions: From constraint satisfaction to planning. In: Proc. of 10th Intl. Conf. on Principles of Knowledge Representation and Reasoning, pp. 472-480. AAAI Press, Menlo Park (2006)
23. Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, pp. 1-34. Morgan Kaufmann, San Francisco (1992)
24. Reisig, W., Rozenberg, G.: Informal intro. to Petri nets. In: Lectures on Petri Nets I: Basic Models - Advances in Petri Nets, pp. 1-11. Springer, Heidelberg (1998)
25. van de Weghe, N., Maeyer, P.D.: Conceptual neighborhood diagrams for representing moving objects. In: Proceedings of the ER Workshop on Perspectives in Conceptual Modeling, Klagenfurt, Austria, pp. 228-238. Springer, Heidelberg (2005)
26. Zhang, G., Meng, F., Jiang, C., Pang, J.: Using petri net to reason with rule and owl. In: Proc. of the 6th Intl. Conf. on Computer and Information Technology, Seoul, Korea, pp. 42-47. IEEE, Los Alamitos (2006)