Sciweavers

3793 search results - page 172 / 759
» Expressive Description Logics
Sort
View
LCC
1994
213views Algorithms» more  LCC 1994»
15 years 8 months ago
Linear Constraint Query Languages: Expressive Power and Complexity
We give an AC0 upper bound on the complexity of rst-oder queries over (in nite) databases de ned by restricted linear constraints. This result enables us to deduce the non-expressi...
Stéphane Grumbach, Jianwen Su, Christophe T...
ICIAP
2007
ACM
15 years 10 months ago
k-dimensional Size Functions for Shape Description and Comparison
This paper advises the use of k-dimensional size functions for comparison and retrieval in the context of multidimensional shapes, where by shape we mean something in two or highe...
Andrea Cerri, Silvia Biasotti, Daniela Giorgi
WEBI
2007
Springer
15 years 10 months ago
Building Application Ontologies from Descriptions of Semantic Web Services
Different ontologies used in semantic web services fields raise numerous interoperation and communication problems with respect to service discovery, composition, and execution. ...
Xia Wang, Tomas Vitvar, Manfred Hauswirth, Doug Fo...
DAGSTUHL
1996
15 years 6 months ago
Multi-Level Lambda-Calculi: An Algebraic Description
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
Flemming Nielson, Hanne Riis Nielson
ERCIMDL
2010
Springer
139views Education» more  ERCIMDL 2010»
15 years 5 months ago
User-Contributed Descriptive Metadata for Libraries and Cultural Institutions
: The Library of Congress and other cultural institutions are collecting highly informative user-contributed metadata as comments and notes expressing historical and factual inform...
Michael A. Zarro, Robert B. Allen