{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:33:14Z","timestamp":1743067994155,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319186146"},{"type":"electronic","value":"9783319186153"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-18615-3_22","type":"book-chapter","created":{"date-parts":[[2015,5,11]],"date-time":"2015-05-11T05:26:53Z","timestamp":1431322013000},"page":"270-282","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A New Real-Time Algorithm to Extend DL Assertional Formalism to Represent and Deduce Entities in Robotic Soccer"],"prefix":"10.1007","author":[{"given":"Saminda","family":"Abeyruwan","sequence":"first","affiliation":[]},{"given":"Ubbo","family":"Visser","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,5,12]]},"reference":[{"issue":"5","key":"22_CR1","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"JF Allen","year":"1994","unstructured":"Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. J. Log. Comput. 4(5), 531\u2013579 (1994)","journal-title":"J. Log. Comput."},{"key":"22_CR2","first-page":"43","volume-title":"Description Logic Handbook","author":"F Baader","year":"2003","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) Description Logic Handbook, pp. 43\u201395. Cambridge University Press, Cambridge (2003)"},{"volume-title":"Canonical Morphology and Syntax","year":"2013","key":"22_CR3","unstructured":"Brown, D., Chumakina, M., Corbett, G.G. (eds.): Canonical Morphology and Syntax. Oxford University Press, New York (2013)"},{"issue":"2","key":"22_CR4","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/SW-2011-0034","volume":"2","author":"K Dentler","year":"2011","unstructured":"Dentler, K., Cornet, R., ten Teije, A., de Keizer, N.: Comparison of reasoners for large ontologies in the OWL 2 EL profile. Semant. Web 2(2), 71\u201387 (2011)","journal-title":"Semant. Web"},{"key":"22_CR5","volume-title":"Formal Ontology in Conceptual Analysis and Knowledge Representation","author":"TR Gruber","year":"1993","unstructured":"Gruber, T.R.: Towards principles for the design of ontologies used for knowledge sharing. In: Guarino, N., Poli, R. (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publishers, Deventer (1993)"},{"issue":"1","key":"22_CR6","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/1017068.1017073","volume":"3","author":"JR Hobbs","year":"2004","unstructured":"Hobbs, J.R., Pan, F.: An ontology of time for the semantic web. ACM Trans. Asian Lang. Process. (TALIP) 3(1), 66\u201385 (2004). Special issue on Temporal Information Processing","journal-title":"ACM Trans. Asian Lang. Process. (TALIP)"},{"key":"22_CR7","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006), pp. 57\u201367. AAAI Press, June 2006"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Kitano, H., Asada, M., Kuniyoshi, Y., Noda, I., Osawa, E.: RoboCup: the robot world cup initiative. In: Proceedings of the First International Conference on Autonomous Agents, pp. 340\u2013347. AGENTS 1997. ACM, New York (1997)","DOI":"10.1145\/267658.267738"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: a survey. In: Demri, S., Jensen, C.S. (eds.) TIME, pp. 3\u201314. IEEE Computer Society (2008)","DOI":"10.1109\/TIME.2008.14"},{"issue":"1","key":"22_CR10","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1109\/TSMCB.2011.2162582","volume":"42","author":"V Milea","year":"2012","unstructured":"Milea, V., Frasincar, F., Kaymak, U.: tOWL: a temporal web ontology language. IEEE Trans. Syst. Man Cybern. Part B 42(1), 268\u2013281 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern. Part B"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Motik, B., Horrocks, I., Kim, S.M.: Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. In: Mille, A., Gandon, F.L., Misselis, J., Rabinovich, M., Staab, S. (eds.) WWW (Companion Volume), pp. 63\u201372. ACM (2012)","DOI":"10.1145\/2187980.2187988"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Petnga, L., Austin, M.: Ontologies of time and time-based reasoning for MBSE of cyber-physical systems. In: Paredis, C.J.J., Bishop, C., Bodner, D.A. (eds.) CSER. Procedia Computer Science, vol. 16, pp. 403\u2013412. Elsevier (2013)","DOI":"10.1016\/j.procs.2013.01.042"},{"key":"22_CR13","unstructured":"Rachuy, C., Visser, U.: Behavior-analysis and -prediction for agents in real-time and dynamic adversarial environments. In: Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence, pp. 979\u2013980. IOS Press, Amsterdam, The Netherlands (2010)"},{"key":"22_CR14","unstructured":"Shearer, R., Motik, B., Horrocks, I.: HermiT: a highly-efficient OWL reasoner. In: Ruttenberg, A., Sattler, U., Dolbear, C. (eds.) Proceedings of the 5th International Workshop on OWL: Experiences and Directions, pp. 26\u201327. Karlsruhe, Germany, October 2008"},{"issue":"2","key":"22_CR15","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. Web Semant.: Sci. Serv. Agents World Wide Web 5(2), 51\u201353 (2007)","journal-title":"Web Semant.: Sci. Serv. Agents World Wide Web"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Smith, B., Ceusters, W., Klagges, B., Kohler, J., Kumar, A., Lomax, J., Mungall, C., Neuhaus, F., Rector, A., Rosse, C.: Relations in biomedical ontologies. Genome Biol. 6(5), R46+ (2005)","DOI":"10.1186\/gb-2005-6-5-r46"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"key":"22_CR18","unstructured":"Wang, C.C., Thorpe, C., Thrun, S.: Online simultaneous localization and mapping with detection and tracking of moving objects: theory and results from a ground vehicle in crowded urban areas. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA). Taipei, Taiwan, September 2003"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-642-02921-9_32","volume-title":"RoboCup 2008: Robot Soccer World Cup XII","author":"T Warden","year":"2009","unstructured":"Warden, T., Lattner, A.D., Visser, U.: Real-time spatio-temporal analysis of dynamic scenes in 3D soccer simulation. In: Iocchi, L., Matsubara, H., Weitzenfeld, A., Zhou, C. (eds.) RoboCup 2008. LNCS, vol. 5399, pp. 366\u2013378. Springer, Heidelberg (2009)"},{"key":"22_CR20","unstructured":"Welty, C.A., Fikes, R.: A reusable ontology for fluents in OWL. In: Bennett, B., Fellbaum, C. (eds.) Formal Ontology in Information Systems. Frontiers in Artificial Intelligence and Applications, vol. 150, pp. 226\u2013236. IOS (2006)"}],"container-title":["Lecture Notes in Computer Science","RoboCup 2014: Robot World Cup XVIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-18615-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,2]],"date-time":"2020-09-02T01:35:42Z","timestamp":1599010542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-18615-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319186146","9783319186153"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-18615-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}