Sciweavers

DLOG
2008

A Hybrid Tableau Algorithm for ALCQ

14 years 2 months ago
A Hybrid Tableau Algorithm for ALCQ
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Description Logic (DL) ALCQ which extends ALC with qualified number restrictions. The hybrid approach ensures a more informed calculus which, on the one hand, adequately handles the interaction between numerical and logical restrictions of descriptions, and on the other hand, when applied is a very promising framework for average case optimizations.
Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev,
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where DLOG
Authors Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller
Comments (0)