{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:27:31Z","timestamp":1760549251107},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642302831"},{"type":"electronic","value":"9783642302848"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30284-8_29","type":"book-chapter","created":{"date-parts":[[2012,5,23]],"date-time":"2012-05-23T11:43:00Z","timestamp":1337773380000},"page":"330-344","source":"Crossref","is-referenced-by-count":5,"title":["Modelling Structured Domains Using Description Graphs and Logic Programming"],"prefix":"10.1007","author":[{"given":"Despoina","family":"Magka","sequence":"first","affiliation":[]},{"given":"Boris","family":"Motik","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. CUP (2007)","DOI":"10.1017\/CBO9780511711787"},{"issue":"9-10","key":"29_CR2","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","volume":"175","author":"J.F. Baget","year":"2011","unstructured":"Baget, J.F., Lecl\u00e8re, M., Mugnier, M.-L., Salvat, E.: On rules with existential variables: Walking the decidability line. Artif. Intell.\u00a0175(9-10), 1620\u20131654 (2011)","journal-title":"Artif. Intell."},{"key":"29_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic Programming and Knowledge Representation. Journal of Logic Programming\u00a019, 73\u2013148 (1994)","journal-title":"Journal of Logic Programming"},{"key":"29_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-10843-2_7","volume-title":"Automata, Languages and Programming","author":"C. Beeri","year":"1981","unstructured":"Beeri, C., Vardi, M.Y.: The Implication Problem for Data Dependencies. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol.\u00a0115, pp. 73\u201385. Springer, Heidelberg (1981)"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Cali, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog+\/-: A family of logical knowledge representation and query languages for new applications. In: LICS (2010)","DOI":"10.1109\/LICS.2010.27"},{"key":"29_CR6","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)"},{"issue":"4","key":"29_CR7","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B.C. Grau","year":"2008","unstructured":"Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. J. Web Sem.\u00a06(4), 309\u2013322 (2008)","journal-title":"J. Web Sem."},{"key":"29_CR8","unstructured":"Graves, H.: Representing Product Designs Using a Description Graph Extension to OWL 2. In: Proc. of the 5th OWLED Workshop (2009)"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: WWW (2003)","DOI":"10.2139\/ssrn.460986"},{"key":"29_CR10","unstructured":"Hastings, J., Dumontier, M., Hull, D., Horridge, M., Steinbeck, C., Sattler, U., Stevens, R., H\u00f6rne, T., Britz, K.: Representing Chemicals using OWL, Description Graphs and Rules. In: OWLED (2010)"},{"key":"29_CR11","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML. W3C Member Submission (May 21, 2004), \n                    \n                      http:\/\/www.w3.org\/Submission\/SWRL\/"},{"key":"29_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/978-3-540-88564-1_41","volume-title":"The Semantic Web - ISWC 2008","author":"M. Kr\u00f6tzsch","year":"2008","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable Rules for OWL 2. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 649\u2013664. Springer, Heidelberg (2008)"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Maier, F., Krisnadhi, A., Hitzler, P.: A better uncle for owl: nominal schemas for integrating rules and ontologies. In: Srinivasan, S., Ramamritham, K., Kumar, A., Ravindra, M.P., Bertino, E., Kumar, R. (eds.) WWW, pp. 645\u2013654. ACM (2011)","DOI":"10.1145\/1963405.1963496"},{"issue":"1-2","key":"29_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.C.: Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"29_CR15","first-page":"667","volume":"23","author":"C. Lutz","year":"2004","unstructured":"Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, nominals, and concrete domains. J. of Artificial Intelligence Research\u00a023, 667\u2013726 (2004)","journal-title":"J. of Artificial Intelligence Research"},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Marnette, B.: Generalized Schema-Mappings: from Termination to Tractability. In: PODS (2009)","DOI":"10.1145\/1559795.1559799"},{"issue":"Database-Issue","key":"29_CR17","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1093\/nar\/gkp886","volume":"38","author":"P. Matos de","year":"2010","unstructured":"de Matos, P., Alc\u00e1ntara, R., Dekker, A., Ennis, M., Hastings, J., Haug, K., Spiteri, I., Turner, S., Steinbeck, C.: Chemical Entities of Biological Interest: an update. Nucleic Acids Research\u00a038(Database-Issue), 249\u2013254 (2010)","journal-title":"Nucleic Acids Research"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Circumscription - a form of non-monotonic reasoning. Artif. Intell. (1980)","DOI":"10.21236\/ADA086574"},{"key":"29_CR19","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language: Profiles, W3C Recommendation (October 27, 2009)"},{"key":"29_CR20","doi-asserted-by":"publisher","first-page":"1275","DOI":"10.1016\/j.artint.2009.06.003","volume":"173","author":"B. Motik","year":"2009","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Sattler, U.: Representing Ontologies Using Description Logics, Description Graphs, and Rules. Artif. Int.\u00a0173, 1275\u20131309 (2009)","journal-title":"Artif. Int."},{"issue":"1","key":"29_CR21","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B. Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. J. Web Sem.\u00a03(1), 41\u201360 (2005)","journal-title":"J. Web Sem."},{"key":"29_CR22","unstructured":"Rector, A.L., Nowlan, W.A., Glowinski, A.: Goals for concept representation in the GALEN project. In: SCAMC 1993, pp. 414\u2013418 (1993)"},{"key":"29_CR23","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Why is modal logic so robustly decidable? DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp. 149\u2013184 (1996)","DOI":"10.1090\/dimacs\/031\/05"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30284-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:48:43Z","timestamp":1558298923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30284-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642302831","9783642302848"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30284-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}