Conceptual graph operations for formal visual reasoning in the medical domain

German, 2009, An architecture for linking medical decision-support applications to clinical databases and its evaluation, J Biomed Inform, 42, 203, 10.1016/j.jbi.2008.10.007 Klimov, 2010, Intelligent querying, visualization, and exploration of the time-oriented data of multiple patients, Artif Intell Med, 49, 11, 10.1016/j.artmed.2010.02.001 Kamsu-Foguem, 2012, User-centered visual analysis using a hybrid reasoning architecture for intensive care units, Decision Support Systems, 54, 496, 10.1016/j.dss.2012.06.009 Isern, 2008, Computer-based execution of clinical guidelines: a review, Int J Med Inform, 77, 787, 10.1016/j.ijmedinf.2008.05.010 Isern, 2012, Ontology-driven execution of clinical guidelines, Comput Methods Programs Biomed, 107, 122, 10.1016/j.cmpb.2011.06.006 Don Roberts, 2009 Sowa, 1984, Conceptual structures: information processing in mind and machine, 481 Chein, 2008 Sowa, 2000, 608 Mugnier, 1995, On generalization/specialization for conceptual graphs, J Exp Theoretical Artif Intell, 7, 325, 10.1080/09528139508953815 Chein, 1992, Conceptual graphs: fundamental notions, Artif Intell Rev, 6, 365 Uomo, 2007, Nonsurgical treatment of infected pancreatic necrosis: a falling myth or a still impassable frontier?, JOP, 8, 468 Achour, 2001, A UMLS-based knowledge acquisition tool for rule-based clinical decision support system development, J Am Med Inform Assoc, 8, 351, 10.1136/jamia.2001.0080351 Genest, 2005, A content-search information retrieval process based on conceptual graphs, Knowledge Inform Syst, 8, 292, 10.1007/s10115-004-0179-0 Baget, 2002, Extensions of simple conceptual graphs: the complexity of rules and constraints, J Artif Intell Res (JAIR), 16, 425, 10.1613/jair.918 Guyet, 2007, Knowledge construction from time series data using a collaborative exploration approach, J Biomed Inform, 40, 672, 10.1016/j.jbi.2007.09.006 Nauser, 2001, Diagnosis and treatment of pulmonary hypertension, Am Fam Physician, 63, 1789 Yao, 2006, Automated conversion between different knowledge representation formats, Knowledge Based Syst, 19, 404, 10.1016/j.knosys.2006.04.005 Horrocks, 2005, OWL rules: a proposal and prototype implementation, Web Semantics: Science, Services and Agents on the World Wide Web, 3, 23, 10.1016/j.websem.2005.05.003 Park, 2007, Rule identification using ontology while acquiring rules from Web pages, Int J Hum Comp Stud, 65, 659, 10.1016/j.ijhcs.2007.02.004 Borgida, 1996, On the relative expressiveness of description logics and predicate logics, Artif Intell, 82, 353, 10.1016/0004-3702(96)00004-5 Motik, 2009, Representing ontologies using description logics, description graphs, and rules, Artif Intell, 173, 1275, 10.1016/j.artint.2009.06.003 Jiménez Ruiz, 2011, Supporting concurrent ontology development: framework, algorithms and tool, Data Knowledge Eng, 70, 146, 10.1016/j.datak.2010.10.001 Magee, 2001, Management of decompensated diabetes. Diabetic ketoacidosis and hyperglycemic hyperosmolar syndrome, Crit Care Clin, 17, 75, 10.1016/S0749-0704(05)70153-6 Dibie-Barthélemy, 2006, A semantic validation of conceptual graphs, Knowledge Based Syst, 19, 498, 10.1016/j.knosys.2005.04.002 Regg, 2005, Hyperosmolar hyperglycemic state, Am Fam Physician, 71 Kitabchi, 2006, Hyperglycemic crises in diabetes mellitus: diabetic ketoacidosis and hyperglycemic hyperosmolar state, Endocrinol Metab Clin North Am, 35, 725, 10.1016/j.ecl.2006.09.006 Delugach, 2008, Grounded Conceptual Graph Models. Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), 269 Thomopoulos, 2003, Representation of weakly structured imprecise data for fuzzy querying, Fuzzy Sets Syst, 140, 111, 10.1016/S0165-0114(03)00030-7 Buche, 2006, Fuzzy concepts applied to the design of a database in predictive microbiology, Fuzzy Sets Syst, 157, 1188, 10.1016/j.fss.2005.12.017 Team GraphIK, 2012 Carloni, 2009, Introducing reasoning into an industrial knowledge management tool, Appl Intell, 31, 211, 10.1007/s10489-007-0103-x Kamsu-Foguem, 2006, Requirements modeling and formal analysis using graph operations, Int J Prod Res, 44, 3451, 10.1080/00207540500499377 Kamsu Foguem, 2012, Using conceptual graphs for clinical guidelines representation and knowledge visualization, Inf Syst Front Arvind, 2005, Isomorphism testing: perspectives and open problems, Bull Eur Assoc Theoretical Comp Sci, 86, 66 De Keulenaer, 2008, Heart failure with preserved ejection fraction, Eur Cardiol Rev, 4, 31, 10.15420/ecr.2008.4.1.31 Frøisland, 2012, Improving diabetes care for young people with type 1 diabetes through visual learning on mobile phones: mixed-methods study, J Med Internet Res, 14, e111, 10.2196/jmir.2155 Shadbolt, 2006, The semantic web revisited, IEEE Intell Syst, 21, 96, 10.1109/MIS.2006.62 Baader, 2003 Dau, 2008, A diagrammatic reasoning system for the description logic, J Vis Lang Comput, 19, 539, 10.1016/j.jvlc.2007.12.003 Chen, 2009, Heart failure with preserved ejection fraction in older adults, Am J Med, 122, 713, 10.1016/j.amjmed.2009.01.038 Oghlakian, 2011, Treatment of heart failure with preserved ejection fraction: have we been pursuing the wrong paradigm?, Mayo Clin Proc, 86, 531, 10.4065/mcp.2010.0841 Anderson, 2003, Diagram processing: computing with diagrams, Artif Intell, 145, 181, 10.1016/S0004-3702(02)00383-1 Patel, 2001, Cognitive psychological studies of representation and use of clinical practice guidelines, Int J Med Inform, 63, 147, 10.1016/S1386-5056(01)00165-4 Arocha, 2005, Identifying reasoning strategies in medical decision making: a methodological guide, J Biomed Inform, 38, 154, 10.1016/j.jbi.2005.02.001 Ba, 2013, Large-scale biomedical ontology matching with ServOMap, IRBM, 34, 56, 10.1016/j.irbm.2012.12.011 Bricon-Souf, 2013, Theme C: medical information systems and databases – results and future work, IRBM, 34, 1, 10.1016/j.irbm.2012.12.010 Kamsu-Foguem, 2013, Conceptual graph-based knowledge representation for supporting reasoning in African traditional medicine, Eng Appl Artif Intell, 26, 1348, 10.1016/j.engappai.2012.12.004 Kamsu Foguem, 2014, Verifying a medical protocol with temporal graphs: The case of a nosocomial disease, J Crit Care, 10.1016/j.jcrc.2014.02.006