• About
  • Policies
  • What is openaccess
  • Library
  • Contact
Advanced search
      View Item 
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Economics, Administrative And Social Sciences
      • Department of International Relations
      • View Item
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Economics, Administrative And Social Sciences
      • Department of International Relations
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      A logic programming framework for modelling temporal objects

      Thumbnail
      View / Download
      2.1 Mb
      Author
      Kesim, N.
      Sergot, M.
      Date
      1996-10
      Source Title
      IEEE Transactions on Knowledge and Data Engineering
      Print ISSN
      1041-4347
      Electronic ISSN
      1558-2191
      Publisher
      IEEE
      Volume
      8
      Issue
      5
      Pages
      724 - 741
      Language
      English
      Type
      Article
      Item Usage Stats
      114
      views
      77
      downloads
      Abstract
      We present a general approach for modeling temporal aspects of objects in a logic programming framework. Change is formulated in the context of a database which stores explicitly a record of all changes that have occurred to objects and thus (implicitly) all states of objects in the database. A snapshot of the database at any given time is an object-oriented database, in the sense that it supports an object-based data model. An object is viewed as a collection of simple atomic formulas, with support for an explicit notion of object identity, classes and inheritance. The event calculus is a treatment of time and change in first-order classical logic augmented with negation as failure. The paper develops a variant of the event calculus for representing changes to objects, including change in internal state of objects, creation and deletion of objects, and mutation of objects over time. The concluding sections present two natural and straightforward extensions, to deal with versioning of objects and schema evolution, and a sketch of implementation strategies for practical application to temporal object-oriented databases.
      Keywords
      Object-oriented Databases
      Object Versioning
      Deductive Databases
      Temporal Databases
      Temporal Reasoning
      Event Calculus
      Logic Programming
      Permalink
      http://hdl.handle.net/11693/10812
      Published Version (Please cite this version)
      http://dx.doi.org/10.1109/69.542026
      Collections
      • Department of International Relations 516
      Show full item record

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartments

      My Account

      Login

      Statistics

      View Usage StatisticsView Google Analytics Statistics

      Bilkent University

      If you have trouble accessing this page and need to request an alternate format, contact the site administrator. Phone: (312) 290 1771
      Copyright © Bilkent University - Library IT

      Contact Us | Send Feedback | Off-Campus Access | Admin | Privacy