English
Related papers

Related papers: A Survey on how Description Logic Ontologies Benef…

200 papers

Ontologies order and interconnect knowledge of a certain field in a formal and semantic way so that they are machine-parsable. They try to define allwhere acceptable definition of concepts and objects, classify them, provide properties as…

Artificial Intelligence · Computer Science 2020-02-11 Christian Pachl , Nils Frank , Jan Breitbart , Stefan Bräse

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 enable communication between the conceptual structures of…

Logic in Computer Science · Computer Science 2024-04-23 Robert E. Kent

Formal Concept Analysis (FCA) is a mathematical framework for knowledge representation and discovery. It performs a hierarchical clustering over a set of objects described by attributes, resulting in conceptual structures in which objects…

Artificial Intelligence · Computer Science 2025-08-12 Jessie Galasso

The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal logic, and is based on the idea that Pawlak's original…

In this paper we provide a unifying description of different types of semantics of modal logic found in the literature via the framework of topological categories. In the style of categorical logic, we establish an exact correspondence…

Category Theory · Mathematics 2023-08-01 Lingyuan Ye

We present the basic ideas of forms (a generalization of Ehresmann's sketches) and their theories and models, more explicitly than in previous expositions. Forms provide the ability to specify mathematical structures and data types in any…

Category Theory · Mathematics 2008-09-19 Atish Bagchi , Charles Wells

A totally semantic measure is presented which is able to calculate a similarity value between concept descriptions and also between concept description and individual or between individuals expressed in an expressive description logic. It…

Artificial Intelligence · Computer Science 2009-11-30 Claudia d'Amato , Nicola Fanizzi , Floriana Esposito

Definite descriptions are expressions of the form "the unique $x$ satisfying property $C$," which allow reference to objects through their distinguishing characteristics. They play a crucial role in ontology and query languages, offering an…

Logic in Computer Science · Computer Science 2025-12-09 Michał Sochański , Przemysław Andrzej Wałęga , Michał Zawidzki

Psychology has had difficulty accounting for the creative, context-sensitive manner in which concepts are used. We believe this stems from the view of concepts as identifiers rather than bridges between mind and world that participate in…

Adaptation and Self-Organizing Systems · Physics 2013-08-26 Liane Gabora , Eleanor Rosch , Diederik Aerts

Modelling concept representation is a foundational problem in the study of cognition and linguistics. This work builds on the confluence of conceptual tools from G\"ardenfors semantic spaces, categorical compositional linguistics, and…

Computation and Language · Computer Science 2020-08-07 James Hefford , Vincent Wang , Matthew Wilson

Concepts play a central role in many applications. This includes settings where concepts have to be modelled in the absence of sentence context. Previous work has therefore focused on distilling decontextualised concept embeddings from…

Computation and Language · Computer Science 2023-10-24 Amit Gajbhiye , Zied Bouraoui , Na Li , Usashi Chatterjee , Luis Espinosa Anke , Steven Schockaert

The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and…

Category Theory · Mathematics 2024-10-07 David Ellerman

The highly influential framework of conceptual spaces provides a geometric way of representing knowledge. Instances are represented by points in a high-dimensional space and concepts are represented by regions in this space. Our recent…

Artificial Intelligence · Computer Science 2017-12-08 Lucas Bechberger , Kai-Uwe Kühnberger

This note clarifies the concept of syntax and semantics and their relationships. Today, a lot of confusion arises from the fact that the word "semantics" is used in different meanings. We discuss a general approach at defining semantics…

Software Engineering · Computer Science 2014-09-25 Bernhard Rumpe

There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about objects and their attributes.' This work inspects tacit agreements on…

Artificial Intelligence · Computer Science 2014-04-25 Ryuta Arisaka

Despite the popularity of Formal Concept Analysis (FCA) as a mathematical framework for data analysis, some of its extensions are still considered arcane. Polyadic Concept Analysis (PCA) is one of the most promising yet understudied of…

Discrete Mathematics · Computer Science 2022-03-29 Alexandre Bazin , Giacomo Kahn , Camille Noûs

With the rise of knowledge management and knowledge economy, the knowledge elements that directly link and embody the knowledge system have become the research focus and hotspot in certain areas. The existing knowledge element…

Logic in Computer Science · Computer Science 2019-04-17 Bin Wen , Jianhou Gan , Juan L. G. Guirao , Wei Gao

Natural language semantics has recently sought to combine the complementary strengths of formal and distributional approaches to meaning. More specifically, proposals have been put forward to augment formal semantic machinery with…

Computation and Language · Computer Science 2021-03-03 Noortje J. Venhuizen , Petra Hendriks , Matthew W. Crocker , Harm Brouwer

Most modern formalisms used in Databases and Artificial Intelligence for describing an application domain are based on the notions of class (or concept) and relationship among classes. One interesting feature of such formalisms is the…

Artificial Intelligence · Computer Science 2009-09-25 G. DeGiacomo , M. Lenzerini

Ontology Learning (OL) is the computational task of generating a knowledge base in the form of an ontology given an unstructured corpus whose content is in natural language (NL). Several works can be found in this area most of which are…

Computation and Language · Computer Science 2016-03-09 Sourish Dasgupta , Ankur Padia , Kushal Shah , Prasenjit Majumder