On the insufficiency of ontologies:: problems in knowledge sharing and alternative solutions

被引：28

作者：

da Silva, FSC

Vasconcelos, WW

Robertson, DS

Brilhante, V

de Melo, ACV

Finger, M

Agustí, J

机构：

[1] Univ Edinburgh, Div Informat, Edinburgh EH1 1HN, Midlothian, Scotland

[2] Univ Sao Paulo, Inst Matemat & Estatist, BR-05508900 Sao Paulo, Brazil

[3] Univ Autonoma Barcelona, CSIC, IIIA, E-08193 Bellaterra, Catalonia, Spain

来源：

KNOWLEDGE-BASED SYSTEMS | 2002年 / 15卷 / 03期

基金：

巴西圣保罗研究基金会;

关键词：

ontologies; knowledge sharing; knowledge representation and inference;

D O I：

10.1016/S0950-7051(01)00152-6

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

One of the benefits of formally represented knowledge lies in its potential to be shared. Ontologies have been proposed as the ultimate solution to problems in knowledge sharing. However even when an agreed correspondence between ontologies is reached that is not the end of the problems in knowledge sharing. In this paper we explore a number of realistic knowledge-sharing situations and their related problems for which ontologies fall short in providing a solution. For each situation. we propose and analyse alternative solutions. (C) 2002 Elsevier Science B.V. All rights reserved.

引用

页码：147 / 167

页数：21

共 56 条

[1]

Anderson A. R., 1975, Entailment: The Logic of Relevance and Necessity, VI

[2]

[Anonymous], SUBSTRUCTURAL LOGICS

[3]

APT KR, 1994, HDB THEORETICAL COMP, P493

[4]

Apt KR., 1997, From Logic Programming to Prolog. Prentice Hall International series in computer science

[5]

BARENDREGT HP, 1981, N HOLLAND STUDIES LO, V103

[6]

BRILHANTE V, 2001, IN PRESS ENV INFORMA

[7]

BRILHANTE V, 1999, AAAI 99 WORKSH ENV D

[8]

BRILHANTE V, 1998, 197 U EDINBURGH

[9]

Bundy A., 1985, Journal of Automated Reasoning, V1, P263, DOI 10.1007/BF00244272

[10] May I borrow your logic? Transporting logical structures along maps [J].

Cerioli, M ;

Meseguer, J .

THEORETICAL COMPUTER SCIENCE, 1997, 173 (02) :311-347

← 1 2 3 4 5 6 →