Proceedings of the IJCAI-01 Workshop on Ontologies and Information Sharing Seattle, USA, August 4-5, 2001

Ontologies and information sharing have a major role to play in the development of knowledge-based agents and the overcome of the knowledge acquisition bottleneck. This paper supports this claim by presenting an approach to ontology specification, import, and development that is part of Disciple-RKF. Disciple-RKF is a theory, methodology, and learning agent shell for the rapid development of knowledge-based agents by subject matter experts, with limited assistance from knowledge engineers. The Disciple approach has been subject of intensive evaluations, as part of DARPA’s “High Performance Knowledge Bases” and “Rapid Knowledge Formation” programs, demonstrating very good results.

[1]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[2]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[3]  H. S. Pinto.  Towards Ontology Reuse , 2003 .

[4]  Henrik Eriksson,et al.  Knowledge modeling at the millennium : The design and evolution of Protégé-2000 , 1999 .

[5]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[6]  Stefan Conrad,et al.  Föderierte Datenbanksysteme - Konzepte der Datenintegration , 1997 .

[7]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[8]  Matthew L. Ginsberg,et al.  Knowledge Interchange Format: the KIF of Death , 1991, AI Mag..

[9]  Nicola Guarino,et al.  An Ontology of Meta-Level Categories , 1994, KR.

[10]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[11]  Asunción Gómez-Pérez,et al.  Evaluating Knowledge Representation and Reasoning Capabilites of Ontology Specification Languages , 2000 .

[12]  James A. Hendler,et al.  Efficient Management of Very Large Ontologies , 1997, AAAI/IAAI.

[13]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[14]  Alon Y. Halevy,et al.  Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

[15]  Nicola Guarino,et al.  Towards a methodology for ontology based model engineering , 2000 .

[16]  Craig A. Knoblock,et al.  Query processing in the SIMS information mediator , 1997 .

[17]  Asunción Gómez-Pérez,et al.  Ontology Domain Modeling Support for Multi-lingual services in E-Commerce : MKBEEM , 2000 .

[18]  Jeff Heflin,et al.  Reading Between the Lines: Using SHOE to Discover Implicit Knowledge from the Web , 1998 .

[19]  Carole A. Goble,et al.  TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources , 1998, ISMB.

[20]  Robert M. MacGregor,et al.  Practical Experiences in Trading Off Ontology Usability and Reusability , 1999 .

[21]  R. Lathe.  Phd by thesis , 1988, Nature.

[22]  Aldo Gangemi,et al.  Ontology integration: Experiences with medical terminologies , 1998 .

[23]  Steffen Staab,et al.  Ontology Engineering beyond the Modeling of Concepts and Relations , 2000 .

[24]  Ian Horrocks,et al.  OIL in a Nutshell , 2000, EKAW.

[25]  Peter D. Karp,et al.  OKBC: A Programmatic Foundation for Knowledge Base Interoperability , 1998, AAAI/IAAI.

[26]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[27]  Leora Morgenstern,et al.  Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry , 1997, IJCAI.

[28]  M. Ashburner,et al.  Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.

[29]  Michael R. Genesereth,et al.  Infomaster: an information integration system , 1997, SIGMOD '97.

[30]  James A. Hendler,et al.  DAML+OIL: An Ontology Language for the Semantic Web , 2002, IEEE Intell. Syst..

[31]  Dieter Fensel,et al.  Knowledge Engineering: Principles and Methods , 1998, Data Knowl. Eng..

[32]  김삼묘,et al.  “Bioinformatics” 특집을 내면서 , 2000 .

[33]  Asunción Gómez-Pérez,et al.  A Roadmap to Ontology Specification Languages , 2000, EKAW.

[34]  Ian Horrocks,et al.  Catalogue Integration - A Case Study in Ontology-Based Semantic Translation , 2002 .

[35]  Marie-Laure Mugnier,et al.  Positive Nested Conceptual Graphs , 1997, ICCS.

[36]  Dieter Fensel,et al.  Ontobroker: The Very High Idea , 1998, FLAIRS.

[37]  Dan Brickley,et al.  Resource description framework (RDF) schema specification , 1998 .

[38]  Michael Gruninger,et al.  Methodology for the Design and Evaluation of Ontologies , 1995, IJCAI 1995.

[39]  Ian Horrocks,et al.  Knowledge Representation on the Web , 2000, Description Logics.

[40]  Trevor J. M. Bench-Capon,et al.  The KRAFT architecture for knowledge fusion and transformation , 2000, Knowl. Based Syst..

[41]  Dean M. Jones.  Developing Shared Ontologies in Multi-agent Systems , 1998 .

[42]  Russ B. Altman,et al.  RiboWeb: An Ontology-Based System for Collaborative Molecular Biology , 1999, IEEE Intell. Syst..

[43]  Craig A. Knoblock,et al.  Retrieving and Integrating Data from Multiple Information Sources , 1993, Int. J. Cooperative Inf. Syst..

[44]  Jennifer Widom,et al.  The TSIMMIS Project: Integration of Heterogeneous Information Sources , 1994, IPSJ.

[45]  Carole A. Goble,et al.  Ontology-based Knowledge Representation for Bioinformatics , 2000, Briefings Bioinform..

[46]  J. Meigs,et al.  WHO Technical Report , 1954, The Yale Journal of Biology and Medicine.

[47]  Deborah L. McGuinness,et al.  An Environment for Merging and Testing Large Ontologies , 2000, KR.

[48]  Deborah L. McGuinness,et al.  Explaining Subsumption in Description Logics , 1995, IJCAI.

[49]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[50]  K. Abbink,et al.  24 , 1871, You Can Cross the Massacre on Foot.

[51]  Mark A. Musen,et al.  SMART: Automated Support for Ontology Merging and Alignment , 1999 .

[52]  Asunción Gómez-Pérez,et al.  Towards a Method to Conceptualize Domain Ontologies , 1996 .

[53]  Chung Hee Hwang,et al.  Incompletely and Imprecisely Speaking: Using Dynamic Ontologies for Representing and Retrieving Information , 1999, KRDB.

[54]  Ian Horrocks.  Benchmark Analysis with FaCT , 2000, TABLEAUX.

[55]  Zhan Cui,et al.  An Environment for Managing Enterprise Domain Ontology , 2001, Information Modeling in the New Millennium.

[56]  Ah-Hwee Tan,et al.  Text Mining: The state of the art and the challenges , 2000 .

[57]  James A. Hendler,et al.  Ontology-based Web agents , 1997, AGENTS '97.

[58]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[59]  Philippe Martin,et al.  Conventions for Knowledge Representation via RDF , 2000, WebNet.

[60]  Jose Manuel Corera,et al.  Building and Reusing Ontologies for Electrical Network Applications , 1996, ECAI.

[61]  Birgitta König-Ries,et al.  An integration method for the specification of rule-oriented mediators , 1999, Proceedings 1999 International Symposium on Database Applications in Non-Traditional Environments (DANTE'99) (Cat. No.PR00496).

[62]  Peter F. Patel-Schneider,et al.  The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation , 1992, FGCS.

[63]  H. Sofia Pinto,et al.  Some Issues on Ontology Integration , 1999, IJCAI 1999.

[64]  R GruberThomas.  Toward principles for the design of ontologies used for knowledge sharing , 1995 .

[65]  Dieter Fensel,et al.  Ontobroker: Ontology Based Access to Distributed and Semi-Structured Information , 1999, DS-8.

[66]  Günter Neumann,et al.  An Information Extraction Core System for Real World German Text Processing , 1997, ANLP.

[67]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..