Search Sciweavers | Sciweavers

3358 search results - page 69 / 672

» Dynamic Description Logics

click to vote

DLOG
2007

138views Automated Reasoning» more DLOG 2007»

Paraconsistent Resolution for Four-valued Description Logics

13 years 11 months ago

Download people.aifb.kit.edu

Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...

Yue Ma, Pascal Hitzler, Zuoquan Lin

claim paper

Read More »

click to vote

DLOG
2003

105views Automated Reasoning» more DLOG 2003»

Rewriting Aggregate Queries using Description Logic

13 years 10 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 »

click to vote

GEOINFORMATICA
2011

285views Applied Computing» more GEOINFORMATICA 2011»

Functional description of geoprocessing services as conjunctive datalog queries

13 years 3 months 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 »

click to vote

SOFSEM
2010
Springer

137views Theoretical Computer Science» more SOFSEM 2010»

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

14 years 5 months ago

Download www.sofsem.cz

Veronika Vaneková, Peter Vojtás

claim paper

Read More »