{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:38:32Z","timestamp":1754483912743,"version":"3.40.5"},"reference-count":53,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2020,1,15]],"date-time":"2020-01-15T00:00:00Z","timestamp":1579046400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present OntoScene, a framework aimed at understanding the semantics of visual scenes starting from the semantics of their elements and the spatial relations holding between them. OntoScene exploits ontologies for representing knowledge and Prolog for specifying the interpretation rules that domain experts may adopt, and for implementing the SceneInterpreter engine. Ontologies allow the designer to formalize the domain in a reusable way and make the system modular and interoperable with existing multiagent systems, while Prolog provides a solid basis to define complex rules of interpretation in a way that can be affordable even for people with no background in Computational Logics. The domain selected for experimenting OntoScene is that of prehistoric rock art, which provides us with a fascinating and challenging testbed.<\/jats:p>","DOI":"10.1017\/s1471068419000462","type":"journal-article","created":{"date-parts":[[2020,1,15]],"date-time":"2020-01-15T10:05:24Z","timestamp":1579082724000},"page":"456-511","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":1,"title":["OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain"],"prefix":"10.1017","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1994-8929","authenticated-orcid":false,"given":"DANIELA","family":"BRIOLA","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2261-9926","authenticated-orcid":false,"given":"VIVIANA","family":"MASCARDI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MASSIMILIANO","family":"GIOSEFFI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2020,1,15]]},"reference":[{"volume-title":"Vision","year":"1982","author":"Marr","key":"S1471068419000462_ref40"},{"key":"S1471068419000462_ref37","doi-asserted-by":"publisher","DOI":"10.1016\/S1045-926X(05)80028-X"},{"key":"#cr-split#-S1471068419000462_ref19.1","unstructured":"Dovier, A. , Formisano, A. and Pontelli, E. 2005. A comparison of CLP"},{"key":"#cr-split#-S1471068419000462_ref19.2","unstructured":"(FD) and ASP solutions to np-complete problems. In Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, Gabbrielli, M. and Gupta, G. , Eds. Lecture Notes in Computer Science, vol. 3668. Springer, 67-82."},{"key":"S1471068419000462_ref33","doi-asserted-by":"crossref","unstructured":"Karttunen, L. 1986. D-PATR: A development environment for unification-based grammars. In Proceedings of the 11th Conference on Computational Linguistics. Association for Computational Linguistics, 74\u201380.","DOI":"10.3115\/991365.991386"},{"key":"S1471068419000462_ref4","unstructured":"Baldassano, C. 2015. Visual Scene Perception in the Human Brain: Connections to Memory, Categorization, and Social Cognition. Ph.D. thesis, Stanford University."},{"key":"S1471068419000462_ref48","unstructured":"Simonyan, K. and Zisserman, A. 2014. Very deep convolutional networks for large-scale image recognition. CoRR abs\/1409.1556."},{"key":"S1471068419000462_ref3","unstructured":"Baader, F. , B\u00fcrkert, H.-J. , Heinsohn, J. and Hollunder, B. 1991. Terminological knowledge representation: A proposal for a terminological logic. In International Workshop on Terminological Logics. KIT-Report 89, TU Berlin, Fachbereich Informatik."},{"key":"S1471068419000462_ref11","doi-asserted-by":"crossref","unstructured":"Briola, D. , Deufemia, V. , Mascardi, V. , Paolino, L. and Bianchi, N. 2014. Ontology-driven processing and management of digital rock art objects in Indianamas. In Proceedings of 5th International Conference Digital Heritage (EuroMed 2014). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8740, 217\u2013227.","DOI":"10.1007\/978-3-319-13695-0_21"},{"key":"S1471068419000462_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S1045-926X(05)80003-5"},{"key":"S1471068419000462_ref46","doi-asserted-by":"crossref","unstructured":"Santosh, K. C. , Lamiroy, B. , and Ropers, J. 2009. Inductive logic programming for symbol recognition. In 2009 10th International Conference on Document Analysis and Recognition, 1330\u20131334.","DOI":"10.1109\/ICDAR.2009.166"},{"key":"S1471068419000462_ref41","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5625.001.0001"},{"key":"S1471068419000462_ref28","doi-asserted-by":"crossref","unstructured":"He, K. , Zhang, X. , Ren, S. and Sun, J. 2016. Deep residual learning for image recognition. In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 770\u2013778.","DOI":"10.1109\/CVPR.2016.90"},{"key":"S1471068419000462_ref1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1998.0090"},{"key":"S1471068419000462_ref15","doi-asserted-by":"crossref","unstructured":"de Lumley, H. and Echassoux, A. 2009. The rock carvings of the chalcolithic and ancient bronze age from the Mont Bego area. The cosmogonic myths of the early metallurgic settlers in the southern alps. L\u2019Anthropologie 113, 5, 969\u20131004.","DOI":"10.1016\/j.anthro.2009.09.018"},{"volume-title":"La montagne sacr\u00e9e du Bego","year":"2011","author":"de Lumley","key":"S1471068419000462_ref16"},{"key":"S1471068419000462_ref9","doi-asserted-by":"crossref","unstructured":"Briola, D. 2016. Agents and Ontologies for a Smart Management of Heterogeneous Data: The Indianamas System. Studies in Computational Intelligence, vol. 616. Springer, 25\u201336.","DOI":"10.1007\/978-3-319-25017-5_3"},{"key":"S1471068419000462_ref23","doi-asserted-by":"crossref","unstructured":"Gu\u00e9rin, C. , Rigaud, C. , Bertet, K. and Revel, A. 2017. An ontology-based framework for the automated analysis and interpretation of comic books\u2019 images. Information Sciences 378, C (Feb.), 109\u2013130.","DOI":"10.1016\/j.ins.2016.10.032"},{"key":"S1471068419000462_ref34","unstructured":"Knuth, D. 2000. Dancing links. Millennial Perspectives in Computer Science 1."},{"key":"S1471068419000462_ref18","unstructured":"Donahue, J. , Jia, Y. , Vinyals, O. , Hoffman, J. , Zhang, N. , Tzeng, E. and Darrell, T. 2014. Decaf: A deep convolutional activation feature for generic visual recognition. In International Conference on Machine Learning, 647\u2013655."},{"key":"S1471068419000462_ref35","article-title":"Auditory and visual scene analysis: an overview","volume":"372","author":"Kondo","year":"2017","journal-title":"Philosophical Transactions"},{"key":"S1471068419000462_ref8","unstructured":"Bicknell, C. 1913. A Guide to the Prehistoric Rock Engravings in the Italian Maritime Alps. Tip. G. Bessone."},{"key":"S1471068419000462_ref49","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3496.001.0001"},{"key":"S1471068419000462_ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1281500.1281546"},{"key":"S1471068419000462_ref51","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/S1045-926X(05)80004-7","article-title":"Unification-based grammars and tabular parsing for graphical languages","volume":"4","author":"Wittenburg","year":"1991","journal-title":"Journal of Visual Languages and Computing 2"},{"key":"S1471068419000462_ref39","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/3-540-46767-X_28","volume-title":"International Conference on Logic Programming and Nonmonotonic Reasoning","author":"Lifschitz","year":"1999"},{"key":"S1471068419000462_ref20","first-page":"295","volume-title":"Workshops on Applications of Evolutionary Computation","author":"Forestier","year":"2008"},{"key":"S1471068419000462_ref38","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00372-7"},{"key":"S1471068419000462_ref22","first-page":"1","volume-title":"Handbook on Ontologies","author":"Guarino","year":"2009"},{"key":"S1471068419000462_ref44","unstructured":"Meyer, B. 1992. Pictures depicting pictures on the specification of visual languages by visual grammars. In 1992 IEEE Workshop on Visual Languages, 1992. Proceedings. IEEE, 41\u201347."},{"key":"S1471068419000462_ref17","first-page":"983","article-title":"A rule-based procedure for automatic recognition of design patterns in UML diagrams","volume":"7","author":"Di Martino","year":"2016","journal-title":"Software: Practice and Experience 46"},{"key":"S1471068419000462_ref10","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2494"},{"key":"S1471068419000462_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0109-3_22"},{"key":"S1471068419000462_ref6","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411"},{"key":"S1471068419000462_ref30","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.psych.50.1.243"},{"key":"S1471068419000462_ref52","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900008122"},{"key":"S1471068419000462_ref5","doi-asserted-by":"crossref","unstructured":"Bannour, H. and Hudelot, C. 2011. Towards ontologies for image interpretation and annotation. In 2011 9th International Workshop on Content-Based Multimedia Indexing (CBMI). IEEE, 211\u2013216.","DOI":"10.1109\/CBMI.2011.5972547"},{"key":"S1471068419000462_ref45","unstructured":"Randell, D. A. and Cohn, A. G. 1989. Modelling topological and metrical properties in physical processes. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR \u201989). Toronto, Canada, May 15\u201318 1989., Brachman, R. J. , Levesque, H. J. , and Reiter, R. , Eds. Morgan Kaufmann, 357\u2013368."},{"key":"S1471068419000462_ref12","unstructured":"Briola, D. , Mascardi, V. and Gioseffi, M. 2018. OntologyBeanGenerator 5.0: Extending ontology concepts with methods and exceptions. In Proceedings of the 19th Workshop From Objects to Agents, Palermo, Italy, Cossentino, M. , Sabatucci, L. and Seidita, V. , Eds. CEUR Workshop Proceedings, vol. 2215. CEUR-WS.org, 116\u2013123."},{"key":"S1471068419000462_ref42","first-page":"81","article-title":"A holonic multi-agent system for sketch, image and text interpretation in the rock art domain","volume":"1","author":"Mascardi","year":"2014","journal-title":"Int. J. of Innovative Computing, Information and Control 10"},{"key":"S1471068419000462_ref50","doi-asserted-by":"crossref","unstructured":"Wan, J. , Wang, D. , Hoi, S. C. H. , Wu, P. , Zhu, J. , Zhang, Y. and Li, J. 2014. Deep learning for content-based image retrieval: A comprehensive study. In Proceedings of the 22nd ACM International Conference on Multimedia. ACM, 157\u2013166.","DOI":"10.1145\/2647868.2654948"},{"key":"S1471068419000462_ref24","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1999.0133"},{"key":"S1471068419000462_ref36","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262027854.001.0001"},{"key":"S1471068419000462_ref7","unstructured":"Bianchi, N. 2011. Mount Bego prehistoric rock carvings. Adoranten, 70\u201380."},{"key":"S1471068419000462_ref32","unstructured":"Karp, R. M. 1972. Reducibility among combinatorial problems. In Proceedings of a Symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York, USA, Miller, R. E. and Thatcher, J. W. , Eds. The IBM Research Symposia Series. Plenum Press, New York, 85\u2013103."},{"key":"S1471068419000462_ref43","first-page":"2004","article-title":"Owl web ontology language overview","volume":"10","author":"McGuinness","year":"2004","journal-title":"W3C Recommendation 10"},{"key":"S1471068419000462_ref13","doi-asserted-by":"crossref","unstructured":"Costagliola, G. , Deufemia, V. and Risi, M. 2005. Sketch grammars: a formalism for describing and recognizing diagrammatic sketch languages. In Eighth International Conference on Document Analysis and Recognition (ICDAR\u201905), vol. 2, 1226\u20131230.","DOI":"10.1109\/ICDAR.2005.218"},{"key":"S1471068419000462_ref47","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-54066-5","volume-title":"Description Logics in Multimedia Reasoning","author":"Sikos","year":"2017"},{"key":"S1471068419000462_ref21","unstructured":"Gerber, C. , Siekmann, J. H. , and Vierke, G. 1999. Holonic multi-agent systems. Tech. Rep. DFKI-RR-99-03, Deutsches Forschungszentrum f\u00fcr K\u00fcnztliche Inteligenz \u2013 GmbH, Postfach 20 80, 67608 Kaiserslautern, FRG."},{"key":"S1471068419000462_ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S1045-926X(05)80002-3"},{"key":"S1471068419000462_ref25","first-page":"142","volume-title":"Annual Conference on Artificial Intelligence","author":"Haarslev","year":"1994"},{"key":"S1471068419000462_ref2","unstructured":"Antanas, L. , van Otterlo, M. , Mogrovejo, O. , Antonio, J. , Tuytelaars, T. and De Raedt, L. 2012. A relational distance-based framework for hierarchical image understanding. In Proceedings of the 1st International Conference on Pattern Recognition Applications and Methods, vol. 2, 206\u2013218."},{"volume-title":"Jess in Action: Java Rule-Based Systems","year":"2003","author":"Hill","key":"S1471068419000462_ref31"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068419000462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T09:33:03Z","timestamp":1612171983000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068419000462\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,15]]},"references-count":53,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,7]]}},"alternative-id":["S1471068419000462"],"URL":"https:\/\/doi.org\/10.1017\/s1471068419000462","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2020,1,15]]},"assertion":[{"value":"\u00a9 The Author(s), 2020. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}