English
Related papers

Related papers: The Institutional Approach

200 papers

Ontologies are widely used for representing domain knowledge and meta data, playing an increasingly important role in Information Systems, the Semantic Web, Bioinformatics and many other domains. However, logical reasoning that ontologies…

Artificial Intelligence · Computer Science 2025-04-08 Jiaoyan Chen , Olga Mashkova , Fernando Zhapa-Camacho , Robert Hoehndorf , Yuan He , Ian Horrocks

We explore how computational ontologies can be impactful vis-a-vis the developing discipline of "data science." We posit an approach wherein management theories are represented as formal axioms, and then applied to draw inferences about…

Artificial Intelligence · Computer Science 2016-08-30 Henry M. Kim , Jackie Ho Nam Cheung , Marek Laskowski , Iryna Gel

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

Ontologies enable knowledge sharing and interdisciplinary collaboration by providing standardized, structured vocabularies for diverse communities. While logical axioms are a cornerstone of ontology design, natural language elements such as…

Formal Languages and Automata Theory · Computer Science 2025-08-29 Paul Fabry , Adrien Barton , Jean-François Éthier

Retrieve information resources made by the machine processing may refer to multiple sources. A personal web as part of information resources in the Internet requires a feature that can be understood by computer machines. Therefore, in this…

Digital Libraries · Computer Science 2013-12-23 Istiadi , Azhari

Variables are a crucial element in logic and are also addressed in institution theory, an effort to axiomatize logic. In institution theory, we typically use extensions (signature morphisms) obtained from variables instead of introducing…

Logic in Computer Science · Computer Science 2026-05-06 Go Hashimoto

We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language which makes it possible to express that a fact causes another…

Artificial Intelligence · Computer Science 2010-05-02 Philippe Besnard , Marie-Odile Cordier , Yves Moinard

The paper proposes an analysis on some existent ontologies, in order to point out ways to resolve semantic heterogeneity in information systems. Authors are highlighting the tasks in a Knowledge Acquisiton System and identifying aspects…

Artificial Intelligence · Computer Science 2009-05-29 Alexandru Cicortas , Victoria Stana Iordan , Alexandra Emilia Fortis

Operationalization of terminology for IT applications has revived the Wusterian approach. The conceptual dimension once more prevails after taking back seat to specialised lexicography. This is demonstrated by the emergence of ontology in…

Artificial Intelligence · Computer Science 2016-09-19 Christophe Roche

Calls for new metrics, technical standards and governance mechanisms to guide the adoption of Artificial Intelligence (AI) in institutions and public administration are now commonplace. Yet, most research and policy efforts aimed at…

Computers and Society · Computer Science 2023-07-21 Vincent J. Straub , Deborah Morgan , Youmna Hashem , John Francis , Saba Esnaashari , Jonathan Bright

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 two forms: a classification form and an interpretation form.…

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

Recommender systems learn about user preferences over time, automatically finding things of similar interest. This reduces the burden of creating explicit queries. Recommender systems do, however, suffer from cold-start problems where no…

Machine Learning · Computer Science 2007-05-23 Stuart E. Middleton , Harith Alani , David C. De Roure

Ontologies contain rich knowledge within domain, which can be divided into two categories, namely extensional knowledge and intensional knowledge. Extensional knowledge provides information about the concrete instances that belong to…

Artificial Intelligence · Computer Science 2026-03-27 Keyu Wang , Guilin Qi , Jiaoyan Chen , Yi Huang , Tianxing Wu

This paper presents the principles of ontology-supported and ontology-driven conceptual navigation. Conceptual navigation realizes the independence between resources and links to facilitate interoperability and reusability. An engine builds…

Information Retrieval · Computer Science 2007-05-23 Michel Crampes , Sylvie Ranwez

Starting from an unsolved problem of information retrieval this paper presents an ontology-based model for indexing and retrieval. The model combines the methods and experiences of cognitive-to-interpret indexing languages with the…

Information Retrieval · Computer Science 2013-12-17 Winfried Gödert

Some theories on data flow security are based on order-theoretical concepts, most commonly on lattice concepts. This paper presents a correspondence between security concepts and partial order concepts, by which the former become an…

Cryptography and Security · Computer Science 2024-03-13 Luigi Logrippo

Modern information systems are changing the idea of "data processing" to the idea of "concept processing", meaning that instead of processing words, such systems process semantic concepts which carry meaning and share contexts with other…

Computation and Language · Computer Science 2018-11-09 Roger Granada , Renata Vieira , Cassia Trojahn , Nathalie Aussenac-Gilles

In this paper we describe a mechanism to improve Information Retrieval (IR) on the web. The method is based on Formal Concepts Analysis (FCA) that it is makes semantical relations during the queries, and allows a reorganizing, in the shape…

Information Retrieval · Computer Science 2010-03-09 Abderrahim El Qadi , Driss Aboutajedine , Yassine Ennouary

Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete…

Logic in Computer Science · Computer Science 2017-07-28 Willem Conradie , Sabine Frittella , Alessandra Palmigiano , Michele Piazzai , Apostolos Tzimoulis , Nachoem M. Wijnberg

Considering the evolution of the semantic wiki engine based platforms, two main approaches could be distinguished: Ontologies for Wikis (OfW) and Wikis for Ontologies (WfO). OfW vision requires existing ontologies to be imported. Most of…

Artificial Intelligence · Computer Science 2019-04-12 Guidedi Kaladzavi , Papa Fary Diallo , Cedric Béré , Olivier Corby , Isabelle Mirbel , Moussa Lo , Dina Taiwe Kolyang