{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T05:59:26Z","timestamp":1737957566382,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775805"},{"type":"electronic","value":"9783540775812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-77581-2_24","type":"book-chapter","created":{"date-parts":[[2008,2,7]],"date-time":"2008-02-07T06:39:30Z","timestamp":1202366370000},"page":"351-362","source":"Crossref","is-referenced-by-count":2,"title":["Establishing the Semantic Web Reasoning Infrastructure on Description Logic Inference Engines"],"prefix":"10.1007","author":[{"given":"Dimitrios A.","family":"Koutsomitropoulos","sequence":"first","affiliation":[]},{"given":"Dimitrios P.","family":"Meidanis","sequence":"additional","affiliation":[]},{"given":"Anastasia N.","family":"Kandili","sequence":"additional","affiliation":[]},{"given":"Theodore S.","family":"Papatheodorou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Dickinson, I.: Implementation experience with the DIG 1.1 specification. Tech. Report HPL-2004-85, Hewlett Packard, Digital Media Sys. Labs, Bristol (2004)","key":"24_CR1"},{"unstructured":"Fikes, R., Jenkins, J., Gleb, F.: JTP: A System Architecture and Component Library for Hybrid Reasoning. In: Proc. of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (2003)","key":"24_CR2"},{"unstructured":"Haarslev, V., M\u00f6ller, R.: Racer: A Core Inference Engine for the Semantic Web. In: EON 2003. Proc. of the 2nd International Workshop on Evaluation of Ontology-based Tools, pp. 27\u201336 (2003)","key":"24_CR3"},{"unstructured":"Horridge, M., Bechhofer, S., Noppens, O.: Igniting the OWL 1.1 Touch Paper: The OWL API. In: OWLED 2007. Proc. of the OWL Experiences and Directions Workshop (2007)","key":"24_CR4"},{"unstructured":"Horridge, M., Tsarkov, D., Redmond, T.: Supporting Early Adoption of OWL 1.1 with Prot\u00e9g\u00e9-OWL and FaCT++. In: OWLED 2006. Proc. of the OWL Experiences and Directions Workshop (2006)","key":"24_CR5"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-540-39718-2_2","volume-title":"The Semantic Web - ISWC 2003","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 17\u201329. Springer, Heidelberg (2003)"},{"key":"24_CR7","volume-title":"IJCAI 2005. Proc. Of the 19th Int. Joint Conf. on Art. Intelligence","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: IJCAI 2005. Proc. Of the 19th Int. Joint Conf. on Art. Intelligence, Morgan Kaufm., Seattle (2005)"},{"doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U.: Optimised reasoning for SHIQ. In: ECAI 2002. Proc. of the 15th Eur. Conf. on Artificial Intelligence, pp. 277\u2013281 (2002)","key":"24_CR8","DOI":"10.25368\/2022.118"},{"unstructured":"Hsu, E., McGuinness, D.: Wine Agent: Semantic Web Testbed Application. In: Proc. Of Workshop on Description Logics (2003)","key":"24_CR9"},{"issue":"3","key":"24_CR10","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/MIS.2003.1200733","volume":"18","author":"J. Kopena","year":"2003","unstructured":"Kopena, J., Regli, W.C.: DAMLJessKB: A tool for reasoning with the Semantic Web. IEEE Intelligent Systems\u00a018(3), 74\u201377 (2003)","journal-title":"IEEE Intelligent Systems"},{"unstructured":"Koutsomitropoulos, D.A., Fragakis, M.F., Papatheodorou, T.S.: Discovering Knowledge in Web Ontologies: A Methodology and Prototype Implementation. In: Proc. of SEMANTICS 2006, OCG, pp. 151\u2013164 (2006)","key":"24_CR11"},{"doi-asserted-by":"crossref","unstructured":"Koutsomitropoulos, D.A., Papatheodorou, T.S.: Expressive Reasoning about Cultural Heritage Knowledge Using Web Ontologies. In: WEBIST 2007. Proc. of 3d Int.Conf. on Web Information Systems and Technologies, WIA track, pp. 276\u2013281 (2007)","key":"24_CR12","DOI":"10.5220\/0001283502760281"},{"doi-asserted-by":"crossref","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics\u00a05(2) (2007)","key":"24_CR13","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"24_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77581-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T03:58:19Z","timestamp":1737950299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77581-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540775805","9783540775812"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77581-2_24","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2008]]}}}