Toward a Category Theory Design of Ontological Knowledge Bases

06/09/2009
by   Nikolaj Glazunov, et al.
0

I discuss (ontologies_and_ontological_knowledge_bases / formal_methods_and_theories) duality and its category theory extensions as a step toward a solution to Knowledge-Based Systems Theory. In particular I focus on the example of the design of elements of ontologies and ontological knowledge bases of next three electronic courses: Foundations of Research Activities, Virtual Modeling of Complex Systems and Introduction to String Theory.

READ FULL TEXT
research
04/06/2018

The Category of von Neumann Algebras

In this dissertation we study the category of completely positive normal...
research
03/02/2021

Internal Category with Families in Presheaves

In this note, we review a construction of category with families (CwF) i...
research
03/27/2013

Using Dempster-Shafer Theory in Knowledge Representation

In this paper, we suggest marrying Dempster-Shafer (DS) theory with Know...
research
05/15/2023

An Introduction to String Diagrams for Computer Scientists

This document is an elementary introduction to string diagrams. It takes...
research
06/21/2023

ICAR, a categorical framework to connect vulnerability, threat and asset managements

We present ICAR, a mathematical framework derived from category theory f...
research
03/06/2013

Argumentative inference in uncertain and inconsistent knowledge bases

This paper presents and discusses several methods for reasoning from inc...
research
12/19/2017

Large-Scale Vandalism Detection with Linear Classifiers - The Conkerberry Vandalism Detector at WSDM Cup 2017

Nowadays many artificial intelligence systems rely on knowledge bases fo...

Please sign up or login with your details

Forgot password? Click here to reset