Reasoning about ORM schemes using Racer (a Description Logic Reasoner).
Contact: Dr. Mustafa Jarrar
Description: ORM is indeed an expressive conceptual modeling language. However, ORM is mainly used for database modeling. ORM can be generalized for other application scenarios, for example, for building knowledge bases. The main issue of knowledge base systems is that it allows intelligent queries, reasoning services to know whether there are some contradictions or implications among the axioms in the knowledge base, etc. Typically, knowledge bases are used/supported by inference/reasoning engines, such as Racer.