Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity.

Linh Anh Nguyen

Browse the full ICLP paper archive.