메뉴 건너뛰기




Volumn , Issue , 2003, Pages 121-128

Modularisation of domain ontologies implemented in description logics and related formalisms including OWL

Author keywords

Description Logics; Ontologies; OWL; Semantic Web

Indexed keywords

BIRDS; DATA DESCRIPTION; FORMAL LANGUAGES; SEMANTIC WEB;

EID: 84947570401     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/945645.945664     Document Type: Conference Paper
Times cited : (185)

References (21)
  • 1
    • 0026137239 scopus 로고
    • 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
  • 3
    • 0003255878 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 6
    • 0026311099 scopus 로고
    • 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
  • 8
    • 0028968408 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 19
    • 0035477319 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.