{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T22:20:46Z","timestamp":1648851646262},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2008,8,7]],"date-time":"2008-08-07T00:00:00Z","timestamp":1218067200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Ser. F-Inf. Sci."],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1007\/s11432-008-0101-6","type":"journal-article","created":{"date-parts":[[2008,8,6]],"date-time":"2008-08-06T10:21:42Z","timestamp":1218018102000},"page":"1204-1214","source":"Crossref","is-referenced-by-count":0,"title":["Satisfiability and reasoning mechanism of terminological cycles in description logic % MathType!MTEF!2!1!+- % feaagaart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqipC0df9qqqrpepC0xbbL8F4rqqrpepeea0xe9Lq-lc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pf0Firpepe0de9vr0-vr % 0-vqpWqaaeaabiGaciaacaqabeaadaqaaqaaaOqaaerbn9MBVrxEWv % gid9MCZLMDHbacfiqcaaQaa8NDamrr1ngBPrwtHrhAXaqeguuDJXwA % KbstHrhAG8KBLbacgaGccqGFsectaaa!46C0! $$ v\\mathcal{L} $$"],"prefix":"10.1007","volume":"51","author":[{"given":"Ju","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YunCheng","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YuMing","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,8,7]]},"reference":[{"issue":"1","key":"101_CR1","first-page":"87","volume":"6","author":"G. D. Giacomo","year":"1997","unstructured":"Giacomo G D, Lenzerini M. A uniform framework for concept definitions in description logics. J Art Intell Res, 1997, 6(1): 87\u2013110","journal-title":"J Art Intell Res"},{"issue":"2","key":"101_CR2","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0004-3702(97)00079-9","volume":"99","author":"M. Buchheit","year":"1998","unstructured":"Buchheit M, Donini F M, Nutt W, et al. A refined architecture for terminological systems: terminology = schema + views. Art Intell, 1998, 99(2): 209\u2013260","journal-title":"Art Intell"},{"issue":"2","key":"101_CR3","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin E, Parsia B, Grau B C, et al. Pellet: a practical OWL-DL reasoner. J Web Semantics: Science, Services and Agents on the World Wide Web, 2007, 5(2): 51\u201353","journal-title":"J Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"101_CR4","series-title":"LNAI","first-page":"292","volume-title":"Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR 2006)","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov D, Horrocks I. FaCT++ description logic reasoner: system description. In: Furbach U, Shankar N, eds. Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR 2006). LNAI 4130. Berlin: Springer, 2006. 292\u2013297"},{"key":"101_CR5","series-title":"LNAI","first-page":"701","volume-title":"Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001)","author":"V. Haarslev","year":"2001","unstructured":"Haarslev V, Moller R. RACER system description. In: Haarslev V, Moller R, eds. Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001). LNAI 2083. London: Springer, 2001. 701\u2013706"},{"issue":"2","key":"101_CR6","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1360\/03yf0506","volume":"48","author":"Z. Z. Shi","year":"2005","unstructured":"Shi Z Z, Dong M K, Jiang Y C, et al. A logic foundation for the semantic Web. Sci China Ser F-Inf Sci, 2005, 48(2): 161\u2013178","journal-title":"Sci China Ser F-Inf Sci"},{"issue":"2\u20134","key":"101_CR7","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF02127747","volume":"18","author":"F. Baader","year":"1996","unstructured":"Baader F. Using automata theory for characterizing the semantics of terminological cycles. Ann Math Art Intell, 1996, 18(2\u20134): 175\u2013219","journal-title":"Ann Math Art Intell"},{"key":"101_CR8","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/B978-1-4832-0771-1.50018-7","volume-title":"Principles of Semantic Networks","author":"B. Nebel","year":"1991","unstructured":"Nebel B. Terminological cycles: semantics and computational properties. In: Sowa J F, ed. Principles of Semantic Networks. San Francisco: Morgan Kaufmann Publishers, 1991. 331\u2013362"},{"key":"101_CR9","series-title":"LNAI","first-page":"125","volume-title":"Reasoning and revision in hybrid representation systems","author":"B. Nebel","year":"1990","unstructured":"Nebel B. Reasoning and revision in hybrid representation systems. LNAI 422. Berlin: Springer-Verlag, 1990. 125\u2013156"},{"key":"101_CR10","first-page":"325","volume-title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003)","author":"F. Baader","year":"2003","unstructured":"Baader F. Terminological cycles in a description logic with existential restrictions. In: Gottlob G, Walsh T, eds. Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003). San Francisco: Morgan Kaufmann Publishers, 2003. 325\u2013330"},{"key":"101_CR11","first-page":"453","volume-title":"Proceedings of the 36th Annual Symposium on Foundations of Computer Science","author":"M. R. Henzinger","year":"1995","unstructured":"Henzinger M R, Henzinger T A, Kopke P W. Computing simulations on finite and infinite graphs. In: Prabhakar R, ed. Proceedings of the 36th Annual Symposium on Foundations of Computer Science. New York: IEEE Computer Society Press, 1995. 453\u2013462"},{"key":"101_CR12","first-page":"47","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness D, et al. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2003. 47\u2013141"}],"container-title":["Science in China Series F: Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-008-0101-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-008-0101-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-008-0101-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:35:56Z","timestamp":1559388956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-008-0101-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,7]]},"references-count":12,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["101"],"URL":"https:\/\/doi.org\/10.1007\/s11432-008-0101-6","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8,7]]}}}