Unsatisfiability Reasoning in ORM Conceptual Schemes.
Mustafa JarrarStijn HeymansPublished in: EDBT Workshops (2006)
Keyphrases
- uml class diagrams
- topic maps
- conceptual modeling
- conceptual knowledge
- knowledge base
- knowledge structures
- reasoning process
- conceptual model
- reasoning systems
- procedural knowledge
- artificial intelligence
- knowledge representation
- reasoning tasks
- conceptual models
- databases
- information systems
- conceptual representation
- qualitative reasoning
- high level