English
Related papers

Related papers: Continuous Domains in Formal Concept Analysis

200 papers

Conceptual Scaling is a useful standard tool in Formal Concept Analysis and beyond. Its mathematical theory, as elaborated in the last chapter of the FCA monograph, still has room for improvement. As it stands, even some of the basic…

Machine Learning · Computer Science 2023-07-25 Bernhard Ganter , Tom Hanika , Johannes Hirth

Based on rectangle theory of formal concept and set covering theory, the concept reduction preserving binary relations is investigated in this paper. It is known that there are three types of formal concepts: core concepts, relative…

Artificial Intelligence · Computer Science 2021-11-02 Jianqin Zhou , Sichun Yang , Xifeng Wang , Wanquan Liu

A domain analysis & description calculus is introduced. It is shown to alleviate the issue of implicit semantics. The claim is made that domain descriptions, whether informal, or as also here, formal, amount to an explicit semantics for…

Programming Languages · Computer Science 2018-05-16 Dines Bjørner

Web spaces, wide web spaces and worldwide web spaces (alias C-spaces) provide useful generalizations of continuous domains. We present new characterizations of such spaces and their patch spaces, obtained by joining the original topology…

General Topology · Mathematics 2023-06-22 Marcel Erné

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier $I$. $I$ forms a formula from two…

Logic in Computer Science · Computer Science 2021-08-13 Nils Kürbis

The identification of semantic relations between terms within texts is a fundamental task in Natural Language Processing which can support applications requiring a lightweight semantic interpretation model. Currently, semantic relation…

Computation and Language · Computer Science 2018-06-21 Vivian S. Silva , Manuela Hürliman , Brian Davis , Siegfried Handschuh , André Freitas

Formal Concept Analysis starts from a very basic data structure comprising objects and their attributes. Sometimes, however, it is beneficial to also define attributes of attributes, viz., meta-attributes. In this paper, we use Triadic…

Logic · Mathematics 2024-08-12 Yingjian Wang

Formal Concept Analysis (FCA) provides a method called attribute exploration which helps a domain expert discover structural dependencies in knowledge domains that can be represented by a formal context (a cross table of objects and…

Artificial Intelligence · Computer Science 2022-06-02 Maximilian Felde , Gerd Stumme

Although the notion of a concept as a collection of objects sharing certain properties, and the notion of a conceptual hierarchy are fundamental to both Formal Concept Analysis and Description Logics, the ways concepts are described and…

Logic in Computer Science · Computer Science 2011-07-15 Baris Sertkaya

Formal concept analysis (FCA) is built on a special type of Galois connections called polarities. We present new results in formal concept analysis and in Galois connections by presenting new Galois connection results and then applying…

Other Computer Science · Computer Science 2013-09-23 Jeffrey T. Denniston , Austin Melton , Stephen E. Rodabaugh

Formal concept analysis (FCA) is a useful mathematical tool for obtaining information from relational datasets. One of the most interesting research goals in FCA is the selection of the most representative variables of the dataset, which is…

Data Structures and Algorithms · Computer Science 2024-09-25 Roberto G. Aragón , Jesús Medina , Eloísa Ramírez-Poussa

We present a novel approach to the automatic acquisition of taxonomies or concept hierarchies from a text corpus. The approach is based on Formal Concept Analysis (FCA), a method mainly used for the analysis of data, i.e. for investigating…

Artificial Intelligence · Computer Science 2011-09-13 P. Cimiano , A. Hotho , S. Staab

In this paper which is the first of a series of papers on smooth structures, the concepts of C-structures and smooth structures are introduced and studied. The notion of smooth structure on semi-integral domains is given. It is shown that…

Commutative Algebra · Mathematics 2010-09-23 Ahmad Shafiei Deh Abad

Computing conceptual structures, like formal concept lattices, is in the age of massive data sets a challenging task. There are various approaches to deal with this, e.g., random sampling, parallelization, or attribute extraction. A so far…

Artificial Intelligence · Computer Science 2020-02-28 Tom Hanika , Maren Koyda , Gerd Stumme

Deep learning models dealing with image understanding in real-world settings must be able to adapt to a wide variety of tasks across different domains. Domain adaptation and class incremental learning deal with domain and task variability…

Computer Vision and Pattern Recognition · Computer Science 2022-10-14 Marco Toldo , Umberto Michieli , Pietro Zanuttigh

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 data analysis and knowledge representation. In this paper we…

Artificial Intelligence · Computer Science 2018-10-18 Robert E. Kent

This paper describes a computational framework for a grammar architecture in which different linguistic domains such as morphology, syntax, and semantics are treated not as separate components but compositional domains. Word and phrase…

cmp-lg · Computer Science 2008-02-03 Cem Bozsahin , Elvan Gocmen

Manual ontology construction takes time, resources, and domain specialists. Supporting a component of this process for automation or semi-automation would be good. This project and dissertation provide a Formal Concept Analysis and WordNet…

Computation and Language · Computer Science 2023-11-28 Bryar A. Hassan

Formal Concept Analysis (FCA) allows to analyze binary data by deriving concepts and ordering them in lattices. One of the main goals of FCA is to enable humans to comprehend the information that is encapsulated in the data; however, the…

Artificial Intelligence · Computer Science 2021-07-02 Dominik Dürrschnabel , Maren Koyda , Gerd Stumme

We develop the theory of continuous and algebraic domains in constructive and predicative univalent foundations, building upon our earlier work on basic domain theory in this setting. That we work predicatively means that we do not assume…

Logic in Computer Science · Computer Science 2025-09-03 Tom de Jong , Martín Hötzel Escardó