Why a proof theoretic mapping of greater Object-Role Modeling to a theory under finite model theory holds no guarantee of unambiguous models. — In an earlier article we explored why certain graphical models of Object-Role Modeling can be ambiguous and where for any semblance of formalism to be attributable to Object-Role Modeling (ORM), models under ORM need to be seen in the greater context of the natural language verbalisations that may be derived…

Understanding the triumvirate of Object-Role Modeling — Object-Role Modeling (ORM) is a amalgamous conceptual modelling system used for various tasks including database design, capturing business rules and developing ontologies. In some guises, ORM is used to express the logical construction of a conceptual model ranging over a Universe-of-Discourse. …

A suitable counterexample to the notion that the graphical notation of Object-Role Modeling is unambiguous — We take a model for a UoD (Universe of Discourse) where we model the data requirements to store information about Round the World Tickets for an Airline. The scenario is where a person outlines the cities and countries that they would like to visit, and where the data model captures…

A 29 Year History of Building NIAM/ORM Software — It dawned on me the other day that people don’t know what they don’t know and that on a global scale those who use Object-Role Modeling (ORM) are entitled to ask “who is this chump?” when they think of Object-Role Modeling and FactEngine. When I think about it, only a…

Schema-Aware Semantic Search with FactEngine — There are multiple ways that Schema-Aware Semantic Search has been delivered; this article focuses on how it is achieved using FactEngine. Let us has a look at what Schema-Aware Semantic Search is. The term, “Semantic Search”, generally means: Returning results for a natural language query over a knowledge store where…

In defense of graphs within graphs — and/or hypergraphs — For those of you familiar with FactEngine Query Language (FEQL), you may have noticed that every piece of data is considered as if it were a node in a graph database. Take the following FEQL query for instance: The FEQL query is asking to show a list of employees that…

Solving the Natural Language Query puzzle with FactEngine —

Game Theory, Communications Theory and Formal Logic — The central thesis of my research is that formal logic may be considered under game theory and communications theory under what I call a Coherent Cooperative Game of Formal Logic. The metatheory is that a Coherent Cooperative Game of Formal Logic (CCGFL) adequately describes the machinations that people engage in…

We definitely learn common sense — One of my newly found and favourite authors on logic, Walid Saba, just posted an article with the title “Why Commonsense Knowledge is not (and can not be) Learned”. Woh! Now there is a challenge for you. Take it if you dare. I do. My research revolves around all of…