Abstract
This paper presents a tableaux decision procedure for SHOIQ, the DL underlying OWL DL. To the best of our knowledge, this is the first goal-directed decision procedure for SHOIQ.
| Original language | English |
|---|---|
| Title of host publication | IJCAI International Joint Conference on Artificial Intelligence|IJCAI Int. Joint Conf. Artif. Intell. |
| Publisher | Morgan Kaufmann Publishers |
| Pages | 448-453 |
| Number of pages | 5 |
| Publication status | Published - 2005 |
| Event | 19th International Joint Conference on Artificial Intelligence, IJCAI 2005 - Edinburgh Duration: 1 Jul 2005 → … http://www.cs.man.ac.uk/ sattler/publications/shoiq.pdf |
Conference
| Conference | 19th International Joint Conference on Artificial Intelligence, IJCAI 2005 |
|---|---|
| City | Edinburgh |
| Period | 1/07/05 → … |
| Internet address |