{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:11:30Z","timestamp":1747807890673},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540762973"},{"type":"electronic","value":"9783540762980"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76298-0_43","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T14:13:59Z","timestamp":1193408039000},"page":"595-608","source":"Crossref","is-referenced-by-count":12,"title":["Ontology Performance Profiling and Model Examination: First Steps"],"prefix":"10.1007","author":[{"given":"Taowei David","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"43_CR1","unstructured":"D\u2019Agostino, M., Endriss, U.: Winke: A proof assistant for teaching logic. Proceedings of the First International Workshop on Labelled Deduction, 1998 (1998)"},{"key":"43_CR2","unstructured":"Ferm\u00fcller, C., Leitsch, A., Salzer, G.: Automated model building as future research topic"},{"key":"43_CR3","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: IJCAI 2007. Proceedings of the Twentieth International Joint Conference on Artificail Intelligence (2007)"},{"key":"43_CR4","doi-asserted-by":"crossref","unstructured":"Heer, J., Card, S.K., Landay, J.A.: Prefuse: a toolkit for interactive information visualization. In: CHI 2005. Proceedings of the Conference On Human Factors In Computing Systems (2005)","DOI":"10.1145\/1054972.1055031"},{"key":"43_CR5","unstructured":"Hladik, J.: A generator for description logic formulas. In: Proceedings of the International Workshop on Description Logics, 2005 (2005)"},{"key":"43_CR6","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Comparing subsumption optimizations. In: DL 1998. Proc. of the 1998 Description Logic Workshop. CEUR, vol.\u00a011, pp. 90\u201394 (1998), http:\/\/ceur-ws.org\/"},{"key":"43_CR7","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U.: Optimised reasoning for shiq. In: ECAI 2002. Proceedings of the 15th European Conference on Artificial Intelligence (2002)","DOI":"10.25368\/2022.118"},{"key":"43_CR8","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing shiq description logic to disjunctive datalog programs. In: KR 2004. Proceedings of the 9th International Conference on Knowledge Representation and Reasoning (2004)"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"Hustadt, U., Schmidt, R.A.: Mspass: Modal reasoning by translation and first-order resolution. In: Automated Reasoning with analytic Tableaux and Related Methods (2000)","DOI":"10.1007\/10722086_7"},{"key":"43_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2160-9","volume-title":"Program Monitoring and Visualization","author":"C.L. Jeffery","year":"1999","unstructured":"Jeffery, C.L.: Program Monitoring and Visualization. Springer, Heidelberg (1999)"},{"key":"43_CR11","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B.: Repairing unsatisfiable concepts in owl ontologies. In: ESWC 2006 (2006)","DOI":"10.1007\/11762256_15"},{"key":"43_CR12","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in owl ontologies. Journal of Web Semantics\u00a0 (2005)","DOI":"10.1016\/j.websem.2005.09.005"},{"key":"43_CR13","unstructured":"McGuinness, D.: Explaining Reasoning in Description Logics. PhD thesis, New Brunswick, New Jersey (1996)"},{"key":"43_CR14","unstructured":"Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Proceedings of the 2004 Description Logics Workshop (2004)"},{"key":"43_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web - ISWC 2006","author":"T.D. Wang","year":"2006","unstructured":"Wang, T.D., Parsia, B., Hendler, J.: A survey of the web ontology landscape. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol.\u00a04273, Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76298-0_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T14:44:21Z","timestamp":1684075461000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76298-0_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540762973","9783540762980"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76298-0_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}