Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of 11 on D. Calvanese, M. Lenzerini. and D. Nardi. Description logics for conceptual data....  
" D. Calvanese, M. Lenzerini. and D. Nardi. Description logics for conceptual data modeling. In J. Chomicki and G. Saake. editors. Logics for Databases and Information Systems, pages 229-263. "
Knowledge in Action: Logical Foundations for Specifying and Implementing ... - Page 409
by Reiter
Limited preview - About this book

Conceptual Modeling ER'99: 18th International Conference on Conceptual ...

Jacky Akoka - Business & Economics - 1999 - 540 pages
...1999. 4. D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems. Kluwer Academic Publishers, 1998. 5. PP Chen. The entity-relationship model: toward a unified view...
Limited preview - About this book

Formal Methods for Open Object-Based Distributed Systems IV

Scott F. Smith, Carolyn L. Talcott - Computers - 2000 - 417 pages
...Ehrich, C. Caleiro, A Sernadas, and G. Denker. Logics for Specifying Concurrent Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 167-198. Kluwer Academic Publishers, 1998. [33] Steven Eker. Fast matching in combination of...
Limited preview - About this book

Database Schema Evolution and Meta-Modeling: 9th International Workshop on ...

Herman Balsters, Bert de Brock, Stefan Conrad - Computers - 2001 - 244 pages
...appear. 8. D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 229-263. Kluwer, 1998. 9. D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation...
Limited preview - About this book

Fundamental Approaches to Software Engineering: 4th International ..., Volume 4

Heinrich Hussmann - Computers - 2001 - 347 pages
...Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for Specifying Concurrent Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 167-198. Kluwer Academic Publishers, 1998. [EPOO] H.-D. Ehrich and R. Pinger. Checking object...
Limited preview - About this book

Flexible Query Answering Systems: 5th International Conference ..., Volume 5

Troels Andreasen - Business & Economics - 2002 - 386 pages
...1994. 12. D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In J. Chomicki and G. Saake, editors. Logics for Databases and Information Systems. Kluwer Academic Publisher, 1998. 13. T. Catarci, S. Chang, M. Costabile, S. Levialdi, and G. Santucci....
Limited preview - About this book

Logics for Emerging Applications of Databases: Texte Imprimé

Jan Chomicki, Ron van der Meyden, Gunter Saake - Computers - 2004 - 368 pages
...Engineering, 7(4):566-582, 1995. 13. J. Chomicki and D. Toman. Temporal Logic in Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pp. 31-70. Kluwer, Boston, 1998. 14. LS Colby, T. Griffin, L. Libkin, IS Mumick, and H. Trickey. Algorithms...
Limited preview - About this book

Many-Dimensional Modal Logics: Theory and Applications: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay - Computers - 2003 - 766 pages
Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics ...
Limited preview - About this book

On the Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ..., Volume 1

R. Meersman - Computers - 2003 - 1546 pages
...12(1&2):121-146, January 1992. 25. LVS Lakshmanan and K. Thirunarayan. Declarative frameworks for inheritance. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 357-388. Kluwer Academic Publishers, 1998. 26. O. Lasilla and RS (editors). Resource description...
Limited preview - About this book

Objects, Agents, and Features: International Seminar, Dagstuhl Castle ...

Mark D. Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich - Computers - 2004 - 226 pages
...Ehrich, C. Caleiro, A Sernadas, and G. Denker. Logics for Specifying Concurrent Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 167-198. Kluwer Academic Publishers, 1998. 10. J. Kiister Filipe. Foundations of a Module Concept...
Limited preview - About this book

Trust Management: Second International Conference, ITrust 2004 ..., Volume 2

Christian Jensen, Stefan Poslad, Theo Dimitrakos - Computers - 2004 - 375 pages
...RJ Wieringa, and FPM Dignum. The role of deontic logic in the specification of information systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 74-81, Boston/Dordrecht, 1998. Kluwer. 13. SB Sitkin and NL Roth. Explaining the limited effectiveness...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search