<h1 id="gum">GUM<a aria-hidden="true" class="anchor-heading icon-link" href="#gum"></a></h1>
<ul>
<li>url: <a href="http://www.fb10.uni-bremen.de/anglistik/langpro/webspace/jb/gum/index.htm">http://www.fb10.uni-bremen.de/anglistik/langpro/webspace/jb/gum/index.htm</a>
<ul>
<li>mentions: <a href="/wiki/notes/8efvodo7q0cpl7lteme6nib">OntoClean</a></li>
</ul>
</li>
<li>not automatable <a id="fnref-1" class="fnref" href="#fn-1">1</a></li>
<li>"realism is computationally expensive, i.e., realism increases the computational complexity of the decidability problem of any consistent theory that expresses it."</li>
</ul>
<h2 id="references">References<a aria-hidden="true" class="anchor-heading icon-link" href="#references"></a></h2>
<ul>
<li></li>
</ul>
<p><a href="http://www.loa.istc.cnr.it/wp-content/uploads/2021/07/dolce-mace4-prover9.zip">http://www.loa.istc.cnr.it/wp-content/uploads/2021/07/dolce-mace4-prover9.zip</a></p>
<hr>
<h2 id="footnotes">Footnotes<a aria-hidden="true" class="anchor-heading icon-link" href="#footnotes"></a></h2>
<ol>
<li><span id="fn-1" style="width: 0; height: 0;"></span><p><a href="/wiki/notes/fcvv57du1m0ub248tl5w65v">Foundational Ontologies Meet Automatic Theorem Provers</a><a class="fn" href="#fnref-1">˄</a></p></li>
</ol>
<hr>
<strong>Backlinks</strong>
<ul>
<li><a href="/wiki/notes/ghlsg7kgdqzmhsebsf4df3m">Foundational Ontologies in Action</a></li>
</ul>

public-notes


Welcome! And beware!  

## Purpose

This vault is the "[[learning-in-public|ar.swyx.learn-in-public]]" part of my Second Brain. If you share some of my interests, please [reach out](https://djradon.github.io)! 

## Contents

- [[t]] my personal wikipedia
- [[idea]] (not necessarily mine)
- Resource Notes, including highlights, thoughts and metadata, for various things:
  - [[ar]] mostly articles, papers and web pages
  - [[book]]
  - [[community]]
  - [[course]]
  - [[event]]
  - [[game]]
  - [[loc]]
  - [[org]]
  - [[user]] 
  - [[prdct]] mostly software products, but also ontologies
  - [[recipe]]
  - [[video]] movies, tv episodes, youtube, etc
- [[vs]]
- [[wanted]]
- Some "Metadata Notes":
  - [[tags]] which may refer to any and multiple (or none) of the above
  - [[c]]: ways to categorize resources
  - [[p]]: ways to assert things about resources (mostly abandoned)

In terms of the [[t.km.zettelkasten]] method, this wiki is a commingling of literature notes with something @Sönke-Ahrens warned about: a "personal Wikipedia or a database" [^1]. 

In terms of [[t.tm.getting-things-done]], it's references, someday-maybe, next actions, and public projects.

## Beware!

This is a cluttered cupboard of jumbled jottings riddled with inaccuracies, confusion, and mistakes.

## What This Is Not

- evergreen-notes/digital-garden: for "synthesized" / original-ish publishable big-idea notes that should evolve over time, props to @andy-matuschak and @maggie-appleton
- blog: for "point-in-time" items to be shared: personal news, articles, etc.
  - e.g., [[ar.substack.carpe-noctem]]


[^1]: [[book.how-to-take-smart-notes]]  