@dblp

Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.

, , , , and . Theory Pract. Log. Program., 19 (3): 449-476 (2019)

Links and resources

Tags