"LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics."

Patrick Koopmann (2020)

Details and statistics

DOI: 10.1007/S13218-020-00655-W

access: open

type: Journal Article

metadata version: 2021-05-14