Sciweavers

1545 search results - page 83 / 309
» Defeasible Description Logics
Sort
View
DLOG
2003
15 years 5 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
14 years 11 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
15 years 10 months ago
Description logic for coalitions
Inanç Seylan, Wojciech Jamroga
FROCOS
2009
Springer
15 years 10 months ago
Runtime Verification Using a Temporal Description Logic
Franz Baader, Andreas Bauer 0002, Marcel Lippmann