Uniform interpolation for ALC revisited

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5866 LNAI, Issue , 2009, Pages 528-537

  Wang, Zhe ^a   Wang, Kewen ^a   Topor, Rodney ^a   Pan, Jeff Z ^b   Antoniou, Grigoris ^c  

^a GRIFFITH UNIVERSITY   (Australia)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

^c UNIVERSITY OF CRETE   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

CONCEPT DESCRIPTION; DESCRIPTION LOGIC; KNOWLEDGE BASIS;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION;

INTERPOLATION;

EID: 78650474136     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-10439-8_53     Document Type: Conference Paper

References (17)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002).
2. Eiter, T., Wang, K.: Semantic forgetting in answer set programming. Artificial Intelligence 172(14), 1644-1672 (2008).
3. Ghilardi, S.: An algebraic theory of normal forms. Annals Pure Appl. Logic 71(3), 189-245 (1995).
4. Konev, B., Walther, D., Wolter, F.: The logical difference problem for description logic terminologies. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 259-274. Springer, Heidelberg (2008).
5. Konev, B., Walther, D., Wolter, F.: Forgetting and uniform interpolation in large-scale description logic terminologies. In: Proc. IJCAI 2009 (2009).
6. Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between DL-Lite ontologies? In: Proc. KR 2008, pp. 285-295 (2008).
7. Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. J. Artif. Intell. Res. 18, 391-443 (2003).
8. Lin, F., Reiter, R.: Forget it. In: Proc. AAAI Fall Symposium on Relevance, pp. 154-159 (1994).
9. ten Cate, B., Conradie, W., Marx, M., Venema, Y.: Definitorially complete description logics. In: Proc. KR 2006, pp. 79-89 (2006).
10. Visser, A.: Uniform interpolation and layered bisimulation. In: Proc. of Gödel 1996, pp. 139-164 (1996).
11. Wang, Z., Wang, K., Topor, R., Pan, J.Z.: Forgetting concepts in DL-Lite. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 245-257. Springer, Heidelberg (2008).
12. Wang, Z., Wang, K., Topor, R., Pan, J.Z., Antoniou, G.: Concept and Role Forgetting in ALC Ontologies. In: Proc. ISWC 2009, pp. 666-681 (2009).
13. Zhang, Y., Zhou, Y.: Knowledge Forgetting: Properties and Applications. Artificial Intelligence 173, 1525-1537 (2009).
14. Tsarkov, D., Horrocks, I.: Description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292-297. Springer, Heidelberg (2006).
15. Bechhofer, S., et al.: OWL (Web Ontology Language) Reference (2004), http://www.w3.org/TR/2004/REC-owl-ref-20040210/.
16. Systematized Nomenclature of Medicine-Clinical Terms, http://www.ihtsdo.org/snomed-ct/.
17. NCI Wiki, http://ncicb.nci.nih.gov/.