Concept and role forgetting in ALC ontologies

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

Volumn 5823 LNCS, Issue , 2009, Pages 666-681

  Wang, Kewen ^a   Wang, Zhe ^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

APPROXIMATION ALGORITHMS; COMPUTATION THEORY; DATA DESCRIPTION; FORMAL LANGUAGES; SEMANTIC WEB;

CONCEPT DESCRIPTION; DESCRIPTION LOGIC; DL-LITE; EXPRESSIVE DESCRIPTION LOGIC; GENERAL KNOWLEDGE; ONTOLOGY EDITORS; REASONING TASKS; SOUND AND COMPLETE;

ONTOLOGY;

EID: 78650504261     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04930-9_42     Document Type: Conference Paper

References (30)

1. Alani, H., Harris, S., O'Neil, B.: Winnowing ontologies based on application use. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 185-199. Springer, Heidelberg (2006).
2. Antoniou, G., Harmelen, F.: A Semantic Web Primer, 2nd edn. MIT Press, Cambridge (2008).
3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002).
4. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American, 29-37 (May 2001).
5. Dzbor, M., Motta, E., Buil, C., Gomez, J.M., Görlitz, O., Lewen, H.: Developing ontologies in owl: an observational study. In: Proc. Workshop on OWL: Experiences and Directions (2006).
6. Eiter, T., Wang, K.: Semantic forgetting in answer set programming. Artificial Intelligence 172(14), 1644-1672 (2008).
7. Ghilardi, S., Lutz, C., Wolter, F.: Did i damage my ontology? a case for conservative extensions in description logics. In: Proc. KR 2006, pp. 187-197 (2006).
8. Grau, B., Kazakov, Y., Horrocks, I., Sattler, U.: A logical framework for modular integration of ontologies. In: Proc. IJCAI 2007, pp. 298-303 (2007).
9. Grau, B., Parsia, B., Sirin, E.: Combining OWL ontologies using e-connections. Journal of Web Semantics 4(1), 40-59 (2006).
10. Cuenca Grau, B., Kazakov, Y., Horrocks, I., Sattler, U.: Just the right amount: Extracting modules from ontologies. In: Proc. WWW 2007, pp. 717-726 (2007).
11. 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).
12. Konev, B., Walther, D., Wolter, F.: Forgetting and uniform interpolation in large-scale description logic terminologies. In: Proc. IJCAI 2009 (2009).
13. Kontchakov, R., Wolter, F., Zakharyaschev, M.: Modularity in DL-Lite. In: Proc. DL 2007 (2007).
14. Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between DL-Lite ontologies? In: Proc. KR 2008, pp. 285-295 (2008).
15. Lang, J., Liberatore, P., Marquis, P.: Propositional independence: Formula-variable independence and forgetting. J. Artif. Intell. Res. 18, 391-443 (2003).
16. Lin, F., Reiter, R.: Forget it. In: Proc. AAAI Fall Symposium on Relevance, pp. 154-159 (1994).
17. Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Proc. IJCAI 2007, pp. 453-458 (2007).
18. Peroni, S., Motta, E., d'Aquin, M.: Identifying key concepts in an ontology, through the integration of cognitive principles with statistical and topological measures. In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol. 5367, pp. 242-256. Springer, Heidelberg (2008).
19. Rector, A., Brandt, S.: Why do it the hard way? The Case for an Expressive Description Logic for SNOMED. In: Proc.of the 3rd Int Conf. on Knowledge Representation inMedicine (KR-MED 2008), p. 16 (2008).
20. ten Cate, B., Conradie, W., Marx, M., Venema, Y.: Definitorially complete description logics. In: Proc. KR 2006, pp. 79-89 (2006).
21. 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).
22. Wang, Z., Wang, K., Topor, R.: Forgetting for Knowledge Bases in DL-Litebool. In: Proc. ARCOE 2009 (IJCAI 2009 Workshop) (2009).
23. http://www.fmrc.org.au/snomed/.
24. http://www.openclinical.org/prj-galen.html.
25. http://fma.biostr.washington.edu/.
26. http://ncit.nci.nih.gov/.
27. http://www.obofoundry.org/.
28. http://protege.stanford.edu.
29. http://www.neon-toolkit.org.
30. http://www.topquadrant.com/products/TB-Composer.html.