Need for Logical Schema

In order to effectively exchange information, a logical schema is necessary.  Why?  Because, without that logical schema you simply cannot prove to yourself or others using the information that the information represented is not "garbage".  Without a logical schema you simply cannot prove to yourself that you have represented the information correctly.  Further, without a logical schema anyone trying to make use of that represented information cannot understand how to do so and cannot verify for themselves that the information represented is not garbage.

That is the fundamental purpose of the Seattle Method which I have summarized in the document Purpose of Seattle Method.  In that document I provide 9 verification categories.  That last "Other" is a catch all where additional verification can be added.  I have combined two math related verification categories that I had separated out because of an XBRL related idiosyncrasy.  These are the seven MINIMUM verification categories that seem to be common to every area of knowledge:

  1. Physical syntax format needs to be consistent with the applicable technical specification.
  2. Mathematics logic of information represented needs to be right. (Combines two items from document)
  3. Model structure logic needs to be consistent with expectation.
  4. High level continuity logic between structures should not be contradictory or inconsistent.
  5. Type-subtype logic need to be consistent with expectations. (a.k.a. wider-narrower; general-special)
  6. Structure’s mechanics logic of each structure needs to be consistent with expectations.
  7. Information package content needs to be consistent with the expectations. (what is provided is consistent with what is deemed required to be provided)
There are no shortcuts in life. A craftsperson needs to understand their craft.

A logical system has a logical schema that articulates information about the logical theory that describes the logical system and makes sure information in the logical system is consistent with expectations.



Comments

Popular posts from this blog

Relational Knowledge Graph System (RKGS)

Graph Hairball

PLATINUM Business Use Cases, Test Cases, Conformance Suite