{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T20:01:04Z","timestamp":1773086464646,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540437604","type":"print"},{"value":"9783540480051","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48005-6_40","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T21:15:43Z","timestamp":1179609343000},"page":"454-459","source":"Crossref","is-referenced-by-count":23,"title":["Consistency Checking of Semantic Web Ontologies"],"prefix":"10.1007","author":[{"given":"Kenneth","family":"Baclawski","sequence":"first","affiliation":[]},{"given":"Mieczyslaw M.","family":"Kokar","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Waldinger","sequence":"additional","affiliation":[]},{"given":"Paul A.","family":"Kogut","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"40_CR1","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobsen. UML Notation Guide, Version 1.1, September 1997."},{"key":"40_CR2","unstructured":"Chimara. Website. \n                    www.ksl.Stanford.edu\/software\/chimaera\n                    \n                  ."},{"key":"40_CR3","unstructured":"DAML. DARPA Agent Markup Language Web Site, 2001. \n                    www.daml.org\n                    \n                  ."},{"key":"40_CR4","unstructured":"G. Frank. Hybrid reasoning architecture general purpose first-order logic theorem prover suite of special-purpose reasoners. \n                    www.ksl.stanford.edu\/software\/JTP\n                    \n                  ."},{"key":"40_CR5","unstructured":"M. Genesereth. Knowledge Interchange Format draft proposed American National Standard (dpANS) NCITS.T2\/98-004, 1998. Available at logic.stanford.edu\/-kif\/dpans.html."},{"key":"40_CR6","unstructured":"I. Horrocks. FaCT: Fast Classification of Terminologies Web Site, \n                    www.cs.man.ac.uk\/~horrocks\/FaCT\n                    \n                  ."},{"key":"40_CR7","unstructured":"Jess. Java expert system shell. herzberg.ca.sandia.gov\/jess."},{"key":"40_CR8","unstructured":"M. Kokar, J. Letkowski, K. Baclawski, and J. Smith. The ConsVISor consistency checking tool, March 2001. Available at vis.home.mindspring.com\/-consvisor.html."},{"key":"40_CR9","unstructured":"D. McGuinness, R. Fikes, J. Rice, and S. Wilder. An environment for merging and testing large ontologies. In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, Colorado, USA, April 12\u201315 2000."},{"key":"40_CR10","unstructured":"OilEd. Ontology editor for DAML+OIL. oiled.man.ac.uk."},{"key":"40_CR11","unstructured":"RDF. Resource description framework (RDF) model and syntax specification, Feburary 1999. \n                    www.w3.org\/TR\/REC-rdf-syntax\n                    \n                  ."},{"key":"40_CR12","unstructured":"SNARK. SRI\u2019s new automated reasoning kit. \n                    www.ai.sri.com\/~stickel\/-snark.html\n                    \n                  ."},{"key":"40_CR13","unstructured":"M. E. Stickel, R. J. Waldinger, and V. K. Chaudhri. A Guide to SNARK. \n                    www.ai.sri.com\/snark\/tutorial\/tutorial.html\n                    \n                  ."},{"key":"40_CR14","unstructured":"UML Based Ontology Toolset. Web Site, 2001. ubot.lockheedmartin.com."},{"key":"40_CR15","unstructured":"F. Harmelen van, P. Patel-Schneider, I. Horrocks, D. Connolly, L. Stein, and D. McGuinness, editors. Annotated DAML+OIL Ontology Markup. DARPA Agent Markup Language, March 2001. \n                    www.daml.org\/2001\/03\/daml+oil-walkthru.html\n                    \n                  ."}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2014 ISWC 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48005-6_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:24:57Z","timestamp":1550348697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48005-6_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437604","9783540480051"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48005-6_40","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}