{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:08:23Z","timestamp":1725469703242},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540383291"},{"type":"electronic","value":"9783540383314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11836025_29","type":"book-chapter","created":{"date-parts":[[2006,8,31]],"date-time":"2006-08-31T19:44:22Z","timestamp":1157053462000},"page":"293-299","source":"Crossref","is-referenced-by-count":1,"title":["A Reasoning Algorithm for pD*"],"prefix":"10.1007","author":[{"given":"Huiying","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanbing","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuzhong","family":"Qu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff Z.","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-48005-6_7","volume-title":"The Semantic Web - ISWC 2002","author":"J. Broekstra","year":"2002","unstructured":"Broekstra, J., Kampman, A., Harmelen, F.: Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 54\u201368. Springer, Heidelberg (2002)"},{"key":"29_CR2","unstructured":"Carroll, J.J., Roo, J.D. (eds.): OWL Web Ontology Language Test Cases. W3C Recommendation (February 10, 2004), \n                    \n                      http:\/\/www.w3.org\/TR\/2004\/REC-owl-test-20040210\/"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-30475-3_20","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"Y. Guo","year":"2004","unstructured":"Guo, Y., Pan, Z.h., Heflin, J.: An Evaluation of Knowledge Base Systems for Large OWL Datasets. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 274\u2013288. Springer, Heidelberg (2004)"},{"key":"29_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., Moller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"key":"29_CR5","unstructured":"Hayes, P. (ed.): RDF Semantics. W3C Recommendation (February 10, 2004), Latest version is available at, \n                    \n                      http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"key":"29_CR6","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"H.J. Horst","year":"2005","unstructured":"Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Journal of Web Semantics\u00a03, 79\u2013115 (2005)","journal-title":"Journal of Web Semantics"},{"key":"29_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-39718-2_3","volume-title":"The Semantic Web - ISWC 2003","author":"J.Z. Pan","year":"2003","unstructured":"Pan, J.Z., Horrocks, I.: RDFS(FA) and RDF MT: Two Semantics for RDFS. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 30\u201346. Springer, Heidelberg (2003)"},{"key":"29_CR8","unstructured":"Patel-Schneider, P.F.: Building the SemanticWeb Tower from RDF Straw. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence, IJCAI 2005 (2005)"},{"key":"29_CR9","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWLDL Reasoner. Submitted for publication to Journal of Web Semantics"},{"key":"29_CR10","unstructured":"Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Proc. of the Description Logic Workshop, pp. 41\u201350 (2004)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ASWC 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11836025_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:14:29Z","timestamp":1619507669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11836025_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540383291","9783540383314"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11836025_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}