Search Sciweavers | Sciweavers

9145 search results - page 89 / 1829

» Description Logic Systems

146

click to vote

DLOG
2003

105views Automated Reasoning» more DLOG 2003»

Rewriting Aggregate Queries using Description Logic

15 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

This paper presents an application of a DL reasoner to the optimization of an object-relational query language. Queries containing aggregate functions are diﬃcult to optimize be...

David DeHaan, David Toman, Grant E. Weddell

claim paper

Read More »

208

click to vote

GEOINFORMATICA
2011

285views Applied Computing» more GEOINFORMATICA 2011»

Functional description of geoprocessing services as conjunctive datalog queries

15 years 5 days ago

Download www.loria.fr

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

claim paper

Read More »

153

click to vote

CAV
2005
Springer

139views Hardware» more CAV 2005»

The Orchids Intrusion Detection Tool

15 years 10 months ago

Download www.lsv.ens-cachan.fr

ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...

Julien Olivain, Jean Goubault-Larrecq

claim paper

Read More »

114

click to vote

SOFSEM
2010
Springer

137views Theoretical Computer Science» more SOFSEM 2010»

Comparison of Scoring and Order Approach in Description Logic EL(D)

16 years 2 months ago

Download www.sofsem.cz

Veronika Vaneková, Peter Vojtás

claim paper