Finite Entailment of Local Queries in the Z Family of Description Logics.

Bartosz Bednarczyk, Emanuel Kieronski

Browse the full AAAI paper archive.