The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Cyc: toward programs with common sense
Communications of the ACM
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Enabling technology for knowledge sharing
AI Magazine
The human genome project and informatics
Communications of the ACM
Storage management for knowledge bases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
ConceptBase—a deductive object base for meta data management
Journal of Intelligent Information Systems - Special issue: deductive and object-oriented databases
Query processing for knowledge bases using join indices
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
The complexity of query evaluation in indefinite temporal constraint databases
Selected papers from the international workshop on Uncertainty in databases and deductive systems
The Ontolingua Server: a tool for collaborative ontology construction
International Journal of Human-Computer Studies - Special issue: innovative applications of the World Wide Web
OKBC: a programmatic foundation for knowledge base interoperability
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Does prior knowledge facilitate the development of knowledge-based systems?
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
A Collaborative Environment for Authoring Large Knowledge Bases
Journal of Intelligent Information Systems
Maintaining knowledge about temporal intervals
Communications of the ACM
The TSQL2 Temporal Query Language
The TSQL2 Temporal Query Language
Incremental Iterative Retrieval and Browsingfor Efficient Conversational CBR Systems
Applied Intelligence
OIL: An Ontology Infrastructure for the Semantic Web
IEEE Intelligent Systems
Query Optimization for KBMSs: Temporal, Syntactic and Semantic Transformantions
Proceedings of the Eighth International Conference on Data Engineering
Seamless Integration of Biological Applications within a Database Framework
Proceedings of the Seventh International Conference on Intelligent Systems for Molecular Biology
Advanced Query Mechanisms for Biological Databases
ISMB '98 Proceedings of the 6th International Conference on Intelligent Systems for Molecular Biology
A logical framework for temporal deductive databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Repositories for Software Reuse: The Software Information Base
Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process
Using Prior Knowledge: Problems and Solutions
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
Transaction synchronization in knowledge bases: concepts, realization and quantitative evaluation
Transaction synchronization in knowledge bases: concepts, realization and quantitative evaluation
Efficient maintenance of temporal integrity in knowledge bases
Efficient maintenance of temporal integrity in knowledge bases
Ta3: theory, implementation, and applications of similarity-based retrieval for case-based reasoning
Ta3: theory, implementation, and applications of similarity-based retrieval for case-based reasoning
Intelligent decision support for protein crystal growth
IBM Systems Journal - Deep computing for the life sciences
Data Mining for Case-Based Reasoning in High-Dimensional Biological Domains
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes
Journal of Automated Reasoning
A framework to support spatial, temporal and thematic analytics over semantic web data
A framework to support spatial, temporal and thematic analytics over semantic web data
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
LUBM: A benchmark for OWL knowledge base systems
Web Semantics: Science, Services and Agents on the World Wide Web
Spatially-augmented knowledgebase
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Reasoning with temporal constraints in RDF
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
An ensemble of case-based classifiers for high-dimensional biological domains
ICCBR'05 Proceedings of the 6th international conference on Case-Based Reasoning Research and Development
Hi-index | 0.00 |
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.