Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes (2013)

First Author: Boris Konev (Co-Author)

Attributed to: Logical Difference for Ontology Versioning funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract