{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:20:03Z","timestamp":1761895203149,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642177453"},{"type":"electronic","value":"9783642177460"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17746-0_3","type":"book-chapter","created":{"date-parts":[[2010,12,8]],"date-time":"2010-12-08T04:05:44Z","timestamp":1291781144000},"page":"32-47","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["JustBench: A Framework for OWL Benchmarking"],"prefix":"10.1007","author":[{"given":"Samantha","family":"Bail","sequence":"first","affiliation":[]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[]},{"given":"Ulrike","family":"Sattler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Bail, S., Parsia, B., Sattler, U.: The justificatory structure of OWL ontologies. In: OWLED (2010)","DOI":"10.1007\/978-3-642-25073-6_5"},{"key":"3_CR2","unstructured":"Boyer, B.: Robust Java benchmarking (2008), \n                      http:\/\/www.ibm.com\/developerworks\/java\/library\/j-benchmark1.html"},{"key":"3_CR3","volume-title":"Proc. of KR 2002","author":"S. Brandt","year":"2002","unstructured":"Brandt, S., K\u00fcsters, R., Turhan, A.-Y.: Approximation and difference in description logics. In: Proc. of KR 2002. Morgan Kaufmann Publishers, San Francisco (2002)"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B. Cuenca Grau","year":"2008","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. J. of Artificial Intelligence Research\u00a031, 273\u2013318 (2008)","journal-title":"J. of Artificial Intelligence Research"},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B. Cuenca Grau","year":"2008","unstructured":"Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: The next step for OWL. J. of Web Semantics\u00a06(4), 309\u2013322 (2008)","journal-title":"J. of Web Semantics"},{"key":"3_CR6","volume-title":"The Benchmark Handbook for Database and Transaction Processing Systems","author":"D.J. Dewitt","year":"1992","unstructured":"Dewitt, D.J.: The Wisconsin benchmark: Past, present, and future. In: Gray, J. (ed.) The Benchmark Handbook for Database and Transaction Processing Systems. Morgan Kaufmann Publishers Inc., San Francisco (1992)"},{"issue":"2","key":"3_CR7","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0020-0190(86)90051-7","volume":"23","author":"J.V. Franco","year":"1986","unstructured":"Franco, J.V.: On the probabilistic performance of algorithms for the satisfiability problem. Inf. Process. Lett.\u00a023(2), 103\u2013106 (1986)","journal-title":"Inf. Process. Lett."},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"654","DOI":"10.1007\/11926078_47","volume-title":"The Semantic Web - ISWC 2006","author":"T. Gardiner","year":"2006","unstructured":"Gardiner, T., Tsarkov, D., Horrocks, I.: Framework for an automated comparison of description logic reasoners. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 654\u2013667. Springer, Heidelberg (2006)"},{"issue":"2-3","key":"3_CR9","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y. Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. Web Semantics: Science, Services and Agents on the World Wide Web\u00a03(2-3), 158\u2013182 (2005)","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/A:1015063215934","volume":"28","author":"I. Horrocks","year":"2002","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Evaluating optimized decision procedures for propositional modal K(m) satisfiability. J. Autom. Reasoning\u00a028(2), 173\u2013204 (2002)","journal-title":"J. Autom. Reasoning"},{"key":"3_CR11","first-page":"533","volume-title":"KR","author":"U. Hustadt","year":"2002","unstructured":"Hustadt, U., Schmidt, R.A.: Scientific benchmarking with temporal logic decision procedures. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M.-A. (eds.) KR, pp. 533\u2013546. Morgan Kaufmann, San Francisco (2002)"},{"key":"3_CR12","unstructured":"Lin, H., Sirin, E.: Pellint - a performance lint tool for pellet. In: Dolbear, C., Ruttenberg, A., Sattler, U. (eds.) OWLED. CEUR Workshop Proceedings, vol.\u00a0432. CEUR-WS.org. (2008)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11762256_12","volume-title":"The Semantic Web: Research and Applications","author":"L. Ma","year":"2006","unstructured":"Ma, L., Yang, Y., Qiu, Z., Xie, G.T., Pan, Y., Liu, S.: Towards a complete OWL ontology benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 125\u2013139. Springer, Heidelberg (2006)"},{"key":"3_CR14","unstructured":"Pan, Z.: Benchmarking DL reasoners using realistic ontologies. In: OWLED (2005)"},{"key":"3_CR15","volume-title":"KR","author":"B. Parsia","year":"2010","unstructured":"Parsia, B., Schneider, T.: The modular structure of an ontology: An empirical study. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) KR. AAAI Press, Menlo Park (2010)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-540-88737-9_12","volume-title":"Web Reasoning and Rule Systems","author":"S. Rudolph","year":"2008","unstructured":"Rudolph, S., Tserendorj, T., Hitzler, P.: What is approximate reasoning? In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 150\u2013164. Springer, Heidelberg (2008)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artificial Intelligence\u00a074, 249\u2013310 (1995)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(95)00045-3","volume":"81","author":"B. Selman","year":"1996","unstructured":"Selman, B., Mitchell, D.G., Levesque, H.J.: Generating hard satisfiability problems. Artif. Intell.\u00a081(1-2), 17\u201329 (1996)","journal-title":"Artif. Intell."},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/978-3-540-76298-0_43","volume-title":"The Semantic Web","author":"T. Wang","year":"2007","unstructured":"Wang, T., Parsia, B.: Ontology performance profiling and model examination: first steps. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, p. 595. Springer, Heidelberg (2007)"},{"key":"3_CR20","unstructured":"Weith\u00f6ner, T., Liebig, T., Luther, M., B\u00f6hm, S.: What\u2019s wrong with OWL benchmarks? In: SSWS (2006)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2010"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17746-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T01:06:53Z","timestamp":1662772013000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-17746-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642177453","9783642177460"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17746-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}