SHOQ⊓ Knowledge Base Consistency using Alternating Automata"/> Department of Computer Science, University of Oxford: Publication - Deciding <span style="font-family: serif"><span style="font-family: cursive; text-transform: uppercase; font-style: italic">SHOQ</span><sup style="font-style: normal">⊓</sup></span> Knowledge Base Consistency using Alternating Automata
University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Deciding SHOQ⊓ Knowledge Base Consistency using Alternating Automata

Birte Glimm‚ Ian Horrocks and Ulrike Sattler

Details

Book Title

Proc. of the 2008 Description Logic Workshop (DL 2008)
Series

CEUR (http://ceur-ws.org/)
Year

2008

Links

BibTeX

Link (pdf)

Related pages