-
1
-
-
0026137239
-
Two theses of knowledge representation: Language restrictions, taxonomic classification and the utility of representation services
-
Doyle, J. and Patil, R. Two theses of knowledge representation: Language restrictions, taxonomic classification and the utility of representation services. Artificial Intelligence, 48 (1991). 261-297.
-
(1991)
Artificial Intelligence
, vol.48
, pp. 261-297
-
-
Doyle, J.1
Patil, R.2
-
2
-
-
0032926356
-
A methodology for partitioning a vocabulary hierarchy into trees
-
Gu, H.H., Perl, Y., Geller, J., Halper, M. and Singh, M. A methodology for partitioning a vocabulary hierarchy into trees. Artificial Intelligence in Medicine, 15 (1999). 77-98.
-
(1999)
Artificial Intelligence in Medicine
, vol.15
, pp. 77-98
-
-
Gu, H.H.1
Perl, Y.2
Geller, J.3
Halper, M.4
Singh, M.5
-
3
-
-
0003255878
-
Towards a methodology for ontology-based model engineering
-
Cannes, France
-
Guarino, N. and Welty, C., Towards a methodology for ontology-based model engineering. in ECOOP-2000 Workshop on Model Engineering, (Cannes, France, 2000).
-
(2000)
ECOOP-2000 Workshop on Model Engineering
-
-
Guarino, N.1
Welty, C.2
-
4
-
-
0002390782
-
Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roes
-
San Francisco, CA, Morgan Kaufmann
-
Haarslev, V. and Moeller, R., Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roes. in Pro 7th Int Conf on Knowledge Representation and Reasoning (KR2000), (San Francisco, CA, 2000), Morgan Kaufmann, 273-284.
-
(2000)
Pro 7th Int Conf on Knowledge Representation and Reasoning (KR2000)
, pp. 273-284
-
-
Haarslev, V.1
Moeller, R.2
-
5
-
-
0001473852
-
Using an expressive description logic: FaCT or Fiction
-
San Francisco, CA, Morgan Kaufmann
-
Horrocks, I., Using an expressive description logic: FaCT or Fiction. in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference on Knowledge Representation (KR 98), (San Francisco, CA, 1998), Morgan Kaufmann, 634-647.
-
(1998)
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference on Knowledge Representation (KR 98)
, pp. 634-647
-
-
Horrocks, I.1
-
6
-
-
0026311099
-
A Patient Care Workstation Based on a User Centred Design and a Formal Theory of Medical Terminology: PEN&PAD and the SMK Formalism
-
Washington DC, McGraw-Hill
-
Nowlan, W., Rector, A., Kay, S., Horan, B. and Wilson, A., A Patient Care Workstation Based on a User Centred Design and a Formal Theory of Medical Terminology: PEN&PAD and the SMK Formalism. in Fifteenth Annual Symposium on Computer Applications in Medical Care. SCAMC-91, (Washington DC, 1991), McGraw-Hill, 855-857.
-
(1991)
Fifteenth Annual Symposium on Computer Applications in Medical Care. SCAMC-91
, pp. 855-857
-
-
Nowlan, W.1
Rector, A.2
Kay, S.3
Horan, B.4
Wilson, A.5
-
7
-
-
0031080998
-
The GRAIL concept modelling language for medical terminology
-
Rector, A., Bechhofer, S., Goble, C., Horrocks, I., Nowlan, W. and Solomon, W. The GRAIL concept modelling language for medical terminology. Artificial Intelligence in Medicine, 9 (1997). 139-171.
-
(1997)
Artificial Intelligence in Medicine
, vol.9
, pp. 139-171
-
-
Rector, A.1
Bechhofer, S.2
Goble, C.3
Horrocks, I.4
Nowlan, W.5
Solomon, W.6
-
8
-
-
0028968408
-
A Terminology Server for Medical Language and Medical Information Systems
-
Rector, A., Solomon, W., Nowlan, W. and Rush, T. A Terminology Server for Medical Language and Medical Information Systems. Methods of Information in Medicine, 34 (1995). 147-157.
-
(1995)
Methods of Information in Medicine
, vol.34
, pp. 147-157
-
-
Rector, A.1
Solomon, W.2
Nowlan, W.3
Rush, T.4
-
9
-
-
0035789726
-
Untangling taxonomies and relationships: Personal and practical problems in loosely coupled development of large ontologies
-
Victoria, BC, Canada, ACM
-
Rector, A., Wroe, C., Rogers, J. and Roberts, A., Untangling taxonomies and relationships: Personal and practical problems in loosely coupled development of large ontologies. in Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001), (Victoria, BC, Canada, 2001), ACM, 139-146.
-
(2001)
Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001)
, pp. 139-146
-
-
Rector, A.1
Wroe, C.2
Rogers, J.3
Roberts, A.4
-
10
-
-
0033427371
-
Clinical Terminology: Why is it so hard?
-
Rector, A.L. Clinical Terminology: Why is it so hard? Methods of Information in Medicine, 38 (1999). 239-252.
-
(1999)
Methods of Information in Medicine
, vol.38
, pp. 239-252
-
-
Rector, A.L.1
-
11
-
-
0032216446
-
Reconciling Users' Needs and Formal Requirements: Issues in developing a Re-Usable Ontology for Medicine
-
Rector, A.L., Zanstra, P.E., Solomon, W.D., Rogers, J.E., Baud, R., Ceusters, W., W Claassen, Kirby, J., Rodrigues, J.-M., Mori, A.R., Haring, E.v.d. and Wagner, J. Reconciling Users' Needs and Formal Requirements: Issues in developing a Re-Usable Ontology for Medicine. IEEE Tran on Information Technology in BioMedicine, 2 (1999). 229-242.
-
(1999)
IEEE Tran on Information Technology in BioMedicine
, vol.2
, pp. 229-242
-
-
Rector, A.L.1
Zanstra, P.E.2
Solomon, W.D.3
Rogers, J.E.4
Baud, R.5
Ceusters, W.6
Claassen, W.7
Kirby, J.8
Rodrigues, J.-M.9
Mori, A.R.10
Haring, E.V.D.11
Wagner, J.12
-
12
-
-
0000203261
-
The GALEN ontology
-
Copenhagen, IOS Press
-
Rogers, J. and Rector, A., The GALEN ontology. in Medical Informatics Europe (MIE 96), (Copenhagen, 1996), IOS Press, 174-178.
-
(1996)
Medical Informatics Europe (MIE 96)
, pp. 174-178
-
-
Rogers, J.1
Rector, A.2
-
13
-
-
0032233650
-
Validating clinical terminology structures: Integration and cross-validation of Read Thesaurus and GALEN
-
Rogers, J.E., Price, C., Rector, A.L., Solomon, W.D. and Smejko, N. Validating clinical terminology structures: Integration and cross-validation of Read Thesaurus and GALEN. Journal of the American Medical Informatics Association (1998). 845-849.
-
(1998)
Journal of the American Medical Informatics Association
, pp. 845-849
-
-
Rogers, J.E.1
Price, C.2
Rector, A.L.3
Solomon, W.D.4
Smejko, N.5
-
15
-
-
0033257378
-
A reference terminology for drugs
-
Solomon, W., Wroe, C., Rogers, J.E. and Rector, A. A reference terminology for drugs. Journal of the American Medical Informatics Association (1999). 152-155.
-
(1999)
Journal of the American Medical Informatics Association
, pp. 152-155
-
-
Solomon, W.1
Wroe, C.2
Rogers, J.E.3
Rector, A.4
-
18
-
-
0038649275
-
Views for light-weight web ontologies
-
Melbourne, Florida
-
Volz, r., Oberle, D. and Studer, R., Views for light-weight web ontologies. in ACM Symp on Applied Computing (SAC- 2003), (Melbourne, Florida, 2003).
-
(2003)
ACM Symp on Applied Computing (SAC- 2003)
-
-
Volz, R.1
Oberle, D.2
Studer, R.3
-
19
-
-
0035477319
-
Supporting ontological analysis of taxonomic relationships
-
Welty, C. and Guarino, N. Supporting ontological analysis of taxonomic relationships. Data and Knowledge Engineering, 39 (2001). 51-74.
-
(2001)
Data and Knowledge Engineering
, vol.39
, pp. 51-74
-
-
Welty, C.1
Guarino, N.2
-
21
-
-
0041627697
-
An Evolutionary Methodology to Migrate the Gene Ontology to A Description Logic Environment Using DAML+OIL
-
Hawaii
-
Wroe, C., Stevens, R., Goble, C.A. and Ashburner, M., An Evolutionary Methodology To Migrate The Gene Ontology To A Description Logic Environment Using DAML+OIL. in Pro 8th Pacific Symposium on Biocomputing (PSB), (Hawaii, 2003), 624-635.
-
(2003)
Pro 8th Pacific Symposium on Biocomputing (PSB)
, pp. 624-635
-
-
Wroe, C.1
Stevens, R.2
Goble, C.A.3
Ashburner, M.4
|