{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:03Z","timestamp":1725558963256},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253273"},{"type":"electronic","value":"9783540319597"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31959-7_7","type":"book-chapter","created":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T18:17:02Z","timestamp":1278526622000},"page":"106-125","source":"Crossref","is-referenced-by-count":3,"title":["Ontologies for the Semantic Web in Casl"],"prefix":"10.1007","author":[{"given":"Klaus","family":"L\u00fcttich","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Swoogle search engine, http:\/\/swoogle.umbc.edu"},{"issue":"3","key":"7_CR2","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., van Benthem, J.: Modal logic and bounded fragments of predicate logic. Journal of Philosophical Logic\u00a027(3), 217\u2013274 (1998)","journal-title":"Journal of Philosophical Logic"},{"volume-title":"The Description Logic Handbook","year":"2003","key":"7_CR3","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Fielding, R., Masinter, L.: Uniform Resource Identifiers (URI): Generic syntax. IETF Draft Standard (RFC 2396)\u00a0 (August. 1998), http:\/\/www.ietf.org\/rfc\/rfc2396.txt","DOI":"10.17487\/rfc2396"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"CASL User Manual","year":"2004","unstructured":"Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004), With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki"},{"key":"7_CR7","unstructured":"Bray, T., Hollander, D., Layman, A. (eds.): Namespaces in XML. W3C Recommendation (January 14, 1999), http:\/\/www.w3.org\/TR\/REC-xml-names\/"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"Cerioli, M., Meseguer, J.: May I borrow your logic (transporting logical structures along maps). Theoretical Computer Science\u00a0173, 311\u2013347 (1997)","journal-title":"Theoretical Computer Science"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"CoFI (The Common Framework Initiative); Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"7_CR10","unstructured":"Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language \u2013 Reference. W3C Recommendation\u00a0 (February 10, (2004), http:\/\/www.w3.org\/TR\/owl-ref\/"},{"volume-title":"Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential","year":"2003","key":"7_CR11","unstructured":"Fensel, D., Hendler, J., Liebermann, H., Wahlster, W. (eds.): Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, Cambridge (2003)"},{"key":"7_CR12","unstructured":"Genesereth, M.R., Fikes, R.E.: Knowlegde interchange format version 3.0 reference manual. Stanford Logic Group, Report Logic-92-1\u00a0 (June 1992), http:\/\/logic.stanford.edu\/sharing\/papers\/kif.ps"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"J. Goguen","year":"2002","unstructured":"Goguen, J., Rosu, G.: Institution morphisms. Formal aspects of computing\u00a013, 274\u2013307 (2002)","journal-title":"Formal aspects of computing"},{"key":"#cr-split#-7_CR14.1","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Logic of Programs 1983??39, 95???146 (1992);","DOI":"10.1145\/147508.147524"},{"key":"#cr-split#-7_CR14.2","unstructured":"Predecessor in: Clarke, E., Kozen, D. (eds.): Logics of Programs. Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983. LNCS, vol.??164. Springer, Heidelberg (1984)"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Meseguer, J.: Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science\u00a0105, 217\u2013273 (1992)","journal-title":"Theoretical Computer Science"},{"key":"7_CR16","unstructured":"Guarino, N.: Personal communication"},{"key":"7_CR17","unstructured":"Horrocks, I.: FaCT and iFaCT. In: Lambrix, P., Borgida, A., Lenzerini, M., M\u00f6ller, R., Patel-Schneider, P.F. (eds.) Proceedings of the International Workshop on Description Logics (DL 1999), pp. 133\u2013135 (1999)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 17\u201329. Springer, Heidelberg (2003)"},{"issue":"1","key":"7_CR19","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"7_CR20","unstructured":"Lambrix, P., Borgida, A., Lenzerini, M., M\u00f6ller, R., Patel-Schneider, P.F. (eds.) Proceedings of the International Workshop on Description Logics, DL 1999 (1999)"},{"key":"7_CR21","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A., Schneider, L.: Wonderweb deliverable D17. The wonderweb library of foundational ontologies and the DOLCE ontology. November\u00a029, Preliminary Report (ver. 2.0, 15-08-2002) (2002)"},{"key":"7_CR22","unstructured":"Mossakowski, T.: The heterogeneous tool set. University of Bremen, Available at http:\/\/www.tzi.de\/cofi\/hets"},{"key":"7_CR23","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I. (eds.): OWL Web Ontology Language \u2013 Semantics and Abstract Syntax. W3C Recommendation\u00a0 (February 10, 2004), http:\/\/www.w3.org\/TR\/owl-semantics\/"},{"key":"7_CR24","unstructured":"Sirin, E., Grove, M., Parsia, B., Alford, R.: Pellet OWL reasoner (May 2004), http:\/\/www.mindswap.org\/2003\/pellet\/index.shtml"},{"key":"7_CR25","unstructured":"Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen (2001)"},{"key":"7_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/3-540-45620-1_22","volume-title":"Automated Deduction - CADE-18","author":"C. Weidenbach","year":"2002","unstructured":"Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobalt, C., Topic, D.: SPASS version 2.0. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol.\u00a02392, pp. 275\u2013279. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31959-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:31:50Z","timestamp":1605760310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31959-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253273","9783540319597"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31959-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}