W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2011

Difference between model checking and reasoning.

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

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:58 GMT