Search Sciweavers | Sciweavers

1544 search results - page 21 / 309

» Automated Evaluation of Description Logic Reasoning Systems

click to vote

LPAR
2004
Springer

122views Automated Reasoning» more LPAR 2004»

Nonmonotonic Description Logic Programs: Implementation and Experiments

14 years 22 days ago

Download www.kr.tuwien.ac.at

Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...

Thomas Eiter, Giovambattista Ianni, Roman Schindla...

claim paper

Read More »

click to vote

DLOG
2001

134views Automated Reasoning» more DLOG 2001»

Optimizing Reasoning in Description Logics with Qualified Number Restrictions

13 years 8 months ago

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

In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...

Volker Haarslev, Ralf Möller

claim paper

Read More »

click to vote

SWAP
2008

99views Internet Technology» more SWAP 2008»

Semantic-based Automated Evaluation of Company Core Competence

13 years 8 months ago

Download ftp.informatik.rwth-aachen.de

Abstract. Core Competence evaluation is crucial for strategical choices in knowledge intensive companies. Such a process is usually manually performed by the management on the basi...

Simona Colucci, Eugenio Di Sciascio, Francesco M. ...

claim paper

Read More »

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

13 years 11 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »