{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:20:03Z","timestamp":1740122403933,"version":"3.37.3"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T00:00:00Z","timestamp":1465776000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T00:00:00Z","timestamp":1465776000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100000166","name":"Division of Physics","doi-asserted-by":"publisher","award":["UL1TR000117"],"award-info":[{"award-number":["UL1TR000117"]}],"id":[{"id":"10.13039\/100000166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Inf Syst Front"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s10796-016-9658-6","type":"journal-article","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T07:45:58Z","timestamp":1465803958000},"page":"953-965","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Foundations of reusable and interoperable facet models using category theory"],"prefix":"10.1007","volume":"18","author":[{"given":"Daniel R.","family":"Harris","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,13]]},"reference":[{"key":"9658_CR1","volume-title":"Category theory for computing science","author":"M Barr","year":"1990","unstructured":"Barr, M., & Wells, C. (1990). Category theory for computing science. New York: Prentice Hall."},{"key":"9658_CR2","doi-asserted-by":"crossref","unstructured":"Blass, A. (1984). The interaction between category theory and set theory. In Mathematical applications of category theory, (Vol. 89 pp. 84\u201384).","DOI":"10.1090\/conm\/030\/749767"},{"key":"9658_CR3","doi-asserted-by":"crossref","unstructured":"Bonino, D., Corno, F., & Farinetti, L. (2009). Faset: A set theory model for faceted search. In Proceedings of the IEEE\/WIC\/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (pp. 474\u2013481).","DOI":"10.1109\/WI-IAT.2009.81"},{"key":"9658_CR4","doi-asserted-by":"crossref","unstructured":"Chu, H.J., & Chow, R.C. (2010). An information model for managing domain knowledge via faceted taxonomies. In Information reuse and integration (IRI), 2010 IEEE International Conference on (pp. 378\u2013379).","DOI":"10.1109\/IRI.2010.5558904"},{"key":"9658_CR5","doi-asserted-by":"crossref","unstructured":"Clarkson, E.C., Navathe, S.B., & Foley, J.D. (2009). Generalized formal models for faceted user interfaces. In Proceedings of the 9th ACM\/IEEE Joint Conference on Digital libraries (pp. 125\u2013 134).","DOI":"10.1145\/1555400.1555422"},{"key":"9658_CR6","doi-asserted-by":"crossref","unstructured":"Coecke, B., & Paquette, \u00c9O (2011). Categories for the practising physicist. In New Structures for Physics (pp. 173\u2013286): Springer.","DOI":"10.1007\/978-3-642-12821-9_3"},{"key":"9658_CR7","doi-asserted-by":"crossref","unstructured":"Dawson, A., Brown, D., & Broughton, V. (2006). The need for a faceted classification as the basis of all methods of information retrieval. In Aslib proceedings, emerald group publishing limited, (Vol. 58 pp. 49\u201372).","DOI":"10.1108\/00012530610648671"},{"issue":"2","key":"9658_CR8","doi-asserted-by":"publisher","first-page":"58","DOI":"10.6017\/ital.v29i2.3144","volume":"29","author":"JC Fagan","year":"2013","unstructured":"Fagan, J.C. (2013). Usability studies of faceted browsing: a literature review. Information Technology and Libraries, 29(2), 58\u201366.","journal-title":"Information Technology and Libraries"},{"issue":"4","key":"9658_CR9","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10796-009-9159-y","volume":"11","author":"D Fuentes-Lorenzo","year":"2009","unstructured":"Fuentes-Lorenzo, D., Morato, J., & G\u00f3mez, J.M. (2009). Knowledge management in biomedical libraries: a semantic web approach. Information Systems Frontiers, 11(4), 471\u2013480.","journal-title":"Information Systems Frontiers"},{"key":"9658_CR10","doi-asserted-by":"crossref","unstructured":"Giunchiglia, F., Marchese, M., & Zaihrayeu, I. (2007). Encoding classifications into lightweight ontologies. In Journal on data semantics (pp. 57\u201381): Springer.","DOI":"10.1007\/978-3-540-70664-9_3"},{"key":"9658_CR11","unstructured":"Harris, D.R., Kavuluru, R., Yu, S., Theakston, R., Jaromczyk, J.W., & Johnson, T.R. (2014). Delve: A document exploration and visualization engine. In Proceedings of the Summit on Clinical Research Informatics (p. 179)."},{"issue":"4","key":"9658_CR12","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/1121949.1121983","volume":"49","author":"MA Hearst","year":"2006","unstructured":"Hearst, M.A. (2006a). Clustering versus faceted categories for information exploration. Communications of the ACM, 49(4), 59\u201361.","journal-title":"Communications of the ACM"},{"key":"9658_CR13","unstructured":"Hearst, M.A. (2006b). Design recommendations for hierarchical faceted search interfaces. In SIGIR workshop on faceted search (pp. 1\u20135)."},{"key":"9658_CR14","unstructured":"Hupel, L. (2014a). scalaz: functional programming for scala. Retrieved January 25, 2015 from http:\/\/typelevel.org\/projects\/scalaz\/."},{"key":"9658_CR15","unstructured":"Hupel, L. (2014b). scalaz.category api documentation. Retrieved January 25, 2015 from http:\/\/docs.typelevel.org\/api\/scalaz\/stable\/7.1.0-M3\/doc\/#scalaz.Category."},{"key":"9658_CR16","doi-asserted-by":"crossref","unstructured":"Kules, B., Capra, R., Banta, M., & Sierra, T. (2009). What do exploratory searchers look at in a faceted search interface?. In Proceedings of the 9th ACM\/IEEE-CS joint conference on Digital libraries (pp. 313\u2013322).","DOI":"10.1145\/1555400.1555452"},{"key":"9658_CR17","doi-asserted-by":"crossref","unstructured":"Li, C., Yan, N., Roy, S.B., Lisham, L., & Das, G. (2010). Facetedpedia: dynamic generation of query-dependent faceted interfaces for wikipedia. In Proceedings of the 19th international conference on World wide web (pp. 651\u2013660).","DOI":"10.1145\/1772690.1772757"},{"issue":"10","key":"9658_CR18","first-page":"2004","volume":"10","author":"DL McGuinness","year":"2004","unstructured":"McGuinness, D.L., & Van Harmelen, F., et al. (2004). Owl web ontology language overview. W3C recommendation, 10(10), 2004.","journal-title":"W3C recommendation"},{"key":"9658_CR19","doi-asserted-by":"publisher","unstructured":"Niu, X., & Hemminger, B. (2014). Analyzing the interaction patterns in a faceted search interface. Journal of the Association for Information Science and Technology. doi:10.1002\/asi.23227.","DOI":"10.1002\/asi.23227"},{"key":"9658_CR20","unstructured":"Odersky, M. (2007). The scala language specification, version 2.4. Technical report, Programming Methods Laboratory EPFL, Lausanne, Switzerland."},{"issue":"7","key":"9658_CR21","doi-asserted-by":"publisher","first-page":"e1000, 858","DOI":"10.1371\/journal.pcbi.1000858","volume":"6","author":"S Phillips","year":"2010","unstructured":"Phillips, S., & Wilson, W.H. (2010). Categorial compositionality: a category theory explanation for the systematicity of human cognition. PLoS Computational Biology, 6(7), e1000, 858.","journal-title":"PLoS Computational Biology"},{"key":"9658_CR22","doi-asserted-by":"crossref","unstructured":"Prieto-D\u00edaz, R. (2003). A faceted approach to building ontologies. In Information reuse and integration, 2003. IRI 2003. IEEE International Conference on, IEEE (pp. 458\u2013465).","DOI":"10.1109\/IRI.2003.1251451"},{"key":"9658_CR23","unstructured":"Priss, U. (2000). Faceted information representation. In Proceedings of the 8th International Conference on Conceptual Structures (pp. 84\u201394): Springer-Verlag."},{"key":"9658_CR24","volume-title":"Computational category theory","author":"DE Rydeheard","year":"1988","unstructured":"Rydeheard, D.E., & Burstall, R.M. (1988). Computational category theory. Englewood Cliffs: Prentice Hall."},{"key":"9658_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02359-0","volume-title":"Dynamic taxonomies and faceted search: theory, practice, and experience","author":"GM Sacco","year":"2009","unstructured":"Sacco, G.M., & Tzitzikas, Y. (2009). Dynamic taxonomies and faceted search: theory, practice, and experience. Berlin: Springer."},{"key":"9658_CR26","unstructured":"Seeberger, H. (2010). Introduction to category theory in scala. Retrieved January 25, 2015 from http:\/\/hseeberger.github.io\/blog\/2010\/11\/25\/introduction-to-category-theory-in-scala\/."},{"key":"9658_CR27","doi-asserted-by":"crossref","unstructured":"Shneiderman, B. (1996). The eyes have it: a task by data type taxonomy for information visualizations. In Visual languages, 1996. Proceedings., IEEE Symposium on (pp. 336\u2013343).","DOI":"10.1109\/VL.1996.545307"},{"key":"9658_CR28","unstructured":"Spivak, D.I. (2009). Simplicial databases. arXiv:09042012."},{"key":"9658_CR29","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.ic.2012.05.001","volume":"217","author":"DI Spivak","year":"2012","unstructured":"Spivak, D.I. (2012). Functorial data migration. Information and Computation, 217, 31\u201351.","journal-title":"Information and Computation"},{"key":"9658_CR30","volume-title":"Category Theory for the Sciences","author":"DI Spivak","year":"2014","unstructured":"Spivak, D.I. (2014). Category Theory for the Sciences. Cambridge: MIT Press."},{"issue":"1","key":"9658_CR31","doi-asserted-by":"publisher","first-page":"e24,274","DOI":"10.1371\/journal.pone.0024274","volume":"7","author":"DI Spivak","year":"2012","unstructured":"Spivak, D.I., & Kent, R.E. (2012). Ologs: a categorical framework for knowledge representation. PLoS One, 7(1), e24,274.","journal-title":"PLoS One"},{"issue":"9","key":"9658_CR32","doi-asserted-by":"publisher","first-page":"e23,911","DOI":"10.1371\/journal.pone.0023911","volume":"6","author":"DI Spivak","year":"2011","unstructured":"Spivak, D.I., Giesa, T., Wood, E., & Buehler, M.J. (2011). Category theoretic analysis of hierarchical protein materials and social networks. PLoS One, 6(9), e23,911.","journal-title":"PLoS One"},{"issue":"6","key":"9658_CR33","doi-asserted-by":"publisher","first-page":"1048","DOI":"10.1109\/TVCG.2012.294","volume":"19","author":"P Vickers","year":"2013","unstructured":"Vickers, P., Faith, J., & Rossiter, N. (2013). Understanding visualization: A formal approach using category theory and semiotics. IEEE Transactions on Visualization and Computer Graphics, 19(6), 1048\u20131061.","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"issue":"1-2","key":"9658_CR34","first-page":"41","volume":"12","author":"B Wei","year":"2013","unstructured":"Wei, B., Liu, J., Zheng, Q., Zhang, W., Fu, X., & Feng, B. (2013). A survey of faceted search. Journal of Web engineering, 12(1-2), 41\u201364.","journal-title":"Journal of Web engineering"},{"key":"9658_CR35","doi-asserted-by":"crossref","unstructured":"Yee, K.P., Swearingen, K., Li, K., & Hearst, M. (2003). Faceted metadata for image search and browsing. In Proceedings of the SIGCHI conference on human factors in computing systems (pp. 401\u2013408).","DOI":"10.1145\/642611.642681"}],"container-title":["Information Systems Frontiers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10796-016-9658-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-016-9658-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-016-9658-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-016-9658-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T16:58:03Z","timestamp":1687539483000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10796-016-9658-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,13]]},"references-count":35,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["9658"],"URL":"https:\/\/doi.org\/10.1007\/s10796-016-9658-6","relation":{},"ISSN":["1387-3326","1572-9419"],"issn-type":[{"type":"print","value":"1387-3326"},{"type":"electronic","value":"1572-9419"}],"subject":[],"published":{"date-parts":[[2016,6,13]]},"assertion":[{"value":"13 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}