{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T04:34:11Z","timestamp":1772771651424,"version":"3.50.1"},"reference-count":34,"publisher":"SAGE Publications","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AO"],"published-print":{"date-parts":[[2017,11,2]]},"DOI":"10.3233\/ao-170190","type":"journal-article","created":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T14:32:02Z","timestamp":1506695522000},"page":"275-298","source":"Crossref","is-referenced-by-count":20,"title":["Ontohub: A semantic repository engine for heterogeneous ontologies"],"prefix":"10.1177","volume":"12","author":[{"given":"Mihai","family":"Codescu","sequence":"first","affiliation":[{"name":"Free University of Bozen-Bolzano, Italy. E-mails:\u00a0Mihai.Codescu@unibz.it,\u00a0Oliver.Kutz@unibz.it"}]},{"given":"Eugen","family":"Kuksa","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke University of Magdeburg, Germany. E-mails:\u00a0kuksa@iks.cs.ovgu.de,\u00a0till@iks.cs.ovgu.de,\u00a0fneuhaus@iks.cs.ovgu.de"}]},{"given":"Oliver","family":"Kutz","sequence":"additional","affiliation":[{"name":"Free University of Bozen-Bolzano, Italy. E-mails:\u00a0Mihai.Codescu@unibz.it,\u00a0Oliver.Kutz@unibz.it"}]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke University of Magdeburg, Germany. E-mails:\u00a0kuksa@iks.cs.ovgu.de,\u00a0till@iks.cs.ovgu.de,\u00a0fneuhaus@iks.cs.ovgu.de"}]},{"given":"Fabian","family":"Neuhaus","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke University of Magdeburg, Germany. E-mails:\u00a0kuksa@iks.cs.ovgu.de,\u00a0till@iks.cs.ovgu.de,\u00a0fneuhaus@iks.cs.ovgu.de"}]}],"member":"179","reference":[{"key":"10.3233\/AO-170190_ref1","unstructured":"Auer, S., Berners-Lee, T., Bizer, C., Capadisli, S., Heath, T., Janowicz, K. & Lehmann, J. (Eds.) (2017). Workshop on Linked Data on the Web Co-Located with 26th International World Wide Web Conference (WWW 2017), CEUR Workshop Proceedings. CEUR-WS.org."},{"key":"10.3233\/AO-170190_ref2","unstructured":"Baclawski, K. & Schneider, T. (2009). The open ontology repository initiative: Requirements and research challenges. In Proceedings of Workshop on Collaborative Construction, Management and Linking of Structured Knowledge at the ISWC (p.\u00a018)."},{"issue":"14","key":"10.3233\/AO-170190_ref3","doi-asserted-by":"publisher","first-page":"1027","DOI":"10.1016\/j.artint.2010.05.008","article-title":"A linguistic ontology of space for natural language processing","volume":"174","author":"Bateman","year":"2010","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AO-170190_ref4","doi-asserted-by":"crossref","unstructured":"Borgo, S. & Masolo, C. (2009). Foundational choices in DOLCE. In S. Staab and R. Studer (Eds.), Handbook on Ontologies. International Handbooks on Information Systems (pp.\u00a0361\u2013381). Springer.","DOI":"10.1007\/978-3-540-92673-3_16"},{"key":"10.3233\/AO-170190_ref5","unstructured":"Borgo, S. & Mizoguchi, R. (2014). A first-order formalization of event, object, process and role in YAMATO. In P. Garbacz and O. Kutz (Eds.), Formal Ontology in Information Systems\u00a0\u2013 Proceedings of the Eighth International Conference, FOIS 2014, September, 22\u201325, 2014, Rio de Janeiro, Brazil. Frontiers in Artificial Intelligence and Applications (Vol.\u00a0267, pp.\u00a079\u201392). IOS Press."},{"key":"10.3233\/AO-170190_ref6","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0304-3975(01)00317-6","article-title":"Logical systems for structured specifications","volume":"286","author":"Borzyszkowski","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.3233\/AO-170190_ref7","doi-asserted-by":"crossref","unstructured":"Codescu, M., Mossakowski, T. & Kutz, O. (2017). A categorical approach to networks of aligned ontologies. Journal on Data Semantics. To appear.","DOI":"10.1007\/s13740-017-0080-0"},{"key":"10.3233\/AO-170190_ref8","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","article-title":"Modular reuse of ontologies: Theory and practice","volume":"31","author":"Cuenca Grau","year":"2008","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.3233\/AO-170190_ref9","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/s001650200013","article-title":"Institution morphisms","volume":"13","author":"Goguen","year":"2002","journal-title":"Formal aspects of computing"},{"key":"10.3233\/AO-170190_ref10","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","article-title":"Institutions: Abstract model theory for specification and programming","volume":"39","author":"Goguen","year":"1992","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10.3233\/AO-170190_ref11","unstructured":"Gr\u00fcninger, M. & Fox, M.S. (1995). Methodology for the design and evaluation of ontologies. In Workshop on Basic Ontological Issues in Knowledge Sharing, IJCAI.95, Montreal."},{"key":"10.3233\/AO-170190_ref12","unstructured":"Guizzardi, G. & Wagner, G. (2004). A unified foundational ontology and some applications of it in business modeling. In J. Grundspenkis and M. Kirikova (Eds.), Knowledge and Model Driven Information Systems Engineering for Networked Organisations, CAiSE\u201904 Workshops in Connection with the 16th Conference on Advanced Information Systems Engineering, Proceedings, 7\u201311 June, 2004, Riga, Latvia (Vol.\u00a03, pp.\u00a0129\u2013143). Riga, Latvia: Faculty of Computer Science and Information Technology, Riga Technical University."},{"key":"10.3233\/AO-170190_ref13","doi-asserted-by":"crossref","unstructured":"Heath, T. & Bizer, C. (2011). Linked Data: Evolving the Web Into a Global Data Space. Synthesis Lectures on the Semantic Web: Theory and Technology (1st\u00a0ed.). Morgan & Claypool Publishers.","DOI":"10.1007\/978-3-031-79432-2"},{"key":"10.3233\/AO-170190_ref14","unstructured":"Herre, H. (2010). General Formal Ontology (GFO): A foundational ontology for conceptual modelling. In R. Poli and L. Obrst (Eds.), Theory and Applications of Ontology (Vol.\u00a02). Berlin: Springer."},{"key":"10.3233\/AO-170190_ref15","doi-asserted-by":"crossref","unstructured":"Hoder, K. & Voronkov, A. (2011). Sine Qua Non for large theory reasoning. In CADE 23 (pp.\u00a0299\u2013314).","DOI":"10.1007\/978-3-642-22438-6_23"},{"issue":"3\u20134","key":"10.3233\/AO-170190_ref16","doi-asserted-by":"publisher","first-page":"171","DOI":"10.3233\/AO-150151","article-title":"An empirically-based framework for ontology modularisation","volume":"10","author":"Khan","year":"2015","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-170190_ref17","unstructured":"Kuksa, E. & Mossakowski, T. (2016). Ontohub: Version control, linked data and theorem proving for ontologies. In O. Kutz et al.\u00a0(Eds.), Proceedings of the Joint Ontology Workshops (JOWO-2016). Episode 2: The French Summer of Ontology, Co-Located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), July 6\u20139, 2016, Annecy, France. CEUR Workshop Proceedings (Vol.\u00a01660, pp.\u00a06\u20139). CEUR-WS.org."},{"key":"10.3233\/AO-170190_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-010-0020-3"},{"key":"10.3233\/AO-170190_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39320-4_22"},{"key":"10.3233\/AO-170190_ref21","doi-asserted-by":"crossref","unstructured":"Meseguer, J. (1989). General logics. In H.J. Ebbinghaus (Ed.), Logic Colloquium \u201987 (pp.\u00a0275\u2013329). North Holland.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"10.3233\/AO-170190_ref22","unstructured":"Mossakowski, T., Codescu, M., Neuhaus, F. & Kutz, O. (2015). The distributed ontology, modelling and specification language\u00a0\u2013 DOL. In A. Koslow and A. Buchsbaum (Eds.), The Road to Universal Logic\u2013Festschrift for 50th Birthday of Jean-Yves Beziau, Vol.\u00a0II. Studies in Universal Logic (pp.\u00a0489\u2013520). Birkh\u00e4user."},{"key":"10.3233\/AO-170190_ref23","doi-asserted-by":"crossref","unstructured":"Mossakowski, T. & Kutz, O. (2011). The onto-logical translation graph. In O. Kutz and T. Schneider (Eds.), Modular Ontologies. Frontiers in Artificial Intelligence and Applications (Vol.\u00a0230, pp.\u00a094\u2013109). IOS Press.","DOI":"10.3233\/978-1-60750-799-4-94"},{"key":"10.3233\/AO-170190_ref24","unstructured":"Mossakowski, T., Kutz, O. & Codescu, M. (2014). Ontohub: A semantic repository for heterogeneous ontologies. In Proc. of the Theory Day in Computer Science (DACS-2014), Satellite Workshop of ICTAC-2014, September 15\u201316, 2014. University of Bucharest."},{"key":"10.3233\/AO-170190_ref25","unstructured":"Mossakowski, T., Kutz, O., Codescu, M. & Lange, C. (2013). The distributed ontology, modeling and specification language. In C.D. Vescovo et al.\u00a0(Eds.), WoMO-13 (Vol.\u00a01081). CEUR-WS."},{"key":"10.3233\/AO-170190_ref26","doi-asserted-by":"crossref","unstructured":"Mossakowski, T., Lange, C. & Kutz, O. (2012). Three semantics for the core of the distributed ontology language. In M. Donnelly and G. Guizzardi (Eds.), 7th International Conference on Formal Ontology in Information Systems (FOIS). Frontiers in Artificial Intelligence and Applications (Vol.\u00a0239, pp.\u00a0337\u2013352). IOS Press. FOIS Best Paper Award.","DOI":"10.3233\/978-1-61499-084-0-337"},{"key":"10.3233\/AO-170190_ref27","unstructured":"Mossakowski, T., Maeder, C. & L\u00fcttich, K. (2007). The heterogeneous tool set. In O. Grumberg and M. Huth (Eds.), TACAS 2007. Lecture Notes in Computer Science (Vol.\u00a04424, pp.\u00a0519\u2013522). Heidelberg: Springer."},{"key":"10.3233\/AO-170190_ref29","doi-asserted-by":"crossref","unstructured":"Niles, I. & Pease, A. (2001). Towards a standard upper ontology. In Proceedings of the International Conference on Formal Ontology in Information Systems (Vol.\u00a02001, pp.\u00a02\u20139). ACM.","DOI":"10.1145\/505168.505170"},{"issue":"2","key":"10.3233\/AO-170190_ref30","doi-asserted-by":"crossref","first-page":"W170","DOI":"10.1093\/nar\/gkp440","article-title":"Bioportal: Ontologies and integrated data resources at the click of a mouse","volume":"37","author":"Noy","year":"2009","journal-title":"Nucleic acids research"},{"key":"10.3233\/AO-170190_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33876-2_24"},{"key":"10.3233\/AO-170190_ref34","unstructured":"Schorlemmer, M., Smaill, A., K\u00fchnberger, K.-U., Kutz, O., Colton, S., Cambouropoulos, E. & Pease, A. (2014). COINVENT: Towards a computational concept invention theory. In Proc. of the 5th International Conference on Computational Creativity, Ljubljana, Slovenia."},{"issue":"11","key":"10.3233\/AO-170190_ref35","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1038\/nbt1346","article-title":"The OBO Foundry: Coordinated evolution of ontologies to support biomedical data integration","volume":"25","author":"Smith","year":"2007","journal-title":"Nature biotechnology"},{"key":"10.3233\/AO-170190_ref36","unstructured":"Sutcliffe, G. (2008). The SZS ontologies for automated reasoning software. In G. Sutcliffe, P. Rudnicki, R. Schmidt, B. Konev and S. Schulz (Eds.), Proceedings of the LPAR Workshops: Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics. CEUR Workshop Proceedings (Vol.\u00a0418, pp.\u00a038\u201349)."},{"issue":"4","key":"10.3233\/AO-170190_ref37","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10817-009-9143-8","article-title":"The TPTP problem library and associated infrastructure: The FOF and CNF parts, v3.5.0","volume":"43","author":"Sutcliffe","year":"2009","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"10.3233\/AO-170190_ref38","doi-asserted-by":"crossref","first-page":"89","DOI":"10.3233\/SW-2012-0057","article-title":"Webprot\u00e9g\u00e9: A collaborative ontology editor and knowledge acquisition tool for the web","volume":"4","author":"Tudorache","year":"2013","journal-title":"Semantic Web"}],"container-title":["Applied Ontology"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AO-170190","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T23:17:47Z","timestamp":1750893467000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AO-170190"}},"subtitle":[],"editor":[{"given":"Kenneth","family":"Baclawski","sequence":"additional","affiliation":[]},{"given":"Mike","family":"Bennett","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2017,11,2]]},"references-count":34,"journal-issue":{"issue":"3-4"},"URL":"https:\/\/doi.org\/10.3233\/ao-170190","relation":{},"ISSN":["1875-8533","1570-5838"],"issn-type":[{"value":"1875-8533","type":"electronic"},{"value":"1570-5838","type":"print"}],"subject":[],"published":{"date-parts":[[2017,11,2]]}}}