{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T18:14:54Z","timestamp":1735582494795},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000105"},{"type":"electronic","value":"9783540360780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36078-6_29","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:48:36Z","timestamp":1180666116000},"page":"435-449","source":"Crossref","is-referenced-by-count":2,"title":["Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Tessaris","sequence":"first","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"29_CR1","unstructured":"McGuinness, D.L., Wright, J.R.: An industrial strength description logic-based configuration platform. IEEE Intelligent Systems (1998) 69\u201377"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of PODS-98. (1998) 149\u2013158","DOI":"10.1145\/275487.275504"},{"key":"29_CR3","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0364-0213(85)80014-8","volume":"9","author":"R.J. Brachman","year":"1985","unstructured":"Brachman, R.J., Schmolze, J.G.: An overview of the KL-ONE knowledge representation system. Cognitive Science 9 (1985) 171\u2013216","journal-title":"Cognitive Science"},{"key":"29_CR4","unstructured":"Berners-Lee, T.: Weaving the Web. Harpur, San Francisco (1999)"},{"key":"29_CR5","unstructured":"Horrocks, I., Patel-Schneider, P.: The generation of DAML+OIL. In: Proc. of DL 2002, CEUR Workshop Proceedings (2001) 30\u201335"},{"key":"29_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2625","volume":"134","author":"F.M. Donini","year":"1997","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W.: The complexity of concept languages. Information and Computation 134 (1997) 1\u201358","journal-title":"Information and Computation"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Broekstra, J., Kampman, A., van Harmelen, F.: Sesame: An architecture for storing and querying RDF data and schema information. In D. Fensel, J. Hendler, H.L., Wahlster, W., eds.: Semantics for the WWW. MIT Press (2001)","DOI":"10.1007\/3-540-48005-6_7"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Proc. of IJCAR-01. (2001)","DOI":"10.1007\/3-540-45744-5_59"},{"key":"29_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1007\/10721959_39","volume-title":"Proc. of CADE-2000","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ. In MacAllester, D., ed.: Proc. of CADE-2000. Number 1831 in LNCS, Springer-Verlag (2000) 482\u2013496"},{"key":"29_CR10","unstructured":"Hollunder, B.: Algorithmic Foundations of Terminological Knowledge Representation Systems. PhD thesis, Universit\u00e4t des Saarlandes (1994)"},{"key":"29_CR11","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1093\/logcom\/4.4.423","volume":"4","author":"F.M. Donini","year":"1994","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: Deduction in concept languages: From subsumption to instance checking. J. of Logic and Computation 4 (1994) 423\u2013452","journal-title":"J. of Logic and Computation"},{"key":"29_CR12","unstructured":"Tessaris, S., Horrocks, I., Gough, G.: Evaluating a modular abox algorithm. In: Proc. of KR-02. (2002)"},{"key":"29_CR13","unstructured":"Tessaris, S.: Questions and answers: reasoning and querying in Description Logic. PhD thesis, University of Manchester (2001)"},{"key":"29_CR14","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\u03b2, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48 (1991) 1\u201326","journal-title":"Artificial Intelligence"},{"key":"29_CR15","unstructured":"Haarslev, V., M\u00f6ller, R.: An empirical evaluation of optimization strategies for abox reasoning in expressive description logics. In: Proc. of DL\u201999. (1999) 115\u2013119"},{"key":"29_CR16","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1093\/logcom\/9.3.267","volume":"9","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Optimising description logic subsumption. Journal of Logic and Computation 9 (1999) 267\u2013293","journal-title":"Journal of Logic and Computation"},{"key":"29_CR17","unstructured":"Horrocks, I., Patel-Schneider, P.F.: DL system comparison. In: Proc. of DL\u201998. (1998)"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Horrocks, I.: Daml+oil: a reason-able web ontology language. In: Proc. of EDBT 2002. (2002)","DOI":"10.1007\/3-540-45876-X_2"},{"key":"29_CR19","unstructured":"Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Proc. of KR-98. (1998) 636\u2013647"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36078-6_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:18:03Z","timestamp":1556464683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36078-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000105","9783540360780"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-36078-6_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}