{"type":"ScholarlyArticle","title":"A Tableaux Decision Procedure for SHOIQ","authors":[{"name":"Ian Horrocks","slug":"ian-horrocks","given":"Ian","family":"Horrocks","affiliation":""},{"name":"Ulrike Sattler","slug":"ulrike-sattler","given":"Ulrike","family":"Sattler","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2005/75","pdf":"https://ijcai.org/proceedings/2005/0075.pdf","markdown":"https://ijcai.org/proceedings/2005/75.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/75","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":75,"pages":{"first":448,"last":452},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}