Practical uniform interpolation and forgetting for ALC TBoxes with applications to logical difference
作者： Boris Konev , Michel Ludwig
DOI:
关键词:
摘要: We develop a clausal resolution-based approach for computing uniform interpolants of TBoxes formulated in the description logic ALC when such exist. also present an experimental evaluation our and its application to logical difference problem real-life ontologies. Our results indicate that many practical cases exist they can be computed with presented algorithm.
参考文章(27)
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler, Concept-Based semantic difference in expressive description logics international semantic web conference. pp. 99- 115 ,(2012) , 10.1007/978-3-642-35176-1_7
Patrick Koopmann, Renate A. Schmidt, Uniform Interpolation of \mathcal{ALC}-Ontologies Using Fixpoints frontiers of combining systems. pp. 87- 102 ,(2013) , 10.1007/978-3-642-40885-4_7
Nadeschda Nikitina, Sebastian Rudolph, ExpExpExplosion: uniform interpolation in general ℇL terminologies european conference on artificial intelligence. pp. 618- 623 ,(2012) , 10.3233/978-1-61499-098-7-618
Yde Venema, Willem Conradie, Balder ten Cate, Maarten Marx, Definitorially complete description logics principles of knowledge representation and reasoning. pp. 79- 89 ,(2006)
Boris Konev, Frank Wolter, Dirk Walther, Forgetting and uniform interpolation in large-scale description logic terminologies international joint conference on artificial intelligence. pp. 830- 835 ,(2009)
Leo Bachmair, Harald Ganzinger, David McAllester, Christopher Lynch, Resolution Theorem Proving Handbook of Automated Reasoning. pp. 19- 99 ,(2001) , 10.1016/B978-044450813-3/50004-7
B. Konev, M. Ludwig, D. Walther, F. Wolter, The logical difference for the lightweight description logic EL Journal of Artificial Intelligence Research. ,vol. 44, pp. 633- 708 ,(2012) , 10.1613/JAIR.3552
Michel Klein, Dieter Fensel, Atanas Kiryakov, Damyan Ognyanov, Ontology Versioning and Change Detection on the Web knowledge acquisition, modeling and management. pp. 197- 212 ,(2002) , 10.1007/3-540-45810-7_20
Michael Zakharyaschev, Ulrike Sattler, Thomas Schneider, Which Kind of Module Should I Extract international workshop description logics. ,(2009)
Frank Wolter, Carsten Lutz, Foundations for uniform interpolation and forgetting in expressive description logics international joint conference on artificial intelligence. pp. 989- 995 ,(2011) , 10.5591/978-1-57735-516-8/IJCAI11-170