Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 13 of 13 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

Information Modelling and Knowledge Bases XVII

Yasushi Kiyoki, Hannu Jaakkola - Computers - 2006 - 341 pages
...2004. [3] D. Calvanese, M. Lenzcrini. 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. [4] R. Caltell, DK Barry, M. Berler, J. Eastman, D. Jordan, C. Russell,...
Limited preview - About this book

Foundations of Information and Knowledge Systems: 4th International ...

Jürgen Dix, Stephen J. Hegner - Computers - 2006 - 330 pages
This volume contains the papers presented at the 4th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2006), which was held at the Alfr ́ ed R ́ ...
Limited preview - About this book

Logic Programming and Nonmonotonic Reasoning: 9th International Conference ...

Chitta Baral, Gerhard Brewka, John Schlipf - Computers - 2007 - 326 pages
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA in May ...
Limited preview - About this book




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