Miguel Ángel Ballesteros bio photo

Miguel Ángel Ballesteros

Maker, using software to bring great ideas to life. Manager, empowering and developing people to achieve meaningful goals. Father, devoted to family. Lifelong learner, with a passion for generative AI.

Email LinkedIn Github
RSS Feed

Plain Knowledge Base

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  verdadera que puede deducirse lógicamente a partir de los . A este proceso se le conoce como .</dd>
</definition>


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


<definition>
<dt keywords="negación,negaciones">Negación</dt>
<dd>Si una  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  $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>