<h1 id="high-order-logic-languages-for-unifying-owl-and-shacl">High Order Logic Languages for Unifying Owl and Shacl<a aria-hidden="true" class="anchor-heading icon-link" href="#high-order-logic-languages-for-unifying-owl-and-shacl"></a></h1>
<ul>
<li><a href="https://ai.plainenglish.io/high-order-logic-languages-for-unifying-owl-and-shacl-d49d7e644015">https://ai.plainenglish.io/high-order-logic-languages-for-unifying-owl-and-shacl-d49d7e644015</a></li>
<li>author: <a href="/wiki/notes/bxgvd0dnu3jfblfxjrerwas">@volodymyr-pavlyshyn</a></li>
<li>topics: <a href="/wiki/notes/ahbj9ejugov8rjiywj5qqc8">SHACL</a> <a href="/wiki/notes/9pp740i22jtygx09fo4bdfa">First Order Logic</a> <a href="/wiki/notes/stvc0yzbgz615pb9hwn9xva">High Order Logic Hol</a> <a href="/wiki/notes/3niv2zfv6gvbhvxljl1vjv1">Dependent Type Theory Dtt</a></li>
</ul>
<h2 id="questions">Questions<a aria-hidden="true" class="anchor-heading icon-link" href="#questions"></a></h2>
<ul>
<li>Do you have any hope for relator-based ontologies to represent hypergraphs in RDF, i.e., where the relationship (traditionally a predicate) is reified as an object? Perhaps this is what you're referring to as "artificial entities or complex reification patterns", but relationships shouldn't be considered artificial, and in my opinion, the patterns can be quite intuitive.</li>
</ul>
<hr>
<strong>Backlinks</strong>
<ul>
<li><a href="/wiki/notes/3niv2zfv6gvbhvxljl1vjv1">Dependent Type Theory Dtt</a></li>
<li><a href="/wiki/notes/stvc0yzbgz615pb9hwn9xva">High Order Logic Hol</a></li>
</ul>

High Order Logic Languages for Unifying Owl and Shacl

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
  - [[art]] paintings, images, 
  - [[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]]  