Under CopyrightTautz, C.C.TautzGresse von Wangenheim, C.C.Gresse von Wangenheim2022-03-0706.09.20071998https://publica.fraunhofer.de/handle/publica/28970910.24406/publica-fhg-2897091 Purpose of Report S.1 2 Introduction S.2-4 - 2.1 Basic Terms S.3-4 Table of Contents S.5-9 - 2.2 Modeling Levels S.5-6 - 2.3 The Representation Formalism REFSENO S.7-8 - 2.4 Structure of this Report S.9 3 Notation S.10-45 - 3.1 Concept S.10-14 - 3.1.1 Synonyms S.10 - 3.1.2 Definition S.10-11 - 3.1.3 Description S.11-12 - 3.1.4 Representation S.13 - 3.2.2 Definition S.13 - 3.1.5 Example S.14 - 3.1.6 Alternate Representation S.14 - 3.2 Terminal Concept Attributes S.14-20 - 3.2.1 Synonyms S.15 - 3.2.3 Description S.15 - 3.2.4 Representation S.16 - 3.2.5 Example S.17-19 - 3.2.6 Alternate Representation S.20 - 3.3 Types of Terminal Concept Attributes S.20-28 - 3.3.1 Synonyms S.21 - 3.3.2 Definition S.21-23 - 3.3.3 Description S.23-24 - 3.3.4 Representation S.24-27 - 3.3.5 Example S.28 - 3.3.6 Alternate Representation S.28 - 3.4 Nonterminal Concept Attributes S.29-32 - 3.4.1 Synonyms S.29 - 3.4.2 Definition S.29-30 - 3.4.3 Description S.30 - 3.4.4 Representation S.31 - 3.4.5 Example S.31 - 3.4.6 Alternate Representation S.32 - 3.5.1 Synonyms S.32 - 3.5 Kinds of Nonterminal Concept Attributes S.33-36 - 3.5.2 Definition S.33 - 3.5.3 Description S.33-34 - 3.5.4 Representation S.34-35 - 3.5.5 Example S.36 - 3.6 Instances S.36-38 - 3.5.6 Alternate Representation S.37 - 3.6.1 Synonyms S.37 - 3.6.2 Definition S.37 - 3.6.4 Representation S.37-38 - 3.6.3 Description S.38 - 3.6.6 Alternate Representation S.38 - 3.7 Formulas S.38-45 - 3.7.1 Synonyms S.38 - 3.7.2 Definition S.38 - 3.7.3 Description S.38-39 - 3.6.5 Example S.39-43 - 3.7.4 Representation S.43 - 3.7.5 Example S.43-44 - 3.7.6 Alternate Representation S.44-45 4 Semantics S.46-66 - 4.1 Retrieval of Context-Specific Knowledge S.53-60 - 4.1.1 Relation to Software Engineering S.54-55 - 4.1.2 Description S.55-60 - 4.2 Insertion of New Context-Specific Knowledge S.61-64 - 4.2.1 Relation to Software Engineering S.62-63 - 4.2.2 Description S.63-64 - 4.3 Removal of Context-Specific Knowledge S.65-66 - 4.3.1 Relation to Software Engineering S.65 - 4.3.2 Description S.65-66 - 4.4 Change of Existing Context-Specific Knowledge S.66 - 4.4.1 Relation to Software Engineering S.66 - 4.4.2 Description S.66 5 Applying REFSENO: Benefits and Lessons Learned S.67-77 - 5.1 Linguistic Level S.67 - 5.2 Conceptual Level S.67-71 - 5.2.1 Building an Ontology S.68-70 - 5.2.2 Evolving an Ontology S.70-71 - 5.2.3 Validating an Ontology S.71 - 5.3 Epistemological Level S.72-75 - 5.3.1 Benefits of REFSENO S.72-73 - 5.3.2 Validation of REFSENO S.73-75 - 5.4 Implementation Level S.76-77 6 Summary and Outlook S.78 7 Acknowledgments S.79-82 Appendix A:Example Ontology S.83-151 - A.1 Concept Glossary S.84-86 - A.2 Terminal And Nonterminal Concept Attributes S.87-127 - A.3 Type Table S.127-132 - A.4 Symbol Glossary S.132-139 - A.5 Predefined Kinds S.140-151en004005006report