{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T10:36:16Z","timestamp":1767868576925,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642114854","type":"print"},{"value":"9783642114861","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-11486-1_25","type":"book-chapter","created":{"date-parts":[[2010,1,27]],"date-time":"2010-01-27T08:39:51Z","timestamp":1264581591000},"page":"294-305","source":"Crossref","is-referenced-by-count":1,"title":["A Query Language for Logic Architectures"],"prefix":"10.1007","author":[{"given":"Anton","family":"Malykh","sequence":"first","affiliation":[]},{"given":"Andrei","family":"Mantsivoda","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Malykh, A., Mantsivoda, A., Ulyanov, V.: Logic Architectures and the Object Oriented Approach. Technical Report (2009)"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-540-39718-2_2","volume-title":"The Semantic Web - ISWC 2003","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 17\u201329. Springer, Heidelberg (2003)"},{"key":"25_CR3","unstructured":"Horrocks, I., Hayes, P., Patel-Schneider, P.F.: OWL Web Ontology Language Semantics and Abstract Syntax, http:\/\/www.w3.org\/TR\/owl-semantics\/"},{"key":"25_CR4","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"25_CR5","unstructured":"The NCBI Entrez Taxonomy, http:\/\/www.ncbi.nlm.nih.gov\/sites\/entrez?db=taxonomy"},{"issue":"3","key":"25_CR6","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10817-007-9080-3","volume":"39","author":"U. Hustadt","year":"2007","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. Journal of Automated Reasoning\u00a039(3), 351\u2013384 (2007)","journal-title":"Journal of Automated Reasoning"},{"issue":"2","key":"25_CR7","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s10817-008-9104-7","volume":"41","author":"V. Haarslev","year":"2008","unstructured":"Haarslev, V., M\u00f6ller, R.: On the scalability of description logic instance retrieval. Journal of Automated Reasoning\u00a041(2), 99\u2013142 (2008)","journal-title":"Journal of Automated Reasoning"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Puleston, C., Parsia, B., Cunningham, J., Rector, A.L.: Integrating Object-Oriented and Ontological Representations. A Case Study in Java and OWL, pp. 130\u2013145","DOI":"10.1007\/978-3-540-88564-1_9"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Sattler, U.: Representing Structured Objects using Description Graphs. In: KR 2008, pp. 296\u2013306 (2008)","DOI":"10.1145\/1367497.1367573"},{"key":"25_CR10","unstructured":"Vardi, M.Y.: Why Is Modal Logic So Robustly Decidable? In: Proc. DIMACS Workshop. DIMACS Series, vol.\u00a031, pp. 149\u2013184."},{"key":"25_CR11","unstructured":"Prudhommeaux, E., Seaborne, A.: SPARQL Query Language for RDF. W3C Recommendation (2008)"},{"key":"25_CR12","unstructured":"Seaborne, A.: RDQL - A Query Language for RDF. W3C Member Submission (2004)"},{"key":"25_CR13","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10817-008-9102-9","volume":"41","author":"M. Ortiz","year":"2008","unstructured":"Ortiz, M., Calvanese, D., Eiter, T.: Data Complexity of Query Answering in Expressive Description Logics via Tableaux. Journal of Automated Reasoning\u00a041, 61\u201398 (2008)","journal-title":"Journal of Automated Reasoning"},{"key":"25_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/11853107_7","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"F. Bry","year":"2006","unstructured":"Bry, F., Furche, T., Linse, B.: Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol.\u00a04187, pp. 90\u2013104. Springer, Heidelberg (2006)"},{"key":"25_CR15","unstructured":"Kaplunova, A., M\u00f6ller, R.: DIG 2.0 Concrete Domain Interface Proposal., http:\/\/www.sts.tu-harburg.de\/~al.kaplunova\/dig-cd-interface.html"},{"key":"25_CR16","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/B:WWWJ.0000015866.43076.06","volume":"7","author":"F. Frasincar","year":"2004","unstructured":"Frasincar, F., Houben, G.-J., Vdovjak, R., Barna, P.: RAL: An Algebra for Querying RDF. World Wide Web: Internet and Web Information Systems\u00a07, 83\u2013109 (2004)","journal-title":"World Wide Web: Internet and Web Information Systems"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1007\/978-3-540-30475-3_49","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"N. Noy","year":"2004","unstructured":"Noy, N., Musen, M.A.: Specifying ontology views by traversal. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 713\u2013725. Springer, Heidelberg (2004)"},{"key":"25_CR18","unstructured":"Ogbuji, C.: Versa: Path-Based RDF Query Language, http:\/\/www.xml.com\/pub\/a\/2005\/07\/20\/versa.html?page=1"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11486-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T19:47:46Z","timestamp":1685389666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11486-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642114854","9783642114861"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11486-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}