Sciweavers

RWEB
2015
Springer
7 years 11 months ago
Ontology-Mediated Query Answering with Data-Tractable Description Logics
Abstract. Recent years have seen an increasing interest in ontologymediated query answering, in which the semantic knowledge provided by an ontology is exploited when querying data...
Meghyn Bienvenu, Magdalena Ortiz
RWEB
2015
Springer
7 years 11 months ago
LegalRuleML: Design Principles and Foundations
This tutorial presents the principles of the OASIS LegalRuleML applied to the legal domain and discuss why, how, and when LegalRuleML is wellsuited for modelling norms. To provide ...
Tara Athan, Guido Governatori, Monica Palmirani, A...
RWEB
2015
Springer
7 years 11 months ago
Recommender Systems and Linked Open Data
The World Wide Web is moving from a Web of hyper-linked documents to a Web of linked data. Thanks to the Semantic Web technological stack and to the more recent Linked Open Data (L...
Tommaso Di Noia, Vito Claudio Ostuni
RWEB
2015
Springer
7 years 11 months ago
All About Fuzzy Description Logics and Applications
The aim of this talk is to present a detailed, self-contained and comprehensive account of the state of the art in representing and reasoning with structured fuzzy knowledge. Fuzzy...
Umberto Straccia
RR
2015
Springer
7 years 11 months ago
A Rule-based Framework for Creating Instance Data from OpenStreetMap
Reasoning engines for ontological and rule-based knowledge bases are becoming increasingly important in areas like the Semantic Web or information integration. It has been acknowle...
Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Manta...
FOCM
2016
7 years 11 months ago
Sign Conditions for Injectivity of Generalized Polynomial Maps with Applications to Chemical Reaction Networks and Real Algebrai
We give necessary and sufficient conditions in terms of sign vectors for the injectivity of families of polynomial maps with arbitrary real exponents defined on the positive orth...
Stefan Müller 0009, Elisenda Feliu, Georg Reg...
FOCM
2016
7 years 11 months ago
On Local Convergence of the Method of Alternating Projections
The method of alternating projections is a classical tool to solve feasibility problems. Here we prove local convergence of alternating projections between subanalytic sets A, B u...
Dominikus Noll, Aude Rondepierre
FOCM
2016
7 years 11 months ago
Arbitrary-Order Trigonometric Fourier Collocation Methods for Multi-Frequency Oscillatory Systems
We rigorously study a novel type of trigonometric Fourier collocation methods for solving multi-frequency oscillatory second-order ordinary differential equations (ODEs) q (t) + M...
Bin Wang, Arieh Iserles, Xinyuan Wu
FOCM
2016
7 years 11 months ago
Subtraction-Free Complexity, Cluster Transformations, and Spanning Trees
Subtraction-free computational complexity is the version of arithmetic circuit complexity that allows only three operations: addition, multiplication, and division. We use cluster ...
Sergey Fomin, Dima Grigoriev, Gleb A. Koshevoy