Sciweavers

1460 search results - page 64 / 292
» Preferential Description Logics
Sort
View
162
Voted
DLOG
2007
15 years 8 months ago
Paraconsistent Resolution for Four-valued Description Logics
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
154
Voted
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 17 days 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
121
Voted
SOFSEM
2010
Springer
16 years 2 months ago
Comparison of Scoring and Order Approach in Description Logic EL(D)
Veronika Vaneková, Peter Vojtás
86
Voted
ATAL
2009
Springer
16 years 5 days ago
Description logic for coalitions
Inanç Seylan, Wojciech Jamroga