Search Sciweavers | Sciweavers

441 search results - page 16 / 89

» Automated Benchmarking of Description Logic Reasoners

click to vote

DLOG
2006

141views Automated Reasoning» more DLOG 2006»

Description logic reasoning using the PTTP approach

13 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...

Zsolt Nagy, Gergely Lukácsy, Péter S...

claim paper

Read More »

click to vote

ECSQARU
2007
Springer

129views Automated Reasoning» more ECSQARU 2007»

Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic

14 years 3 months ago

Download www.aifb.uni-karlsruhe.de

Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension o...

Guilin Qi, Jeff Z. Pan, Qiu Ji

claim paper

Read More »

click to vote

CADE
2004
Springer

114views Logical Reasoning» more CADE 2004»

Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract

14 years 10 months ago