{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T05:07:23Z","timestamp":1755925643132,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/vlhcc.2011.6070384","type":"proceedings-article","created":{"date-parts":[[2011,11,7]],"date-time":"2011-11-07T15:24:20Z","timestamp":1320679460000},"page":"87-94","source":"Crossref","is-referenced-by-count":11,"title":["Deriving sound inference rules for concept diagrams"],"prefix":"10.1109","author":[{"given":"P.","family":"Chapman","sequence":"first","affiliation":[]},{"given":"G.","family":"Stapleton","sequence":"additional","affiliation":[]},{"given":"J.","family":"Howse","sequence":"additional","affiliation":[]},{"given":"I.","family":"Oliver","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"The Gene Ontology","year":"0","key":"ref10"},{"journal-title":"The Manchester People Ontology","year":"0","key":"ref11"},{"key":"ref12","first-page":"3","article-title":"Visualising and Specifying Ontologies using Diagrammatic Logics","author":"oliver","year":"2009","journal-title":"5th Australasian Ontologies Workshop"},{"key":"ref13","first-page":"18","article-title":"Inferential and expressive capacities of graphical representations: Survey and some generalizations","volume":"2980","author":"shimojima","year":"2004","journal-title":"DIAGRAMS"},{"key":"ref14","first-page":"74","article-title":"An eye tracking study of spatial constraints in diagrammatic reasoning","volume":"5223","author":"shimojima","year":"2008","journal-title":"DIAGRAMS"},{"journal-title":"The Logical Status of Diagrams","year":"1994","author":"shin","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2008.04.003"},{"key":"ref17","first-page":"187","article-title":"Incorporating negation into visual logics: A case study using Euler diagrams","author":"stapleton","year":"2007","journal-title":"Visual Languages and Computing 2007"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2007.12.003"},{"key":"ref3","first-page":"198","article-title":"Visual modelling of OWL DL ontologies using UML","author":"brockmans","year":"2004","journal-title":"International Semantic Web Conference"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2005.03.001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.047"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85110-3_39"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337371"},{"key":"ref2","first-page":"85","article-title":"Visualizing Populated Ontologies with OntoTrix","volume":"658","author":"bach","year":"2010","journal-title":"9th International Semantic Web Conference 2010"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/263698.263756"}],"event":{"name":"2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2011)","start":{"date-parts":[[2011,9,18]]},"location":"Pittsburgh, PA","end":{"date-parts":[[2011,9,22]]}},"container-title":["2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6059237\/6070364\/06070384.pdf?arnumber=6070384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T11:42:17Z","timestamp":1490096537000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6070384\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/vlhcc.2011.6070384","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}