{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T22:30:44Z","timestamp":1784845844373,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540371878","type":"print"},{"value":"9783540371885","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11814771_26","type":"book-chapter","created":{"date-parts":[[2006,10,5]],"date-time":"2006-10-05T11:44:21Z","timestamp":1160048661000},"page":"292-297","source":"Crossref","is-referenced-by-count":422,"title":["FaCT++ Description Logic Reasoner: System Description"],"prefix":"10.1007","author":[{"given":"Dmitry","family":"Tsarkov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"26_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"26_CR2","unstructured":"Haarslev, V., M\u00f6ller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: Proc. of IJCAI 2001, pp. 161\u2013168 (2001)"},{"key":"26_CR3","unstructured":"Horrocks, I.: Using an expressive description logic: FaCT or fiction. Proc. of KR 1998, 636\u2013647 (1998)"},{"key":"26_CR4","first-page":"306","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I.: Implementation and optimisation techniques. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 306\u2013346. Cambridge University Press, Cambridge (2003)"},{"issue":"1","key":"26_CR5","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From \n                    \n                      \n                    \n                    $\\mathcal{SHIQ}$\n                   and RDF to OWL: The making of a web ontology language. J. of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"J. of Web Semantics"},{"key":"26_CR6","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for \n                    \n                      \n                    \n                    $\\mathcal{SHOIQ}$\n                  . In: Proc. of IJCAI 2005 (2005)"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic Programming and Automated Reasoning","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-30475-3_17","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"H. Knublauch","year":"2004","unstructured":"Knublauch, H., Fergerson, R., Noy, N., Musen, M.: The prot\u00e9g\u00e9 OWL plugin: An open development environment for semantic web applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 229\u2013243. Springer, Heidelberg (2004)"},{"key":"26_CR9","first-page":"415","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"A. Rector","year":"2003","unstructured":"Rector, A.: Medical informatics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 415\u2013435. Cambridge University Press, Cambridge (2003)"},{"issue":"1","key":"26_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"26_CR11","unstructured":"Sirin, E., Grau, B.C., Parsia, B.: From wine to water: Optimizing description logic reasoning for nominals. In: Proc. of KR 2006 (to appear,2006)"},{"key":"26_CR12","unstructured":"Tsarkov, D., Horrocks, I.: Optimised classification for taxonomic knowledge bases. In: Proc. of the 2005 Description Logic Workshop (DL 2005) (2005)"},{"key":"26_CR13","unstructured":"Tsarkov, D., Horrocks, I.: Ordering heuristics for description logic reasoning. In: Proc. of IJCAI 2005 (2005)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11814771_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:34:50Z","timestamp":1558294490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11814771_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540371878","9783540371885"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11814771_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}