Search Sciweavers | Sciweavers

3 search results - page 1 / 1

» Query Answering over DL ABoxes: How to Pick the Relevant Sym...

click to vote

DLOG
2009

77views Automated Reasoning» more DLOG 2009»

Query Answering over DL ABoxes: How to Pick the Relevant Symbols

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank...

claim paper

Read More »

click to vote

DLOG
2003

152views Automated Reasoning» more DLOG 2003»

Incremental Query Answering for Implementing Document Retrieval Services

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...

Volker Haarslev, Ralf Möller

claim paper

Read More »

click to vote

DLOG
2011

260views Automated Reasoning» more DLOG 2011»

Query Answering over SROIQ Knowledge Bases with SPARQL

12 years 8 months ago

Download www.cs.ox.ac.uk

W3C currently extends the SPARQL query language with so-called entailment regimes, which deﬁne how queries are evaluated using logical entailment relations. We describe a sound a...

Ilianna Kollia, Birte Glimm, Ian Horrocks

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers