Which kind of module should i extract?

CEUR Workshop Proceedings

Volumn 477, Issue , 2009, Pages

  Sattler, Ulrike ^a   Schneider, Thomas ^a   Zakharyaschev, Michael ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC-BASED APPROACH; ROBUSTNESS PROPERTIES;

FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 84862976252     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
2. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI-05, pages 602-607, 2005.
3. B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Modular reuse of ontologies: Theory and practice. J. of Artificial Intelligence Research, 31:273- 318, 2008.
4. B. Cuenca Grau, B. Parsia, E. Sirin, and A. Kalyanpur. Modularity and web ontologies. In Proc. of KR-06, pages 198-209, 2006.
5. S. Ghilardi, C. Lutz, and F. Wolter. Did I damage my ontology? A case for conservative extensions in description logics. In Proc. of KR-06, pages 187-197, 2006.
6. M. Horridge, B. Parsia, and U. Sattler. Laconic and precise justifications in OWL. In Proc. of ISWC-08, volume 5318 of LNCS, pages 323-338, 2008.
7. E. Jiḿenez-Ruiz, B. Cuenca Grau, U. Sattler, T. Schneider, and R. Berlanga Llavori. Safe and economic re-use of ontologies: A logic-based methodology and tool support. In Proc. of ESWC-08, volume 5021 of LNCS, pages 185-199, 2008.
8. B. Konev, C. Lutz, D. Walther, and F. Wolter. Formal properties of modularization. In H. Stuckenschmidt, S. Spacciapietra, and C. Parent, editors, Ontology modularization, volume 5445 of LNCS. To be published.
9. B. Konev, C. Lutz, D. Walther, and F. Wolter. Semantic modularity and module extraction in description logics. In Proc. of ECAI-08, pages 55-59, 2008.
10. R. Kontchakov, L. Pulina, U. Sattler, T. Schneider, P. Selmer, F. Wolter, and M. Zakharyaschev. Minimal module extraction from DL-Lite ontologies using QBF solvers. In Proc. of IJCAI-09, 2009. To appear.
11. R. Kontchakov, F. Wolter, and M. Zakharyaschev. Can you tell the difference between DL-Lite ontologies? In Proc. of KR-08, pages 285-295, 2008.
12. C. Lutz, D. Walther, and F. Wolter. Conservative extensions in expressive description logics. In Proc. of IJCAI-07, pages 453-458, 2007.
13. N. F. Noy and M. A. Musen. Specifying ontology views by traversal. In Proc. of ISWC-04, volume 3298 of LNCS, pages 713-725, 2004.
14. J. Patrick, Y. Wang, and P. Budd. An automated system for conversion of clinical notes into SNOMED clinical terminology. In Proc. of HKMD-07, volume 68 of CRPIT, pages 219-226, 2007.
15. U. Sattler, T. Schneider, and M. Zakharyaschev. Which kind of module should I extract? Technical report, University of Manchester, 2009. http://www.cs.man.ac.uk/%7Eschneidt/publ/ssz09insepreport.pdf.
16. J. Seidenberg and A. L. Rector. Web ontology segmentation: analysis, classification and use. In Proc. of WWW-06, pages 13-22, 2006.