A Study on the Atomic Decomposition of Ontologies

详细信息    查看全文

• 作者：Matthew Horridge (24)
  Jonathan M. Mortensen (24)
  Bijan Parsia (25)
  Ulrike Sattler (25)
  Mark A. Musen (24)
  
• 关键词：OWL ; Ontologies ; Atomic Decomposition
• 刊名：Lecture Notes in Computer Science
• 出版年：2014
• 出版时间：2014
• 年：2014
• 卷：8797
• 期：1
• 页码：65-80
• 全文大小：544 KB
• 参考文献：1. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proceedings of IJCAI (2005)
  2. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\) . In: Proceedings of KR 2006 (2006)
  3. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From \(\mathcal{SHIQ}\) and RDF to OWL: The making of a web ontology language. J. of Web Semantics聽1(1), 7鈥?6 (2003) CrossRef
  4. Matentzoglu, N., Bail, S., Parsia, B.: A snapshot of the OWL Web. In: Alani, H., et al. (eds.) ISWC 2013, Part I. LNCS, vol.聽8218, pp. 331鈥?46. Springer, Heidelberg (2013) CrossRef
  5. Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web Ontology Language structural specification and functional style syntax. Technical report, W3C 鈥?World Wide Web Consortium (October 2009)
  6. Noy, N.F., Shah, N.H., Whetzel, P.L., Dai, B., Dorf, M.V., Griffith, N., Jonquet, C., Rubin, D.L., Storey, M.-A., Chute, C.G., Musen, M.A.: BioPortal: Ontologies and integrated data resources at the click of a mouse. Nucleic Acids Research聽37 (May 2009)
  7. Suntisrivaraporn, B.: Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies. PhD thesis, T.U. Dresden (2009)
  8. Tsarkov, D.: Improved algorithms for module extraction and atomic decomposition. In: Proceedings of DL 2012 (2012)
  9. Tsarkov, D., Palmisano, I.: Chainsaw: a metareasoner for large ontologies. In: Proceedings of ORE 2012 (2012)
  10. Del Vescovo, C.: The Modular Structure of an Ontology: Atomic Decomposition and its applications. PhD thesis, The University of Manchester (2013)
  11. Del Vescovo, C., Gessler, D.D.G., Klinov, P., Parsia, B., Sattler, U., Schneider, T., Winget, A.: Decomposition and modular structure of BioPortal ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.聽7031, pp. 130鈥?45. Springer, Heidelberg (2011) CrossRef
  
• 作者单位：Matthew Horridge (24)
  Jonathan M. Mortensen (24)
  Bijan Parsia (25)
  Ulrike Sattler (25)
  Mark A. Musen (24)
  
  24. Stanford University, California, USA
  25. The University of Manchester, UK
  
• ISSN：1611-3349

文摘

The Atomic Decomposition of an ontology is a succinct representation of the logic-based modules in that ontology. Ultimately, it reveals the modular structure of the ontology. Atomic Decompositions appear to be useful for both user and non-user facing services. For example, they can be used for ontology comprehension and to facilitate reasoner optimisation. In this article we investigate claims about the practicality of computing Atomic Decompositions for naturally occurring ontologies. We do this by performing a replication study using an off-the-shelf Atomic Decomposition algorithm implementation on three large test corpora of OWL ontologies. Our findings indicate that (a) previously published empirical studies in this area are repeatable and verifiable; (b) computing Atomic Decompositions in the vast majority of cases is practical in that it can be performed in less than 30 seconds in 90% of cases, even for ontologies containing hundreds of thousands of axioms; (c) there are occurrences of extremely large ontologies (