Deciding SHOQ⊓ Knowledge Base Consistency using Alternating Automata
Birte Glimm‚ Ian Horrocks and Ulrike Sattler
Book Title
Proc. of the 2008 Description Logic Workshop (DL 2008)
Series
CEUR (http://ceur-ws.org/)
Year
2008
Birte Glimm‚ Ian Horrocks and Ulrike Sattler