论文信息 - An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics

An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics

This paper presents an evaluation of a new description logic reasoner called RACE which implements TBox and ABox reasoning for the description logic ALCNHR+ supporting number restrictions, role hierarchies, and transitively closed roles. Tests on benchmark ABoxes indicate a speedup of several orders of magnitude compared to previous systems.

Volker Haarslev | Ralf Möller

[1] Bernhard Nebel,et al. Am empirical analysis of optimization techniques for terminological representation systems , 1994, Applied Intelligence.

[2] Volker Haarslev,et al. Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles , 2000, KR.

[3] I. Horrocks,et al. DL Systems Comparison , 1998 .

[4] Ian Horrocks,et al. Optimizing Description Logic Subsumption , 1999, J. Log. Comput..

[5] Volker Haarslev,et al. Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems , 1999, TABLEAUX.