Conference item icon

Conference item

ExpExpExplosion: Uniform Interpolation in General EL Terminologies.

Abstract:

Although εL is a popular logic used in large existing knowledge bases, to the best of our knowledge no procedure has yet been proposed that computes uniform εL interpolants of general εL terminologies. Up to now, also the bounds on the size of uniform εL interpolants remain unknown. In this paper, we propose an approach based on proof theory and the theory of formal tree languages to computing a finite uniform interpolant for a general εL terminology if it exists. Further, we show that, if su...

Expand abstract

Actions


Access Document


Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author

Contributors

Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Publisher:
IOS Press
Host title:
ECAI
Volume:
242
Pages:
618-623
Publication date:
2012-01-01
DOI:
ISSN:
0922-6389
ISBN:
9781614990970
Pubs id:
pubs:407482
UUID:
uuid:d49f2375-4028-44e8-94f7-ba76182e1aa7
Local pid:
pubs:407482
Source identifiers:
407482
Deposit date:
2013-11-16

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP