A tableaux decision procedure for SHOIQ

Ian Horrocks; Ulrike Sattler

A tableaux decision procedure for SHOIQ

Ian Horrocks
, Ulrike Sattler

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

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	http://www.cs.man.ac.uk/ sattler/publications/shoiq.pdf

Access to Document

Cite this

@inproceedings{711ff98ceeea499ebd9aae7980fb18a5,

title = "A tableaux decision procedure for SHOIQ",

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.",

author = "Ian Horrocks and Ulrike Sattler",

year = "2005",

language = "English",

pages = "448--453",

booktitle = "IJCAI International Joint Conference on Artificial Intelligence|IJCAI Int. Joint Conf. Artif. Intell.",

publisher = "Morgan Kaufmann Publishers",

address = "United States",

note = "19th International Joint Conference on Artificial Intelligence, IJCAI 2005 ; Conference date: 01-07-2005",

url = "http://www.cs.man.ac.uk/ sattler/publications/shoiq.pdf",

}

Horrocks, I & Sattler, U 2005, A tableaux decision procedure for SHOIQ. in IJCAI International Joint Conference on Artificial Intelligence|IJCAI Int. Joint Conf. Artif. Intell.. Morgan Kaufmann Publishers, pp. 448-453, 19th International Joint Conference on Artificial Intelligence, IJCAI 2005, Edinburgh, 1/07/05. <http://www.cs.man.ac.uk/ sattler/publications/shoiq.pdf>

TY - GEN

T1 - A tableaux decision procedure for SHOIQ

AU - Horrocks, Ian

AU - Sattler, Ulrike

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

M3 - Conference contribution

SP - 448

EP - 453

BT - IJCAI International Joint Conference on Artificial Intelligence|IJCAI Int. Joint Conf. Artif. Intell.

PB - Morgan Kaufmann Publishers

T2 - 19th International Joint Conference on Artificial Intelligence, IJCAI 2005

Y2 - 1 July 2005

ER -

A tableaux decision procedure for SHOIQ

Abstract

Conference

Access to Document

Fingerprint

Cite this