{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:32:45Z","timestamp":1725726765833},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642382871"},{"type":"electronic","value":"9783642382888"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38288-8_22","type":"book-chapter","created":{"date-parts":[[2013,5,19]],"date-time":"2013-05-19T20:55:33Z","timestamp":1368996933000},"page":"320-334","source":"Crossref","is-referenced-by-count":8,"title":["Graph-Based Ontology Classification in OWL 2 QL"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Lembo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valerio","family":"Santarelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domenico Fabio","family":"Savo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QuOnto: Querying Ontologies. In: Veloso, M., Kambhampati, S. (eds.) Proc. of AAAI 2005, pp. 1670\u20131671. AAAI Press\/The MIT Press (2005)"},{"issue":"1","key":"22_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"M. Ashburner","year":"2000","unstructured":"Ashburner, M., Ball, C., Blake, J., Botstein, D., Butler, H., Cherry, J., Davis, A., Dolinski, K., Dwight, S., Eppig, J., et al.: Gene Ontology: tool for the unification of biology. Nature Genetics\u00a025(1), 25 (2000)","journal-title":"Nature Genetics"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Bang-Jensen, J., Gutin, G.Z.: Digraphs: Theory, Algorithms and Applications, 2nd edn. Springer (2008)","DOI":"10.1007\/978-1-84800-998-1"},{"issue":"1","key":"22_CR5","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3233\/SW-2011-0029","volume":"2","author":"D. Calvanese","year":"2011","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R., Ruzzi, M., Savo, D.F.: The MASTRO system for ontology-based data access. Semantic Web J.\u00a02(1), 43\u201353 (2011)","journal-title":"Semantic Web J."},{"issue":"3","key":"22_CR6","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"22_CR7","unstructured":"De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R., Ruzzi, M., Savo, D.F.: MASTRO: A reasoner for effective ontology-based data access. In: Proc. of ORE 2012. CEUR, vol.\u00a0858 (2012), ceur-ws.org"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/3-540-36285-1_14","volume-title":"Database Theory - ICDT 2003","author":"R. Fagin","year":"2002","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 207\u2013224. Springer, Heidelberg (2002)"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.websem.2011.12.007","volume":"14","author":"B. Glimm","year":"2012","unstructured":"Glimm, B., Horrocks, I., Motik, B., Shearer, R., Stoilos, G.: A novel approach to ontology classification. J. of Web Semantics\u00a014, 84\u2013101 (2012)","journal-title":"J. of Web Semantics"},{"issue":"3","key":"22_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.websem.2006.05.007","volume":"4","author":"C. Golbreich","year":"2006","unstructured":"Golbreich, C., Zhang, S., Bodenreider, O.: The foundational model of anatomy in OWL: Experience and perspectives. J. of Web Semantics\u00a04(3), 181\u2013195 (2006)","journal-title":"J. of Web Semantics"},{"key":"22_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013706. Springer, Heidelberg (2001)"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1007\/978-3-642-02121-3_71","volume-title":"The Semantic Web: Research and Applications","author":"Q. Ji","year":"2009","unstructured":"Ji, Q., Haase, P., Qi, G., Hitzler, P., Stadtm\u00fcller, S.: RaDON \u2014 repair and diagnosis in ontology networks. In: Aroyo, L., et al. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 863\u2013867. Springer, Heidelberg (2009)"},{"issue":"4","key":"22_CR13","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1016\/j.websem.2005.09.005","volume":"3","author":"A. Kalyanpur","year":"2005","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.A.: Debugging unsatisfiable classes in OWL ontologies. J. of Web Semantics\u00a03(4), 268\u2013293 (2005)","journal-title":"J. of Web Semantics"},{"key":"22_CR14","unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn $\\mathcal{SHIQ}$ ontologies. In: Boutilier, C. (ed.) Proc. of IJCAI 2009, pp. 2040\u20132045. AAAI Press (2009)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-25073-6_20","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"Y. Kazakov","year":"2011","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Concurrent classification of $\\mathcal{EL}$ 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.\u00a07031, pp. 305\u2013320. Springer, Heidelberg (2011)"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-35176-1_18","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"M. Kr\u00f6tzsch","year":"2012","unstructured":"Kr\u00f6tzsch, M.: The not-so-easy task of computing class subsumptions in OWL RL. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012, Part I. LNCS, vol.\u00a07649, pp. 279\u2013294. Springer, Heidelberg (2012)"},{"key":"22_CR17","unstructured":"Lawley, M., Bousquet, C.: Fast classification in Prot\u00e9g\u00e9: Snorocket as an OWL\u00a02\u00a0EL reasoner. In: Meyer, T., Orgun, M., Taylor, K. (eds.) Proc. of AOW 2010. CRPIT, vol.\u00a0122, pp. 45\u201350. ACS (2010)"},{"key":"22_CR18","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A., Schneider, L.: The wonderweb library of foundational ontologies and the DOLCE ontology. Technical Report D17, WonderWeb (2002)"},{"key":"22_CR19","unstructured":"Mendez, J., Ecke, A., Turhan, A.: Implementing completion-based inferences for the $\\mathcal{EL}$ -family. In: Proc. of DL 2011. CEUR, vol.\u00a0745 (2011), ceur-ws.org"},{"key":"22_CR20","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL\u00a02 Web Ontology Language \u2013 Profiles, 2nd edn. W3C Recommendation, World Wide Web Consortium (December 2012), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"22_CR21","unstructured":"Rogers, J., Rector, A.: The GALEN ontology. In: Medical Informatics Europe, MIE 1996, pp. 174\u2013178 (1996)"},{"issue":"2","key":"22_CR22","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. of Web Semantics\u00a05(2), 51\u201353 (2007)","journal-title":"J. of Web Semantics"},{"key":"22_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Semantics and Big Data"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38288-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,26]],"date-time":"2020-07-26T18:31:50Z","timestamp":1595788310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38288-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642382871","9783642382888"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38288-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}