{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:39Z","timestamp":1747806759315},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1109\/cbms.2009.5255449","type":"proceedings-article","created":{"date-parts":[[2009,9,25]],"date-time":"2009-09-25T20:35:11Z","timestamp":1253910911000},"page":"1-8","source":"Crossref","is-referenced-by-count":8,"title":["ADONIS: Automated diagnosis system based on sound and precise logical descriptions"],"prefix":"10.1109","author":[{"given":"Alejandro","family":"Rodriguez","sequence":"first","affiliation":[]},{"given":"Jose Emilio","family":"Labra","sequence":"additional","affiliation":[]},{"given":"Giner","family":"Alor-Hernandez","sequence":"additional","affiliation":[]},{"given":"Juan Miguel","family":"Gomez","sequence":"additional","affiliation":[]},{"given":"Ruben","family":"Posada-Gomez","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/CBMS.2006.152"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CBMS.2008.44"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2007.172"},{"key":"11","article-title":"a semantic web technology based approach to identify hypertensive patients for follow-up\/recall","author":"thusitha","year":"0","journal-title":"Proc IEEE Int Symp Computer-Based Medical Systems"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CBMS.2007.68"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/INTENSIVE.2009.12"},{"key":"2","article-title":"medfinder: using semantic web, web 2.0 and geolocation methods to develop a decision support system to locate doctors","author":"rodriguez","year":"0","journal-title":"5th International Conference on Web Information Systems and Technologies (WEBIST)"},{"journal-title":"Handbook of Medical Informatics","year":"1997","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CBMS.2006.152"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2008.62"},{"key":"6","article-title":"a model of intelligent distributed medical diagnosis and therapy system based on mobile agent and ontology","author":"zhao","year":"0","journal-title":"Eighth International Conference on High-Performance Computing in Asia-Pacific Region (HPCASIA 05)"},{"key":"5","first-page":"228","article-title":"description logics as ontology languages for the semantic web","author":"baader","year":"0","journal-title":"Mechanizing Mathematical Reasoning"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/eTELEMED.2009.43"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CBMS.2007.69"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CBMS.2005.64"}],"event":{"name":"2009 22nd IEEE International Symposium on Computer-Based Medical Systems (CBMS)","start":{"date-parts":[[2009,8,2]]},"location":"Albuquerque, NM, USA","end":{"date-parts":[[2009,8,5]]}},"container-title":["2009 22nd IEEE International Symposium on Computer-Based Medical Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5230478\/5255243\/05255449.pdf?arnumber=5255449","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T17:48:32Z","timestamp":1489772912000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5255449\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cbms.2009.5255449","relation":{},"subject":[],"published":{"date-parts":[[2009,8]]}}}