
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes
Author(s) -
Patrick Koopmann,
Renate A. Schmidt
Publication year - 2015
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v29i1.9206
Subject(s) - ontology , interpolation (computer graphics) , computer science , forgetting , task (project management) , theoretical computer science , algorithm , image (mathematics) , artificial intelligence , philosophy , linguistics , management , epistemology , economics