{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T22:44:37Z","timestamp":1792795477408,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540644064","type":"print"},{"value":"9783540697787","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69778-0_5","type":"book-chapter","created":{"date-parts":[[2007,8,4]],"date-time":"2007-08-04T09:02:30Z","timestamp":1186218150000},"page":"27-30","source":"Crossref","is-referenced-by-count":21,"title":["FaCT and DLP"],"prefix":"10.1007","author":[{"given":"Ian","family":"Horrocks","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter F.","family":"Patel-Schneider","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2000,7,21]]},"reference":[{"key":"5_CR1","unstructured":"F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.-J. Profitlich. An empirical analysis of optimization techniques for terminological representation systems. In B. Nebel, C. Rich, and W. Swartout, editors, Principals of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR\u201992), pages 270\u2013281. Morgan-Kaufmann, 1992. Also available as DFKI RR-93-03."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"F. Baader and B. Hollunder. A terminological knowledge representation system with complete inference algorithms. In Processing declarative knowledge: International workshop PDK\u201991, number 567 in Lecture Notes in Artificial Intelligence, pages 67\u201386, Berlin, 1991. Springer-Verlag.","DOI":"10.1007\/BFb0013522"},{"key":"5_CR3","unstructured":"P. Bresciani, E. Franconi, and S. Tessaris. Implementing and testing expressive description logics: a preliminary report. In Gerard Ellis, Robert A. Levinson, Andrew Fall, and Veronica Dahl, editors, Knowledge Retrieval, Use and Storage for Efficiency: Proceedings of the First International KRUSE Symposium, pages 28\u201339, 1995."},{"key":"5_CR4","unstructured":"F. Giunchiglia and R. Sebastiani. A SAT-based decision procedure for ALC. In L. C. Aiello, J. Doyle, and S. Shapiro, editors, Principals of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR\u201996), pages 304\u2013314. Morgan Kaufmann, November 1996."},{"key":"5_CR5","unstructured":"I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997."}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69778-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T04:47:44Z","timestamp":1550724464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69778-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644064","9783540697787"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-69778-0_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}