A Tableaux Decision Procedure for SHOIQ
Ian Horrocks and Ulrike Sattler
Details
| Book Title |
Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005) |
| Pages |
448–453 |
| Year |
2005 |
Ian Horrocks and Ulrike Sattler
| Book Title |
Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005) |
| Pages |
448–453 |
| Year |
2005 |