{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T14:26:29Z","timestamp":1773325589922,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540422549","type":"print"},{"value":"9783540457442","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45744-5_6","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T21:02:07Z","timestamp":1193432527000},"page":"61-75","source":"Crossref","is-referenced-by-count":12,"title":["Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics"],"prefix":"10.1007","author":[{"given":"Volker","family":"Haarslev","sequence":"first","affiliation":[]},{"given":"Ralf","family":"M\u00f6ller","sequence":"additional","affiliation":[]},{"given":"Anni-Yasmin","family":"Turhan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,8]]},"reference":[{"key":"6_CR1","unstructured":"F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Twelfth International Joint Conference on Artificial Intelligence, Darling Harbour, Sydney, Australia, Aug. 24-30, 1991, pages 452\u2013457, August 1991."},{"key":"6_CR2","unstructured":"V. Haarslev and R. M\u00f6ller. An empirical evaluation of optimization strategies for ABox reasoning in expressive description logics. In P. Lambrix et al., editor, Proceedings of the International Workshop on Description Logics (DL\u201999), July 30-August 1, 1999, Link\u00f6ping, Sweden, pages 115\u2013119, June 1999."},{"key":"6_CR3","unstructured":"V. Haarslev and R. M\u00f6ller. Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roles. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR\u20192000), Breckenridge, Colorado, USA, April 11-15, 2000, pages 273\u2013284, April 2000."},{"key":"6_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the International Joint Conference on Automated Reasoning, IJCAR\u20192001","author":"V. Haarslev","year":"2001","unstructured":"V. Haarslev, R. M\u00f6ller, and M. Wessel. The description logic ALCNHR+ extended with concrete domains: A practically motivated approach. In Proceedings of the International Joint Conference on Automated Reasoning, IJCAR\u20192001, June 18-23, 2001, Siena, Italy, LNCS. Springer-Verlag, Berlin, June 2001."},{"key":"6_CR5","unstructured":"I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997."},{"issue":"3","key":"6_CR6","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1093\/logcom\/9.3.267","volume":"9","author":"I. Horrocks","year":"1999","unstructured":"I. Horrocks and P. Patel-Schneider. Optimizing description logic subsumption. Journal of Logic and Computation, 9(3):267\u2013293, June 1999.","journal-title":"Journal of Logic and Computation"},{"key":"6_CR7","unstructured":"I. Horrocks and P.F. Patel-Schneider. DL systems comparison. In Proceedings of DL\u201998, International Workshop on Description Logics, pages 55\u201357, Trento(Italy), 1998."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR\u201999), number 1705 in Lecture Notes in Artificial Intelligence, pages 161\u2013180. Springer-Verlag, September 1999.","DOI":"10.1007\/3-540-48242-3_11"},{"key":"6_CR9","series-title":"Master\u2019s thesis","volume-title":"Optimierungsmethoden f\u00fcr den Erf\u00fcllbarkeitstest bei Beschreibungslogiken mit konkreter Dom\u00e4ne Optimization methods for the satisfiability test for description logics with concrete domains (in German)","author":"A.-Y. Turhan","year":"2000","unstructured":"A.-Y. Turhan. Optimierungsmethoden f\u00fcr den Erf\u00fcllbarkeitstest bei Beschreibungslogiken mit konkreter Dom\u00e4ne Optimization methods for the satisfiability test for description logics with concrete domains (in German). Master\u2019s thesis, Universit\u00e4t Hamburg, Fachbereich Informatik University of Hamburg, Computer Science Department, April 2000."}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45744-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T16:15:11Z","timestamp":1551024911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45744-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422549","9783540457442"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45744-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001]]}}}