Source author record

Robert E. Kent

Robert E. Kent appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CT Logic in Computer Science Digital Libraries Artificial Intelligence Databases Networking and Internet Architecture Programming Languages

Catalog footprint

What is connected

11works

7topics

2close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2016arXiv

Information Flow in Logical Environments

This paper describes information flow within logical environments. The theory of information flow, the logic of distributed systems, was first defined by Barwise and Seligman (Information Flow: The Logic of Distributed Systems. 1997). Logical environments are a semantic-oriented version of institutions. The theory of institutions, which was initiated by Goguen and Burstall (Institutions: Abstract Model Theory for Specification and Programming. 1992), is abstract model theory. Information flow is the flow of information in channels over distributed systems. The semantic integration of distributed systems, be they ontologies, databases or other information resources, can be defined in terms of the channel theory of information flow. As originally defined, the theory of information flow uses only a specific logical environment in order to discuss information flow. This paper shows how information flow can be defined in an arbitrary logical environment.

preprint2013arXiv

FOLE: The First-order Logical Environment

This paper describes the first-order logical environment FOLE. Institutions in general, and logical environments in particular, give equivalent heterogeneous and homogeneous representations for logical systems. As such, they offer a rigorous and principled approach to distributed interoperable information systems via system consequence. Since FOLE is a particular logical environment, this provides a rigorous and principled approach to distributed interoperable first-order information systems. The FOLE represents the formalism and semantics of first-order logic in a classification form. By using an interpretation form, a companion approach defines the formalism and semantics of first-order logical/relational database systems. In a strict sense, the two forms have transformational passages (generalized inverses) between one another. The classification form of first-order logic in the FOLE corresponds to ideas discussed in the Information Flow Framework (IFF). The FOLE representation follows a conceptual structures approach, that is completely compatible with formal concept analysis and information flow.

preprint2012arXiv

Database Semantics

This paper, the first step to connect relational databases with systems consequence (Kent: "System Consequence" 2009), is concerned with the semantics of relational databases. It aims to to study system consequence in the logical/semantic system of relational databases. The paper, which was inspired by and which extends a recent set of papers on the theory of relational database systems (Spivak: "Functorial Data Migration" 2012), is linked with work on the Information Flow Framework (IFF) [http://suo.ieee.org/IFF/] connected with the ontology standards effort (SUO), since relational databases naturally embed into first order logic. The database semantics discussed here is concerned with the conceptual level of database architecture. We offer both an intuitive and technical discussion. Corresponding to the notions of primary and foreign keys, relational database semantics takes two forms: a distinguished form where entities are distinguished from relations, and a unified form where relations and entities coincide. The distinguished form corresponds to the theory presented in (Spivak: "Simplicial databases" 2009)[arXiv:0904.2012]. The unified form, a special case of the distinguished form, corresponds to the theory presented in (Spivak: "Functorial Data Migration" 2012). A later paper will discuss various formalisms of relational databases, such as relational algebra and first order logic, and will complete the description of the relational database logical environment.

preprint2011arXiv

A KIF Formalization for the IFF Category Theory Ontology

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 Ontology (SUO). This SUO structural level can be used as a logical framework for manipulating collections of ontologies in the object level of the SUO or other middle level or domain ontologies. From the Information Flow perspective, the SUO structural level resolves into several metalevel ontologies. This paper discusses a KIF formalization for one of those metalevel categories, the Category Theory Ontology. In particular, it discusses its category and colimit sub-namespaces.

preprint2011arXiv

Conceptual Knowledge Markup Language: The central core

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. The central core provides a theoretical link between the ontological specification in OML and the conceptual knowledge representation in CKML. This paper discusses the formal semantics and syntactic styles of the central core, and also the important role it plays in defining interoperability between OML/CKML, RDF/S and Ontolingua.

preprint2011arXiv

Digital Libraries, Conceptual Knowledge Systems, and the Nebula Interface

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 evidence to support the assertion that a digital library is a bounded collection of incommensurate information sources in a logical space, but also sheds light on techniques for collaboration through coordinated access to the shared organization of knowledge.

preprint2011arXiv

Ologs: a categorical framework for knowledge representation

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 formulated and cross-compared in ways that other KR models (such as semantic networks) cannot. An olog is similar to a relational database schema; in fact an olog can serve as a data repository if desired. Unlike database schemas, which are generally difficult to create or modify, ologs are designed to be user-friendly enough that authoring or reconfiguring an olog is a matter of course rather than a difficult chore. It is hoped that learning to author ologs is much simpler than learning a database definition language, despite their similarity. We describe ologs carefully and illustrate with many examples. As an application we show that any primitive recursive function can be described by an olog. We also show that ologs can be aligned or connected together into a larger network using functors. The various methods of information flow and institutions can then be used to integrate local and global world-views. We finish by providing several different avenues for future research.

preprint2011arXiv

Semantic Integration in the IFF

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 could be constructed. The Information Flow Framework (IFF), which is being developed under the auspices of the SUO Working Group, represents the structural aspect of the SUO. The IFF is based on category theory. Semantic integration of object-level ontologies in the IFF is represented with its fusion construction. The IFF maintains ontologies using powerful composition primitives, which includes the fusion construction.

preprint2011arXiv

The Information Flow Framework: A Descriptive Category Metatheory

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 forms the structural aspect of the IEEE P1600.1 Standard Upper Ontology (SUO) project. The categorical approach of the IFF provides a principled framework for the modular design of object-level ontologies. The IFF represents meta-logic, and as such operates at the structural level of ontologies. In the IFF, there is a precise boundary between the metalevel and the object level. The modular architecture of the IFF consists of metalevels, namespaces and meta-ontologies. Each metalevel services the levels below by providing a metalanguage used to declare and axiomatize those levels. Corresponding to the metalevels are nested metalanguages, where each metalanguage axiomatization includes specialization of the one immediately above. Within each metalevel, the terminology is partitioned into namespaces, and various namespaces are collected together into meaningful composites called meta-ontologies. All of the various meta-ontologies in the IFF are anchored to the IFF metastack. The IFF development is largely driven by the principles of conceptual warrant, categorical design and institutional logic.

preprint2011arXiv

The Information Flow Framework: New architecture

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 integration of ontologies. It represents metalogic, and as such operates at the structural level of ontologies. The content, form and experience of the IFF could contribute to the development of a standard ontology for category theory. The foundational aspect of the IFF helps to explain the relationship between the fundamental concepts of set theory and category theory. The development of the IFF follows two design principles: conceptual warrant and categorical design. Both are limitations of the logical expression. Conceptual warrant limits the content of logical expression, by requiring us to justify the introduction of new terminology (and attendant axiomatizations). Categorical design limits the form of logical expression (of all mathematical concepts and constraints) to atomic expressions: declarations, equations or relational expressions. The IFF is a descriptive category metatheory. It is descriptive, since it follows the principle of conceptual warrant; it is categorical, since it follows the principle of categorical design; and it is a metatheory, since it provides a framework for all theories.

preprint2011arXiv

The Standard Aspect of Dialectical Logic

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 of proposition and truth-value in standard logic are subsumed by the notions of process and flow in dialectical logic. Dialectical logic has a standard aspect, which can be defined in terms of the "local cartesian closure" of subtypes. The standard aspect of dialectical logic provides a natural program semantics which incorporates Hoare's precondition/postcondition semantics and extends the standard Kripke semantics of dynamic logic. The goal of the standard aspect of dialectical logic is to unify the logic of small-scale and large-scale programming.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint