中文
相关论文

相关论文: Handling Wikidata Qualifiers in Reasoning

200 篇论文

Explanations in Machine Learning come in many forms, but a consensus regarding their desired properties is yet to emerge. In this paper we introduce a taxonomy and a set of descriptors that can be used to characterise and systematically…

机器学习 · 计算机科学 2019-12-12 Kacper Sokol , Peter Flach

From an inconsistent database non-trivial arguments may be constructed both for a proposition, and for the contrary of that proposition. Therefore, inconsistency in a logical database causes uncertainty about which conclusions to accept.…

人工智能 · 计算机科学 2013-08-12 Morten Elvang-Gøransson , Paul J. Krause , John Fox

Large Language Models (LLMs) excel in natural language tasks but still face challenges in Question Answering (QA) tasks requiring complex, multi-step reasoning. We outline the types of reasoning required in some of these tasks, and reframe…

计算与语言 · 计算机科学 2025-02-17 Nick Ferguson , Liane Guillou , Alan Bundy , Kwabena Nuamah

Description Logics (DLs) are used in knowledge-based systems to represent and reason about terminological knowledge of the application domain in a semantically well-defined manner. In this thesis, we establish a number of novel complexity…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Stephan Tobies

Large public knowledge graphs, like Wikidata, contain billions of statements about tens of millions of entities, thus inspiring various use cases to exploit such knowledge graphs. However, practice shows that much of the relevant…

人工智能 · 计算机科学 2022-08-09 Bohui Zhang , Filip Ilievski , Pedro Szekely

Metamodeling is a general approach to expressing knowledge about classes and properties in an ontology. It is a desirable modeling feature in multiple applications that simplifies the extension and reuse of ontologies. Nevertheless,…

人工智能 · 计算机科学 2024-02-06 Haya Majid Qureshi , Wolfgang Faber

One of the big challenges in Linked Data consumption is to create visual and natural language interfaces to the data usable for non-technical users. Ontodia provides support for diagrammatic data exploration, showcased in this publication…

Documents are fundamental to preserving and disseminating information, often incorporating complex layouts, tables, and charts that pose significant challenges for automatic document understanding (DU). While vision-language large models…

计算与语言 · 计算机科学 2025-06-19 Negar Foroutan , Angelika Romanou , Matin Ansaripour , Julian Martin Eisenschlos , Karl Aberer , Rémi Lebret

Wikidata is a collaborative knowledge graph which provides machine-readable structured data for Wikimedia projects including Wikipedia. Managed by a community of volunteers, it has grown to become the most edited Wikimedia project. However,…

社会与信息网络 · 计算机科学 2025-06-11 Marisa Ripoll , Neal Reeves , Anelia Kurteva , Elena Simperl , Albert Meroño Peñuela , Klaus Diepold

Semantic parsing (SP) allows humans to leverage vast knowledge resources through natural interaction. However, parsers are mostly designed for and evaluated on English resources, such as CFQ (Keysers et al., 2020), the current standard…

计算与语言 · 计算机科学 2022-06-01 Ruixiang Cui , Rahul Aralikatte , Heather Lent , Daniel Hershcovich

Knowledge-Based Visual Question Answering (KB-VQA) requires models to answer questions about an image by integrating external knowledge, posing significant challenges due to noisy retrieval and the structured, encyclopedic nature of the…

计算机视觉与模式识别 · 计算机科学 2026-03-06 Shan Ning , Longtian Qiu , Xuming He

Interpretability provides a means for humans to verify aspects of machine learning (ML) models and empower human+ML teaming in situations where the task cannot be fully automated. Different contexts require explanations with different…

机器学习 · 计算机科学 2024-07-15 Zixi Chen , Varshini Subhash , Marton Havasi , Weiwei Pan , Finale Doshi-Velez

This article contains ideas and their elaboration for quantifiers, which appeared after checking in practice the experimental language of the formal knowledge representation YAFOLL [1]: - looking at for_all and exists quantifiers as…

计算机科学中的逻辑 · 计算机科学 2019-08-30 Alex Shkotin

Algorithms of inference in a computer system oriented to input and semantic processing of text information are presented. Such inference is necessary for logical questions when the direct comparison of objects from a question and database…

计算与语言 · 计算机科学 2012-02-02 Yuriy Ostapov

Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often in heterogeneous formats. This calls for tools and methods for…

人工智能 · 计算机科学 2007-05-23 Thomas Eiter , Michael Fink , Hans Tompits

Large language models (LLMs) have demonstrated remarkable proficiency in understanding and generating responses to complex queries through large-scale pre-training. However, the efficacy of these models in memorizing and reasoning among…

计算与语言 · 计算机科学 2024-02-23 Qiyuan He , Yizhong Wang , Wenya Wang

Large language models (LLMs) are trained on enormous amounts of data and encode knowledge in their parameters. We propose a pipeline to elicit causal relationships from LLMs. Specifically, (i) we sample many documents from LLMs on a given…

机器学习 · 计算机科学 2026-03-05 Takashi Kameyama , Masahiro Kato , Yasuko Hio , Yasushi Takano , Naoto Minakawa

This article presents the top-level of an ontology categorizing and generalizing best practices and quality criteria or measures for Linked Data. It permits to compare these techniques and have a synthetic organized view of what can or…

数字图书馆 · 计算机科学 2013-05-31 Philippe A. Martin

Structured knowledge bases (KBs) are a foundation of many intelligent applications, yet are notoriously incomplete. Language models (LMs) have recently been proposed for unsupervised knowledge base completion (KBC), yet, despite encouraging…

计算与语言 · 计算机科学 2023-03-21 Blerta Veseli , Sneha Singhania , Simon Razniewski , Gerhard Weikum

The factuality of large language model (LLMs) tends to decay over time since events posterior to their training are "unknown" to them. One way to keep models up-to-date could be factual update: the task of inserting, replacing, or removing…

计算与语言 · 计算机科学 2024-03-22 Hichem Ammar Khodja , Frédéric Béchet , Quentin Brabant , Alexis Nasr , Gwénolé Lecorvé