{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:41:27Z","timestamp":1729618887429,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/vlhcc.2013.6645238","type":"proceedings-article","created":{"date-parts":[[2013,10,31]],"date-time":"2013-10-31T00:13:08Z","timestamp":1383178388000},"page":"19-26","source":"Crossref","is-referenced-by-count":0,"title":["Designing inference rules for spider diagrams"],"prefix":"10.1109","author":[{"given":"Gem","family":"Stapleton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mateja","family":"Jamnik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matej","family":"Urbas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1007\/3-540-46037-3_7"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1007\/3-540-46037-3_17"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1007\/s10817-007-9069-y"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1109\/VL.1999.795885"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1007\/s10270-003-0044-8"},{"key":"16","first-page":"130","article-title":"Formalising spider diagrams","author":"gil","year":"1999","journal-title":"IEEE Symposium on Visual Languages"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1016\/j.jvlc.2005.03.001"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1007\/s10849-012-9160-6"},{"key":"11","article-title":"Patching up a logic of Venn diagrams","author":"di luzio","year":"2000","journal-title":"6th CSLI Workshop on Logic Language and Computation"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1145\/263698.263756"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1007\/978-3-642-31223-6_19"},{"key":"3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/978-3-540-30202-5_5","article-title":"OWL pizzas: Practical experience of teaching OWLDL: Common errors and common patterns","author":"rector","year":"2004","journal-title":"Engineering Knowledge in the Age of the Semantic Web"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1016\/j.jvlc.2012.02.001"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1007\/978-3-642-14600-8_6"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1145\/2362364.2362370"},{"key":"10","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1145\/505168.505185","article-title":"Type-syntax and tokensyntax in diagrammatic systems","author":"howse","year":"2001","journal-title":"Proc 2nd Int l Conf Formal Ontology in Information Systems"},{"year":"2002","author":"shin","key":"7"},{"year":"1995","author":"hammer","journal-title":"Logic and Visual Information","key":"6"},{"key":"5","volume":"4","author":"peirce","year":"1933","journal-title":"Collected Papers"},{"year":"1994","author":"shin","journal-title":"The Logical Status of Diagrams","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1006\/jvlc.1998.0098"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1007\/978-3-540-73681-3_32"}],"event":{"name":"2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","start":{"date-parts":[[2013,9,15]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2013,9,19]]}},"container-title":["2013 IEEE Symposium on Visual Languages and Human Centric Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6631549\/6645226\/06645238.pdf?arnumber=6645238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T21:23:47Z","timestamp":1688592227000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6645238"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/vlhcc.2013.6645238","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}