172 citations · 234 across the 38 of their papers we have counts for
8 papers · 1 filter
The Standard Aspect of Dialectical Logic
Robert E. Kent
Dialectical logic is the logic of dialectical processes. The goal of dialectical logic is to introduce dynamic notions into logical computational systems. The fundamental notions o…
Digital Libraries, Conceptual Knowledge Systems, and the Nebula Interface
Robert E. Kent, C. Mic Bowman
Concept Analysis provides a principled approach to effective management of wide area information systems, such as the Nebula File System and Interface. This not only offers evidenc…
Conceptual Knowledge Markup Language: The central core
Robert E. Kent
The conceptual knowledge framework OML/CKML needs several components for a successful design. One important, but previously overlooked, component is the central core of OML/CKML. T…
The Information Flow Framework: New architecture
Robert E. Kent
This presentation discusses a new, modular, more mature architecture for the Information Flow Framework (IFF). The IFF uses institution theory as a foundation for the semantic inte…
A KIF Formalization for the IFF Category Theory Ontology
Robert E. Kent
This paper begins the discussion of how the Information Flow Framework can be used to provide a principled foundation for the metalevel (or structural level) of the Standard Upper…
Semantic Integration in the IFF
Robert E. Kent
The IEEE P1600.1 Standard Upper Ontology (SUO) project aims to specify an upper ontology that will provide a structure and a set of general concepts upon which domain ontologies co…
The Information Flow Framework: A Descriptive Category Metatheory
Robert E. Kent
The Information Flow Framework (IFF) is a descriptive category metatheory. It is an experiment in foundations, which follows a bottom-up approach to logical description. The IFF fo…
Ologs: a categorical framework for knowledge representation
David I. Spivak, Robert E. Kent
In this paper we introduce the olog, or ontology log, a category-theoretic model for knowledge representation (KR). Grounded in formal mathematics, ologs can be rigorously formulat…