迈向概念描述和约束的形式化

Matt Selway, M. Stumptner, W. Mayer
{"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}
引用次数: 0

摘要

在工业4.0等未来环境中,工业系统的集成管理需要在整个工程生命周期中有效地管理信息。当系统经过设计、建造、操作、维护、更新或更换阶段时,它们将通过不同的信息生态系统进行管理,这就需要改变对其描述性信息的看法。在软件和硬件工件、功能、文档和管理软件的相互作用中,一个核心角色是概念的描述(即量化领域内概念的形式化定义)。在本文中,我们提出了一种统一的形式化描述,允许对工业工程生命周期中可以找到的设计、类型、产品和具体工件之间的关系进行一致的分析。该方法与我们之前在DOLCE基础本体上下文中描述工件、需求和功能角色的框架是一致的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
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.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Fiat Surfaces in the Basic Formal Ontology. Axiomatizing SNOMED CT Disorders: Should There Be Room for Interpretation? Asymmetric Hybrids: Dialogues for Computational Concept Combination Debugging Classical Ontologies Using Defeasible Reasoning Tools Towards a Unified Dispositional Framework for Realizable Entities
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1