Difference between model checking and reasoning.

• From: Bikash Gyawali <bikashg@live.com>
• Date: Mon, 3 Jan 2011 09:35:42 +0100
• To: "Protege OWL Mailing List" <protege-owl@lists.stanford.edu>
• Message-ID: <BLU153-ds116CD8381A396AD3272A2ADE070@phx.gbl>

Hello All, 

What is the difference between model checking and reasoning. Could you please provide some small example to understand the fact?

Bikash

Received on Monday, 3 January 2011 08:36:20 UTC