Merging healthcare ontologies: Inconsistency tolerance and implementation issues

Proceedings - IEEE Symposium on Computer-Based Medical Systems

Volumn , Issue , 2007, Pages 530-535

  Imam, Fahim T ^a   MacCaull, Wendy ^a   Kennedy, Margaret Ann ^a  

^a ST FRANCIS XAVIER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; HEALTH CARE; INFORMATION SYSTEMS;

INCONSISTENCY TOLERANCE; INFORMATION LOSS; REASONING;

ONTOLOGY;

EID: 34748849531     PISSN: 10637125     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CBMS.2007.71     Document Type: Conference Paper

References (19)

1. Gruber, T., "An ontology for engineering mathematics", Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, Germany,1994, pp. 258-269
2. Sowa, J., F., Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brookes /Cole Publications, USA, 2000
3. Huang, Z., van Harmelen F., Teije, A.,T., Groot, P., and Visser, C, "Reasoning with Inconsistent Ontologies: A General Framework", EU-IST Integrated Project (IP) IST-2003-506826 SEKT, 2005
4. th IJCAI, Mexico, 2003
5. Bertossi, L., Hunter, A., Schaub, T., "Introduction to Inconsistency Tolerance", Lecture Notes in Computer Science., Vol. 3300, Springer Berlin/Heidelberg, 2005, pp. 1-4
6. Hunter, A., "Paraconsistent Logics", Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 2, Kluwer Academic, 1998
7. Beziau, Y., J., "What is paraconsistent logic?", Frontiers in Paraconsistent Logic, D.Batens et al.(ed) Research Studies Press, UK, 2000
8. Priest, G., Koji, T., Paraconsistent Logic. The Stanford Encyclopedia of Philosophy, E., N., Zalta (ed.), Winter 2004 Edition, http://plato.stanford.edu/ archives/win2004/entries/logic-paraconsistent
9. Su, X., Lars, L, "A Comparative Study of Ontology Languages and Tools", Lecture Notes in Computer Science, Vol. 2348, Springer Berlin / Heidelberg, 2002
10. OWL Web Ontology Language Overview. http://www.w3.org/TR/owl-features
11. Borgida A., "Description Logics in Data Management", IEEE Transactions on Knowledge and Data Engineering, Vol. 07, October 1995, pp. 671-682
12. Calvanese, D., De Giacomo, G., Lenzerini, "Description logics: foundations for class-based knowledge representation", 17th Annual IEEE Symposium on Logic in Computer Science, 2002, pp. 359-370
13. WordNet: A Lexical Database for the English language, Cognitive Science Laboratory, Princeton University. http://wordnet.princeton.edu/
14. Camielli, W., "Surviving Abduction", Logic Journal of IGPL, Vol. 14, 2006, pp.237-256
15. Amo, S., Camielli, W., A., Marcos, J., "A Logical Framework for Integrating Inconsistent Information in Multiple Databases", Lecture Notes in Computer Science., Vol. 2284, Springer-Verlag, London, UK, 2002
16. th Pacific Symposium on Biocomputing, Hawaii, USA, 2003, pp.589-600
17. Protégé-OWL API. http://protege.stanford.edu/plugins/owl/ api
18. OWL Test Results (Semi-OfficialSemi-Static View), http://www.w3.org/2003/08/owl-systems/test-results-out
19. Racer: A Semantic Middleware for Industrial Projects Based on RDF/OWL, A W3C Standard. http://www.sts.tu-harburg.de/~r.f.moeller/racer