2000 character limit reached
Toward a Category Theory Design of Ontological Knowledge Bases (0906.1694v1)
Published 9 Jun 2009 in cs.AI
Abstract: 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.