Sciweavers

2694 search results - page 71 / 539
» A Description Logic of Change
Sort
View
DLOG
2003
15 years 7 months ago
Rewriting Aggregate Queries using Description Logic
This paper presents an application of a DL reasoner to the optimization of an object-relational query language. Queries containing aggregate functions are difficult to optimize be...
David DeHaan, David Toman, Grant E. Weddell
GEOINFORMATICA
2011
15 years 1 months ago
Functional description of geoprocessing services as conjunctive datalog queries
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
Daniel Fitzner, Jörg Hoffmann, Eva Klien
ATAL
2009
Springer
16 years 28 days ago
Description logic for coalitions
Inanç Seylan, Wojciech Jamroga
FROCOS
2009
Springer
16 years 28 days ago
Runtime Verification Using a Temporal Description Logic
Franz Baader, Andreas Bauer 0002, Marcel Lippmann