LEADER 04939nam 22008295 450 001 9910299228203321 005 20200630131448.0 010 $a3-319-21545-0 024 7 $a10.1007/978-3-319-21545-7 035 $a(CKB)3710000000454199 035 $a(SSID)ssj0001558331 035 $a(PQKBManifestationID)16183792 035 $a(PQKBTitleCode)TC0001558331 035 $a(PQKBWorkID)14818892 035 $a(PQKB)10813529 035 $a(DE-He213)978-3-319-21545-7 035 $a(MiAaPQ)EBC6298317 035 $a(MiAaPQ)EBC5594436 035 $a(Au-PeEL)EBL5594436 035 $a(OCoLC)915159114 035 $a(PPN)187690235 035 $a(EXLCZ)993710000000454199 100 $a20150724d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Ontologies Meet Industry$b[electronic resource] $e7th International Workshop, FOMI 2015, Berlin, Germany, August 5, 2015, Proceedings /$fedited by Roberta Cuel, Robert Young 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (IX, 139 p. 34 illus.) 225 1 $aLecture Notes in Business Information Processing,$x1865-1348 ;$v225 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-21544-2 327 $aA Representational Analysis of the API4KP Metamodel -- Ontologies for Business Networks Identification -- Ontology Mapping in an E-Commerce Application -- Ontologies in the Realm of Enterprise Modeling ? a Reality Check -- Experience of Formal Application Ontology Development to Enhance User Understanding in a Geo Business Intelligence SaaS Platform -- An Ontology-Based Architecture for Storage Management -- Toward an Ontological Formalization of Technical Product for Design and Manufacturing -- Developing an Ontology for Joints in Furniture Design -- Created in Closed Interaction with the Industry: The Smart Appliances REFerence (SAREF) Ontology -- An Ontology for Global Production Network Design and Reconfiguration -- Ontology in Engineering Applications. 330 $aThis book constitutes the proceedings of the 7th International Formal Ontologies Meet Industries Workshop held in Berlin, Germany, in August 2015. The 11 full research papers accepted for FOMI 2015 were selected from 18 submissions. The papers focus on theoretical studies of formal ontologies committed to provide a sound basis for industrial applications and to allow formal representation of corporate knowledge, and on business experiences in case studies that single out concrete problems and possible solutions in the creation and deployment of formal ontologies. Overall, they provide valuable insights into the current state of progress in supporting industrial information and knowledge sharing through the development of formal ontologies. 410 0$aLecture Notes in Business Information Processing,$x1865-1348 ;$v225 606 $aArtificial intelligence 606 $aKnowledge management 606 $aApplication software 606 $aManagement information systems 606 $aApplied mathematics 606 $aEngineering mathematics 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aKnowledge Management$3https://scigraph.springernature.com/ontologies/product-market-codes/515030 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 606 $aBusiness Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/522030 606 $aMathematical and Computational Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/T11006 615 0$aArtificial intelligence. 615 0$aKnowledge management. 615 0$aApplication software. 615 0$aManagement information systems. 615 0$aApplied mathematics. 615 0$aEngineering mathematics. 615 14$aArtificial Intelligence. 615 24$aKnowledge Management. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aComputer Appl. in Administrative Data Processing. 615 24$aBusiness Information Systems. 615 24$aMathematical and Computational Engineering. 676 $a025.04 702 $aCuel$b Roberta$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYoung$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910299228203321 996 $aFormal Ontologies Meet Industry$92544343 997 $aUNINA