Logically Consistent Knowledge Graphs

The purpose of the OTTER Project is to provide a universal platform for Model Driven Architecture. The platform applies ontology models as the foundation for building and maintaining logically consistent digital systems as knowledge graphs. This results in executable systems with the following benefits:

Charles Sanders Peirce Categories

Charles Sanders Peirce, a great mathematician and philosopher , listed three universal categories. He named them Firstness (Possibility), Secondness (Actuality), and Thirdness (Necessity). These categories are applied to Information Technology as:

  • Conceptual models formalizing Possibility,
  • Databases maintaining the facts of Actuality, and
  • Message & logic flows of services performing as Necessity.

The OTTER Server implements the Peircean Categories in both the content and the communications required for layering and classifying domains of knowledge.

Knowledge Graphs

Knowledge graphs are a common form of sharing knowledge. Internationally, all individuals of all ages can see and understand the visualization of knowledge in a graph. The format is simple; nodes are connected by lines where each is labelled with a common name.

No formal training is required for anyone to grasp the meaning of a Knowledge Graph. However, the labels used must be appropriate to the viewer’s background.

Though Knowledge Graphs are easy to read, the creation and modification require an understanding of Description Logic. This is the foundation of the Semantic Web.

In the OTTER Project, knowledge graphs are derived from the provable reality in each of the Peircean Categories of Possibility, Actuality, and Necessity. In each category and as a whole, knowledge graphs expose the logical truth.

Leave a Reply

Your email address will not be published. Required fields are marked *