Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Managing knowledge about information system evolution
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Proceedings of the first international conference on Principles of knowledge representation and reasoning
A general framework for sorted deduction: fundamental results on hybrid reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Independence of logic database queries and update
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Indexing Techniques for Historical Databases
Proceedings of the Fifth International Conference on Data Engineering
A Formal Model of Trade-off between Optimization and Execution Costs in Semantic Query Optimization
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Using an O-Telos peer to provide reasoning capabilities in an RDF-based P2P-environment
AP2PC'02 Proceedings of the 1st international conference on Agents and peer-to-peer computing
Hi-index | 0.01 |
This paper describes experiences in implementing Telos [MBJK90, TK89], a knowledge representation scheme developed at the University of Toronto. In a nutshell, Telos is a hybrid of an object-centered representation for representing entities, a logic-based language for representing deductive rules and integrity constraints, and an interval-based language for representing time. The language is unique for its tight integration of temporal knowledge and for its meta-level capabilities which include a class/metaclass hierarchy and a reflective inference engine.