On the Transformation of Object Oriented Conceptual Models to Logical Theories: From EROOS to ID-Logic.
Pieter BekaertBert Van NuffelenPublished in: ER (2002)
Keyphrases
- conceptual models
- logical theories
- object oriented
- conceptual modeling
- situation calculus
- conceptual model
- ontology languages
- data model
- belief revision
- entity relationship
- inductive logic programming
- information systems
- owl dl
- uncertain databases
- propositional logic
- database applications
- software engineering
- relational databases
- reasoning about actions
- modal logic
- conceptual structures
- programming language
- query language
- high level