-
1
-
-
0031076483
-
Using explicit ontologies in KBS development
-
G. van Heijst, A. Schreiber, and B. Wielinga. Using explicit ontologies in KBS development. Int. J. of Human-Computer Studies, 46(2/3):183-292, 1997.
-
(1997)
Int. J. of Human-Computer Studies
, vol.46
, Issue.2
, pp. 183-292
-
-
Van Heijst, G.1
Schreiber, A.2
Wielinga, B.3
-
2
-
-
0002799103
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
19
-
-
0032810063
-
An Ontology for Bioinformatics Applications
-
P.G Baker, C.A Goble, S. Bechhofer, N.W Paton, R. Stevens, and A. Brass. An Ontology for Bioinformatics Applications. Bioinformatics, 15(6):510-520, 1999.
-
(1999)
Bioinformatics
, vol.15
, Issue.6
, pp. 510-520
-
-
Baker, P.G.1
Goble, C.A.2
Bechhofer, S.3
Paton, N.W.4
Stevens, R.5
Brass, A.6
-
20
-
-
0034957882
-
Transparent Access to Multiple Bioinformatics Information Sources
-
C. Goble, R. Stevens, G. Ng, S. Bechhofer, N.W. Paton, P.G. Baker, M. Peim, and A. Brass. Transparent Access to Multiple Bioinformatics Information Sources. IBM Systems Journal, 40(2), 2001.
-
(2001)
IBM Systems Journal
, vol.40
, Issue.2
-
-
Goble, C.1
Stevens, R.2
Ng, G.3
Bechhofer, S.4
Paton, N.W.5
Baker, P.G.6
Peim, M.7
Brass, A.8
-
21
-
-
0034069495
-
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
|