Sciweavers

2381 search results - page 71 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
GEOINFORMATICA
2011
14 years 6 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
SEMWEB
2007
Springer
15 years 6 months ago
Measuring Incoherence in Description Logic-Based Ontologies
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...
Guilin Qi, Anthony Hunter
DLOG
2007
15 years 2 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
DLOG
2003
15 years 1 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
DLOG
2009
14 years 9 months ago
Relativizing Concept Descriptions to Comparison Classes
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
Szymon Klarman, Stefan Schlobach