{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:01:55Z","timestamp":1746374515637},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203629"},{"type":"electronic","value":"9783540397182"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39718-2_56","type":"book-chapter","created":{"date-parts":[[2010,9,3]],"date-time":"2010-09-03T22:01:33Z","timestamp":1283551293000},"page":"882-896","source":"Crossref","is-referenced-by-count":12,"title":["A Semantic Infosphere"],"prefix":"10.1007","author":[{"given":"Michael","family":"Uschold","sequence":"first","affiliation":[]},{"given":"Peter","family":"Clark","sequence":"additional","affiliation":[]},{"given":"Fred","family":"Dickey","sequence":"additional","affiliation":[]},{"given":"Casey","family":"Fung","sequence":"additional","affiliation":[]},{"given":"Sonia","family":"Smith","sequence":"additional","affiliation":[]},{"given":"Stephen","family":"Uczekaj","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Wilke","sequence":"additional","affiliation":[]},{"given":"Sean","family":"Bechhofer","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"56_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F. Baader","year":"2002","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2002)"},{"key":"56_CR2","unstructured":"Berglund, A., Boag, S., Chamberlin, D., Fernandez, M.F., Kay, M., Robie, J., Sim\u00e9on, J.: XML Path Language (XPath) 2.0. W3C Working Draft (May 2003), available at \n                    \n                      http:\/\/www.w3.org\/TR\/xpath20\/"},{"key":"56_CR3","unstructured":"Clark, J.: XSL Transformations (XSLT) Version 1.0. W3C Recommendation (November 1999), available at \n                    \n                      http:\/\/www.w3.org\/TR\/xslt"},{"key":"56_CR4","series-title":"LNAI","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 (LNAI), vol.\u00a01705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"key":"56_CR5","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: Web ontology language (OWL) abstract syntax and semantics. W3C Working Draft, February 3 (2003), available at \n                    \n                      http:\/\/www.w3.org\/TR\/2003\/WD-owl-semantics-20030203\/"},{"key":"56_CR6","unstructured":"Robie, J.: XQL (XML Query Language) (August 1999), available at \n                    \n                      http:\/\/www.ibiblio.org\/xql\/xql-proposal.html"},{"key":"56_CR7","unstructured":"Duncan, L., Holmback, H., Kau, A., Poteet, S., Miller, S., Harrison, P., Powell, J., Jenkins, T.: Message processing and data extraction for the Real-Time Information Extraction System (RTIMS) project (Boeing Technical Report BCSTECH\u2013 94\u2013057) (1994)"},{"key":"56_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/3-540-45422-5_28","volume-title":"KI 2001: Advances in Artificial Intelligence","author":"S. Bechhofer","year":"2001","unstructured":"Bechhofer, S., Horrocks, I., Goble, C., Stevens, R.: OilEd: A Reasonable ontology editor for the semantic web. In: Baader, F., Brewka, G., Eiter, T. (eds.) KI 2001. LNCS (LNAI), vol.\u00a02174, pp. 396\u2013408. Springer, Heidelberg (2001)"},{"key":"56_CR9","unstructured":"Bechhofer, S., Horrocks, I., Turi, D.: A simple DL instance store. Submitted (May 2003), available at \n                    \n                      http:\/\/www.cs.man.ac.uk\/~horrocks\/Publications\/publications.html"},{"key":"56_CR10","unstructured":"Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Proc. KR 1998, pp. 636\u2013647 (1998)"},{"issue":"1","key":"56_CR11","first-page":"4","volume":"25","author":"I. Horrocks","year":"2002","unstructured":"Horrocks, I.: DAML+OIL: a description logic for the semantic web. Bull. of the IEEE Computer Society Technical Committee on Data Engineering\u00a025(1), 4\u20139 (2002)","journal-title":"Bull. of the IEEE Computer Society Technical Committee on Data Engineering"},{"key":"56_CR12","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: Web ontology language (OWL) abstract syntax and semantics. W3C Working Draft, February 3 (2003), available at \n                    \n                      http:\/\/www.w3.org\/TR\/2003\/WD-owl-semantics-20030203\/"},{"key":"56_CR13","unstructured":"Grosso, W.E., Eriksson, H., Fergerson, R.W., Gennari, J.H., Tu, S.W., Musen, M.A.: Knowledge modelling at the millenium (The design and evolution of Prot\u00e9g\u00e9-2000). In: Proc. of KAW 1999 (1999)"},{"key":"56_CR14","unstructured":"Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Proc. of IJCAI 2001, pp. 199\u2013204 (2001)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39718-2_56","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T08:52:26Z","timestamp":1552985546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39718-2_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203629","9783540397182"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39718-2_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}