Search Sciweavers | Sciweavers

23 search results - page 5 / 5

» dlog 2004

click to vote

DLOG
2004

111views Automated Reasoning» more DLOG 2004»

Extended Query Facilities for Racer and an Application to Software-Engineering Problems

13 years 6 months ago

Download www.racer-systems.com

er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...

Volker Haarslev, Ralf Möller, Ragnhild Van De...

claim paper

Read More »

click to vote

DLOG
2004

144views Automated Reasoning» more DLOG 2004»

A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...

claim paper

Read More »

click to vote

DLOG
2004

117views Automated Reasoning» more DLOG 2004»

Towards Explaining Semantic Matching

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Interoperability among systems using different term vocabularies requires mappings between them. Matching applications generate these mappings. When the matching process utilizes ...

Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunc...

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers