@inproceedings{b54c5b90df354b38ae4b3329273c324e,
title = "Extending the SHOIQ(D) tableaux with DL-safe rules: First results",
abstract = "On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually produce undecidable formalisms, unless constrained in a specific way. We look at one of the most expressive - but decidable - such formalisms proposed: DL-safe rules, and present a tableaux-based algorithm for query answering in OWL-DL augmented with a DL-safe rules component. In this paper we present our algorithm which is an extension of the SHOIQ tableaux algorithm and show the preliminary empirical results. Knowing that we pay a high price in performance for this expressivity, we also explore possible optimizations.",
author = "Vladimir Kolovski and Bijan Parsia and Evren Sirin",
year = "2006",
language = "English",
volume = "189",
series = "CEUR Workshop Proceedings",
publisher = "RWTH Aachen University",
pages = "192--199",
booktitle = "CEUR Workshop Proceedings|CEUR Workshop Proc.",
address = "Germany",
note = "2006 International Workshop on Description Logics, DL 2006 ; Conference date: 01-07-2006",
}