中文
相关论文

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

200 篇论文

Existential rules form an expressive Datalog-based language to specify ontological knowledge. The presence of existential quantification in rule-heads, however, makes the main reasoning tasks undecidable. To overcome this limitation, in the…

计算复杂性 · 计算机科学 2023-07-25 Georg Gottlob , Marco Manna , Cinzia Marte

Smart environments integrates various types of technologies, including cloud computing, fog computing, and the IoT paradigm. In such environments, it is essential to organize and manage efficiently the broad and complex set of heterogeneous…

分布式、并行与集群计算 · 计算机科学 2018-03-02 Souvik Sengupta , Jordi Garcia , Xavi Masip-Bruin

Existing pipelined task-oriented dialogue systems usually have difficulties adapting to unseen domains, whereas end-to-end systems are plagued by large-scale knowledge bases in practice. In this paper, we introduce a novel query-driven…

计算与语言 · 计算机科学 2022-10-17 Xin Tian , Yingzhan Lin , Mengfei Song , Siqi Bao , Fan Wang , Huang He , Shuqi Sun , Hua Wu

There is an increasing interest and effort in preserving and documenting endangered languages. Language data are valuable only when they are well-cataloged, indexed and searchable. Many language data, particularly those of lesser-spoken…

数字图书馆 · 计算机科学 2009-02-19 Artem Chebotko , Shiyong Lu , Farshad Fotouhi , Anthony Aristar

Ontologies are traditionally expressed in the Web Ontology Language (OWL), that provides a syntax for expressing taxonomies with axioms regulating class membership. The semantics of OWL, based on Description Logic (DL), allows for the use…

信息论 · 计算机科学 2023-09-07 Veronika Heimsbakk , Kristian Torkelsen

In a fully managed serverless environment, the cloud service provider is responsible for securing the cloud infrastructure, thereby reducing the operational and maintenance efforts of application developers. However, this environment limits…

Relational and noSQL storages are developed for the fast processing of the large data sets having a stable structure, while the ontologies are used to rep-resent complex and dynamic sets of information of a limited size. In the in-dustrial…

数据库 · 计算机科学 2021-03-10 Sergey Gorshkov , Alexander Grebeshkov , Roman Shebalov

Efficiency and scalability are obstacles that have not yet received a viable response from the human activity recognition research community. This paper proposes an activity recognition method. The knowledge model is in the form of…

人机交互 · 计算机科学 2021-09-08 Pouya Foudeh , Naomie Salim

Keeping the dialogue state in dialogue systems is a notoriously difficult task. We introduce an ontology-based dialogue manage(OntoDM), a dialogue manager that keeps the state of the conversation, provides a basis for anaphora resolution…

计算与语言 · 计算机科学 2018-04-16 Duygu Altinok

Data quality and data cleaning are context dependent activities. Starting from this observation, in previous work a context model for the assessment of the quality of a database instance was proposed. In that framework, the context takes…

数据库 · 计算机科学 2014-01-22 Mostafa Milani , Leopoldo Bertossi , Sina Ariyan

This paper presents OG-RAG, an Ontology-Grounded Retrieval Augmented Generation method designed to enhance LLM-generated responses by anchoring retrieval processes in domain-specific ontologies. While LLMs are widely used for tasks like…

计算与语言 · 计算机科学 2024-12-23 Kartik Sharma , Peeyush Kumar , Yunqing Li

Multimodal large language models (MLLMs) have shown strong performance on offline video understanding, but most are limited to offline inference or have weak online reasoning, making multi-turn interaction over continuously arriving video…

计算机视觉与模式识别 · 计算机科学 2026-03-13 Lu Wang , Zhuoran Jin , Yupu Hao , Yubo Chen , Kang Liu , Yulong Ao , Jun Zhao

Modern information systems are changing the idea of "data processing" to the idea of "concept processing", meaning that instead of processing words, such systems process semantic concepts which carry meaning and share contexts with other…

计算与语言 · 计算机科学 2018-11-09 Roger Granada , Renata Vieira , Cassia Trojahn , Nathalie Aussenac-Gilles

This paper presents Non-Axiomatic Term Logic (NATL) as a theoretical computational framework of humanlike symbolic reasoning in artificial intelligence. NATL unites a discrete syntactic system inspired from Aristotle's term logic and a…

人工智能 · 计算机科学 2022-11-23 Kotaro Funakoshi

Attack graphs provide a representation of possible actions that adversaries can perpetrate to attack a system. They are used by cybersecurity experts to make decisions, e.g., to decide remediation and recovery plans. Different approaches…

密码学与安全 · 计算机科学 2022-02-09 Kéren Saint-Hilaire , Frédéric Cuppens , Nora Cuppens , Joaquin Garcia-Alfaro

Building effective human-robot interaction requires robots to derive conclusions from their experiences that are both logically sound and communicated in ways aligned with human expectations. This paper presents a hybrid framework that…

机器人学 · 计算机科学 2026-02-17 Alberto Olivares-Alarcos , Muhammad Ahsan , Satrio Sanjaya , Hsien-I Lin , Guillem Alenyà

Ontology is a general term used by researchers who want to share information in a specific domain. One of the hallmarks of the greatest success of a powerful manager of an organization is his ability to interpret unplanned and unrelated…

计算机与社会 · 计算机科学 2025-03-11 Neda Bagherzadeh , Saeed Setayeshi , Samaneh Yazdani

Over the past decade, Knowledge Graphs have received enormous interest both from industry and from academia. Research in this area has been driven, above all, by the Database (DB) community and the Semantic Web (SW) community. However,…

数据库 · 计算机科学 2023-07-13 Renzo Angles , Georg Gottlob , Aleksandar Pavlovic , Reinhard Pichler , Emanuel Sallinger

End-to-end speech-in speech-out dialogue systems are emerging as a powerful alternative to traditional ASR-LLM-TTS pipelines, generating more natural, expressive responses with significantly lower latency. However, these systems remain…

The ability of Large Language Models (LLMs) to perform reasoning tasks such as deduction has been widely investigated in recent years. Yet, their capacity to generate proofs-faithful, human-readable explanations of why conclusions…

人工智能 · 计算机科学 2026-01-21 Hui Yang , Jiaoyan Chen , Uli Sattler