{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:24:26Z","timestamp":1725711866376},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358425"},{"type":"electronic","value":"9783642358432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35843-2_45","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T21:24:54Z","timestamp":1357853094000},"page":"528-539","source":"Crossref","is-referenced-by-count":2,"title":["Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework"],"prefix":"10.1007","author":[{"given":"Ond\u0159ej","family":"\u0160v\u00e1b-Zamazal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne","family":"Schlicht","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiner","family":"Stuckenschmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vojt\u011bch","family":"Sv\u00e1tek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","unstructured":"Brandt, S., Kuesters, R., Turhan, A.-Y.: Approximation and Difference in Description Logics. In: 8th Conf. Principles of Knowledge Representation and Reasoning, Toulouse (2002)"},{"key":"45_CR2","unstructured":"Ega\u00f1a, M., Stevens, R., Antezana, E.: Transforming the Axiomisation of Ontologies: The Ontology Pre-Processor Language. In: W\u2019shop OWL Experiences and Directions, Washington, DC (2008)"},{"key":"45_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-642-13486-9_10","volume-title":"The Semantic Web: Research and Applications","author":"L. Iannone","year":"2010","unstructured":"Iannone, L., Palmisano, I., Rector, A., Stevens, R.: Assessing the Safety of Knowledge Patterns in OWL Ontologies. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part I. LNCS, vol.\u00a06088, pp. 137\u2013151. Springer, Heidelberg (2010)"},{"key":"45_CR4","unstructured":"Lin, H., Sirin, E.: Pellint - A Performance Lint Tool for Pellet. In: W\u2019shop OWL Experiences and Directions, Karlsruhe (2008)"},{"key":"45_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-02121-3_23","volume-title":"The Semantic Web: Research and Applications","author":"U. L\u00f6sch","year":"2009","unstructured":"L\u00f6sch, U., Rudolph, S., Vrande\u010di\u0107, D., Studer, R.: Tempus Fugit - Towards an Ontology Update Language. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 278\u2013292. Springer, Heidelberg (2009)"},{"key":"45_CR6","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Univ. Karlsruhe (2006)"},{"key":"45_CR7","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language Profiles. W3C Recommendation (2009), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"45_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-642-23580-1_25","volume-title":"Web Reasoning and Rule Systems","author":"J. Noessner","year":"2011","unstructured":"Noessner, J., Niepert, M.: ELOG: A Probabilistic Reasoner for OWL EL. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol.\u00a06902, pp. 281\u2013286. Springer, Heidelberg (2011)"},{"key":"45_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-87877-3_35","volume-title":"Conceptual Modeling - ER 2008","author":"F. Silva Parreiras","year":"2008","unstructured":"Silva Parreiras, F., Staab, S., Schenk, S., Winter, A.: Model Driven Specification of Ontology Translations. In: Li, Q., Spaccapietra, S., Yu, E., Oliv\u00e9, A. (eds.) ER 2008. LNCS, vol.\u00a05231, pp. 484\u2013497. Springer, Heidelberg (2008)"},{"key":"45_CR10","doi-asserted-by":"crossref","unstructured":"Ren, Y., Pan, J.Z., Zhao, Y.: Soundness Preserving Approximation for TBox Reasoning. In: AAAI (2010)","DOI":"10.1609\/aaai.v24i1.7602"},{"key":"45_CR11","unstructured":"Sv\u00e1tek, V., \u0160v\u00e1b-Zamazal, O., Vacura, M.: Adapting Ontologies to Content Patterns using Transformation Patterns. In: WOP (2010)"},{"key":"45_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-642-16438-5_8","volume-title":"Knowledge Engineering and Management by the Masses","author":"O. \u0160v\u00e1b-Zamazal","year":"2010","unstructured":"\u0160v\u00e1b-Zamazal, O., Sv\u00e1tek, V., Iannone, L.: Pattern-Based Ontology Transformation Service Exploiting OPPL and OWL-API. In: Cimiano, P., Pinto, H.S. (eds.) EKAW 2010. LNCS, vol.\u00a06317, pp. 105\u2013119. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2013: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35843-2_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,28]],"date-time":"2023-06-28T11:49:36Z","timestamp":1687952976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35843-2_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358425","9783642358432"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35843-2_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}