I recently learned about Ologs, which are basically "category theory for normal people". These are very useful for knowledge representation. I am now in the making of a blog post about how to make them and how to translate ologs to Haskell code.

· · Web · 0 · 1 · 2

@Vetii I'm curious, what advantage is there to be gained in thinking about knowledge representation this way? Is there an explicit end goal?

@j2kun I do not know if it is the global best representation, but it is the best I know :)

For instance, when comparing Ologs with entity-relationship diagrams, I find Ologs a lot simpler (objects and arrows instead of many different node types). So I think the semantics are clearer, Ologs help me ask the right questions, so to speak (do I have functions between things, or simply relations?). However, keep in mind that I am by no means an expert :)

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!