172 citations · 234 across the 38 of their papers we have counts for
39 papers
The Architecture of Truth
Robert E. Kent
The theory of institutions is framed as an indexed/fibered duality, where the indexed aspect specifies the fibered aspect. Tarski represented truth in terms of a satisfaction relat…
Truth Factors
Robert E. Kent
Truth refers to the satisfaction relation used to define the semantics of model-theoretic languages. The satisfaction relation for first order languages (truth classification), and…
The Characterization of Abstract Truth and its Factorization
Robert E. Kent
Human knowledge is made up of the conceptual structures of many communities of interest. In order to establish coherence in human knowledge representation, it is important to enabl…
The FOLE Database
Robert E. Kent
This paper continues the discussion of the representation and interpretation of ontologies in the first-order logical environment {\ttfamily FOLE} (Kent). Ontologies are represente…
FOLE Equivalence
Robert E. Kent
The first-order logical environment FOLE [5] provides a rigorous and principled approach to distributed interoperable first-order information systems. FOLE has been developed in tw…
Relational Operations in FOLE
Robert E. Kent
This paper discusses relational operations in the first-order logical environment {FOLE}. Here we demonstrate how FOLE expresses the relational operations of database theory in a c…
Conceptua: Institutions in a Topos
Robert E. Kent
Tarski's semantic definition of truth is the composition of its extensional and intensional aspects. Abstract satisfaction, the core of the semantic definition of truth, is the bas…
The IFF Approach to the Lattice of Theories
Robert E. Kent
The IFF approach for the notion of "lattice of theories" uses the idea of a concept lattice from Formal Concept Analysis (Ganter and Wille) and the idea of the truth classification…
Conceptual Analysis of Resource Meta-information
Christian Neuss, Robert E. Kent
It's ease of use and the availability of browsers for various platforms have paved the way for the enormous popularity that the World Wide Web currently enjoys. In the near future,…
Soft Concept Analysis
Robert E. Kent
In this chapter we discuss soft concept analysis, a study which identifies an enriched notion of "conceptual scale" as developed in formal concept analysis with an enriched notion…
Enriched Interpretation
Robert E. Kent
The theory introduced, presented and developed in this paper, is concerned with an enriched extension of the theory of Rough Sets pioneered by Zdzislaw Pawlak. The enrichment discu…
The Information Flow Foundation for Conceptual Knowledge Organization
Robert E. Kent
The sharing of ontologies between diverse communities of discourse allows them to compare their own information structures with that of other communities that share a common termin…
Creating a Web Analysis and Visualization Environment
Robert E. Kent, Christian Neuss
Due to the rapid growth of the World Wide Web, resource discovery becomes an increasing problem. As an answer to the demand for information management, a third generation of World-…
Semantic Integration in the Information Flow Framework
Robert E. Kent
The Information Flow Framework (IFF) is a descriptive category metatheory currently under development, which is being offered as the structural aspect of the Standard Upper Ontolog…
The Institutional Approach
Robert E. Kent
This chapter discusses the institutional approach for organizing and maintaining ontologies. The theory of institutions was named and initially developed by Joseph Goguen and Rod B…
Conceptual Analysis of Hypertext
Robert E. Kent, Christian Neuss
In this chapter tools and techniques from the mathematical theory of formal concept analysis are applied to hypertext systems in general, and the World Wide Web in particular. Vari…
Conceptual Collectives
Robert E. Kent
The notions of formal contexts and concept lattices, although introduced by Wille only ten years ago, already have proven to be of great utility in various applications such as dat…
Introduction to Dialectical Nets
Robert E. Kent
This paper initiates the dialectical approach to net theory. This approach views nets as special, but very important and natural, dialectical systems. By following this approach, a…
Rough Concept Analysis
Robert E. Kent
The theory introduced, presented and developed in this paper, is concerned with Rough Concept Analysis. This theory is a synthesis of the theory of Rough Sets pioneered by Zdzislaw…
Formal Concept Analysis with Many-sorted Attributes
Robert E. Kent, John Brady
This paper unites two problem-solving traditions in computer science: (1) constraint-based reasoning, and (2) formal concept analysis. For basic definitions and properties of netwo…
Conceptual Knowledge Markup Language: An Introduction
Robert E. Kent
Conceptual Knowledge Markup Language (CKML) is an application of XML. Earlier versions of CKML followed rather exclusively the philosophy of Conceptual Knowledge Processing (CKP),…
Distributed Conceptual Structures
Robert E. Kent
The theory of distributed conceptual structures, as outlined in this paper, is concerned with the distribution and conception of knowledge. It rests upon two related theories, Info…
The IFF Foundation for Ontological Knowledge Organization
Robert E. Kent
This paper discusses an axiomatic approach for the integration of ontologies, an approach that extends to first order logic a previous approach (Kent 2000) based on information flo…
Dialectical logic: the Process Calculus
Robert E. Kent
Dialectical logic is the logic of dialectical processes. The goal of dialectical logic is to reveal the dynamical notions inherent in logical computational systems. The fundamental…