An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting

Mohammad Khodadadi; Renate A Schmidt Mohammad Khodadadi; Dmitry Tishkovsky; Domenico Lembo; Yevgeny Kazakov; Frank Wolter

An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting

Mohammad Khodadadi, Renate A Schmidt Mohammad Khodadadi, Dmitry Tishkovsky, Domenico Lembo (Editor), Yevgeny Kazakov (Editor), Frank Wolter (Editor)

The University of Manchester

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings of the 25th International Workshop on Description Logics (DL 2012), Rome, Italy, June 07-10, 2012
Editors	Domenico Lembo, Yevgeny Kazakov, Frank Wolter
Publisher	RWTH Aachen University
Publication status	Published - 2012

Publication series

Name	CEUR Workshop Proceedings

Access to Document

Cite this

Khodadadi, M., Mohammad Khodadadi, R. A. S., Tishkovsky, D., Lembo, D. (Ed.), Kazakov, Y. (Ed.), & Wolter, F. (Ed.) (2012). An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting. In D. Lembo, Y. Kazakov, & F. Wolter (Eds.), Proceedings of the 25th International Workshop on Description Logics (DL 2012), Rome, Italy, June 07-10, 2012 (CEUR Workshop Proceedings). RWTH Aachen University. http://ceur-ws.org/Vol-846/paper_39.pdf

Khodadadi, Mohammad ; Mohammad Khodadadi, Renate A Schmidt ; Tishkovsky, Dmitry et al. / An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting. Proceedings of the 25th International Workshop on Description Logics (DL 2012), Rome, Italy, June 07-10, 2012. editor / Domenico Lembo ; Yevgeny Kazakov ; Frank Wolter. RWTH Aachen University, 2012. (CEUR Workshop Proceedings).

@inproceedings{708236c265b647a790fb97f36626c1d0,

title = "An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting",

author = "Mohammad Khodadadi and \{Mohammad Khodadadi\}, \{Renate A Schmidt\} and Dmitry Tishkovsky and Domenico Lembo and Yevgeny Kazakov and Frank Wolter",

year = "2012",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "RWTH Aachen University",

editor = "Domenico Lembo and Yevgeny Kazakov and Frank Wolter",

booktitle = "Proceedings of the 25th International Workshop on Description Logics (DL 2012), Rome, Italy, June 07-10, 2012",

address = "Germany",

}

Khodadadi, M, Mohammad Khodadadi, RAS, Tishkovsky, D, Lembo, D (ed.), Kazakov, Y (ed.) & Wolter, F (ed.) 2012, An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting. in D Lembo, Y Kazakov & F Wolter (eds), Proceedings of the 25th International Workshop on Description Logics (DL 2012), Rome, Italy, June 07-10, 2012. CEUR Workshop Proceedings, RWTH Aachen University. <http://ceur-ws.org/Vol-846/paper_39.pdf>

An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting. / Khodadadi, Mohammad; Mohammad Khodadadi, Renate A Schmidt; Tishkovsky, Dmitry et al.
Proceedings of the 25th International Workshop on Description Logics (DL 2012), Rome, Italy, June 07-10, 2012. ed. / Domenico Lembo; Yevgeny Kazakov; Frank Wolter. RWTH Aachen University, 2012. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting

AU - Khodadadi, Mohammad

AU - Mohammad Khodadadi, Renate A Schmidt

AU - Tishkovsky, Dmitry

A2 - Lembo, Domenico

A2 - Kazakov, Yevgeny

A2 - Wolter, Frank

A2 - Lembo, Domenico

A2 - Kazakov, Yevgeny

A2 - Wolter, Frank

PY - 2012

Y1 - 2012

M3 - Conference contribution

T3 - CEUR Workshop Proceedings

BT - Proceedings of the 25th International Workshop on Description Logics (DL 2012), Rome, Italy, June 07-10, 2012

PB - RWTH Aachen University

ER -

Khodadadi M, Mohammad Khodadadi RAS, Tishkovsky D, Lembo D, (ed.), Kazakov Y, (ed.), Wolter F, (ed.). An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting. In Lembo D, Kazakov Y, Wolter F, editors, Proceedings of the 25th International Workshop on Description Logics (DL 2012), Rome, Italy, June 07-10, 2012. RWTH Aachen University. 2012. (CEUR Workshop Proceedings).