Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach thumbnail
Pause
Mute
Subtitles not available
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach

Published on Nov 24, 20083080 Views

This paper describes the first steps towards developing a methodology for testing and evaluating the performance of reasoners for the probabilistic description logic P- ${\ensuremath{\mathcal{SHIQ}}(