Sciweavers

1835 search results - page 68 / 367
» Classifying Description Logics
Sort
View
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 1 months ago
Description logic for coalitions
Inanç Seylan, Wojciech Jamroga
FROCOS
2009
Springer
16 years 1 months ago
Runtime Verification Using a Temporal Description Logic
Franz Baader, Andreas Bauer 0002, Marcel Lippmann