What I am trying to do is explain how a flexible yet finite logical system is represented in machine-readable form such that the rules-based (i.e. not patterns-based) finite logical system is sound, complete, and effective in terms of achieving some specific objective. I am trying to describe a rules-based system (i.e. expert system) as contrast to a patterns-based system (i.e. machine learning). The system must be consistent, valid, complete, sound, and fully expressed. The system must have the appropriate precision and coverage.
This description must be understandable by business professionals and by information technology professionals but reconcilable to the work of knowledge engineering professionals.
Here are the inputs:
Input #1: Definition of Ontology and Ontology-like Thing
The following is restated from my enhanced description of an ontology-like thing.
An ontology or ontology-like thing is a model that specifies a rich and flexible description of the important
relevant to a particular domain or area of interest, which generally allows for some certain specific variability, and as consciously unambiguously and completely as is necessary and practical in order to achieve a specific goal or objective or a range of goals/objectives. An ontology-like thing enables a community to agree on important common terms for capturing meaning or representing a shared understanding of and knowledge in some domain where flexibility/variability is necessary.
Note that ontologies to not support mathematical computations.
"In order to formalize a language, there must be a specification of the signs and symbols of the formal language, as well as a specification of the permissible manipulations of the symbols."
Input #3: First Order Logic and Automated Reasoning in a Nutshell
C. Maria Keet's describes the semantics of a system on page 30 of her book (page 43 in the PDF) An Introduction to Ontology Engineering but she describes those semantics using rather technical terms that are not understandable to a typical business professional, the terms are not consistent with my Input #1 or Input #2; but it does seem to provide all the moving pieces of the puzzle.
Input # 4: Practical Logic for Business Professionals
First in Computer Empathy (on page 64) and then in Artificial Intelligence and Knowledge Engineering in a Nutshell (page 39) I tried to create a succinct summary of logic or what I called a "practical logic for business professionals". But, I could not tell if I had all the moving pieces of the puzzle. Anyway, this is a good start but I can now do better.
Input #5: Z-Notation
As I understand it, Z-Notation, which is an ISO standard, is one of the more power languages for representing a logical system. However, Z-Notation is not machine readable; it is only readable by humans. Z-Notation uses terms such as:
This reference manual and this video are very helpful in understanding Z-Notation.
Input #6: Book of Proof
The Book of Proof, Chapter 2 - Logic, describes logical systems. Other chapters describes other detailed aspects of logical systems.
Input #7: UML Association/Aggregation/Composition/Generalization
In UML there are three primary types of relations:
Input #8: Conceptual Graphs
Conceptual Graphs are said to have been introduced by John Sowa in 1984. Conceptual graphs use the following terminology:
These ideas are the basis for common logic as I understand it.
Input #9: ISO Common Logic and Simple Common Logic
ISO defines Common Logic. But I see no high-level explanation of describing a logical system, but they do have a lot of "details".
Simple Common Logic (see here and see here) defines a set of term suscincty and also provides UML diagrams for those terms. But the terms are hard for the average person to understand.
Input #11: ABox, TBox
ABox, TBox and this person uses RBox to define a knowledge base. This article uses the term "formal specification for conceptulizations". That article also talks about why a world view is necessary to agree on processing of the stuff in the ABox and TBox. This is an excellent article on ABox and TBox and why you need to separate the two.
Input #12: OMG Ontology Definition Metamodel (ODM)
OMG defines an ontology metamodel and reconcilses UML to that model. ODM states (page 31)
An ontology defines the common terms and concepts (meaning) used to describe and represent an area of knowledge. An ontology can range in expressivity from a Taxonomy (knowledge with minimal hierarchy or a parent/child structure), to a Thesaurus (words and synonyms), to a Conceptual Model (with more complex knowledge), to a Logical Theory (with very rich, complex, consistent, and meaningful knowledge).
Input #13: John Sowa
John Sowa has a plethora of extremely useful information.
Input #14: OMG's Semantics of Business Vocabulary Rules (SBVR)
OMG provides a standard called Semantics of Business Vocabulary Rules (SBVR). As I understand it, SBVR is consistent with Common Logic, just as ODM is.
This presentation provides a good overview of SBVR. There is a connection between SBVR and business rules, see this business rules mantra. Also, note this business rules manifesto. Also, note this classic paper on business rules.
This is a nice high-level statement and an example of the level of informatoin I am trying to convey: "Rules build on facts, and facts build on concepts as expressed by terms."
Input #15: Prolog
Prolog defines this terminology
OUTPUT: (Trying to make this understandable to business professionals)
This is my first attempt to synthesize all three of these inputs into a succinct explanation of how a finite logical system can be described in machine-readable for such that the information is machine-understandable and is safe, reliable, and predictable and therefore useful:
What is becoming quite evident is that what is needed is a model of how to properly construct such a model. Whether you use the XBRL technical syntax, or RDF/OWL/SHACL, or some other technical syntax to represent such a system; the semantics of the system need to good.
If anyone has any input or is aware of an existing understandable explanation of this information please ping me.
(This is the improved version of the above.)
##########################
Framework for Ontology Evaluation
Ontologies, Taxonomies, and Bears -- Oh my! (very good description of what an ontology does)
Describing Logic Gates Algebraically
Software Requirements and Specifications (See the introduction)