Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes

P Koopmann, R A Schmidt, B Bonet (Editor), S Koenig (Editor)

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    88 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes'. Together they form a unique fingerprint.

    Computer Science

    Medicine and Dentistry