The modular structure of an ontology: Atomic decomposition

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 2232-2237

  Del Vescovo, Chiara ^a   Parsia, Bijan ^a   Sattler, Uli ^a   Schneider, Thomas ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMIC DECOMPOSITION; LOGICAL PROPERTIES; MODULAR STRUCTURES; NEW APPROACHES; ONTOLOGY'S; POLYNOMIAL REPRESENTATIONS; SINGLE MODULES;

ARTIFICIAL INTELLIGENCE;

ALGORITHMS;

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

References (22)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, eds. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
2. J. Bao, G. Voutsadakis, G. Slutzki, and V. Honavar. Package-based description logics. In Modular Ontologies, vol. 5445 of LNCS, pages 349-371. Springer-Verlag, 2009.
3. C. Bezerra, F. Freitas, A. Zimmermann, and J. Euzenat. ModOnto: A tool for modularizing ontologies. In Proc. WONTO-08, vol. 427 of CEUR. CEUR-WS.org/Vol-427/, 2008.
4. A. Borgida and L. Serafini. Distributed description logics: Assimilating information from peer sources. In J. Data Semantics I, vol. 2800 of LNCS, pages 153-184. Springer-Verlag, 2003.
5. B. Cuenca Grau, B. Parsia, E. Sirin, and A. Kalyanpur. Modularity and web ontologies. In Proc. of KR-06, pages 198-209. AAAI Press, 2006.
6. 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. (Pubitemid 351761989)
7. B. Cuenca Grau, C. Halaschek-Wiener, Y. Kazakov, and B. Suntisrivaraporn. Incremental classification of description logics ontologies. J. of Automated Reasoning, 44(4):337-369, 2010.
8. C. Del Vescovo, B. Parsia, U. Sattler, and T. Schneider. The modular structure of an ontology: an empirical study. In Proc. of DL 2010. CEUR-WS.org/Vol-573/, 2010.
9. C. Del Vescovo, B. Parsia, U. Sattler, and T. Schneider. The modular structure of an ontology: atomic decomposition. Technical report, 2011. Available at http://bit.ly/i4olY0.
10. 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. AAAI Press, 2006.
11. E. Jiménez-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, vol. 5021 of LNCS, pages 185-199. Springer-Verlag, 2008.
12. A. Jimeno, E. Jiménez-Ruiz, R. Berlanga, and D. Rebholz-Schuhmann. Use of shared lexical resources for efficient ontological engineering. In Proc. of SWAT4LS-08, vol. 435 of CEUR, 2008.
13. B. Konev, C. Lutz, D. Walther, and F. Wolter. Logical difference and module extraction with CEX and MEX. In Proc. of DL 2008, vol. 353 of CEUR, 2008.
14. B. Konev, C. Lutz, D. Walther, and F. Wolter. Formal properties of modularization. In Modular Ontologies, vol. 5445 of LNCS, pages 25-66. 2009.
15. B. Konev, C. Lutz, D. Ponomaryov, and F. Wolter. Decomposing Description Logic Ontologies. In Proc. of KR-10, pages 236-246. AAAI Press, 2010.
16. 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, pages 836-841, 2009.
17. O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-connections of abstract description systems. Artificial Intelligence, 156(1):1-73, 2004.
18. B. Parsia and T. Schneider. The modular structure of an ontology: an empirical study. In Proc. of KR-10, pages 584-586. AAAI Press, 2010.
19. U. Sattler, T. Schneider, and M. Zakharyaschev. Which kind of module should I extract? In Proc. of DL 2009, vol. 477 of CEUR. CEUR-WS.org/Vol-477/, 2009.
20. H. Stuckenschmidt, F. van Harmelen, P. Bouquet, F. Giunchiglia, and L. Serafini. Using C-OWL for the alignment and merging of medical ontologies. In Proc. KR-MED, vol. 102 of CEUR, pages 88-101. CEUR-WS.org/Vol-102/, 2004.
21. H. Stuckenschmidt and M. Klein. Structure-based partitioning of large concept hierarchies. In Proc. of ISWC-04, vol. 3298 of LNCS, pages 289-303. Springer-Verlag, 2004.
22. + ontologies. In Proc. of ESWC-08, vol. 5021 of LNCS, pages 230-244. Springer-Verlag, 2008.