Consequence−Driven Reasoning for Horn SHIQ Ontologies
Yevgeny Kazakov
Details
| 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 |
Links
Related pages
|
People |
|
|
Activities |