Sciweavers

297 search results - page 46 / 60
» On the Decidability of Consistent Query Answering
Sort
View
ISCAS
2003
IEEE
124views Hardware» more  ISCAS 2003»
15 years 5 months ago
Convergent transfer subgraph characterization and computation
In this paper, we present a precise characterization of the existence of a convergent transfer subgraph in an edge colored directed acyclic graph. Based on the characterization, l...
Wing Ning Li
CORR
2007
Springer
98views Education» more  CORR 2007»
14 years 11 months ago
Guarded Hybrid Knowledge Bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Crist...
73
Voted
SEMWEB
2009
Springer
15 years 6 months ago
Task Representation and Retrieval in an Ontology-Guided Modelling System
A modelling procedure consists of a sequence of modelling tasks. With the increasing size of models during the development, the relations among modelling objects and their correspo...
Yuan Ren, Jens Lemcke, Andreas Friesen, Tirdad Rah...
FQAS
2004
Springer
122views Database» more  FQAS 2004»
15 years 3 months ago
Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
Davide Martinenghi
OTM
2010
Springer
14 years 9 months ago
A Characterization of the Layout Definition Problem for Web Search Results
In the last years the user information seeking process on the Web has shifted from document search to object search. Hence, the answers provided by Web search engines cannot consis...
Alessandro Bozzon, Marco Brambilla, Sara Comai