{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:58:18Z","timestamp":1725551898617},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540311980"},{"type":"electronic","value":"9783540322177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11611257_27","type":"book-chapter","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T16:37:18Z","timestamp":1136479038000},"page":"293-302","source":"Crossref","is-referenced-by-count":11,"title":["The Knowledge Cartography \u2013 A New Approach to Reasoning over Description Logics Ontologies"],"prefix":"10.1007","author":[{"given":"Krzysztof","family":"Goczy\u0142a","sequence":"first","affiliation":[]},{"given":"Teresa","family":"Grabowska","sequence":"additional","affiliation":[]},{"given":"Wojciech","family":"Waloszek","sequence":"additional","affiliation":[]},{"given":"Micha\u0142","family":"Zawadzki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F.A. Baader","year":"2003","unstructured":"Baader, F.A., McGuness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"27_CR2","unstructured":"OWL - Web Ontology Language Guide. W3C (2004), available at the address http:\/\/www.w3.org\/TR\/2004\/REC-owl-guide-20040210\/"},{"key":"27_CR3","unstructured":"A Semantic Web Framework for Java, http:\/\/jena.sourceforge.net\/"},{"key":"27_CR4","unstructured":"Goczy\u0142a, K., Grabowska, T., Waloszek, W., Zawadzki, M.: Issues Related to Knowledge Management in e-health System (in Polish). In: G\u00f3rski, J., Wardzi\u00f1ski, A. (eds.) Software Engineering - New Challenges, WNT 2004, ch.\u00a0XXVI, pp.\u00a0358\u2013371 (2004)"},{"key":"27_CR5","unstructured":"Bechhofer, S., Horrocks, I., Turi, D.: Implementing the Instance Store, available at CEUR, http:\/\/sunsite.informatik.rwth-aachen.de\/Publications\/CEUR-WS\/Vol-115\/"},{"key":"27_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11495772_26","volume-title":"Advances in Web Intelligence","author":"K. Goczy\u0142a","year":"2005","unstructured":"Goczy\u0142a, K., Grabowska, T., Waloszek, W., Zawadzki, M.: The Cartographer Algorithm for Processing and Querying Description Logics Ontologies. In: Szczepaniak, P.S., Kacprzyk, J., Niewiadomski, A. (eds.) AWIC 2005. LNCS (LNAI), vol.\u00a03528, pp. 163\u2013169. Springer, Heidelberg (2005)"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Bryant, R.E.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transaction on Computers (1986)","DOI":"10.1109\/TC.1986.1676819"},{"key":"27_CR8","unstructured":"DIGUT Interface Version 1.3. KMG@GUT Technical Report (2005), available at http:\/\/km.pg.gda.pl\/km\/digut\/1.3\/DIGUT_Interface_1.3.pdf"},{"key":"27_CR9","unstructured":"Bechhofer, S.: The DIG Description Logic Interface: DIG\/1.1, University of Manchester, February 7 (2003)"},{"key":"27_CR10","unstructured":"Reynolds, D.: Jena 2 Inference Support (2004), also available at WWW site http:\/\/jena.sourceforge.net\/inference\/index.html"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Optimising Propositional Modal Satisfiability for Description Logic Subsumption (1998), file available at the following Internet site http:\/\/www.cs.man.ac.uk\/~horrocks\/Publications\/download\/1998\/aisc98.ps.gz","DOI":"10.1007\/BFb0055916"},{"key":"27_CR12","unstructured":"Horrocks, I.: FaCT Reference Manual v1.6 (August 1998), Included in FaCT archive from http:\/\/www.cs.man.ac.uk\/horrocks\/FaCT\/"},{"key":"27_CR13","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER User\u2019s Guide and Reference Manual, September 17 (2003), http:\/\/www.cs.concordia.ca\/~haarslev\/racer\/racer-manual-1-7-7.pdf"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2006: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11611257_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:09:29Z","timestamp":1619507369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11611257_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540311980","9783540322177"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11611257_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}