Search Sciweavers | Sciweavers

1544 search results - page 1 / 309

» Automated Evaluation of Description Logic Reasoning Systems

click to vote

DLOG
2007

154views Automated Reasoning» more DLOG 2007»

Automated Evaluation of Description Logic Reasoning Systems

13 years 7 months ago

Download www.sts.tu-harburg.de

Abstract. The DL implementation group (DIG) has speciﬁed a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...

Sebastian Wandelt

claim paper

Read More »

click to vote

DLOG
1996

102views Automated Reasoning» more DLOG 1996»

The Use of Description Logics in the Condorcet Conceptual Information Retrieval System

13 years 6 months ago

Download www.inf.unibz.it

Jeroen Nijhuis

claim paper

Read More »

click to vote

DLOG
2001

151views Automated Reasoning» more DLOG 2001»

Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions

13 years 6 months ago

Download kogs-www.informatik.uni-hamburg.de

This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...

Volker Haarslev, Martina Timmann, Ralf Möller

claim paper

Read More »

click to vote

CADE
2002
Springer

144views Logical Reasoning» more CADE 2002»

System Description: GrAnDe 1.0

14 years 5 months ago

Download www.cs.miami.edu

Stephan Schulz, Geoff Sutcliffe

claim paper

Read More »