Including domain-specific reasoners with reusable ontologies

Proceedings of the International Conference on Information and Knowledge Engineering

Volumn 1, Issue , 2003, Pages 262-268

  Fikes, Richard ^a   Jenkins, Jessica ^a   Zhou, Qing ^a  

^a Stanford University   (United States)

Author keywords

Intelligent knowledge based systems; Knowledge engineering; Ontologies; Reusable knowledge; Temporal reasoning

Indexed keywords

DATA STRUCTURES; INTEROPERABILITY; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; QUERY LANGUAGES;

ONTOLOGY; REUSABLE KNOWLEDGE; TEMPORAL REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 1642269637     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. James Allen; "Maintaining Knowledge about Temporal Intervals"; Communications of the ACM, 26(11), pp. 832-843; November 1983
2. F. Bacchus, J. Tenenberg, and J. Koomen; "A Non-reified Temporal Logic"; in Proc. KR'89, pages 2-10, 1989.
3. C. Bettini, X. S. Wang, S. Jajodia; "A General Framework for Time Granularity and its Application to Temporal Reasoning"; Annals of Mathematics and Artificial Intelligence, 1(22):29-58, 1998.
4. A. Bochman: "Concerted Instance-Interval Temporal Semantics: Temporal Ontologies"; in Notre Dame Journal of Formal Logic, 31(3):403-414, 1990.
5. V. K. Chaudhri, A. Farquhar, R. Fikes, P. D. Karp, & J. P. Rice; "OKBC: A Programmatic Foundation for Knowledge Base Interoperability"; Proc. of the Fifteenth National Conference on Artificial Intelligence; Madison, Wisconsin; July 26-30, 1998.
6. P. Cohen, R. Schrag, E. Jones, A. Pease, A. Lin, B. Starr, D. Gunning, and M. Burke; "The DARPA High-Performance Knowledge Bases Project"; AI Magazine, 19(4): Winter 1998, 25-50
7. D. Cukierman, J. Delgrande; "A Language to Express Time Intervals and Repetition"; Second International Workshop on Temporal Representation and Reasoning; Melbourne Beach, Florida, USA; April 26, 1995.
8. James Delgrande, Arvind Gupta, and Tim Van Allen; "A Comparison of Point-Based Approaches to Qualitative Temporal Reasoning"; Artificial Intelligence Journal, 131, 1-2, 2001; pp. 135-170.
9. J. Euzenat; "Granularity in Relational Formalisms"; 1998.
10. R. Fikes, J. Jenkins, & G. Frank; "JTP: A System Architecture and Component Library for Hybrid Reasoning"; Knowledge Systems Laboratory; KSL-03-01; 2003.
11. Richard Fikes and Qing Zhou; "A Reusable Time Ontology"; AAAI-2002 Workshop on Ontologies and the Semantic Web; Edmonton, Canada; July 29, 2002.
12. A. Galton; "A Critical Examination of Allen's Theory of Action and Time"; in Artificial Intelligence, 42:159-188, 1990.
13. Michael Genesereth and Richard Fikes; "Knowledge Interchange Format, Version 3.0 Reference Manual"; KSL Technical Report 92-86; Knowledge Systems Laboratory, Computer Science Department, Stanford University; Stanford, CA: 1992.
14. P. Hayes; "A Catalog of Temporal Theories"; Tech report UIUC-BI-AI-96-01, University of Illinois; 1995.
15. Karen Myers; "Hybrid Reasoning Using Universal Attachment"; AI 67 (1994); pp 329-375.
16. Ontology Physical-Quantities. Available through http://ontolingua.stanford.edu
17. Y. Shoham; "Temporal Logics in AI: Semantical and Ontological Considerations"; in Artificial Intelligence, 33:89-104, 1987.
18. Ontology Simple Time. Available through http://ontolingua.stanford.edu
19. M. Soo; "Multiple Calendar Support for Conventional Database Management Systems"; Proc. Int. Workshop on an Infrastructure for Temporal Databases, 1993.
20. P. Terenziani; Reasoning about Periodic Events"; Proc. TIME-95 International Workshop on Temporal Representation and Reasoning, 1995, pp. 137-144.
21. Time ontology as part of HPKB-Upper-Level-Kernel. Available at http://ontolingua.stanford.edu and at http://www.cyc.com/products2.html#kb
22. L. Vila, E. Schwalb; "A Theory of Time and Temporal Incidence Based on Instants and Periods"; 1996.