Foundations for uniform interpolation and forgetting in expressive description logics

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 989-995

  Lutz, Carsten ^a   Wolter, Frank ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BISIMULATIONS; COMPLEXITY BOUNDS; CONSERVATIVE EXTENSIONS; DECISION PROCEDURE; DESCRIPTION LOGIC; EXPRESSIVE DESCRIPTION LOGIC; MODEL-THEORETIC; UNIFORM INTERPOLATIONS;

ARTIFICIAL INTELLIGENCE; AUTOMATA THEORY; DATA DESCRIPTION; FORMAL LANGUAGES;

INTERPOLATION;

EID: 84881047952     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5591/978-1-57735-516-8/IJCAI11-170     Document Type: Conference Paper

References (18)

1. F. Baader, D. Calvanese, D. McGuiness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, 2003.
2. G. D'Agostino and M. Hollenberg. Uniform interpolation, automata and the modal μ-calculus. In AiML, Vol. 1, pages 73-84. CSLI Publications, 1998.
3. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, and K. Wang. Forgetting in managing rules and ontologies. In Web Intelligence, pages 411-419, 2006.
4. T. French. Bisimulation quantifiers for modal logics. PhD thesis, University of Western Australia, 2006.
5. S. Ghilardi, C. Lutz, and F. Wolter. Did I damage my ontology? A case for conservative extensions in DL. In Proc. of KR06, pages 187-197. AAAI Press, 2006.
6. V. Goranko and M. Otto. Model theory of modal logic. In Handbook of Modal Logic. Elsevier, 2007.
7. B. Cuenca Grau and B. Motik. Pushing the limits of reasoning over ontologies with hidden content. In Proc. of KR10, AAAI Press, 2010.
8. A. Herzig and J. Mengin. Uniform interpolation by resolution in modal logic. In Proc. of JELIA08, vol. 5293 of LNCS, pages 219-231. Springer, 2008.
9. B. Konev, D. Walther, and F. Wolter. Forgetting and uniform interpolation in large-scale description logic terminologies. In Proc. of IJCAI09, pages 830-835, 2009.
10. R. Kontchakov, F. Wolter, and M. Zakharyaschev. Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artificial Intelligence, 174(15):1093-1141, 2010.
11. J. Lang, P. Liberatore, and P. Marquis. Propositional independence: formula-variable independence and forgetting. J. of Artificial Intelligence Research, 18:391-443, 2003. (Pubitemid 41525941)
12. R. Reiter and F. Lin. Forget it! In Proc. of AAAI Fall Symposium on Relevance, pages 154-159, 1994.
13. B. ten Cate, W. Conradie, M. Marx, and Y. Venema. Definitorially complete description logics. In Proc. of KR06, pages 79-89. AAAI Press, 2006.
14. A. Visser. Uniform interpolation and layered bisimulation. In Proc. of Gödel96, vol. 6 of LNL, pages 139-164. Springer Verlag, 1996.
15. K. Wang, Z. Wang, R.W. Topor, J.Z. Pan, and G. Antoniou. Concept and role forgetting in ALC ontologies. In Proc. of ISWC09, vol. 5823 of LNCS, pages 666-681. Springer, 2009.
16. Z. Wang, K. Wang, R.W. Topor, J.Z. Pan, and G. Antoniou. Uniform interpolation for ALC revisited. In Proc. of ACAI09, vol. 5866 of LNCS, pages 528-537. Springer, 2009.
17. Z. Wang, K. Wang, R. W. Topor, and X. Zhang. Tableau-based forgetting in ALC ontologies. In Proc. of ECAI10, pages 47-52, IOS Press, 2010.
18. T. Wilke. Alternating tree automata, parity games, and modal μ-calculus. Bulletin of the Belg. Math. Soc, 8(2), 2001.