Deciding $\mathcal{SHOQ}^\cap$ Knowledge Base Consistency using Alternating Automata

B Glimm, I Horrocks, U Sattler

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

Original language	English
Title of host publication	Proc. of the 2008 Int. Workshop on Description Logics (DL2008)
Publisher	RWTH Aachen University
Volume	353
Publication status	Published - 2008

Name	CEUR Workshop Proceedings

Cite this

@inproceedings{b62f04b95d3f4610a8376d865b50bbb6,

title = "Deciding $\mathcal{SHOQ}^\cap$ Knowledge Base Consistency using Alternating Automata",

author = "B Glimm and I Horrocks and U Sattler",

year = "2008",

language = "English",

volume = "353",

series = "CEUR Workshop Proceedings",

publisher = "RWTH Aachen University",

booktitle = "Proc. of the 2008 Int. Workshop on Description Logics (DL2008)",

address = "Germany",

}