English
Related papers

Related papers: Ologs: a categorical framework for knowledge repre…

200 papers

We introduce the relational ontology log, or relational olog, a knowledge representation system based on the category of sets and relations. It is inspired by Spivak and Kent's olog, a recent categorical framework for knowledge…

Artificial Intelligence · Computer Science 2017-11-02 Evan Patterson

We define the notion of linguistic structure on a small category, in order to provide a more formal description of ontology logs, also known as ologs, introduced by R. E. Kent and D. I. Spivak in their paper "Ologs: A categorical framework…

Category Theory · Mathematics 2015-06-23 Marco A. Pérez , David I. Spivak

Gene Ontology (GO) is the most important resource for gene function annotation. It provides a way to unify biological knowledge across different species via a dynamic and controlled vocabulary. GO is now widely represented in the Semantic…

Genomics · Quantitative Biology 2019-09-26 Yanying Wu

This paper discusses the representation of ontologies in the first-order logical environment {\ttfamily FOLE}. An ontology defines the primitives with which to model the knowledge resources for a community of discourse. These primitives…

Logic in Computer Science · Computer Science 2023-04-24 Robert E. Kent

We introduce kLog, a novel approach to statistical relational learning. Unlike standard approaches, kLog does not represent a probability distribution directly. It is rather a language to perform kernel-based learning on expressive logical…

Artificial Intelligence · Computer Science 2014-10-17 Paolo Frasconi , Fabrizio Costa , Luc De Raedt , Kurt De Grave

Transforming relational databases into knowledge graphs with enriched ontologies enhances semantic interoperability and unlocks advanced graph-based learning and reasoning over data. However, previous approaches either demand significant…

This paper discusses the representation of ontologies in the first-order logical environment {\ttfamily FOLE}. An ontology defines the primitives with which to model the knowledge resources for a community of discourse. These primitives…

Databases · Computer Science 2023-04-25 Robert E. Kent

In this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e. the issue of how ontologies (and semantics conveyed by them) can help solving typical database…

Logic in Computer Science · Computer Science 2010-03-15 Francesca A. Lisi

Rapid growth of documents, web pages, and other types of text content is a huge challenge for the modern content management systems. One of the problems in the areas of information storage and retrieval is the lacking of semantic data.…

Databases · Computer Science 2015-02-23 Mona Dadjoo , Esmaeil Kheirkhah

An ontology is a formal representation of domain knowledge, which can be interpreted by machines. In recent years, ontologies have become a major tool for domain knowledge representation and a core component of many knowledge management…

Artificial Intelligence · Computer Science 2019-06-27 Anat Goldstein , Lior Fink , Gilad Ravid

Ontologies are a popular way of representing domain knowledge, in particular, knowledge in domains related to life sciences. (Semi-)automating the process of building an ontology has attracted researchers from different communities into a…

Artificial Intelligence · Computer Science 2021-03-26 Ana Ozaki

Materials in biology span all the scales from Angstroms to meters and typically consist of complex hierarchical assemblies of simple building blocks. Here we describe an application of category theory to describe structural and resulting…

Category Theory · Mathematics 2024-01-30 David I. Spivak , Tristan Giesa , Elizabeth Wood , Markus J. Buehler

Retrieval-Augmented Generation (RAG) systems combine Large Language Models (LLMs) with external knowledge, and their performance depends heavily on how that knowledge is represented. This study investigates how different Knowledge Graph…

Information Retrieval · Computer Science 2025-11-11 Tiago da Cruz , Bernardo Tavares , Francisco Belo

The ability to summarize and organize knowledge into abstract concepts is key to learning and reasoning. Many industrial applications rely on the consistent and systematic use of concepts, especially when dealing with decision-critical…

Computation and Language · Computer Science 2024-05-31 Rosario Uceda-Sosa , Karthikeyan Natesan Ramamurthy , Maria Chang , Moninder Singh

Reasoning over knowledge graphs (KGs) with first-order logic (FOL) queries is challenging due to the inherent incompleteness of real-world KGs and the compositional complexity of logical query structures. Most existing methods rely on…

Computation and Language · Computer Science 2025-12-23 Ziyan Zhang , Chao Wang , Zhuo Chen , Lei Chen , Chiyi Li , Kai Song

Ontology-based knowledge graph (KG) construction is a core technology that enables multidimensional understanding and advanced reasoning over domain knowledge. Industrial standards, in particular, contain extensive technical information and…

Information Retrieval · Computer Science 2025-12-23 Jiin Park , Hyuna Jeon , Yoonseo Lee , Jisu Hong , Misuk Kim

Ontologies have been known for their semantic representation of knowledge. ontologies cannot automatically evolve to reflect updates that occur in respective domains. To address this limitation, researchers have called for automatic…

Artificial Intelligence · Computer Science 2022-01-19 Samaa Elnagar , Victoria Yoon , Manoj A. Thomas

Despite improved digital access to scholarly literature in the last decades, the fundamental principles of scholarly communication remain unchanged and continue to be largely document-based. Scholarly knowledge remains locked in…

Digital Libraries · Computer Science 2022-06-06 Mohamad Yaser Jaradeh , Allard Oelen , Manuel Prinz , Markus Stocker , Sören Auer

This paper continues the discussion of the representation of ontologies in the first-order logical environment FOLE. According to Gruber, an ontology defines the primitives with which to model the knowledge resources for a community of…

Logic in Computer Science · Computer Science 2023-04-25 Robert E. Kent

Many ontologies have been developed in biology and these ontologies increasingly contain large volumes of formalized knowledge commonly expressed in the Web Ontology Language (OWL). Computational access to the knowledge contained within…

Databases · Computer Science 2015-02-02 Robert Hoehndorf , Luke Slater , Paul N. Schofield , Georgios V. Gkoutos
‹ Prev 1 2 3 10 Next ›