中文
相关论文

相关论文: Controlled Query Evaluation for Datalog and OWL 2 …

200 篇论文

We study the enumeration of answers to ontology-mediated queries (OMQs) where the ontology is a set of guarded TGDs or formulated in the description logic ELI and the query is a conjunctive query (CQ). In addition to the traditional notion…

数据库 · 计算机科学 2022-03-18 Carsten Lutz , Marcin Przybyłko

Software logs are messages recorded during the execution of a software system that provide crucial run-time information about events and activities. Although software logs have a critical role in software maintenance and operation tasks,…

软件工程 · 计算机科学 2025-05-22 Roozbeh Aghili , Xingfang Wu , Foutse Khomh , Heng Li

Ontology-based data access is an approach to organizing access to a database augmented with a logical theory. In this approach query answering proceeds through a reformulation of a given query into a new one which can be answered without…

计算机科学中的逻辑 · 计算机科学 2015-06-04 Vladimir V. Podolskii

Ontology development methodologies emphasise knowledge gathering from domain experts and documentary resources, and knowledge representation using an ontology language such as OWL or FOL. However, working ontologists are often surprised by…

人工智能 · 计算机科学 2023-01-11 Fabian Neuhaus , Janna Hastings

Ontologies provide formal representation of knowledge shared within Semantic Web applications. Ontology learning involves the construction of ontologies from a given corpus. In the past years, ontology learning has traversed through shallow…

信息检索 · 计算机科学 2024-06-18 Rick Du , Huilong An , Keyu Wang , Weidong Liu

In ontology-based data access, multiple data sources are integrated using an ontology and mappings. In practice, this is often achieved by a bootstrapping process, that is, the ontology and mappings are first designed to support only the…

数据库 · 计算机科学 2020-11-19 Carsten Lutz , Johannes Marti , Leif Sabellek

To exploit the Web Ontology Language OWL as an answer set programming (ASP) language, we introduce the notion of bounded model semantics, as an intuitive and computationally advantageous alternative to its classical semantics. We show that…

编程语言 · 计算机科学 2015-11-04 Sarah Alice Gaggl , Sebastian Rudolph , Lukas Schweizer

Ontology-based data access (OBDA) is a novel paradigm facilitating access to relational data, realized by linking data sources to an ontology by means of declarative mappings. DL-Lite_R, which is the logic underpinning the W3C ontology…

Privacy policies provide individuals with information about their rights and how their personal information is handled. Natural language understanding (NLU) technologies can support individuals and practitioners to understand better privacy…

计算与语言 · 计算机科学 2023-05-15 Jianfeng Chi , Wasi Uddin Ahmad , Yuan Tian , Kai-Wei Chang

The rapid deployment of large language models (LLMs) in consumer applications has led to frequent exchanges of personal information. To obtain useful responses, users often share more than necessary, increasing privacy risks via…

机器学习 · 计算机科学 2025-10-07 Jijie Zhou , Niloofar Mireshghallah , Tianshi Li

Even though modern service-oriented and data-oriented architectures promise to deliver loosely coupled control systems, they are inherently brittle as they commonly depend on a priori agreed interfaces and data models. At the same time, the…

天体物理仪器与方法 · 物理学 2013-10-22 Wim Pessemier , Gert Raskin , Hans Van Winckel , Geert Deconinck , Philippe Saey

Researchers in neuroscience have a growing number of datasets available to study the brain, which is made possible by recent technological advances. Given the extent to which the brain has been studied, there is also available ontological…

Access control is a cornerstone of secure computing, yet large language models often blur role boundaries by producing unrestricted responses. We study role-conditioned refusals, focusing on the LLM's ability to adhere to access control…

计算与语言 · 计算机科学 2025-10-10 Đorđe Klisura , Joseph Khoury , Ashish Kundu , Ram Krishnan , Anthony Rios

We propose a framework grounded in Logic Programming for representing and reasoning about business processes from both the procedural and ontological point of views. In particular, our goal is threefold: (1) define a logical language and a…

人工智能 · 计算机科学 2014-10-08 Fabrizio Smith , Maurizio Proietti

Computerized Evaluation of English Essays is performed using Machine learning techniques like Latent Semantic Analysis (LSA), Generalized LSA, Bilingual Evaluation Understudy and Maximum Entropy. Ontology, a concept map of domain knowledge,…

人工智能 · 计算机科学 2016-05-10 M. Syamala Devi , Himani Mittal

Many reinforcement learning applications involve the use of data that is sensitive, such as medical records of patients or financial information. However, most current reinforcement learning methods can leak information contained within the…

机器学习 · 计算机科学 2019-02-04 Tengyang Xie , Philip S. Thomas , Gerome Miklau

A privacy policy is a document that states how a company intends to handle and manage their customers' personal data. One of the problems that arises with these privacy policies is that their content might violate data privacy regulations.…

计算与语言 · 计算机科学 2022-04-06 Amin Rabinia , Zane Nygaard

Differential privacy is a modern approach in privacy-preserving data analysis to control the amount of information that can be inferred about an individual by querying a database. The most common techniques are based on the introduction of…

密码学与安全 · 计算机科学 2012-07-05 Catuscia Palamidessi , Marco Stronati

Rewriting-based approaches for answering queries over an OWL 2 DL ontology have so far been developed mainly for Horn fragments of OWL 2 DL. In this paper, we study the possibilities of answering queries over non-Horn ontologies using…

人工智能 · 计算机科学 2013-04-09 Bernardo Cuenca Grau , Boris Motik , Giorgos Stoilos , Ian Horrocks

Todays market evolution and high volatility of business requirements put an increasing emphasis on the ability for systems to accommodate the changes required by new organizational needs while maintaining security objectives satisfiability.…

其他计算机科学 · 计算机科学 2012-11-21 Manjula Shenoy. K , K. C. Shet , U. Dinesh Acharya