Miguel Ángel Ballesteros bio photo

Miguel Ángel Ballesteros

CTO and co-founder of GoKoan. I build AI products such as Koanly, learning systems and agentic software workflows that turn complex knowledge into usable tools.

Email LinkedIn Github
RSS Feed

Plain Knowledge Base

Available in English .

In this experiment I developed the idea of a knowledge graph based just in plain text files that, no matter how you group them, links/connect every concept.

on-line demo

You’ll find an on-line DEMO here.

Key points

  • You make definitions and group them in text files. A definition has a “title” and one or more keywords that to link with them
  • You link definitions using the syntaxt ``
  • You can use MathJax to create beautiful Math

Example definitions file:

<definition>
<dt keywords="teorema,teoremas">Teoremas</dt>
<dd>Un teorema es una {{proposición}} verdadera que puede deducirse lógicamente a partir de los {{axiomas}}. A este proceso se le conoce como {{demostración de teoremas}}.</dd>
</definition>


<definition>
<dt keywords="demostración de teoremas">Demostración de teoremas</dt>
<dd>Se llama demostración de {{teoremas}} al proceso lógico que, apartir de los {{axiomas}} o {{teoremas}} demostrados previamente, conduce a la verificación de un teorema.</dd>
</definition>


<definition>
<dt keywords="negación,negaciones">Negación</dt>
<dd>Si una {{proposición}} es verdadera, su negación será fálsa. Si es falsa, será verdadera. Se representa como
	$$\neg p$$
o de forma equivalente
	$$\sim p$$
</dd>
</definition>


<definition>
<dt keywords="disyunción">Disyunción</dt>
<dd>La disyunción de dos {{proposiciones}} $p$ y $q$ es verdadera cuando alguna de ellas lo es, y falsa cuando ambas son falsas. Se representa como,
	$$p \ o \ q$$
o de forma equivalente (y más común),
	$$p \lor p$$
</dd>
</definition>