English
Related papers

Related papers: Validation Rules for Assessing and Improving SKOS …

200 papers

We present the KOKO system that takes declarative information extraction to a new level by incorporating advances in natural language processing techniques in its extraction language. KOKO is novel in that its extraction language…

Databases · Computer Science 2018-05-04 Xiaolan Wang , Aaron Feng , Behzad Golshan , Alon Halevy , George Mihaila , Hidekazu Oiwa , Wang-Chiew Tan

Quality of Service (QoS) has gained more importance with the increase in usage and adoption of web services. In recent years, various tools and techniques developed for measurement and evaluation of QoS of web services. There are commercial…

Software Engineering · Computer Science 2013-06-19 Shariq Hussain , Zhaoshun Wang , Ibrahima Kalil Toure , Abdoulaye Diop

EMBL-EBI created OxO to enable users to map between datasets that are annotated with different ontologies. Mappings identified by the first version of OxO were not necessarily logically sound, lacked important provenance information such as…

Databases · Computer Science 2025-09-29 Henriette Harmse , Haider Iqbal , Helen Parkinson , James McLaughlin

From 2012 to 2015 together with other Linked Data community members and experts from the social, behavioral, and economic sciences (SBE), we developed diverse vocabularies to represent SBE metadata and tabular data in RDF. The DDI-RDF…

Digital Libraries · Computer Science 2015-09-16 Thomas Hartmann , Benjamin Zapilko , Joachim Wackerow , Kai Eckert

Reaction Systems (RSs) are a successful computational framework inspired by biological systems. A RS pairs a set of entities with a set of reactions over them. Entities can be used to enable or inhibit each reaction, and are produced by…

Logic in Computer Science · Computer Science 2020-09-01 Linda Brodo , Roberto Bruni , Moreno Falaschi

The area of quality of service (QoS) in communications networks has been the target of research for already several decades with tens of thousands of published journal and conference papers. However, the practical introduction of QoS…

Networking and Internet Architecture · Computer Science 2019-01-23 Kalevi Kilkki , Benjamin Finley

Problems faced by international standardization bodies become more and more crucial as the number and the size of the standards they produce increase. Sometimes, also, the lack of coordination among the committees in charge of the…

Software Engineering · Computer Science 2018-06-19 A. F. Cutting-Decelle , A. Digeon , R. I. Young , J. L. Barraud , P. Lamboley

Analytical quality assurance, especially testing, is an integral part of software-intensive system development. With the increased usage of Artificial Intelligence (AI) and Machine Learning (ML) as part of such systems, this becomes more…

Software Engineering · Computer Science 2021-10-07 Lisa Jöckel , Thomas Bauer , Michael Kläs , Marc P. Hauer , Janek Groß

We propose the use of Soft Constraints as a natural way to model Service Oriented Architecture. In the framework, constraints are used to model components and connectors and constraint aggregation is used to represent their interactions.…

Artificial Intelligence · Computer Science 2009-06-23 Stefano Bistarelli , Francesco Santini

Semantic textual similarity (STS) systems are designed to encode and evaluate the semantic similarity between words, phrases, sentences, and documents. One method for assessing the quality or authenticity of semantic information encoded in…

Computation and Language · Computer Science 2017-01-04 Kimberly Glasgow , Matthew Roos , Amy Haufler , Mark Chevillet , Michael Wolmetz

Reusing ontologies in practice is still very challenging, especially when multiple ontologies are (jointly) involved. Moreover, despite recent advances, the realization of systematic ontology quality assurance remains a difficult problem.…

Software Engineering · Computer Science 2022-09-20 Piotr Sowinski , Katarzyna Wasielewska-Michniewska , Maria Ganzha , Marcin Paprzycki , Costin Badica

Semantic mapping is the incremental process of "mapping" relevant information of the world (i.e., spatial information, temporal events, agents and actions) to a formal description supported by a reasoning engine. Current research focuses on…

Robotics · Computer Science 2016-06-14 Roberto Capobianco , Jacopo Serafin , Johann Dichtl , Giorgio Grisetti , Luca Iocchi , Daniele Nardi

Although they differ in the functionality they offer, low-level systems exhibit certain patterns of design and utilization of computing resources. In this paper, we argue the position that modalities, in the sense of modal logic, should be…

Logic in Computer Science · Computer Science 2025-09-30 Ismail Kuru , Colin S. Gordon

Systems of systems (SoS) are a hot topic in our "fully connected global world". Our aim is not to provide another definition of what SoS are, but rather to focus on the adequacy of reusing standard system architecting techniques within this…

Distributed, Parallel, and Cluster Computing · Computer Science 2008-12-18 Frédéric Autran , Jean-Philippe Auzelle , Denise Cattan , Jean-Luc Garnier , Dominique Luzeaux , Frédérique Mayer , Marc Peyrichon , Jean-René Ruault

Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social…

Multiagent Systems · Computer Science 2019-08-26 Frank Valencia

We introduce MCMAS-SLK, a BDD-based model checker for the verification of systems against specifications expressed in a novel, epistemic variant of strategy logic. We give syntax and semantics of the specification language and introduce a…

Logic in Computer Science · Computer Science 2014-05-19 Petr Čermák , Alessio Lomuscio , Fabio Mogavero , Aniello Murano

Meaning can be generated when information is related at a systemic level. Such a system can be an observer, but also a discourse, for example, operationalized as a set of documents. The measurement of semantics as similarity in patterns…

Computation and Language · Computer Science 2011-02-01 Loet Leydesdorff , Kasper Welbers

The semantic mapping problem is probably the main obstacle to computer-to-computer communication. If computer A knows that its concept X is the same as computer B's concept Y, then the two machines can communicate. They will in effect be…

Information Retrieval · Computer Science 2014-03-05 Kieran Greer

Automatic traffic classification is increasingly important in networking due to the current trend of encrypting transport information (e.g., behind HTTP encrypted tunnels) which prevents intermediate nodes to access end-to-end transport…

Networking and Internet Architecture · Computer Science 2022-07-12 Raffaello Secchi , Pietro Cassarà , Alberto Gotta

The paper proposes an approach to transcend multicultural and multilingual barriers in the use and reuse of geographical data at the European level. The approach aims at sharing scientific terms in the field of nature conservation with the…

Digital Libraries · Computer Science 2011-07-11 Monica De Martino , Riccardo Albertoni