The KBMS Project and Beyond

The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require knowledge bases containing hundreds of thousands or even millions of knowledge units. The knowledge representation language Telos provided a framework for the project. The key results included conceptual modeling innovations in the use of semantic abstractions, representations of time and space, and implementation techniques for storage management, query processing, rule management, and concurrency control. In this paper, we review the key ideas introduced in the KBMS project, and connect them to some of the work since the conclusion of the project that is either closely related to or directly inspired by it.

[1]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[2]  John Mylopoulos,et al.  Case-based reasoning in IVF: prediction and knowledge mining , 1998, Artif. Intell. Medicine.

[3]  Carsten Lutz,et al.  A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes , 2007, Journal of Automated Reasoning.

[4]  John Mylopoulos,et al.  KNOWBEL: New Tools for Expert System Development , 1993 .

[5]  François Fages,et al.  Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings , 2005, PPSWR.

[6]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[7]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[8]  Nigel Shadbolt,et al.  Resource Description Framework (RDF) , 2009 .

[9]  Steffen Staab,et al.  Project Halo: Towards a Digital Aristotle , 2004, AI Mag..

[10]  Vinay K. Chaudhri,et al.  Using Prior Knowledge: Problems and Solutions , 2000, AAAI/IAAI.

[11]  Igor Jurisica,et al.  An Ensemble of Case-Based Classifiers for High-Dimensional Biological Domains , 2005, ICCBR.

[12]  Hector J. Levesque,et al.  KRYPTON: Integrating Terminology and Assertion , 1983, AAAI.

[13]  Richard T. Snodgrass,et al.  The temporal query language TQuel , 1984, TODS.

[14]  Forouzan Golshani,et al.  Proceedings of the Eighth International Conference on Data Engineering , 1992 .

[15]  R. Snodgrass,et al.  A Taxonomy of Time in Databases March , 1985 · ' , 1985 .

[16]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[17]  Paul R. Cohen,et al.  Does Prior Knowledge Facilitate the Development of Knowledge-based Systems? , 1999, AAAI/IAAI.

[18]  Peter D. Karp,et al.  The Generic Frame Protocol , 1995, IJCAI.

[19]  José Júlio Alferes,et al.  Principles and Practice of Semantic Web Reasoning , 2004, Lecture Notes in Computer Science.

[20]  Bernhard Nebel,et al.  Benchmarking of qualitative spatial and temporal reasoning systems : papers from the AAAI Spring Symposium , 2009 .

[21]  Igor Jurisica,et al.  Establishing a training set through the visual analysis of crystallization trials. Part II: crystal examples , 2008, Acta crystallographica. Section D, Biological crystallography.

[22]  Robert M. MacGregor,et al.  Recognition Algorithms for the Loom Classifier , 1992, AAAI.

[23]  Carlos A. Hurtado,et al.  Reasoning with Temporal Constraints in RDF , 2006, PPSWR.

[24]  I-Min A. Chen,et al.  Advanced Query Mechanisms for Biological Databases , 1998, ISMB.

[25]  Fabien L. Gandon,et al.  The Resource Description Framework and its Schema , 2011 .

[26]  Igor Jurisica,et al.  Knowledge Discovery in Proteomics , 2004 .

[27]  Matthias Jarke,et al.  ConceptBase — A deductive object base for meta data management , 1995, Journal of Intelligent Information Systems.

[28]  Richard T. Snodgrass,et al.  The TSQL2 Temporal Query Language , 1995 .

[29]  Igor Jurisica,et al.  Automatic classification of sub-microlitre protein-crystallization trials in 1536-well plates. , 2003, Acta crystallographica. Section D, Biological crystallography.

[30]  Edward Xia,et al.  Runtime Estimation Using the Case-Based Reasoning Approach for Scheduling in a Grid Environment , 2010, ICCBR.

[31]  John Mylopoulos,et al.  Transaction synchronization in knowledge bases: concepts, realization and quantitative evaluation , 1995 .

[32]  Amit P. Sheth,et al.  A framework to support spatial, temporal and thematic analytics over semantic web data , 2008 .

[33]  Igor Jurisica,et al.  Data mining for case-based reasoning in high-dimensional biological domains , 2005, IEEE Transactions on Knowledge and Data Engineering.

[34]  Igor Jurisica,et al.  Intelligent decision support for protein crystal growth , 2001, IBM Syst. J..

[35]  John Mylopoulos,et al.  TA3: theory, implementation, and applications of similarity-based retrieval for case-based reasoning , 1998 .

[36]  Dimitris Plexousakis,et al.  Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases , 1993, VLDB.

[37]  Thodoros Topaloglou,et al.  Storage management for knowledge bases , 1993, CIKM '93.

[38]  Thodoros Topaloglou,et al.  Query processing for knowledge bases using join indices , 1995, CIKM '95.

[39]  Manolis Koubarakis,et al.  The Complexity of Query Evaluation in Indefinite Temporal Constraint Databases , 1997, Theor. Comput. Sci..

[40]  Manolis Koubarakis.  Foundations of Indefinite Constraint Databases , 1994, PPCP.

[41]  Peter D. Karp,et al.  A Collaborative Environment for Authoring Large Knowledge Bases , 1999, Journal of Intelligent Information Systems.

[42]  Anthony Kosky,et al.  Seamless Integration of Biological Applications within a Database Framework , 1999, ISMB.

[43]  Claudio Gutiérrez,et al.  Temporal RDF , 2005, ESWC.

[44]  Arantza Illarramendi,et al.  Query optimization for KBMSs: temporal, syntactic and semantic transformations , 1992, [1992] Eighth International Conference on Data Engineering.

[45]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[46]  Dave Kolas,et al.  Spatially-Augmented Knowledgebase , 2007, ISWC/ASWC.

[47]  L. Johnson,et al.  Methods in macromolecular crystallography , 2001 .

[48]  Karen A. Frenkel,et al.  The human genome project and informatics , 1991, CACM.

[49]  John Mylopoulos,et al.  Incremental Iterative Retrieval and Browsing for Efficient Conversational CBR Systems , 2000, Applied Intelligence.

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

[51]  G. Kostorz,et al.  Acta Crystallographica D , 2008 .

[52]  Luc Lamontagne,et al.  Case-Based Reasoning Research and Development , 1997, Lecture Notes in Computer Science.

[53]  P. Hayes,et al.  Qualitative Spatial Reasoning for Question-Answering: Axiom Reuse and Algebraic Methods , 2002 .

[54]  James A. Hendler,et al.  The semantic Web and its languages , 2000 .

[55]  Suryanarayana M. Sripada.  A logical framework for temporal deductive databases , 1988, VLDB.

[56]  Igor Jurisica,et al.  Establishing a training set through the visual analysis of crystallization trials. Part I: ∼150 000 images , 2008, Acta crystallographica. Section D, Biological crystallography.

[57]  Ramanathan V. Guha,et al.  Cyc: toward programs with common sense , 1990, CACM.

[58]  John Mylopoulos,et al.  Building knowledge base management systems , 1996, The VLDB Journal.

[59]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

[60]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[61]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

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

[63]  Igor Jurisica,et al.  Improving Objectivity and Scalability in Protein Crystallization: Integrating Image Analysis With Knowledge Discovery , 2001, IEEE Intell. Syst..

[64]  Igor Jurisica,et al.  Applications of Case-Based Reasoning in Molecular Biology , 2004, AI Mag..

[65]  I Jurisica,et al.  Alterations in mitochondrial membrane potential during preimplantation stages of mouse and human embryo development. , 2004, Molecular human reproduction.

[66]  Jeff Heflin,et al.  LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..

[67]  Vassilis Christophides,et al.  The ICS-FORTH RDFSuite: Managing Voluminous RDF Description Bases , 2001, SemWeb.

[68]  Peter D. Karp,et al.  The EcoCyc Database , 2002, Nucleic Acids Res..

[69]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning with the Region Connection Calculus , 1997, GeoInformatica.

[70]  Martin Doerr,et al.  Repositories for Software Reuse: The Software Information Base , 1993, Information System Development Process.

[71]  Adam Pease,et al.  Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project , 2000, KR.

[72]  Chun Zhang,et al.  Storing and querying ordered XML using a relational database system , 2002, SIGMOD '02.

[73]  Igor Jurisica,et al.  Automatic Classification and Pattern Discovery in High-throughput Protein Crystallization Trials , 2005, Journal of Structural and Functional Genomics.

[74]  Claudio Gutiérrez,et al.  Introducing Time into RDF , 2007, IEEE Transactions on Knowledge and Data Engineering.