Professional Knowledge Graphs

More and more people are talking about "knowledge graphs".  It has been my observation that people are not really communicating effectively about that topic.  It has also been my observation that just like a lot of other things, there is a spectrum of knowledge graph capabilities which depend on how a knowledge graph is constructed.  That spectrum is impacted by the syntax that one uses to represent a knowledge graph and the semantics that a specific implementation syntax provides for.  A logical schema may, or may not, be provided for the knowledge graph.  And there may, or may not, be a reasoning engine that will process the knowledge graph.

Not being a trained PhD in information technology or computer science I could be getting a few of these details a bit wrong; but the essence of what I am pointing out, I believe, is spot on.  To explain what I am getting at, let me specify what I believe is the richest, most powerful, yet the safest type of knowledge graph and then I will breakdown the importance of each word in that description. This is the best type of knowledge graph:

Strongly typed directed acyclic labeled property graph of semantic knowledge which includes a logical schema

This describes each of the carefully used words that I have selected and used above.  Notice that there is nothing about which syntax is used to physically represent that type of knowledge graph.

  • "Graph” in knowledge graphs as contrast to the notion of a "tree" which is a type of graph which is not as flexible.  So a knowledge GRAPH as contrast to a knowledge TREE is more flexible should you need that flexibility and many business use cases need that flexibility. (This explains the difference between a graph and a tree.)
  • "Directed" as contrast to "undirected"; directed graphs can specify a direction of a relationship whereas undirected graphs do not. (This explains the difference between directed and undirected graphs.)
  • “Acyclic” graphs do not contain cycles as contrast to a "cyclic" graph that does contain cycles.  Cycles can be problematic and cause catastrophic processing failures such as an infinite loop.  Graphs with cycles can cause logical paradoxes as I understand it and therefore cycles in graphs are to be avoided. (This explains the difference between acyclic and cyclic graphs.)
  • “Property” graphs allow you to formally express properties on a relationship (a.k.a. edges) as contrast to only being able to provide properties for "entities" or "things" (a.k.a. nodes).    Since the properties expressed provide more information, property graphs can be more powerful in terms of processing capabilities. (This explains property graphs.)
  • “Typed” graph systems provide a formal system of typing properties and subtyping.  This is as contrast to untyped graphs which do not.  Typed graph theory explains the details.  Another term for this is the notion seems to be strong typing. And yet another term seems to be static typing versus dynamic typing.  The graph database TypeDB explains why typing is important.
  • “Labeled” graphs have explicit, distinct identifiers that allow them to be part of a group while unlabeled graphs do not. See this explanation of labeled graphs and unlabeled graphs.  It is unclear to me whether a graph can be both labeled and typed. This seems to imply that you get one or the other.
  • "Semantic" graphs are can provide models of meaning as contrast to other knowledge graphs which are for something different such as the presentation of information within sheets, rows, columns, and cells of a spreadsheet. By "semantic" I mean that professional knowledge graphs provide global content addressability.  When I am talking about knowledge graphs it relates to business semantics or business logic, not presentation. For more information see, Semantic Graphs - an Introduction; All About Knowledge; Internationalized Resource Identifier (IRI)
  • Sometimes you might want an "immutable" graph of knowledge.  That is achieved by putting a knowledge graph in a digital distributed ledger. (Knowledge graphs are web3)

So how do you process the knowledge within a knowledge graph?  Users will need to do deductive reasoning, inductive reasoning, and abductive reasoning.  (This video explains the difference.) You need some sort of reasoning system.  Graph databases tend to come with a graph compute engine.  Semantic reasoners can also be used.

“DATALOG” gets you the power, reliability, and safety of relational databases which have been PROVEN over years and years of use and a rock-solid foundation to build on. (also gets you the closed world assumption, negation as failure, and the unique name assumption)

“LOGICAL SCHEMA” (formally defined) gets you quality through the ability to check the knowledge graph against a set of declarative rules to make certain that the knowledge graph matches the logical schema should your use case demand high quality.

"FAIR PRINCIPLES" gets you true Findability, Accessibility, Interoperability, and Reuse of digital assets (FAIR). Your system should not be just another silo.  Information might many simultaneous identifies, models, and values in different physical systems that have been interconnected.

"ACID" gets you 

"LEAN SIX SIGMA" is an philosophy/approach to controlling quality; a set of principles, techniques, practices.

Directed acyclic graphs (called DAGs) are known to provided specifically useful characteristics.

Add “GLOBAL STANDARD” implementation syntax when you create your knowledge graphs and you get additional benefits and characteristics.

Additional Information:

Comments

Post a Comment

Popular posts from this blog

New Tool for Accountants, Auditors, Analysts

Image
A new type of tool will be available (is becoming available) to support professional accountants.  This tool is somewhat similar to the traditional electronic spreadsheet but it works differently and provides different capabilities to professional accountants. This new tool will supplement the arsenal of tools available to accountants, auditors, and analysts. This new tool is semantic oriented, model-based, and a global standard technical format.  To describe this tool in the past I have used the terms " modern spreadsheet " and " professional knowledge graph " and " deductive apparatus " and " semantic oriented accounting and audit working papers " and " knowledge product " and " logical spreadsheet " and " logic programming " and " logical digital twin of financial reports ". This new type of tool will help usher in modern accountancy . In this new era, machines will support accountants, auditors, and ana...
Read more

Getting Started with Auditchain Luca (now called Luca Suite)

Image
(Note that a newer, production version as opposed to only the development version , of Luca Suite is available) The Innovator's Dilemma points out that disruptive innovations often look like toys that are doing everything wrong. Auditchain Luca , which is part of the Auditchain Suite , is a unique approach to creating a knowledge graph .  To experience using Auditchain Luca, have a look at the Getting Started with Auditchain Luca instructions. Be sure to grab the Excel and JSON import files used for this getting started exercise.   This getting started exercise uses one of several different approaches to getting information into a tool for constructing and viewing professional quality knowledge graphs .  Additional getting started guides will be made available over time. Auditchain Luca might not make sense to you if you don't understand the paradigm shift that is occurring and if you have not shifted your mental map. For the next step in your journey, consider t...
Read more

Logic Programming and Theories

Image
People seem to throw around the term "ontology" when discussing artificial intelligence and it is hard to understand precisely what they are referring to.  Also, I rarely hear the word "theory" used when discussing artificial intelligence. Not sure why that is. When trying to understand the capabilities of software to perform reasoning, the first thing to understand is the type of logical reasoning that is being performed.   Logic is a formal system that defines the rules of correct reasoning.  Logical reasoning is about arriving at a conclusion in a rigorous way.  There two broad categories of logical reasoning: deductive and non-deductive .   Deductive reasoning provides a result that is guaranteed to be certain , therefore the result can be relied upon without doubt and humans need not be involved in a process because of the certainty of deductive reasoning.  Non-deductive reasoning, on the other hand, is not certain , meaning it could be corr...
Read more