-
1
-
-
0027652458
-
A semantics and complete algorithm for subsumption in the CLASSIC description logic
-
Borgida A, Patel-Schneider PF. A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. J Art Intell Research 1994; 1: 277-308.
-
(1994)
J Art Intell Research
, vol.1
, pp. 277-308
-
-
Borgida, A.1
Patel-Schneider, P.F.2
-
2
-
-
0030125127
-
On the relative expressive power of Description Logics and Predicate Calculus
-
Borgida A. On the relative expressive power of Description Logics and Predicate Calculus. Artificial Intelligence 1996; 82: 353-67.
-
(1996)
Artificial Intelligence
, vol.82
, pp. 353-367
-
-
Borgida, A.1
-
3
-
-
84888048209
-
GALEN ten years on: Tasks and supporting tools
-
Patel V, et al. (eds). IOS Press
-
Rogers JE, Roberts A, Solomon WD, van der Haring E, Wroe CJ, Zanstra PE, Rector AL. GALEN Ten Years On: Tasks and Supporting tools. In: Patel V, et al. (eds). Proc MEDINFO 2001. IOS Press 2001; pp 256-60.
-
(2001)
Proc MEDINFO 2001
, pp. 256-260
-
-
Rogers, J.E.1
Roberts, A.2
Solomon, W.D.3
Van Der Haring, E.4
Wroe, C.J.5
Zanstra, P.E.6
Rector, A.L.7
-
4
-
-
33745898023
-
GOAT: The Gene Ontology Annotation Tool
-
Nottingham, UK
-
Bada M, McEntire R, Wroe C, Stevens R. GOAT: The Gene Ontology Annotation Tool. In: Proc 2003 UK e-Science All Hands Meeting. Nottingham, UK; pp 514-9.
-
Proc 2003 UK E-Science All Hands Meeting
, pp. 514-519
-
-
Bada, M.1
McEntire, R.2
Wroe, C.3
Stevens, R.4
-
5
-
-
0003727420
-
-
Cambridge University Press ISBN: 0521781760
-
Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press 2003. ISBN: 0521781760.
-
(2003)
The Description Logic Handbook: Theory, Implementation, and Applications
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.5
-
6
-
-
0035753332
-
Normal forms for description logic expressions of clinical concepts in SNOMED RT
-
Spackman KA. Normal forms for description logic expressions of clinical concepts in SNOMED RT. Proc AMIA Symp 2001: 627-31.
-
(2001)
Proc AMIA Symp
, pp. 627-631
-
-
Spackman, K.A.1
-
7
-
-
0036356454
-
Role grouping as an extension to the description logic of Ontylog, motivated by concept modeling in SNOMED
-
Spackman KA, Dionne R, Mays E, Weis J. Role grouping as an extension to the description logic of Ontylog, motivated by concept modeling in SNOMED. Proc AMIA Symp 2002: pp 712-6.
-
(2002)
Proc AMIA Symp
, pp. 712-716
-
-
Spackman, K.A.1
Dionne, R.2
Mays, E.3
Weis, J.4
-
8
-
-
0242490950
-
Automated quality checks on repeat prescribing
-
Rogers JE, Wroe CJ, Roberts A, Swallow A, Stables D, Cantrill JA, Rector AL. Automated quality checks on repeat prescribing. Br J Gen Pract 2003; 53 (496): 838-44.
-
(2003)
Br J Gen Pract
, vol.53
, Issue.496
, pp. 838-844
-
-
Rogers, J.E.1
Wroe, C.J.2
Roberts, A.3
Swallow, A.4
Stables, D.5
Cantrill, J.A.6
Rector, A.L.7
-
10
-
-
0032233650
-
Validating clinical terminology structures: Integration and cross-validation of read thesaurus and GALEN
-
Philadelphia, PA: Hanley & Belfus Inc.
-
Rogers J, Price C, Rector A, et al. Validating Clinical Terminology Structures: Integration and Cross-Validation of Read Thesaurus and GALEN. In: Proc AMIA Symp Orlando FL 1998. Philadelphia, PA: Hanley & Belfus Inc.; 1998. pp 845-9.
-
(1998)
Proc AMIA Symp Orlando FL 1998
, pp. 845-849
-
-
Rogers, J.1
Price, C.2
Rector, A.3
-
12
-
-
58149365542
-
Toward principles for the design of ontologies used for knowledge sharing
-
Gruber TR. Toward Principles for the Design of Ontologies Used for Knowledge Sharing. Int Journal of Human-Computer Studies 1993; 43: 907-28.
-
(1993)
Int Journal of Human-Computer Studies
, vol.43
, pp. 907-928
-
-
Gruber, T.R.1
-
14
-
-
0032433211
-
Desiderata for controlled medical vocabularies in the twenty-first century
-
Cimino JJ. Desiderata for Controlled Medical Vocabularies in the Twenty-First Century. Methods Inform Med 1998; 37: 394-403.
-
(1998)
Methods Inform Med
, vol.37
, pp. 394-403
-
-
Cimino, J.J.1
-
15
-
-
15544382411
-
The Montagues and the Capulets
-
Goble C, Wroe C. The Montagues and the Capulets. Comp Fund Genom 2004; 5: 623-32.
-
(2004)
Comp Fund Genom
, vol.5
, pp. 623-632
-
-
Goble, C.1
Wroe, C.2
-
17
-
-
0031869529
-
Read code quality assurance: From simple syntax to semantic stability
-
Schulz EB, Barrett JW, Price C. Read Code Quality Assurance: From Simple Syntax to Semantic Stability. J Am Med Inform Assoc 1998; 5 (4): 337-46.
-
(1998)
J Am Med Inform Assoc
, vol.5
, Issue.4
, pp. 337-346
-
-
Schulz, E.B.1
Barrett, J.W.2
Price, C.3
-
19
-
-
0035278980
-
Evaluation of ontologies
-
Gómez-Pérez A. Evaluation of Ontologies. Int J Intell Systems 2001; 16: 391-409.
-
(2001)
Int J Intell Systems
, vol.16
, pp. 391-409
-
-
Gómez-Pérez, A.1
-
21
-
-
0346580159
-
Semantic quality through semantic definition: Refining the Read Codes through internal consistency
-
Schulz EB, Barrett JW, Price C. Semantic quality through semantic definition: Refining the Read Codes through internal consistency. J Am Med Inform Assoc 1997; 4 (Symp Supp): 615-9.
-
(1997)
J Am Med Inform Assoc
, vol.4
, Issue.SYMP. SUPPL.
, pp. 615-619
-
-
Schulz, E.B.1
Barrett, J.W.2
Price, C.3
-
23
-
-
0346580157
-
SNOMED RT: A reference terminology for health care
-
Spackman KA, Campbell KE. SNOMED RT: A Reference Terminology for Health Care. Proc AMIA Symp 1997; pp 640-4.
-
(1997)
Proc AMIA Symp
, pp. 640-644
-
-
Spackman, K.A.1
Campbell, K.E.2
-
24
-
-
57349200750
-
The content coverage of clinical classifications
-
Chute CG, Cohn SP, Campbell KE, Oliver DE, Campbell JR. The content coverage of clinical classifications. J Am Med Inform Assoc 1996; 3: 224-33.
-
(1996)
J Am Med Inform Assoc
, vol.3
, pp. 224-233
-
-
Chute, C.G.1
Cohn, S.P.2
Campbell, K.E.3
Oliver, D.E.4
Campbell, J.R.5
-
25
-
-
0035755943
-
Does size matter? - Evaluation of value added content of two decades of successive coding schemes in secondary care
-
Bakken S (ed). Philadelphia: Hanley and Belfus
-
Brown PJB, Odusanya L. Does Size Matter? - Evaluation of Value Added Content of Two Decades of Successive Coding Schemes in Secondary Care. In: Bakken S (ed). Proc AMIA Symp Philadelphia: Hanley and Belfus; 2001. pp 71-5.
-
(2001)
Proc AMIA Symp
, pp. 71-75
-
-
Brown, P.J.B.1
Odusanya, L.2
-
26
-
-
0038662736
-
Randomised crossover trial comparing the performance of Clinical Terms Version 3 and Read Codes 5 byte set coding schemes in general practice
-
Brown PJB, Warmington y Laurence M, Prevost AT. Randomised crossover trial comparing the performance of Clinical Terms Version 3 and Read Codes 5 byte set coding schemes in general practice. BMJ 2003; 326: 1127.
-
(2003)
BMJ
, vol.326
, pp. 1127
-
-
Brown, P.J.B.1
Warmington Y Laurence, M.2
Prevost, A.T.3
-
27
-
-
33745888511
-
-
visited Aug 9, 2005
-
Rogers JE, Wroe CJ, Roberts A, Rector AL, Swallow A, Stables D, Cantrill JA. Feasibility and Reliability of Computerised Review of Long Term Prescribing: Final Report (2002). http://www.cs.man.ac.uk/mig/projects/old/prescribing- indicators/FinalReportRTF.zip. Supplementary Report pp 88-96 (visited Aug 9, 2005).
-
Feasibility and Reliability of Computerised Review of Long Term Prescribing: Final Report (2002)
-
-
Rogers, J.E.1
Wroe, C.J.2
Roberts, A.3
Rector, A.L.4
Swallow, A.5
Stables, D.6
Cantrill, J.A.7
-
28
-
-
67349122337
-
Ontology-based error detection in SNOMED-CT
-
Fieschi et al. (eds) IOS Press
-
Ceusters W, Smith B, Kumar A, Dhaen C. Ontology-based error detection in SNOMED-CT. In: Fieschi et al. (eds). Proc MEDINFO 2004. IOS Press 2004; pp 482-6.
-
(2004)
Proc MEDINFO 2004
, pp. 482-486
-
-
Ceusters, W.1
Smith, B.2
Kumar, A.3
Dhaen, C.4
-
29
-
-
33745895075
-
Investigating subsumption in DL-based terminologies: A case study in SNOMED CT
-
Whistler: (visited Aug 15, 2005)
-
Bodenreider O, Smith B, Kumar A, Burgun A. Investigating subsumption in DL-based terminologies: A Case Study in SNOMED CT. In: Proc KR-MED 2004. Whistler: pp 12-20. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR- WS//V01-102/ (visited Aug 15, 2005).
-
(2004)
Proc KR-MED
, pp. 12-20
-
-
Bodenreider, O.1
Smith, B.2
Kumar, A.3
Burgun, A.4
-
30
-
-
22044458617
-
Description logic based methods for auditing frame-based medical terminology systems
-
Cornet R, Abu-Hanna A. Description logic based methods for auditing frame-based medical terminology systems. Artificial Intelligence in Medicine 2005; 34: 201-17.
-
(2005)
Artificial Intelligence in Medicine
, vol.34
, pp. 201-217
-
-
Cornet, R.1
Abu-Hanna, A.2
-
31
-
-
29244451091
-
Methods for evaluation of medical terminological systems; a literature review and a case study
-
Arts DGT, Cornet R, de Jonge E, de Keizer NF. Methods for evaluation of medical terminological systems; a literature review and a case study. Methods Inf Med 2005; 44: 616-25.
-
(2005)
Methods Inf Med
, vol.44
, pp. 616-625
-
-
Arts, D.G.T.1
Cornet, R.2
De Jonge, E.3
De Keizer, N.F.4
-
37
-
-
33646675765
-
-
Ontology Library (visited Aug 9, 2005)
-
Masolo C, Borgo S, Gangemi A, Guarino N, Oltramari A. Wonderweb: Deliverable 18. Ontology Library. WonderWeb consortium (2003). http://wonderweb.semanticweb.org/deliverables/D18. shtml (visited Aug 9, 2005).
-
Wonderweb: Deliverable 18
-
-
Masolo, C.1
Borgo, S.2
Gangemi, A.3
Guarino, N.4
Oltramari, A.5
-
38
-
-
18944374341
-
Biodynamic ontology: Applying BFO in the biomedical domain
-
Pisanelli (ed). Amsterdam: IOS Press
-
Grenon P, Smith B, Goldberg L. Biodynamic Ontology: Applying BFO in the Biomedical Domain In: Pisanelli (ed). Ontologies in Medicine. Amsterdam: IOS Press; 2004. pp 20-38.
-
(2004)
Ontologies in Medicine
, pp. 20-38
-
-
Grenon, P.1
Smith, B.2
Goldberg, L.3
-
39
-
-
30344468405
-
A formal theory for spatial representation and reasoning in biomedical ontologies
-
Donnelly M, Bittner T, Rosse C. A Formal Theory for Spatial Representation and Reasoning in Biomedical Ontologies. AI Med 2005; 36 (1): 1-27.
-
(2005)
AI Med
, vol.36
, Issue.1
, pp. 1-27
-
-
Donnelly, M.1
Bittner, T.2
Rosse, C.3
-
40
-
-
34247164563
-
Containment relations in anatomical ontologies
-
Friedman C, Ash J, Tarczy-Honoch (eds)
-
Donnelly M. Containment Relations in Anatomical Ontologies. In: Friedman C, Ash J, Tarczy-Honoch (eds). Proc AMIA 2005 Annual Symposium Washington DC. pp 206-10.
-
Proc AMIA 2005 Annual Symposium Washington DC
, pp. 206-210
-
-
Donnelly, M.1
-
41
-
-
0012257635
-
Evaluating ontological decisions with OntoClean
-
Guarino N, Welty C. Evaluating ontological decisions with OntoClean. Communications of the ACM 2002; 45 (2): 61-5.
-
(2002)
Communications of the ACM
, vol.45
, Issue.2
, pp. 61-65
-
-
Guarino, N.1
Welty, C.2
-
44
-
-
33745882755
-
Philosophical scrutiny for run-time support of application ontology development
-
Turin
-
Casalla de Santos M, Dhaen C, Fielding M. Ceustcrs W. Philosophical scrutiny for run-time support of application ontology development. In: Proc FOIS 2004, Turin.
-
(2004)
Proc FOIS
-
-
Casalla De Santos, M.1
Dhaen, C.2
Fielding, M.3
Ceustcrs, W.4
-
45
-
-
85167415639
-
Ontological theory for ontological engineering: Biomedical systems information integration
-
Whistler. AAAI Press 2004
-
Fielding JM, Simon J, Ceusters W, Smith B. Ontological theory for ontological engineering: biomedical systems information integration. In: Principles of Knowledge Representation and Reasoning. Proc KR2004, Whistler. AAAI Press 2004; 116: 647-52.
-
(2004)
Principles of Knowledge Representation and Reasoning. Proc KR
, vol.116
, pp. 647-652
-
-
Fielding, J.M.1
Simon, J.2
Ceusters, W.3
Smith, B.4
-
47
-
-
84918531466
-
Data driven ontology evaluation
-
Lisbon, Portugal
-
Brewster C, Alani H, Dasmahapatra S, Wilks Y. Data Driven Ontology Evaluation. In: Proc Int Conf Language Resources and Evaluation. Lisbon, Portugal, 2004.
-
(2004)
Proc Int Conf Language Resources and Evaluation
-
-
Brewster, C.1
Alani, H.2
Dasmahapatra, S.3
Wilks, Y.4
-
48
-
-
33745911723
-
-
visited Aug 9, 2005
-
Hartman J, Spyns P, Giboin A, Maynard D, Cuel R, Suárez-Figueroa C, Sure Y. KnowledgeWeb D1.2.3 Methods for Ontology Evaluation. (2005). http://www.starlab.vub.ac.be/research/projects/knowledgeweb/KWeb-Del-1.2. 3-Revised-v1.3.1. pdf (visited Aug 9, 2005).
-
(2005)
KnowledgeWeb D1.2.3 Methods for Ontology Evaluation
-
-
Hartman, J.1
Spyns, P.2
Giboin, A.3
Maynard, D.4
Cuel, R.5
Suárez-Figueroa, C.6
Sure, Y.7
-
50
-
-
72249108539
-
Wüsteria
-
Geneva. Stud Health Technol Inform
-
Smith B, Ceusters W, Temmerman R. Wüsteria. In: Proc MIE2005, Geneva. Stud Health Technol Inform 2005; 116: 647-52.
-
(2005)
Proc MIE2005
, vol.116
, pp. 647-652
-
-
Smith, B.1
Ceusters, W.2
Temmerman, R.3
-
51
-
-
0028964922
-
Read Codes Version 3: A user led terminology
-
O'Neil M, Payne C, Read J. Read Codes Version 3: A user led terminology. Methods Inf Med 1995; 34: 187-92.
-
(1995)
Methods Inf Med
, vol.34
, pp. 187-192
-
-
O'Neil, M.1
Payne, C.2
Read, J.3
-
52
-
-
33745901406
-
Examining SNOMED from the perspective of formal ontological principles: Some preliminary analysis and observations
-
visited Aug 152005
-
Spackman KA, Reynoso G. Examining SNOMED from the Perspective of Formal Ontological Principles: Some Preliminary Analysis and Observations, in Proc KR-MHD 2004 Whistler;: 12-20 http://sunsite.informatik.rwth-aachen.de/ Publications/CEUR-WS//Vol-102/ (visited Aug 152005)
-
Proc KR-MHD 2004 Whistler;: 12-20
-
-
Spackman, K.A.1
Reynoso, G.2
-
53
-
-
0029779819
-
Software quality: The elusive target
-
Kitchenham B, Pfleeger SL. Software Quality: The Elusive Target. IEEE Software 1996: 13(1): 12-21.
-
(1996)
IEEE Software
, vol.13
, Issue.1
, pp. 12-21
-
-
Kitchenham, B.1
Pfleeger, S.L.2
-
54
-
-
0010646109
-
Evaluating software engineering methods and tool (Twelve part series)
-
Kitchenham B, Jones L. Evaluating software engineering methods and tool (Twelve part series). ACM SIGSOFT Software Engineering Notes 1996-8; 21: 1; 11-14 to 23; 5: 21-24.
-
(1996)
ACM SIGSOFT Software Engineering Notes
, vol.21
, Issue.1
, pp. 11-14
-
-
Kitchenham, B.1
Jones, L.2
-
56
-
-
32944459924
-
Towards a quantitative, platform-independent analysis of knowledge systems
-
Principles of Knowledge Representation and Reasoning, Whistler. AAAI Press
-
Friedland NS, Allen PG, Witbrock M, et al. Towards a quantitative, platform-independent analysis of knowledge systems. In: Principles of Knowledge Representation and Reasoning. Proc KR2004, Whistler. AAAI Press 2004; 116: 507-15.
-
(2004)
Proc KR2004
, vol.116
, pp. 507-515
-
-
Friedland, N.S.1
Allen, P.G.2
Witbrock, M.3
-
57
-
-
22944445690
-
The integration of OntoClean in WebODE
-
Amsterdam, The Netherlands visited Aug 9, 2005
-
Fernández-López M, Gómez-Pérez A. The integration of OntoClean in WebODE. In: CEUR Workshop Proceedings. Amsterdam, The Netherlands 2002; 62: 38-52. http://CEUR-WS.org/ Vol-62 (visited Aug 9, 2005.
-
(2002)
CEUR Workshop Proceedings
, vol.62
, pp. 38-52
-
-
Fernández-López, M.1
Gómez-Pérez, A.2
|