中文
相关论文

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

200 篇论文

The use of preferences in query answering, both in traditional databases and in ontology-based data access, has recently received much attention, due to its many real-world applications. In this paper, we tackle the problem of top-k query…

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

With the rise of Large Language Models (LLMs) and their ubiquitous deployment in diverse domains, measuring language model behavior on realistic data is imperative. For example, a company deploying a client-facing chatbot must ensure that…

The benefit of using ontologies, defined by the respective data standards, is shown. It is presented how ontologies can be used for the semantic enrichment of data and how this can contribute to the vision of the semantic web to become…

数据库 · 计算机科学 2009-12-16 Gerhard Mayer

We study the complexity of answer counting for ontology-mediated queries and for querying under constraints, considering conjunctive queries and unions thereof (UCQs) as the query language and guarded TGDs as the ontology and constraint…

数据库 · 计算机科学 2024-02-14 Cristina Feier , Carsten Lutz , Marcin Przybyłko

Management of security policies has become increasingly difficult given the number of domains to manage, taken into consideration their extent and their complexity. Security experts has to deal with a variety of frameworks and specification…

密码学与安全 · 计算机科学 2013-04-02 Othman Benammar , Hicham Elasri , Abderrahim Sekkaki

To appear in Theory and Practice of Logic Programming (TPLP), 2008. We are researching the interaction between the rule and the ontology layers of the Semantic Web, by comparing two options: 1) using OWL and its rule extension SWRL to…

Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling. To this end, we design a temporal description logic, TQL, that extends the standard ontology…

计算机科学中的逻辑 · 计算机科学 2013-05-01 Alessandro Artale , Roman Kontchakov , Frank Wolter , Michael Zakharyaschev

Privacy policies outline the data practices of Online Social Networks (OSN) to comply with privacy regulations such as the EU-GDPR and CCPA. Several ontologies for modeling privacy regulations, policies, and compliance have emerged in…

密码学与安全 · 计算机科学 2023-09-29 Sanonda Datta Gupta , Torsten Hahmann

Large language models sometimes produce false or misleading responses. Two approaches to this problem are honesty elicitation -- modifying prompts or weights so that the model answers truthfully -- and lie detection -- classifying whether a…

机器学习 · 计算机科学 2026-03-11 Helena Casademunt , Bartosz Cywiński , Khoi Tran , Arya Jakkli , Samuel Marks , Neel Nanda

System Instructions in Large Language Models (LLMs) are commonly used to enforce safety policies, define agent behavior, and protect sensitive operational context in agentic AI applications. These instructions may contain sensitive…

密码学与安全 · 计算机科学 2026-04-02 Anubhab Sahu , Diptisha Samanta , Reza Soosahabi

One of the main challenges for building the Semantic web is Ontology Authoring. Controlled Natural Languages CNLs offer a user friendly means for non-experts to author ontologies. This paper provides a snapshot of the state-of-the-art for…

计算与语言 · 计算机科学 2014-06-13 Hazem Safwat , Brian Davis

Competency Questions (CQs) are natural language questions outlining and constraining the scope of knowledge represented by an ontology. Despite that CQs are a part of several ontology engineering methodologies, we have observed that the…

人工智能 · 计算机科学 2018-11-26 Dawid Wisniewski , Jedrzej Potoniec , Agnieszka Lawrynowicz , C. Maria Keet

While classical planning languages make the closed-domain and closed-world assumption, there have been various approaches to extend those with DL reasoning, which is then interpreted under the usual open-world semantics. Current approaches…

人工智能 · 计算机科学 2023-08-17 Tobias John , Patrick Koopmann

Ontology evaluation through functional requirements, such as testing via competency question (CQ) verification, is a well-established yet costly, labour-intensive, and error-prone endeavour, even for ontology engineering experts. In this…

Many languages and algebras have been proposed in recent years for the specification of authorization policies. For some proposals, such as XACML, the main motivation is to address real-world requirements, typically by providing a complex…

密码学与安全 · 计算机科学 2011-11-28 Jason Crampton , Charles Morisset

Reasoning with ontologies is one of the core fields of research in Description Logics. A variety of efficient reasoner with highly optimized algorithms have been developed to allow inference tasks on expressive ontology languages such as…

人工智能 · 计算机科学 2015-10-01 Nourhène Alaya , Sadok Ben Yahia , Myriam Lamolle

The use of ontologies and taxonomies contributes by providing means to define concepts, minimize the ambiguity, improve the interoperability and manage knowledge of the security domain. Thus, this paper presents a literature survey on…

软件工程 · 计算机科学 2017-06-30 Ferrucio de Franco Rosa , Rodrigo Bonacin , Mario Jino

This paper presents a general framework how controlled natural languages can be evaluated and compared on the basis of user experiments. The subjects are asked to classify given statements (in the language to be tested) as either true or…

人机交互 · 计算机科学 2009-07-08 Tobias Kuhn

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