Practical Uniform Interpolation and Forgetting for {ALC} TBoxes with Applications to Logical Difference (2014)

First Author: Ludwig M

Attributed to: Logical Difference for Ontology Versioning funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7985

Type: Conference/Paper/Proceeding/Abstract