中文
相关论文

相关论文: Ontological Reasoning over Shy and Warded Datalog$…

200 篇论文

Semantic reasoning aims to infer new knowledge from existing knowledge, with OWL ontologies serving as a standardized framework for organizing information. A key challenge in semantic reasoning is verifying ontology consistency. However,…

人工智能 · 计算机科学 2025-04-29 Justin Mücke , Ansgar Scherp

We consider a semantic class, weakly-chase-sticky (WChS), and a syntactic subclass, jointly-weakly-sticky (JWS), of Datalog+- programs. Both extend that of weakly-sticky (WS) programs, which appear in our applications to data quality. For…

数据库 · 计算机科学 2015-04-15 Mostafa Milani , Leopoldo Bertossi

In this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e. the issue of how ontologies (and semantics conveyed by them) can help solving typical database…

计算机科学中的逻辑 · 计算机科学 2010-03-15 Francesca A. Lisi

The rapid growth of streaming video applications demands multimodal models with enhanced capabilities for temporal dynamics understanding and complex reasoning. However, current Video Question Answering (VideoQA) datasets suffer from two…

计算机视觉与模式识别 · 计算机科学 2025-10-30 Yuhang Hu , Zhenyu Yang , Shihan Wang , Shengsheng Qian , Bin Wen , Fan Yang , Tingting Gao , Changsheng Xu

Agents, whether software or hardware, perceive their environment through sensors and act using actuators, often operating in dynamic, partially observable settings. They face challenges like incomplete and noisy data, unforeseen situations,…

人工智能 · 计算机科学 2024-05-29 Saeedeh Ghanadbashi , Fatemeh Golpayegani

Semantic communication (SC) is recognized as a promising approach for enabling reliable communication with minimal data transfer while maintaining seamless connectivity for a group of wireless users. Unlocking the advantages of SC for…

In this position paper we present a new approach for discovering some special classes of assertional knowledge in the text by using large RDF repositories, resulting in the extraction of new non-taxonomic ontological relations. Also we use…

信息检索 · 计算机科学 2013-08-06 Meisam Booshehri , Abbas Malekpour , Peter Luksch , Kamran Zamanifar , Shahdad Shariatmadari

Ontology is a popular method for knowledge representation in different domains, including the legal domain, and description logics (DL) is commonly used as its description language. To handle reasoning based on inconsistent DL-based legal…

人工智能 · 计算机科学 2022-09-20 Zhe Yu , Yiwei Lu

Datalog is a popular logic programming language for deductive reasoning tasks in a wide array of applications, including business analytics, program analysis, and ontological reasoning. However, Datalog's restriction to flat facts over…

Ontologies play a critical role in Semantic Web technologies by providing a structured and standardized way to represent knowledge and enabling machines to understand the meaning of data. Several taxonomies and ontologies have been…

数字图书馆 · 计算机科学 2023-05-09 Mahender Kumar , Ruby Rani , Mirko Botarelli , Gregory Epiophaniou , Carsten Maple

We introduce Natlog, a lightweight Logic Programming language, sharing Prolog's unification-driven execution model, but with a simplified syntax and semantics. Our proof-of-concept Natlog implementation is tightly embedded in the…

编程语言 · 计算机科学 2021-09-20 Paul Tarau

Robust dialogue belief tracking is a key component in maintaining good quality dialogue systems. The tasks that dialogue systems are trying to solve are becoming increasingly complex, requiring scalability to multi domain, semantically rich…

计算与语言 · 计算机科学 2018-07-18 Osman Ramadan , Paweł Budzianowski , Milica Gašić

Large vision-language models (VLMs) have garnered increasing interest in autonomous driving areas, due to their advanced capabilities in complex reasoning tasks essential for highly autonomous vehicle behavior. Despite their potential,…

计算机视觉与模式识别 · 计算机科学 2024-07-23 Ming Nie , Renyuan Peng , Chunwei Wang , Xinyue Cai , Jianhua Han , Hang Xu , Li Zhang

Large Language Models (LLMs) increasingly support culturally sensitive decision making, yet often exhibit misalignment due to skewed pretraining data and the absence of structured value representations. Existing methods can steer outputs,…

计算与语言 · 计算机科学 2026-02-02 Wonduk Seo , Wonseok Choi , Junseo Koh , Juhyeon Lee , Hyunjin An , Minhyeong Yu , Jian Park , Qingshan Zhou , Seunghyun Lee , Yi Bu

Data stream learning has been largely studied for extracting knowledge structures from continuous and rapid data records. In the semantic Web, data is interpreted in ontologies and its ordered sequence is represented as an ontology stream.…

人工智能 · 计算机科学 2017-04-26 Freddy Lecue , Jiaoyan Chen , Jeff Pan , Huajun Chen

Ontologies are pivotal for structuring knowledge bases to enhance question answering (QA) systems powered by Large Language Models (LLMs). However, traditional ontology creation relies on manual efforts by domain experts, a process that is…

人工智能 · 计算机科学 2025-06-03 Yash Tiwari , Owais Ahmad Lone , Mayukha Pal

Many formal languages have been proposed to express or represent Ontologies, including RDF, RDFS, DAML+OIL and OWL. Most of these languages are based on XML syntax, but with various terminologies and expressiveness. Therefore, choosing a…

人工智能 · 计算机科学 2010-06-24 Mohammad Mustafa Taye

With the web getting bigger and assimilating knowledge about different concepts and domains, it is becoming very difficult for simple database driven applications to capture the data for a domain. Thus developers have come out with ontology…

人工智能 · 计算机科学 2014-04-22 Iti Mathur , Nisheeth Joshi , Hemant Darbari , Ajai Kumar

Vision-language-action (VLA) models have emerged as the next generation of models in robotics. However, despite leveraging powerful pre-trained Vision-Language Models (VLMs), existing end-to-end VLA systems often lose key capabilities…

机器人学 · 计算机科学 2025-06-02 Zhongyi Zhou , Yichen Zhu , Junjie Wen , Chaomin Shen , Yi Xu

Datalog has become a popular language for writing static analyses. Because Datalog is very limited, some implementations of Datalog for static analysis have extended it with new language features. However, even with these features it is…

编程语言 · 计算机科学 2018-09-18 Aaron Bembenek , Stephen Chong