Sciweavers

2043 search results - page 200 / 409
» The Limits of Querying Ontologies
Sort
View
AI
2010
Springer
13 years 9 months ago
Property persistence in the situation calculus
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
Ryan F. Kelly, Adrian R. Pearce
NGC
2000
Springer
101views Communications» more  NGC 2000»
13 years 9 months ago
Information Access in Multimedia Databases Based on Feature Models
With the increasing popularity of the WWW, the main challenge in computer science has become content-based retrieval of multimedia objects. Access to multimedia objects in database...
Arjen P. de Vries, Menzo Windhouwer, Peter M. G. A...
CIKM
2010
Springer
13 years 7 months ago
Probabilistic ranking for relational databases based on correlations
This paper proposes a ranking method to exploit statistical correlations among pairs of attribute values in relational databases. For a given query, the correlations of the query ...
Jaehui Park, Sang-goo Lee
CIVR
2005
Springer
14 years 2 months ago
Automatic Annotation of Images from the Practitioner Perspective
This paper describes an ongoing project which seeks to contribute to a wider understanding of the realities of bridging the semantic gap in visual image retrieval. A comprehensive ...
Peter G. B. Enser, Christine J. Sandom, Paul H. Le...
AAAI
2006
13 years 10 months ago
Finding Maximally Satisfiable Terminologies for the Description Logic ALC
For ontologies represented as Description Logic Tboxes, optimised DL reasoners are able to detect logical errors, but there is comparatively limited support for resolving such pro...
Thomas Andreas Meyer, Kevin Lee, Richard Booth, Je...