English
Related papers

Related papers: Semantic Description of Parameters in Web Service …

200 papers

In line with the general trend in artificial intelligence research to create intelligent systems that combine learning and symbolic components, a new sub-area has emerged that focuses on combining machine learning (ML) components with…

Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match curricula and job profiles. In such open environments, the…

Artificial Intelligence · Computer Science 2011-10-13 T. Di Noia , E. Di Sciascio , F. M. Donini

The semantics of notation systems can naturally be meta-modelled as a network of transformations, starting with the syntactic elements of the notation and ending with the parameters of an execution. In this context, a digital encoding…

Programming Languages · Computer Science 2024-10-30 Markus Lepper , Baltasar Trancón y Widemann

Reasoning in the Semantic Web (SW) commonly uses Description Logics (DL) via OWL2 DL ontologies, or SWRL for variables and Horn clauses. The Rule Interchange Format (RIF) offers more expressive rules but is defined outside RDF and rarely…

Databases · Computer Science 2025-08-19 Dörthe Arndt , William Van Woensel , Dominik Tomaszuk

A critical step in sharing semantic content online is to map the structural data source to a public domain ontology. This problem is denoted as the Relational-To-Ontology Mapping Problem (Rel2Onto). A huge effort and expertise are required…

Artificial Intelligence · Computer Science 2022-12-22 Jiakang Xu , Wolfgang Mayer , HongYu Zhang , Keqing He , Zaiwen Feng

The Semantic Web standardizes concept meaning for humans and machines, enabling machine-operable content and consistent interpretation that improves advanced analytics. Reusing ontologies speeds development and enforces consistency, yet…

Artificial Intelligence · Computer Science 2026-04-15 Aryan Singh Dalal , Maria Baloch , Asiyah Yu Lin , Anna Maria Masci , Kathleen M. Jagodnik , Hande Kucuk McGinty

We propose a new method for mining frequent patterns in a language that combines both Semantic Web ontologies and rules. In particular we consider the setting of using a language that combines description logics with DL-safe rules. This…

Logic in Computer Science · Computer Science 2015-03-13 Joanna Jozefowska , Agnieszka Lawrynowicz , Tomasz Lukaszewski

We introduce ontology-mediated planning, in which planning problems are combined with an ontology. Our formalism differs from existing ones in that we focus on a strong separation of the formalisms for describing planning problems and…

Artificial Intelligence · Computer Science 2024-08-15 Tobias John , Patrick Koopmann

We present a probabilistic extension of the description logic $\mathcal{ALC}$ for reasoning about statistical knowledge. We consider conditional statements over proportions of the domain and are interested in the probabilistic-logical…

Artificial Intelligence · Computer Science 2017-06-13 Rafael Peñaloza , Nico Potyka

This paper presents an operational semantics for UML activity diagrams. The purpose of this semantics is three-fold: to give a robust basis for verifying model correctness; to help validate model transformations; and to provide a…

Logic in Computer Science · Computer Science 2016-04-11 Zamira Daw , Rance Cleaveland

This paper shows that the problem of web services representation is crucial and analyzes the various factors that influence on it. It presents the traditional representation of web services considering traditional textual descriptions based…

Information Retrieval · Computer Science 2013-04-12 Mustapha Aznag , Mohamed Quafafou , Nicolas Durand , Zahi Jarir

Metamodeling refers to scenarios in ontologies in which classes and roles can be members of classes or occur in roles. This is a desirable modelling feature in several applications, but allowing it without restrictions is problematic for…

Logic in Computer Science · Computer Science 2025-02-14 Haya Majid Qureshi , Wolfgang Faber

This paper describes the analysis of a selected testbed of Semantic Web ontologies, by a SPARQL query, which determines those ontologies that can be related to the description logic DL<ForAllPiZero>, introduced in [4] and studied in [9]. We…

Artificial Intelligence · Computer Science 2012-11-26 Antonio Pisasale , Domenico Cantone

SMCalFlow is a large corpus of semantically detailed annotations of task-oriented natural dialogues. The annotations use a dataflow approach, in which the annotations are programs which represent user requests. Despite the availability,…

Computation and Language · Computer Science 2022-06-29 Joram Meron

The rapid growth of Web APIs has made automated Web API recommendation essential for efficient mashup development. However, existing approaches suffer from two major limitations: 1) they rely on fixed top-N recommendation strategies that…

Software Engineering · Computer Science 2026-05-15 Zishuo Xu , Dezhong Yao , Yao Wan

In order to deal efficiently with the exponential growth of the Web services landscape in composition life cycle activities, it is necessary to have a clear view of its main features. As for many situations where there is a lot of…

Software Engineering · Computer Science 2013-05-03 Chantal Cherifi , Jean-François Santucci

This paper introduces a differentiable semantic reasoner, where rules are presented as a relevant set of graph transformations. These rules can be written manually or inferred by a set of facts and goals presented as a training set. While…

Artificial Intelligence · Computer Science 2021-10-26 Alberto Cetoli

We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a suite of tools for manipulating these annotations. The abstract logical model provides for a range of…

Computation and Language · Computer Science 2007-05-23 Steven Bird , David Day , John Garofolo , John Henderson , Christophe Laprun , Mark Liberman

Nowadays, the need for system interoperability in or across enterprises has become more and more ubiquitous. Lots of research works have been carried out in the information exchange, transformation, discovery and reuse. One of the main…

Software Engineering · Computer Science 2014-11-17 Y. Liao , M. Lezoche , H. Panetto , N. Boudjlida , Eduardo Rocha Loures

In spoken Task-Oriented Dialogue (TOD) systems, the choice of the semantic representation describing the users' requests is key to a smooth interaction. Indeed, the system uses this representation to reason over a database and its domain…

Artificial Intelligence · Computer Science 2024-06-21 Lucas Druart , Valentin Vielzeuf , Yannick Estève