Search Sciweavers | Sciweavers

1835 search results - page 68 / 367

» Classifying Description Logics

218

click to vote

GEOINFORMATICA
2011

285views Applied Computing» more GEOINFORMATICA 2011»

Functional description of geoprocessing services as conjunctive datalog queries

15 years 29 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 »

125

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

Read More »

click to vote

ATAL
2009
Springer

108views Intelligent Agents» more ATAL 2009»

Description logic for coalitions

16 years 17 days ago

Download www.in.tu-clausthal.de

Inanç Seylan, Wojciech Jamroga

claim paper

Read More »

140

click to vote

FROCOS
2009
Springer

133views Control Systems» more FROCOS 2009»

Runtime Verification Using a Temporal Description Logic

16 years 17 days ago

Download disi.unitn.it

Franz Baader, Andreas Bauer 0002, Marcel Lippmann

claim paper

Read More »

130

click to vote

IEEESCC
2007
IEEE

85views Applied Computing» more IEEESCC 2007»

Checking e-service consistency using Description Logics

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers