Sciweavers

4047 search results - page 395 / 810
» The Discrete Basis Problem
Sort
View
DLOG
2010
15 years 4 months ago
Updating TBoxes in DL-Lite
Abstract. We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of...
Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Khar...
173
Voted
SEMWEB
2010
Springer
15 years 4 months ago
ORE - A Tool for Repairing and Enriching Knowledge Bases
Abstract. While the number and size of Semantic Web knowledge bases increases, their maintenance and quality assurance are still difficult. In this article, we present ORE, a tool ...
Jens Lehmann, Lorenz Bühmann
JAPLL
2011
92views more  JAPLL 2011»
15 years 1 months ago
Norms as ascriptions of violations: An analysis in modal logic
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...
Davide Grossi
IEEEVAST
2010
15 years 1 months ago
Interactive visual analysis of multiobjective optimizations
Optimization problems are typically addressed by purely automatic approaches. For multi-objective problems, however, a single best solution often does not exist. In this case, it ...
Wolfgang Berger, Harald Piringer
174
Voted
ICASSP
2011
IEEE
14 years 10 months ago
Short and smooth sampling trajectories for compressed sensing
This paper explores a novel setting for compressed sensing (CS) in which the sampling trajectory length is a critical bottleneck and must be minimized subject to constraints on th...
Rebecca M. Willett