Reasoning with Individuals for the Description Logic SHIQ

I Horrocks, U Sattler, S Tobies, D MacAllester (Editor)

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

Original language	English
Title of host publication	Proc. of the 17th International Conference on Automated Deduction (CADE-17)
Editors	D MacAllester
Publisher	Springer Nature
Volume	1831
Publication status	Published - 2000

Name	Lecture Notes in Computer Science

Access to Document

Horrocks, I., Sattler, U., Tobies, S., & MacAllester, D. (Ed.) (2000). Reasoning with Individuals for the Description Logic SHIQ. In D. MacAllester (Ed.), Proc. of the 17th International Conference on Automated Deduction (CADE-17) (Vol. 1831). (Lecture Notes in Computer Science). Springer Nature. http://lat.inf.tu-dresden.de/research/papers/2000/HorrSattTob-CADE-2000.ps.gz

@inproceedings{b4b703b482a24297860aec064d605819,

title = "Reasoning with Individuals for the Description Logic SHIQ",

author = "I Horrocks and U Sattler and S Tobies and D MacAllester",

year = "2000",

language = "English",

volume = "1831",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

editor = "D MacAllester",

booktitle = "Proc. of the 17th International Conference on Automated Deduction (CADE-17)",

address = "United States",

}