-
1
-
-
84942793583
-
Annamalai and L. Sterling. Dealing with Mathematical Relations in Web-Ontologies. In Proceedings of theWorkshop on Ontologies in Agent Systems (OAS’03) at the 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, Melbourne
-
M. Annamalai and L. Sterling. Dealing with Mathematical Relations in Web-Ontologies. In Proceedings of theWorkshop on Ontologies in Agent Systems (OAS’03) at the 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, Melbourne, Australia, pages 1–8, 2003.
-
(2003)
Australia
, pp. 1-8
-
-
-
2
-
-
84942786618
-
— the INpa FORest Model. Project BIONTE Technical Report
-
Y. Biot, N. Higuchi, V. Brilhante, J. de Freitas, J. Ferraz, N. Leal, S. Ferreira and T. Desjardins. INFORM — the INpa FORest Model. Project BIONTE Technical Report, National Institute for Research of the Amazon (INPA) — Brazil and Overseas Development Administration (ODA) — UK, May 1996.
-
(1996)
National Institute for Research of the Amazon (INPA) — Brazil and Overseas Development Administration (ODA) — UK
-
-
Biot, Y.1
Higuchi, N.2
Brilhante, V.3
de Freitas, J.4
Ferraz, J.5
Leal, N.6
Ferreira, S.7
INFORM, T.D.8
-
4
-
-
84942809907
-
School of Informatics
-
V. Brilhante. Ontology and Reuse in Model Synthesis. PhD thesis, School of Informatics, University of Edinburgh, 2003.
-
(2003)
University of Edinburgh
-
-
Ontology, V.B.1
-
5
-
-
0034514234
-
-
M. Ceruti, C. Anken, A. Lin and S. Rubin. Applications of High-Performance Knowledge-Based Technology. In Proceedings of theIEEE Intl. Conference on Systems, Man and Cybernetics, Nashville, USA, 2000.
-
M. Ceruti, C. Anken, A. Lin and S. Rubin. Applications of High-Performance Knowledge-Based Technology. In Proceedings of theIEEE Intl. Conference on Systems, Man and Cybernetics, Nashville, USA, 2000.
-
-
-
-
6
-
-
0013477569
-
-
Knowledge Systems Laboratory, Stanford University, California, USA
-
V. K. Chaudhri, A. Farquhar, R. Fikes, P. D. Karp and J. P. Rice. Open Knowledge Base Connectivity 2.0. KS-98-06, Knowledge Systems Laboratory, Stanford University, California, USA, Jan 1998.
-
(1998)
Open Knowledge Base Connectivity 2.0. KS-98-06
-
-
Chaudhri, V.K.1
Farquhar, A.2
Fikes, R.3
Karp, P.D.4
Rice, J.P.5
-
7
-
-
0004230517
-
-
Morgan Kaufmann Publishers, Inc., San Mateo, California, USA
-
E. Davis. Representations of Commonsense Knowledge. Morgan Kaufmann Publishers, Inc., San Mateo, California, USA, 1990.
-
(1990)
Representations of Commonsense Knowledge
-
-
Davis, E.1
-
8
-
-
84942756785
-
-
S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. C. Klein and J. Broekstra. Knowledge Representation on the Web. In Proceedings of the2000 International Workshop on Description Logics (DL’00), Aachen, Germany, pages 89–97, 2000.
-
(2000)
Aachen, Germany
, pp. 89-97
-
-
-
9
-
-
84942785385
-
-
Defense Advanced Research Projects Agency. Oct 2005.
-
Defense Advanced Research Projects Agency. http://www.darpa.mil/, Oct 2005.
-
-
-
-
11
-
-
84942786068
-
The Ontolingua Server: a Tool for Collaborative Ontology Construction. KSL-96-26, Computer Science Department
-
A. Farquhar, R. Fikes and J. Rice. The Ontolingua Server: a Tool for Collaborative Ontology Construction. KSL-96-26, Computer Science Department, Stanford University, 1996.
-
(1996)
Stanford University
-
-
Farquhar, A.1
Fikes, R.2
Rice, J.3
-
12
-
-
0021613150
-
Qualitative Process Theory
-
K. D. Forbus. Qualitative Process Theory.Artificial Intelligence, 24:85–168, 1984.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 85-168
-
-
Forbus, K.D.1
-
14
-
-
0032714456
-
Building a Large Knowledge Base from a Structured Source
-
G. Frank, A. Farquhar and R. Fikes. Building a Large Knowledge Base from a Structured Source.IEEE Intelligent Systems, 14(1):47–54, 1999.
-
(1999)
IEEE Intelligent Systems
, vol.14
, Issue.1
, pp. 47-54
-
-
Frank, G.1
Farquhar, A.2
Fikes, R.3
-
15
-
-
84958739392
-
The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility
-
Dieng R., Corby O., (eds), Springer, Juan-les-Pins, France
-
N. Fridman, R. Fergerson and M. Musen. The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility. In R. Dieng and O. Corby, editors, Proceedings of the12th International Conference on Knowledge Engineering and Knowledge Management (EKAW’00), volume 1937 of Lecture Notes in Computer Science (LNCS), Springer. Juan-les-Pins, France, pages 17–32, 2000.
-
(2000)
Proceedings of the12th International Conference on Knowledge Engineering and Knowledge Management (EKAW’00), volume 1937 of Lecture Notes in Computer Science (LNCS)
, pp. 17-32
-
-
Fridman, N.1
Fergerson, R.2
Musen, M.3
-
16
-
-
84873476520
-
Sweetening Ontologies with DOLCE
-
volume 2473 of Lecture Notes in Computer Science (LNCS), Springer, Siguenza, Spain
-
A. Gangemi, N. Guarino, C. Masolo, A. Oltramari and L. Schneider. Sweetening Ontologies with DOLCE. InProceedings of the13th International Conference on Knowledge Engineering and Knowledge Management (EKAW’02), volume 2473 of Lecture Notes in Computer Science (LNCS), Springer. Siguenza, Spain, pages 166–181, 2002.
-
(2002)
Proceedings of the13th International Conference on Knowledge Engineering and Knowledge Management (EKAW’02)
, pp. 166-181
-
-
Gangemi, A.1
Guarino, N.2
Masolo, C.3
Oltramari, A.4
Schneider, L.5
-
17
-
-
0003799302
-
-
Logic Group, Computer Science Department, Stanford University, California, USA
-
M. Genesereth and R. Fikes. Knowledge Interchange Format, Version 3.0, Reference Manual. Logic-92-1, Logic Group, Computer Science Department, Stanford University, California, USA, 1992.
-
(1992)
Knowledge Interchange Format, Version 3.0, Reference Manual. Logic-92-1
-
-
Genesereth, M.1
Fikes, R.2
-
18
-
-
84885146901
-
Ontological Reengineering for Reuse
-
volume 1621 of Lecture Notes in Artificial Intelligence (LNAI), Springer, Dagstuhl Castle, Germany
-
A. Gómez-Pérez and M. D. Rojas-Amaya. Ontological Reengineering for Reuse. In Proceedings of the11th European Knowledge Acquisition Workshop (EKAW’99), volume 1621 of Lecture Notes in Artificial Intelligence (LNAI), Springer. Dagstuhl Castle, Germany, pages 139–156, 1999.
-
(1999)
Proceedings of the11th European Knowledge Acquisition Workshop (EKAW’99)
, pp. 139-156
-
-
Gómez-Pérez, A.1
Rojas-Amaya, M.D.2
-
19
-
-
0031464090
-
Systems Analysis and Simulation. John Wiley & Sons
-
W. E. Grant, E. K. Pedersen and S. L. Marín. Ecology and Natural Resource Management: Systems Analysis and Simulation. John Wiley & Sons, Inc., 1997.
-
(1997)
Inc.
-
-
Grant, W.E.1
Pedersen, E.K.2
Ecology, S.L.M.3
-
20
-
-
35148839490
-
A Translation Approach to Portable Ontology Specifications
-
T. Gruber. A Translation Approach to Portable Ontology Specifications.Knowledge Acquisition, 5(2):199–220, 1993.
-
(1993)
Knowledge Acquisition
, vol.5
, Issue.2
, pp. 199-220
-
-
Gruber, T.1
-
21
-
-
84942785521
-
-
T. Gruber and G. Olsen. An Ontology for Engineering Mathematics. In Proceedings of the4th International Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany, 1994.
-
T. Gruber and G. Olsen. An Ontology for Engineering Mathematics. In Proceedings of the4th International Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany, 1994.
-
-
-
-
22
-
-
84942756211
-
Modeling Biological Systems: Principles and Applications
-
J. Haefner. Modeling Biological Systems: Principles and Applications. Chapman & Hall, 1996.
-
(1996)
Chapman & Hall
-
-
Haefner, J.1
-
23
-
-
84942810972
-
-
I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof and M. Dean. SWRL: A SemanticWeb Rule Language Combining OWL and RuleML. W3C Member Submission, May 2004. Oct 2005.
-
I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof and M. Dean. SWRL: A SemanticWeb Rule Language Combining OWL and RuleML. W3C Member Submission, May 2004. http://www.w3.org/Submission/2004/SUBMSWRL-20040521/, Oct 2005.
-
-
-
-
24
-
-
84942788815
-
-
High Performance Knowledge Bases. Oct 2005.
-
High Performance Knowledge Bases. http://reliant.teknowledge.com/HPKB/, Oct 2005.
-
-
-
-
25
-
-
84942745515
-
-
IEEE Standard Upper Ontology Working Group. Oct 2005.
-
IEEE Standard Upper Ontology Working Group. http://suo.ieee.org/, Oct 2005.
-
-
-
-
26
-
-
84942758023
-
-
V. Kashyap. Design and Creation of Ontologies for Environmental Information Retrieval. In Proceedings of the12th International Conference on Knowledge Acquisition, Modeling and Management, Banff, Canada, 1999.
-
V. Kashyap. Design and Creation of Ontologies for Environmental Information Retrieval. In Proceedings of the12th International Conference on Knowledge Acquisition, Modeling and Management, Banff, Canada, 1999.
-
-
-
-
27
-
-
26444532917
-
Factors Affecting Ontology Development in Ecology
-
volume 3615 of Lecture Notes in Computer Science (LNCS), Springer-Verlag, San Diego, USA
-
C. M. Keet. Factors Affecting Ontology Development in Ecology. In Proceedings of the2nd International Workshop on Data Integration in the Life Sciences (DILS’05), volume 3615 of Lecture Notes in Computer Science (LNCS), Springer-Verlag. San Diego, USA, pages 46–61, 2005.
-
(2005)
Proceedings of the2nd International Workshop on Data Integration in the Life Sciences (DILS’05)
, pp. 46-61
-
-
Keet, C.M.1
-
29
-
-
33646675765
-
(final). WonderWeb Deliverable D18
-
C. Masolo, S. Borgo, A. Gangemi, N. Guarino and A. Oltramari. Ontology Library (final). WonderWeb Deliverable D18, Laboratory for Applied Ontology — ISTC — CNR, Dec 2003.
-
(2003)
Laboratory for Applied Ontology — ISTC — CNR
-
-
Masolo, C.1
Borgo, S.2
Gangemi, A.3
Guarino, N.4
Library, A.O.O.5
-
30
-
-
85052757015
-
Measures in Science and Engineering: their Expression, Relation and Interpretation
-
B. Massey. Measures in Science and Engineering: their Expression, Relation and Interpretation. Ellis Horwood Limited, 1986.
-
(1986)
Ellis Horwood Limited
-
-
Massey, B.1
-
31
-
-
0013030521
-
Origins of the Standard Upper Merged Ontology: a Proposal for the IEEE Standard Upper Ontology. In Working Notes of theIJCAI-2001 Workshop on the IEEE Standard Upper Ontology Seattle, Washington
-
I. Niles and A. Pease. Origins of the Standard Upper Merged Ontology: a Proposal for the IEEE Standard Upper Ontology. In Working Notes of theIJCAI-2001 Workshop on the IEEE Standard Upper Ontology Seattle, Washington, USA, pages 37–42, 2001.
-
(2001)
USA
, pp. 37-42
-
-
Niles, I.1
Pease, A.2
-
32
-
-
0035789772
-
-
I. Niles and A. Pease. Towards a Standard Upper Ontology. In C. Welty and B. Smith, editors, Proceedings of the2nd International Conference on Formal Ontology in Information Systems (FOIS’01), Ogunquit, Maine, USA, 2001.
-
I. Niles and A. Pease. Towards a Standard Upper Ontology. In C. Welty and B. Smith, editors, Proceedings of the2nd International Conference on Formal Ontology in Information Systems (FOIS’01), Ogunquit, Maine, USA, 2001.
-
-
-
-
33
-
-
0039770990
-
Formalization of the Basic Concepts of Animal Ecology
-
B. N. Niven. Formalization of the Basic Concepts of Animal Ecology.Erkenntnis, 17:307–320, 1982.
-
(1982)
Erkenntnis
, vol.17
, pp. 307-320
-
-
Niven, B.N.1
-
34
-
-
0027012295
-
Formalization of Some Concepts of Plant Ecology
-
B. N. Niven. Formalization of Some Concepts of Plant Ecology.Coenoses, 7(2):103–113, 1992.
-
(1992)
Coenoses
, vol.7
, Issue.2
, pp. 103-113
-
-
Niven, B.N.1
-
35
-
-
84942795447
-
-
Open Biomedical Ontologies. Oct 2005.
-
Open Biomedical Ontologies. http://obo.sourceforge.net, Oct 2005.
-
-
-
-
36
-
-
84942787078
-
-
R. C. de Oliveira, J. S. Pereira and V. Brilhante. Reengineering a FOL Ontology into OWL and SWRL using Protégé. In Proceedings of theWorkshop on Protégé with Rules at the 8th Intl. Protégé Conference, Madrid, Spain, 2005.
-
R. C. de Oliveira, J. S. Pereira and V. Brilhante. Reengineering a FOL Ontology into OWL and SWRL using Protégé. In Proceedings of theWorkshop on Protégé with Rules at the 8th Intl. Protégé Conference, Madrid, Spain, 2005.
-
-
-
-
37
-
-
84942745509
-
-
Ontolingua Server. Knowledge Systems Laboratory, Department of Computer Science, Stanford University, Oct 2005.
-
Ontolingua Server. http://ontolingua.stanford.edu, Knowledge Systems Laboratory, Department of Computer Science, Stanford University, Oct 2005.
-
-
-
-
38
-
-
84942742108
-
-
OpenCyc.org. Formalized Common Knowledge. Oct 2005.
-
OpenCyc.org. Formalized Common Knowledge. http://www.opencyc.org, Oct 2005.
-
-
-
-
39
-
-
84942783093
-
-
S. Pinto. Revising and Extending the Units of Measure “Subontology”. In Working Notes of theIJCAI-2001 Workshop on the IEEE Standard Upper Ontology, Seattle, Washington, USA, 2001.
-
S. Pinto. Revising and Extending the Units of Measure “Subontology”. In Working Notes of theIJCAI-2001 Workshop on the IEEE Standard Upper Ontology, Seattle, Washington, USA, 2001.
-
-
-
-
40
-
-
0012940543
-
Towards Ontology Reuse
-
AAAI Press, Orlando, Florida, USA
-
S. Pinto. Towards Ontology Reuse. In Proceedings of theAAAI-99 Workshop on Ontology Management, WS-99-13, AAAI Press. Orlando, Florida, USA, pages 67–73, 1999.
-
(1999)
Proceedings of theAAAI-99 Workshop on Ontology Management, WS-99-13
, pp. 67-73
-
-
Pinto, S.1
-
41
-
-
84942812684
-
-
The Protégé Ontology Editor and Knowledge Acquisition System. Oct 2005.
-
The Protégé Ontology Editor and Knowledge Acquisition System. http://protege.stanford.edu/, Oct 2005.
-
-
-
-
42
-
-
84942800662
-
-
S. Reed and D. Lenat. Mapping Ontologies into Cyc. In Proceedings of theWorkshop on Ontologies and the Semantic Web at the 18th National Conference on Artificial Intelligence (AAAI’02), Edmonton, Alberta, Canada, 2002.
-
S. Reed and D. Lenat. Mapping Ontologies into Cyc. In Proceedings of theWorkshop on Ontologies and the Semantic Web at the 18th National Conference on Artificial Intelligence (AAAI’02), Edmonton, Alberta, Canada, 2002.
-
-
-
-
43
-
-
84942744486
-
-
Science Environment for Ecological Knowledge (SEEK), OWL Ontologies. Oct 2005.
-
Science Environment for Ecological Knowledge (SEEK), OWL Ontologies. http://cvs.ecoinformatics.org/, Oct 2005.
-
-
-
-
44
-
-
0036498362
-
On the Insufficiency of Ontologies: Problems in Knowledge Sharing and Alternative Solutions
-
F. C. da Silva, W. Vasconcelos, D. S. Robertson, V. Brilhante, A. C. de Melo, M. Finger and J. Agustí. On the Insufficiency of Ontologies: Problems in Knowledge Sharing and Alternative Solutions.Knowledge-Based Systems, 15(3):147–167, 2002.
-
(2002)
Knowledge-Based Systems
, vol.15
, Issue.3
, pp. 147-167
-
-
da Silva, F.C.1
Vasconcelos, W.2
Robertson, D.S.3
Brilhante, V.4
de Melo, A.C.5
Finger, M.6
Agustí, J.7
-
45
-
-
84871326812
-
-
Philosophical and Computational Foundations, Brooks/Cole
-
J. F. Sowa. Knowledge Representation: Logical, Philosophical and Computational Foundations. Brooks/Cole, 2000.
-
(2000)
Knowledge Representation: Logical
-
-
Sowa, J.F.1
-
46
-
-
84942751944
-
-
Suggested Upper Merged Ontology. Oct 2005.
-
Suggested Upper Merged Ontology. http://www.ontologyportal.org/, Oct 2005.
-
-
-
-
47
-
-
84942802378
-
The International System of Units (SI). Bur. Intl. Poids et Mesures, Sévres, France
-
Le Système International d’Unités (SI), The International System of Units (SI). Bur. Intl. Poids et Mesures, Sévres, France, 6th edition, 1991.
-
(1991)
6th edition
-
-
-
48
-
-
0003183420
-
Ontology Reuse and Application
-
IOS Press, Trento, Italy
-
M. Uschold, M. Healy, K. Williamson, P. Clark and S. Woods. Ontology Reuse and Application. In Proceedings of the1st International Conference on Formal Ontology in Information Systems (FOIS’98), IOS Press. Trento, Italy, pages 179–192, 1998.
-
(1998)
Proceedings of the1st International Conference on Formal Ontology in Information Systems (FOIS’98)
, pp. 179-192
-
-
Uschold, M.1
Healy, M.2
Williamson, K.3
Clark, P.4
Woods, S.5
-
49
-
-
84942777414
-
-
Web Ontology Language, W3C. Oct 2005.
-
Web Ontology Language, W3C. http://www.w3.org/2004/OWL/, Oct 2005.
-
-
-
-
50
-
-
84942805374
-
-
WonderWeb: Ontology Infrastructure for the SemanticWeb. Oct 2005.
-
WonderWeb: Ontology Infrastructure for the SemanticWeb. http://wonderweb.semanticweb.org, Oct 2005.
-
-
-
|