English
Related papers

Related papers: Mining Generalized Patterns from Large Databases u…

200 papers

Ontologies are essential for structuring domain knowledge, improving accessibility, sharing, and reuse. However, traditional ontology construction relies on manual annotation and conventional natural language processing (NLP) techniques,…

Artificial Intelligence · Computer Science 2026-02-03 Xuan Liu , Ziyu Li , Mu He , Ziyang Ma , Xiaoxu Wu , Gizem Yilmaz , Yiyuan Xia , Bingbing Li , He Tan , Jerry Ying Hsi Fuh , Wen Feng Lu , Anders E. W. Jarfors , Per Jansson

Forest automata (FA) have recently been proposed as a tool for shape analysis of complex heap structures. FA encode sets of tree decompositions of heap graphs in the form of tuples of tree automata. In order to allow for representing…

Logic in Computer Science · Computer Science 2013-04-23 Lukas Holik , Ondrej Lengal , Adam Rogalewicz , Jiri Simacek , Tomas Vojnar

The pharmacovigilance databases consist of several case reports involving drugs and adverse events (AEs). Some methods are applied consistently to highlight all signals, i.e. all statistically significant associations between a drug and an…

Artificial Intelligence · Computer Science 2009-01-27 Alexander Estacio-Moreno , Yannick Toussaint , Cédric Bousquet

Deep neural networks (DNNs) have found their way into many applications with potential impact on the safety, security, and fairness of human-machine-systems. Such require basic understanding and sufficient trust by the users. This motivated…

Machine Learning · Computer Science 2022-03-29 Gesina Schwalbe

Complex Query Answering (CQA) is an important reasoning task on knowledge graphs. Current CQA learning models have been shown to be able to generalize from atomic operators to more complex formulas, which can be regarded as the…

Computation and Language · Computer Science 2021-11-08 Zihao Wang , Hang Yin , Yangqiu Song

Canonical correlation analysis (CCA) is a powerful technique for discovering whether or not hidden sources are commonly present in two (or more) datasets. Its well-appreciated merits include dimensionality reduction, clustering,…

Machine Learning · Computer Science 2018-08-15 Jia Chen , Gang Wang , Yanning Shen , Georgios B. Giannakis

Concept Hierarchies and Formal Concept Analysis are theoretically well grounded and largely experimented methods. They rely on line diagrams called Galois lattices for visualizing and analysing object-attribute sets. Galois lattices are…

Machine Learning · Statistics 2013-03-12 Michel Crampes , Michel Plantié

In various subjects including mathematics, one can hope to use mathematical thinking well when the right kinds of algebraic structure to consider can be discovered or spotted. Therefore, it would help to understand kinds of algebraic…

Category Theory · Mathematics 2020-12-29 Takuo Matsuoka

The purpose of this work is to find out how different library classification systems and linguistic ontologies arrange a particular domain of interest and what are the limitations for information retrieval. We use knowledge representation…

Artificial Intelligence · Computer Science 2023-06-21 Subhashis Das , Debashis Naskar , Sayon Roy

Human cognition can leverage fundamental conceptual knowledge, like geometric and kinematic ones, to appropriately perceive, comprehend and interact with novel objects. Motivated by this finding, we aim to endow machine intelligence with an…

Robotics · Computer Science 2024-09-19 Jianhua Sun , Yuxuan Li , Longfei Xu , Jiude Wei , Liang Chai , Cewu Lu

We present CAFA-evaluator, a powerful Python program designed to evaluate the performance of prediction methods on targets with hierarchical concept dependencies. It generalizes multi-label evaluation to modern ontologies where the…

As todays world grows with the technology on the other hand it seems to be small with the World Wide Web. With the use of Internet more and more information can be search from the web. When Users fires a query they want relevancy in…

Information Retrieval · Computer Science 2013-11-26 Debajyoti Mukhopadhyay , Sajeeda Shikalgar

Tarski's semantic definition of truth is the composition of its extensional and intensional aspects. Abstract satisfaction, the core of the semantic definition of truth, is the basis for the theory of institutions (Goguen and Burstall). The…

Logic in Computer Science · Computer Science 2018-11-07 Robert E. Kent

Concept induction, which is based on formal logical reasoning over description logics, has been used in ontology engineering in order to create ontology (TBox) axioms from the base data (ABox) graph. In this paper, we show that it can also…

In applied mathematics and related disciplines, the modeling-simulation-optimization workflow is a prominent scheme, with mathematical models and numerical algorithms playing a crucial role. For these types of mathematical research data,…

The emergence of Formal Concept Analysis (FCA) as a data analysis technique has increased the need for developing algorithms which can compute formal concepts quickly. The current efficient algorithms for FCA are variants of the…

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

This paper introduces a set of terms that are intended to act as an interface between cyber ontologies (like a file system ontology or a data fusion ontology) and top- and mid-level ontologies, specifically Basic Formal Ontology and the…

Artificial Intelligence · Computer Science 2024-08-19 David Limbaugh , Mark Jensen , John Beverley

When performing a conceptual analysis of a concept, philosophers are interested in all forms of expression of a concept in a text---be it direct or indirect, explicit or implicit. In this paper, we experiment with topic-based methods of…

Computation and Language · Computer Science 2017-06-20 Louis Chartrand , Jackie C. K. Cheung , Mohamed Bouguessa

In conceptual modeling (CM), humans apply abstraction to represent excerpts of reality for means of understanding and communication, and processing by machines. Artificial Intelligence (AI) is applied to vast amounts of data to…

Software Engineering · Computer Science 2023-03-14 Dominik Bork , Syed Juned Ali , Ben Roelens

Equipping machines with comprehensive knowledge of the world's entities and their relationships has been a long-standing goal of AI. Over the last decade, large-scale knowledge bases, also known as knowledge graphs, have been automatically…

Artificial Intelligence · Computer Science 2021-12-07 Gerhard Weikum , Luna Dong , Simon Razniewski , Fabian Suchanek