Consequence−Driven Reasoning for Horn SHIQ Ontologies
Yevgeny Kazakov
Address
Oxford‚ United Kindgom
Book Title
Proceedings of the 22nd International Workshop on Description Logics (DL 2009)
Editor
Bernardo Cuenca Grau‚ Ian Horrocks‚ Boris Motik‚ Ulrike Sattler
Month
July
Publisher
CEUR Workshop Proceedings
Volume
477
Year
2009