Consequence-Based and FixedParameter Tractable Reasoning in Description Logics (0)

by František Simančı́k, Boris Motik, Ian Horrocks
Venue:Artificial Intelligence