English
Related papers

Related papers: Evaluation and Comparison Semantics for ODRL

200 papers

Organizational cybersecurity policies are often examined to determine whether they adequately comply standard security controls. This task is difficult because control statements are abstract, whereas policy documents describe governance…

Cryptography and Security · Computer Science 2026-05-11 Bikash Saha , Sandeep Kumar Shukla

The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for (1) ontologies formalized in…

Logic in Computer Science · Computer Science 2012-04-24 Christoph Lange , Oliver Kutz , Till Mossakowski , Michael Grüninger

The Web of Linked Data is composed of tons of RDF documents interlinked to each other forming a huge repository of distributed semantic data. Effectively querying this distributed data source is an important open problem in the Semantic Web…

Databases · Computer Science 2015-07-21 Olaf Hartig , Jorge Pérez

Choice constructs are an important part of the language of logic programming, yet the study of their semantics has been a challenging task. So far, only two-valued semantics have been studied, and the different proposals for such semantics…

Artificial Intelligence · Computer Science 2024-08-01 Jesse Heyninck

We consider off-dynamics reinforcement learning (RL) where one needs to transfer policies across different domains with dynamics mismatch. Despite the focus on developing dynamics-aware algorithms, this field is hindered due to the lack of…

Machine Learning · Computer Science 2024-10-29 Jiafei Lyu , Kang Xu , Jiacheng Xu , Mengbei Yan , Jingwen Yang , Zongzhang Zhang , Chenjia Bai , Zongqing Lu , Xiu Li

Understanding a Reinforcement Learning (RL) policy is crucial for ensuring that autonomous agents behave according to human expectations. This goal can be achieved using Explainable Reinforcement Learning (XRL) techniques. Although textual…

Artificial Intelligence · Computer Science 2026-01-07 Ahmad Terra , Mohit Ahmed , Rafia Inam , Elena Fersman , Martin Törngren

Our languages are in constant flux driven by external factors such as cultural, societal and technological changes, as well as by only partially understood internal motivations. Words acquire new meanings and lose old senses, new words are…

Computation and Language · Computer Science 2019-03-14 Nina Tahmasebi , Lars Borin , Adam Jatowt

Reading comprehension is one of the crucial tasks for furthering research in natural language understanding. A lot of diverse reading comprehension datasets have recently been introduced to study various phenomena in natural language,…

Computation and Language · Computer Science 2020-01-01 Dheeru Dua , Ananth Gottumukkala , Alon Talmor , Sameer Singh , Matt Gardner

XrML is becoming a popular language in industry for writing software licenses. The semantics for XrML is implicitly given by an algorithm that determines if a permission follows from a set of licenses. We focus on a fragment of the language…

Cryptography and Security · Computer Science 2008-08-11 Joseph Y. Halpern , Vicky Weissman

We consider the problem of logical data erasure, contrasting with physical erasure in the same way that end-to-end information flow control contrasts with access control. We present a semantic hierarchy for erasure policies, using a…

Cryptography and Security · Computer Science 2011-10-03 Filippo Del Tedesco , Sebastian Hunt , David Sands

SHACL and OWL are two prominent W3C standards for managing RDF data. These languages share many features, but they have one fundamental difference: OWL, designed for inferring facts from incomplete data, makes the open-world assumption,…

Logic in Computer Science · Computer Science 2026-01-21 Anouk Oudshoorn , Magdalena Ortiz , Mantas Simkus

As language data and associated technologies proliferate and as the language resources community rapidly expands, it has become difficult to locate and reuse existing resources. Are there any lexical resources for such-and-such a language?…

Computation and Language · Computer Science 2007-05-23 Steven Bird , Gary Simons

Recent developments in computer science and artificial intelligence have also contributed to the legal domain, as revealed by the number and range of related publications and applications. Machine and deep learning models require…

Computation and Language · Computer Science 2025-03-14 Dilek Küçük , Fazli Can

Machine learning contrasts with traditional software development in that the oracle is the data, and the data is not always a correct representation of the problem that machine learning tries to model. We present a survey of the oracle…

Machine Learning · Computer Science 2021-05-05 Diogo Seca

Reo is a formal coordination language. In order to assess and evaluate its capabilities, we need a multi-perspective Language Evaluation Framework. Langar (Language Analysis for Reo) is a framework aimed to provide such an evaluation…

Software Engineering · Computer Science 2021-03-09 Mohammad Reza Besharati , Mohammad Izadi

Checking the compliance of software against laws, regulations and contracts is increasingly important and costly as the embedding of software into societal practices is becoming more pervasive. Moreover, the digitalised services provided by…

Software Engineering · Computer Science 2026-05-25 L. Thomas van Binsbergen , Christopher A. Esterhuyse , Tim Müller

Multilingual representations have mostly been evaluated based on their performance on specific tasks. In this article, we look beyond engineering goals and analyze the relations between languages in computational representations. We…

Computation and Language · Computer Science 2020-11-18 Lisa Beinborn , Rochelle Choenni

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…

Information Theory · Computer Science 2023-09-07 Veronika Heimsbakk , Kristian Torkelsen

Word and sentence embeddings are useful feature representations in natural language processing. However, intrinsic evaluation for embeddings lags far behind, and there has been no significant update since the past decade. Word and sentence…

Computation and Language · Computer Science 2022-03-22 Bin Wang , C. -C. Jay Kuo , Haizhou Li

OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a family of ontology languages for the Semantic Web. The most expressive of these languages is OWL 2 Full, but to date no reasoner has been implemented for this language.…

Artificial Intelligence · Computer Science 2011-08-02 Michael Schneider , Geoff Sutcliffe