English
Related papers

Related papers: An extended description logic system with knowledg…

200 papers

The ability of knowledge graphs to represent complex relationships at scale has led to their adoption for various needs including knowledge representation, question-answering, and recommendation systems. Knowledge graphs are often…

Computation and Language · Computer Science 2023-05-18 Jason Youn , Ilias Tagkopoulos

Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can…

Logic in Computer Science · Computer Science 2007-05-23 Ian Horrocks , Ulrike Sattler , Stephan Tobies

Conversational recommender systems (CRS) utilize natural language interactions and dialogue history to infer user preferences and provide accurate recommendations. Due to the limited conversation context and background knowledge, existing…

Computation and Language · Computer Science 2024-05-02 Zhangchi Qiu , Ye Tao , Shirui Pan , Alan Wee-Chung Liew

Description logics are a powerful tool for describing ontological knowledge bases. That is, they give a factual account of the world in terms of individuals, concepts and relations. In the presence of uncertainty, such factual accounts are…

Artificial Intelligence · Computer Science 2021-08-31 Tim French , Tom Smoker

Fine-grained skill representations, commonly referred to as knowledge components (KCs), are fundamental to many approaches in student modeling and learning analytics. However, KC-level correctness labels are rarely available in real-world…

Computation and Language · Computer Science 2026-03-31 Zhangqi Duan , Arnav Kankaria , Dhruv Kartik , Andrew Lan

Description logics (DLs) are standard knowledge representation languages for modelling ontologies, i.e. knowledge about concepts and the relations between them. Unfortunately, DL ontologies are difficult to learn from data and…

Artificial Intelligence · Computer Science 2020-06-26 Yazmín Ibáñez-García , Víctor Gutiérrez-Basulto , Steven Schockaert

Entity linking (EL) is the process of linking entity mentions appearing in web text with their corresponding entities in a knowledge base. EL plays an important role in the fields of knowledge engineering and data mining, underlying a…

Computation and Language · Computer Science 2021-09-28 Wei Shen , Yuhan Li , Yinan Liu , Jiawei Han , Jianyong Wang , Xiaojie Yuan

Reasoning abilities of human beings are limited. Logics that treat logical inference for human knowledge should reflect these limited abilities. Logic of awareness is one of those logics. In the logic, what an agent with a limited reasoning…

Multiagent Systems · Computer Science 2024-02-14 Yudai Kubono

This extended abstract gives a brief outline of the connections between the descriptions and variable concepts. Thus, the notion of a concept is extended to include both the syntax and semantics features. The evaluation map in use is…

Logic in Computer Science · Computer Science 2007-05-23 Viacheslav Wolfengagen

Knowledge embeddings (KE) represent a knowledge graph (KG) by embedding entities and relations into continuous vector spaces. Existing methods are mainly structure-based or description-based. Structure-based methods learn representations…

Computation and Language · Computer Science 2023-06-30 Xintao Wang , Qianyu He , Jiaqing Liang , Yanghua Xiao

Named entity discovery and linking is the fundamental and core component of question answering. In Question Entity Discovery and Linking (QEDL) problem, traditional methods are challenged because multiple entities in one short question are…

Computation and Language · Computer Science 2018-12-06 Kai Lei , Bing Zhang , Yong Liu , Yang Deng , Dongyu Zhang , Ying Shen

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

Querying large datasets with incomplete and vague data is still a challenge. Ontology-based query answering extends standard database query answering by background knowledge from an ontology to augment incomplete data. We focus on…

Logic in Computer Science · Computer Science 2018-08-07 Rafael Peñaloza , Veronika Thost , Anni-Yasmin Turhan

Terminological knowledge representation systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). We analyze from a theoretical point of view a TKRS whose…

Artificial Intelligence · Computer Science 2014-11-17 M. Buchheit , F. M. Donini , A. Schaerf

Category theory can be used to state formulas in First-Order Logic without using set membership. Several notable results in logic such as proof of the continuum hypothesis can be elegantly rewritten in category theory. We propose in this…

Logic in Computer Science · Computer Science 2022-04-19 Chan Le Duc

Explainability has been an important goal since the early days of Artificial Intelligence. Several approaches for producing explanations have been developed. However, many of these approaches were tightly coupled with the capabilities of…

Artificial Intelligence · Computer Science 2020-03-20 Shruthi Chari , Daniel M. Gruen , Oshani Seneviratne , Deborah L. McGuinness

We introduce Ak, an extension of the action description language A (Gelfond and Lifschitz, 1993) to handle actions which affect knowledge. We use sensing actions to increase an agent's knowledge of the world and non-deterministic actions to…

Artificial Intelligence · Computer Science 2007-05-23 Jorge Lobo , Gisela Mendez , Stuart R. Taylor

Knowledge bases are widely used for information management, enabling high-impact applications such as web search, question answering, and natural language processing. They also serve as the backbone for automatic decision systems, e.g., for…

Artificial Intelligence · Computer Science 2023-10-05 Leonie Nora Sieger , Stefan Heindorf , Yasir Mahmood , Lukas Blübaum , Axel-Cyrille Ngonga Ngomo

Interactions are central to intelligent reasoning and learning abilities, with the interpretation of abstract knowledge guiding meaningful interaction with objects in the environment. While humans readily adapt to novel situations by…

Artificial Intelligence · Computer Science 2026-02-10 Arun Kumar , Paul Schrater

Biomedical ontologies contain numerous concept or role names involving negative knowledge such as lacks_part, absence_of. Such a representation with labels rather than logical constructors would not allow a reasoner to interpret lacks_part…

Logic in Computer Science · Computer Science 2026-03-20 Chan Le Duc , Ludovic Brieulle