메뉴 건너뛰기




Volumn 2174, Issue , 2001, Pages 396-408

OilED: A reason-able ontology editor for the semantic web

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; ONTOLOGY;

EID: 84974727353     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45422-5_28     Document Type: Conference Paper
Times cited : (225)

References (21)
  • 2
    • 0002799103 scopus 로고    scopus 로고
    • Ontological issues for knowledge-enhanced search
    • D. L. McGuinness. Ontological issues for knowledge-enhanced search. In Proc. of FOIS-98, 1998.
    • (1998) Proc. of FOIS-98
    • McGuinness, D.L.1
  • 5
    • 0011269091 scopus 로고
    • Towards principles for the design of ontologies used for knowledge sharing
    • T. R. Gruber. Towards principles for the design of ontologies used for knowledge sharing. In Proc. of Int. Workshop on Formal Ontology, 1993.
    • (1993) Proc. of Int. Workshop on Formal Ontology
    • Gruber, T.R.1
  • 9
    • 0026137239 scopus 로고
    • Two theses of knowledge representation
    • J. Doyle and R. Patil. Two theses of knowledge representation. Artificial Intelligence, 48:261-297, 1991.
    • (1991) Artificial Intelligence , vol.48 , pp. 261-297
    • Doyle, J.1    Patil, R.2
  • 10
    • 0001900236 scopus 로고    scopus 로고
    • OKBC: A programmatic foundation for knowledge base interoperability
    • V. K. Chaudhri et al. OKBC: A programmatic foundation for knowledge base interoperability. In Proc. of AAAI-98, 1998.
    • (1998) Proc. of AAAI-98
    • Chaudhri, V.K.1
  • 12
    • 0003829257 scopus 로고    scopus 로고
    • Knowledge modeling at the millennium (The design and evolution of protégé-2000)
    • W. E. Grosso et al. Knowledge modeling at the millennium (the design and evolution of protégé-2000). In Proc. of KAW99, 1999.
    • (1999) Proc. of KAW99
    • Grosso, W.E.1
  • 13
    • 84886280180 scopus 로고    scopus 로고
    • Practical reasoning for expressive description logics
    • I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of LPAR’99, pages 161-180, 1999.
    • (1999) Proc. of LPAR’99 , pp. 161-180
    • Horrocks, I.1    Sattler, U.2    Tobies, S.3
  • 14
    • 84885973339 scopus 로고    scopus 로고
    • Benchmark analysis with fact
    • I. Horrocks. Benchmark analysis with fact. In Proc. TABLEAUX 2000, pages 62-66, 2000.
    • (2000) Proc. TABLEAUX 2000 , pp. 62-66
    • Horrocks, I.1
  • 15
    • 0002800118 scopus 로고
    • A scheme for integrating concrete domains into concept languages
    • F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Proc. of IJCAI-91, pages 452-457, 1991.
    • (1991) Proc. of IJCAI-91 , pp. 452-457
    • Baader, F.1    Hanschke, P.2
  • 16
    • 0031080998 scopus 로고    scopus 로고
    • The Grail concept modelling language for medical terminology
    • A. Rector et al. The Grail concept modelling language for medical terminology. Artificial Intelligence in Medicine, 9:139-171, 1997.
    • (1997) Artificial Intelligence in Medicine , vol.9 , pp. 139-171
    • Rector, A.1
  • 17
    • 0345760381 scopus 로고    scopus 로고
    • Knowledge representation on the web
    • S. Decker et al. Knowledge representation on the web. In Proc. of DL 2000, pages 89-98, 2000.
    • (2000) Proc. of DL 2000 , pp. 89-98
    • Decker, S.1
  • 18
    • 0347016437 scopus 로고
    • Explaining subsumption in description logics
    • D. McGuinness and A. Borgida. Explaining subsumption in description logics. In Proc. of IJCAI-95, pages 816-821, 1995.
    • (1995) Proc. of IJCAI-95 , pp. 816-821
    • McGuinness, D.1    Borgida, A.2
  • 21
    • 0034069495 scopus 로고    scopus 로고
    • Gene ontology: Tool for the unification of biology
    • M. Ashburner et al. Gene ontology: Tool for the unification of biology. Nature Genetics, 25:25-29, 2000.
    • (2000) Nature Genetics , vol.25 , pp. 25-29
    • Ashburner, M.1


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