{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:49Z","timestamp":1749124069937},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644064"},{"type":"electronic","value":"9783540697787"}],"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":[]},{"given":"Peter F.","family":"Patel-Schneider","sequence":"additional","affiliation":[]}],"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":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}