A Temporal Web Ontology Language

The Web Ontology Language (OWL) is the most expressive standard language for modeling ontologies on the Semantic Web. In this paper, we present a temporal extension of the very expressive fragment SHIN(D) of the OWL-DL language resulting in the tOWL language. Through a layered approach we introduce 3 extensions: i) Concrete Domains, that allows the representation of restrictions using concrete domain binary predicates, ii) Temporal Representation, that introduces timepoints, relations between timepoints, intervals, and Allen’s 13 interval relations into the language, and iii) TimeSlices/Fluents, that implements a perdurantist view on individuals and allows for the representation of complex temporal aspects, such as process state transitions. We illustrate the expressiveness of the newly introduced language by providing a TBox representation of Leveraged Buy Out (LBO) processes in financial applications and an ABox representation of one specific LBO

Object-relational spatio-temporal databases

We present an object-relational model for uniform handling of dimensional data. Spatial, temporal, spatio-temporal and ordinary data are special cases of dimensional data. The said uniformity is achieved through the concept of dimension alignment, which automatically allows lower dimensional data and queries to be used in a higher dimensional context;Unlike ordinary data, dimensional objects are interwoven. We introduce object identity (oid) fragments to circumvent data redundancy at logical level. Computed types are placed appropriately in a type hierarchy to allow maximal use of existing methods. A query language for spatio-temporal data is presented for associative navigation. A framework for algebraic optimization of the query language is suggested;A pattern matching language is designed for complex querying of spatio-temporal data which seamlessly extends the associative navigation in our query language. The pattern matching language recognizes special features of time and space providing an appropriate level of abstraction for application development compared to traditional languages. This reduces the need for embedding the query language in a lower level language such as C++. The pattern matching language is also dimensionally extensible. The pattern matching allows query of data with multiple granularities and continuous data. It also provides hooks for direct query of scientific data (observations);Our model is dimensionally extensible, and also an extension of a relational model for dimensional data. Moreover the dimensionality and addition of oids are mutually orthogonal concepts. Thus starting from classical ordinary data, one may migrate to higher forms of relational or object-relational data in any sequence, without having to recode application software. Our model does not deal with complex objects, which is left as a future extension

A real-time active database for high transaction loads and moderate deadlines

A large class of real-time database problems has very high transaction loads and moderate deadlines. Traditional approaches have not been designed to handle such problems. A model based on the use of encapsulated events and rule objects has been developed. The model describes an active, real-time, object-oriented, memory-resident database environment (REACT). A system based on the model has been designed and implemented. A concurrency control algorithm was developed that uses the extra information available from the object-oriented and active features of REACT to pre-process the database and speed up concurrency control. Analysis was done for both single and multiple processor systems. For multiprocessor analysis a simulator was developed to verify the performance of REACT on a multiprocessor system. Examples of all the features needed for an actual system are given along with examples of how REACT can be used to solve real-world control and monitoring problems. Algorithms have been developed to allow users to test that the properties termination, confluence, and observable determinism hold for a target REACT database

Implementação de um sistema temporal em um banco de dados orientado a objetos

Orientador: Claudia Bauzer MedeirosDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da ComputaçãoResumo: Vários modelos têm sido propostos para incorporar o conceito de Tempo em Banco de Dados. A maioria destes modelos limita-se a incorporar as facilidades temporais em Sis­temas de Bancos de Dados Relacionais. Contudo, a maioria das aplicações que requerem um gerenciamento temporal de dados apresenta uma natureza orientada a objeto. As pesquisas sobre a incorporação de Tempo em Bancos de Dados Orientado a Objetos ainda estão em uma fase inicial. Este trabalho apresenta mais uma contribuição para o desenvolvimento das pesquisas nesta área. A contribuição consiste na implementação de um sistema de gerenciamento de tempo para um banco de dados orientados a objetos. Este sistema, a Camada de Gerenciamento Temporal, foi implementado sobre o sistema O2 e permite a definição e gerenciamento de dados temporais orientado a objetos, bem como o processamento de consultas temporais.Abstract: Many temporal data models have been suggested. A great number of these models is based on incorporating time only for relational databases systems. However, the applications that require temporal data management presents a object-oriented nature. Research on object-oriented database systems is still in its initial phase. This work presents a practical contribution to the research in this area. This contribution consists in the development of a temporal data management system for an object oriented database. This system - The Temporal Management Layer - was built on top of the O2 database system and allows the definition and management of object oriented temporal data, as well as the processing of temporal queries.MestradoMestre em Ciência da Computaçã

Adaptive Cycle Analysis of Urban Fragments

Urban development is a complex process, consisting of different phases. For the analysis of the adaptive cycles of urban fragments, a new framework combines methods and instruments, incorporating concepts from ecology and sustainability. The social, cultural, economic and natural assets urban fragments possess are used to analyse and assess the future a fragment will face. Moreover, a new tool to calculate the progress of urban units is introduced and the framework is applied on two fragments

Implementing Integrity Control In Active Data Bases

This article presents a system for maintaining static integrity constraints in data bases that uses the active data base paradigm. This system has been added to an active version of the O2 object-oriented data base system, and it is fully functional. Constraints, specified by the user in a fist-order logic language, are transformed into production rules, which are stored in the data base. These rules are used to maintain the corresponding set of constraints for all applications that use the data base. We extend previous work on constraint maintenance in two ways: our system can be used as a constraint maintenance layer on top of object-oriented, relational, and nested relational data bases, and for object-oriented systems, we provide constraint support not only in the case of object composition, but also consider inheritance and methods. © 1994.273171181Adiba, Collet, Coupaye, Habraken, Machado, Martin, Roncancio, Trigger Systems: Different Approaches (1993) Technical Report Aristote-SUR007, , Laboratoire de Génie Informatique, IMAG, Grenoble, FranceAndrade, Manutenção de Restrições de Integridade em Bancos de Dados Orientados a Objetos (1992) Master's Thesis, , Department of Computer Science, UNICAMP, CampinasAiken, Widom, Hellerstein, Behavior of Database Production Rules: Termination, Confluence and Observable Determinism (1992) Technical Report FJ8562, , IBM, AlmadenBuchmann, Branding, Kudrass, Zimmermann, REACH—A REal-Time, ACtive and Heterogeneous Mediator System (1992) IEEE Bull. TC Data Eng., 15, pp. 44-47Beeri, Formal models for object-oriented databases (1989) Proceedings of the 1st International Conference on Deductive and Object-Oriented Databases, pp. 370-395Borgida, Language Features For Flexible Handling of Exceptions in Information Systems (1985) ACM TODS, 10, pp. 565-603Chakravarthy, Blaustein, Buchmann, Carey, Dayal, Goldhirsch, Hsu, Rosenthal, HiPAC: A Research Project in Active, Time-Constrained Database Management (1989) Technical Report XAIT-89-02, , Xerox Advanced Information TechnologyChakravarthy, Special Issue—Active Databases (1992) IEEE Bull. Data Eng.Ceri, Widom, Deriving production rules for constraint maintenance (1990) Proceedings of the 16th VLDB, pp. 566-577Ceri, Widom, Deriving production rules for incremental view maintenance (1991) Proceedings of the 17th VLDB, pp. 577-589Ceri, Widom, Managing Semantic Heterogeneity with Production Rules and Persistent Queues (1992) Technical Report RJ9064, , IBM AlmadenDeux, The Story of O2 (1990) IEEE Trans. Knowl. Data Eng., 2, pp. 91-108Dayal, Buchmann, McCarthy, Rules are objects too: A knowledge model for an active, object oriented database system (1988) Lecture Notes in Computer Science, 334, pp. 129-143. , Springer VerlagDayal, Hsu, Ladin, A transactional model for long-running activities (1991) Proceedings of the 17th VLDB, pp. 113-122Diaz, Paton, Gray, Rule management in object-oriented databases: A uniform approach (1991) Proceedings of the 17th VLDB, pp. 317-326Gehani, Jagadish, Shmueli, Composite event specification in active databases: Model and implementation (1992) Proceedings of 18th VLDB, pp. 327-338Gehani, Jagadish, Shumueli, Event specification in an active object-oriented database (1992) ACM SIGMOD Record, pp. 81-90Hanson, Rule condition testing and action execution in Ariel (1992) ACM SIGMOD Record, pp. 49-58Hanson, Widom, An Overview of Production Rules in Database Systems (1992) Technical Report RJ9023, , IBM AlmadenKotz, Dittrich, Mulle, Supporting semantic rules by a generalized event/trigger mechanism (1988) Proceedings of the 1st EDBT, pp. 76-91McCarthy, Dayal, The architecture of an active database management system (1989) ACM SIGMOD Record, pp. 215-224Morgenstern, Constraint equations: Declarative expression of constraints with automatic enforcement (1984) Proceedings of the 10th VLDB, pp. 291-300Medeiros, Pfeffer, A Mechanism for Managing Rules in an Object-Oriented Database (1991) Technical Report, , GIP-ALTAIR, ParisMedeiros, Pfeffer, Object integrity using rules (1991) Proceedings of the European Conference on Object-Oriented Programming, pp. 219-230Nassif, Qiu, Zhu, Extending the object-oriented paradigm to support relationships and constraints (1990) NeurologyRosenthal, Chakravarthy, Blaustein, Blakeley, Situation monitoring for active databases (1989) Proceedings of the 15th VLDBRisch, Monitoring database objects (1989) Proceedings of the 15th VLDB, pp. 445-453Schiel, Carvalho, TOM-Rules: A uniform and flexible approach to events, constraints and derived information (1993) Proceedings of the 8th Brazilian Database Conference, pp. 373-383Stonebraker, Jhingran, Goh, Potamianos, On rules procedures caching and views in database systems (1990) ACM SIGMOD Record, pp. 281-290Schreier, Pirahesh, Agrawal, Mohan, Alert: An architecture for transforming a passive DBMS into an active DBMS (1991) Proceedings of the 17th VLDB, pp. 469-478Segev, Zhao, Data management for large rule systems (1991) Proceedings of the 17th VLDB, pp. 297-307Urban, Delcambre, Constraint analysis for specifying perspectives of class objects (1989) Proceedings of the 5th IEEE Conference on Data Engineering, pp. 10-17Urban, Desiderio, Translating constraints to rules in CONTEXT: A CONstrainT Explanation Tool (1990) Proceedings of the IFIP Conference on Object Oriented Database Systems—Analysis, Design and ConstructionUrban, Karadimce, Nannapaneni, The implementation and evaluation of integrity maintenance rules in an object-oriented database (1992) Proceedings of the IEEE Data Engineering Conference, pp. 565-572Wuu, Dayal, A uniform model for temporal object-oriented databases (1992) Proceedings of the IEEE Data Engineering Conference, pp. 584-593Widom, Finkelstein, Set oriented production rules in relational database systems (1990) ACM SIGMOD Record, pp. 259-27