{"title":"迈向概念描述和约束的形式化","authors":"Matt Selway, M. Stumptner, W. Mayer","doi":"10.3233/faia210368","DOIUrl":null,"url":null,"abstract":"The integrated management of industrial systems in future environments like Industry 4.0 requires the effective management of information throughout the engineering life cycle. As systems pass through phases of design, construction, operation, maintenance, renewal or replacement, they will be administered via different information ecosystems, requiring changing perspectives on their descriptive information. A central role in the interplay of software and hardware artefacts, functions, documentation and managing software is played by the descriptions of concepts (i.e. formalised definitions of concepts within the domain of quantification). In this paper we propose a unified formalisation of descriptions that permits consistent analysis of the relationships between the designs, types, products, and concrete artefacts that can be found in the industrial engineering life-cycle. The approach is consistent with our earlier framework that describes artefacts, requirements and functional roles in the context of the DOLCE foundational ontology.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"8 1","pages":"18-32"},"PeriodicalIF":0.0000,"publicationDate":"2021-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Towards Formalisation of Concept Descriptions and Constraints\",\"authors\":\"Matt Selway, M. Stumptner, W. Mayer\",\"doi\":\"10.3233/faia210368\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The integrated management of industrial systems in future environments like Industry 4.0 requires the effective management of information throughout the engineering life cycle. As systems pass through phases of design, construction, operation, maintenance, renewal or replacement, they will be administered via different information ecosystems, requiring changing perspectives on their descriptive information. A central role in the interplay of software and hardware artefacts, functions, documentation and managing software is played by the descriptions of concepts (i.e. formalised definitions of concepts within the domain of quantification). In this paper we propose a unified formalisation of descriptions that permits consistent analysis of the relationships between the designs, types, products, and concrete artefacts that can be found in the industrial engineering life-cycle. The approach is consistent with our earlier framework that describes artefacts, requirements and functional roles in the context of the DOLCE foundational ontology.\",\"PeriodicalId\":90829,\"journal\":{\"name\":\"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)\",\"volume\":\"8 1\",\"pages\":\"18-32\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-12-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3233/faia210368\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3233/faia210368","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Towards Formalisation of Concept Descriptions and Constraints
The integrated management of industrial systems in future environments like Industry 4.0 requires the effective management of information throughout the engineering life cycle. As systems pass through phases of design, construction, operation, maintenance, renewal or replacement, they will be administered via different information ecosystems, requiring changing perspectives on their descriptive information. A central role in the interplay of software and hardware artefacts, functions, documentation and managing software is played by the descriptions of concepts (i.e. formalised definitions of concepts within the domain of quantification). In this paper we propose a unified formalisation of descriptions that permits consistent analysis of the relationships between the designs, types, products, and concrete artefacts that can be found in the industrial engineering life-cycle. The approach is consistent with our earlier framework that describes artefacts, requirements and functional roles in the context of the DOLCE foundational ontology.