Knowledge Representation and Reasoning 2025

Knowledge Representation and Reasoning

• 1 Unit 1: Introduction to Knowledge Representation and Reasoning
• 2 Unit 2: Sets, Set Theory, Truth Tables and Logic
• 3 Unit 3: Introduction to Reasoning
• 4 Unit 4: Introduction to Logic Programming
• 5 Unit 5: Introduction to Modeling
• 6 Unit 6: Introduction to Ontology Building and Online and Offline Tools
• 7 Unit 7: Knowledge Elicitation and Formalism
• 8 Unit 8: Modeling with Protégé
• 9 Unit 9: Formalism Techniques and Applications
• 10 Unit 10: Reasoning with Protégé
• 11 Unit 11: Knowledge-Based Technologies and Emerging Applications
• 12 Unit 12: Ontology Evaluation - Case Study

Knowledge Representation and Reasoning Module

This section contains all my work for the Knowledge Representation and Reasoning module from April 2025. The module explores fundamental concepts in knowledge representation, logic programming, ontology development, and reasoning techniques with practical applications in artificial intelligence.

1

Unit 1: Introduction to Knowledge Representation and Reasoning

This week focuses on introduction to and background of Knowledge Representation and Reasoning, covering introductory chapters and background material.

1.1 Key Concepts

• Knowledge Representation: Methods for encoding knowledge in a form that machines can process
• Reasoning: Computational processes for deriving new knowledge from existing knowledge
• Symbolic vs. Subsymbolic approaches: Different paradigms for representing knowledge
• Knowledge-based systems: Systems that use explicit knowledge representation for problem solving

1.2 Learning Outcomes

• Understanding fundamental concepts of knowledge representation
• Identifying different approaches to reasoning in AI systems
• Recognizing the challenges in knowledge representation
• Appreciating the role of KRR in artificial intelligence

1.3 Reflection Notes

Reading Marquis, Papini and Prade (2020) expreses how KR isn't just about computers - it's been around since humans started drawing on cave walls with rocks. The journey from Aristotle's logic to modern AI systems is basically the same human need to get knowledge out of our heads and make it useful. It is interesting that we're still asking the same questions Aristotle did: How do we organize what we know?

The Weststeijn (2011) discussion really clicked with this historical perspective. Those Dutch scholars trying to create universal picture languages weren't doing something new, they were continuing what humans have always done, from tally stones to hieroglyphs. Delgrande et al. (2023) are right that the challenges haven't really changed, we've just got better tools now. It made me think about how the ontologies we'll build in Protégé are just the latest chapter in this ancient story.

References

1. Marquis, P., Papini, O. and Prade, H. (2020) A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, Reasoning and Learning. Switzerland: Springer. Pages 1-43.
2. Delgrande, J.P. et al. (2023) 'Current and Future Challenges in Knowledge Representation and Reasoning', Dagstuhl Manifestos, 1(1), pp. 1–58. Chapters 1 and 2.
3. Giunchiglia, F. et al. (2024) 'From Knowledge Representation to Knowledge Organization and Back', Wisdom, Well-Being, Win-Win, pp. 270–287.
4. Weststeijn, T. (2011). From hieroglyphs to universal characters: Pictography in the early modern Netherlands. Netherlands Yearbook for History of Art, 61(1), 238–281.

Artifacts

• Collaborative Discussion 1 Discussion on Weststeijn (2011) paper and KRR fundamentals

2

Unit 2: Sets, Set Theory, Truth Tables and Logic

This unit introduces the underlying principles of reasoning: set theory, logic, and truth tables. Provides exercises for practicing manipulation of sets and truth tables.

2.1 Key Concepts

• Set Theory: Mathematical study of collections of objects
• Truth Tables: Tables showing all possible truth values for logical expressions
• Boolean Logic: Logical operations including AND, OR, NOT
• Set Operations: Union, intersection, complement, and their logical equivalents
• Logic and Reasoning: How sets and truth tables relate to logical problem solving

2.2 Learning Outcomes

• Describe the rules of set and truth table manipulation
• Use sets to represent logic relationships
• Use truth tables to resolve logic problems
• Review sets and truth tables fundamentals
• Discuss relationship between sets, truth tables, logic and reasoning

2.3 Reflection Notes

Working through the truth tables in Sharma, Lo, and Pilling (2022) made the connection between sets and logic click for me. It's one thing to know that intersection is like AND, but actually building the truth tables shows why it works. The Boolean operations aren't just mathematical abstractions, they're the foundation of how computers think.

Endriss (2021) expresses how Prolog handles sets so naturally. When you write a rule like `member(X, [H|T])`, you're basically doing set theory without thinking about it. The exercises helped me see that the formal notation we learn is just a way to be precise about relationships we already understand intuitively. Makes me think about how much logic we use every day without realizing it's actually formal reasoning.

References

1. Sharma, G., Lo, N. and Pilling, G. (2022) Truth Tables.
2. Endriss, U., (2021) Lecture Notes An Introduction to Prolog Programming. Chapters 1, 2, 3 and 4.

Artifacts

• Set Theory and Truth Table Exercises Practice exercises in set manipulation and truth table construction
• Collaborative Discussion 1 - Peer Responses Responses to peers in ongoing collaborative discussion

3

Unit 3: Introduction to Reasoning

Explores the concept of reasoning and formal methods of reasoning as building blocks for knowledge representation and reasoning.

3.1 Key Concepts

• Reasoning: The process of drawing logical conclusions from premises
• First-Order Logic (FOL): Formal system with quantifiers for representing and reasoning about knowledge
• Quantifiers: Universal (∀) and existential (∃) operators for logical statements
• Semantic Networks: Graph-based knowledge representation using nodes and links
• Frames: Data structures for representing knowledge about objects and situations
• Logic Programming: Programming paradigm using logical statements (Prolog, LISP)

3.2 Learning Outcomes

• Explain what is meant by reasoning
• Describe what is meant by FOL and what its quantifiers mean
• Read, understand, and explain logic statements in selected programming languages
• Discuss formal methods of reasoning as building blocks for KRR

3.3 Reflection Notes

The lecture cast was insightful explaining ZFC axioms (empty set, separation, pairing, choice, infinity, power set, union) through to practical applications.Brachman and Levesque (2004) explained how horn clauses and modus ponens aren't just abstract concepts but actual tools that power Prolog's reasoning engine.

It is clear that from Lee (2024) to Minsky's frames from decades ago still influence modern knowledge representation. The progression from positional logic to FOL to semantic nets shows we're building on solid mathematical foundations making the connection between theory and practice much clearer.

References

1. Brachman, R. and Levesque, H. (2004) Knowledge Representation and Reasoning. Germany: Elsevier Science. Chapters 2, 3, 4 and 5.
2. Lee, A., (2024) 'Knowledge Representation and Reasoning in AI: Analyzing Different Approaches to Knowledge Representation and Reasoning in Artificial Intelligence Systems', Journal of Artificial Intelligence Research, 4(1), pp.14-29.

Artifacts

• Collaborative Discussion 1 - Summary Post Summary of collaborative discussion on knowledge representation foundations

4

Unit 4: Introduction to Logic Programming

This unit introduces logic programming, essential to understanding formal methods such as first order logic. Provides experience writing, running, and evaluating Prolog programs.

4.1 Key Concepts

• Logic Programming: Programming paradigm based on formal logic and first-order logic
• Prolog: Programming language that uses logical statements as executable programs
• Facts and Rules: Basic building blocks of Prolog programs
• Queries: Questions posed to Prolog programs to derive conclusions
• Unification: Pattern matching mechanism in Prolog
• Backtracking: Search strategy for finding multiple solutions
• Programming with FOL: How first-order logic translates to executable programs

4.2 Learning Outcomes

• Create simple statements/programs in selected programming languages
• Execute Prolog programmes in the online environment
• Evaluate Prolog programmes
• Review programming languages based on first order logic (FOL) and Set Theory

4.3 Reflection Notes

Prolog felt backwards at first. Coming from procedural languages, writing `grandparent(X,Z) :- parent(X,Y), parent(Y,Z).` seemed counterintuitive, you declare what's true rather than how to compute it. Working through the animal classification exercise helped, but debugging when rules don't behave as expected proved frustrating. Endriss (2021) chapters 5-6 provided structure, though the theoretical explanations didn't always match the actual implementation.

The unification mechanism from Ritchie (2002) eventually made sense, but backtracking still catches me off-guard. When queries return multiple solutions or fail unexpectedly, it's not always clear why. The logic programming exercises showed both the elegance and the brittleness of declarative approaches, it is powerful when it works, opaque when it doesn't.

References

1. Endriss, U. (2021) Lecture Notes An Introduction to Prolog Programming. Chapters 5 and 6.
2. Ritchie, G. (2002) Prolog Step-by-Step.
3. SWI Prolog. (no date) Prolog interpreter.
4. Genesereth, M. (2023) Prolog as a Knowledge Representation Language the Nature and Importance of Prolog.

Artifacts

• Prolog Programming Exercises Simple Prolog programs and exercises demonstrating facts, rules, and queries

5

Unit 5: Introduction to Modeling

Unit 5 focuses on understanding the concept of modeling and knowledge engineering. Explores how to design and create knowledge models, and how to use Protégé as a modeling tool.

5.1 Key Concepts

• Knowledge Modeling: Creating structured representations of domain knowledge
• Knowledge Engineering: Systematic approach to building knowledge-based systems
• Formal Methods: Mathematical techniques for modeling complex systems
• Types of Models: Diagnostic models, explorative models, analytic models, constructive models
• Protégé: Tool for building knowledge models and ontologies
• Knowledge Acquisition: Process of extracting knowledge from domain experts
• Scientific Method: Systematic approach to knowledge discovery and validation

5.2 Learning Outcomes

• Explain the principles of and approaches to knowledge engineering
• Describe how to design and create knowledge models
• Investigate the principles of knowledge engineering
• Discuss the meaning of knowledge modeling and engineering

5.3 Reflection Notes

Collins (1998) talks about formal methods and how they can be good solution to complex problems. Yun et al. (2021) breaks down the different model types clearly - diagnostic, explorative, analytic, constructive

The knowledge acquisition ties into the scientific method. The progression from RDF to ontologies to SWRL shows how modeling has evolved. Even statistical and probabilistic modeling fits into this bigger picture. It makes case for why we need tools like Protégé to handle all this complexity systematically

References

1. Yun, W.et al. (2021) 'Knowledge modeling: A survey of processes and techniques', International Journal of Intelligent Systems, 36(4), pp.1686-1720.
2. El Khatib, M. M. et al. (2023) 'Dubai Smart City as a Knowledge Based Economy', The Effect of Information Technology on Business and Marketing Intelligence Systems, pp. 1657–1672.
3. Du, S. Q. et al. (2023) 'Tree-GPT: Modular Large Language Model Expert System For Forest Remote Sensing Image Understanding And Interactive Analysis', International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, pp. 1729–1736.

6

Unit 6: Introduction to Ontology Building and Online and Offline Tools

This unit focuses on practical application of ontological approaches for developing knowledge-based systems. Applies knowledge gained so far via case study and hands-on Protégé work.

6.1 Key Concepts

• Ontology Building: Practical development of formal knowledge structures
• Online vs Offline Tools: Different approaches to ontology development
• OWL Ontologies: Web Ontology Language for semantic web
• Protégé 5.5: Industry-standard tool for ontology development
• Knowledge-Based Systems: Systems built using ontological approaches
• Competency Questions: Questions that guide ontology development
• Semantic Reasoning: Drawing inferences from ontological structures

6.2 Learning Outcomes

• Design and implement a knowledge-based system using software tools
• Employ different ontology modelling approaches to develop knowledge-based systems
• Apply the knowledge and skills to develop other knowledge-based solutions
• Use knowledge representation and reasoning tools to design knowledge-based solutions

6.3 Reflection Notes

Working through Debellis (2021) with Protégé 5.5 showed how OWL ontologies function in practice rather than just theory. The step-by-step approach helped me understand how competency questions drive the design process. Building knowledge-based systems connected concepts from previous units, though the complexity of the interface took time to navigate effectively.

Solanki (2019) describes knowledge engineering as both art and science, which became apparent through hands-on work. Different modeling approaches serve different purposes depending on domain requirements and user needs. The case study methodology demonstrated connections between ontology building and practical problem solving, though selecting appropriate modeling strategies remains challenging.

References

1. Debellis, M. (2021) A Practical Guide to Building OWL Ontologies Using Protégé 5.5 and Plugins.
2. Solanki, A (2019) An Introduction to Knowledge Engineering.
3. Ciroku, F. et al. (2024) 'RevOnt: Reverse Engineering of Competency Questions From Knowledge Graphs via Language Models'.
4. Demoly, F., Kim, K.-Y. and Horváth, I. (2019) 'Ontological Engineering for Supporting Semantic Reasoning in Design: Deriving Models Based on Ontologies for Supporting Engineering Design', Journal of Engineering Design.

7

Unit 7: Knowledge Elicitation and Formalism

This unit focuses on concepts and principles of knowledge acquisition, and approaches to knowledge acquisition and formalism as steps in developing accurate and efficient knowledge-based systems.

7.1 Key Concepts

• Knowledge Acquisition: Process of extracting knowledge from domain experts and sources
• Knowledge Elicitation: Specific techniques for capturing tacit knowledge
• Formalization: Converting informal knowledge into structured representations
• Knowledge-Based Systems: Systems built using acquired and formalized knowledge

7.2 Learning Outcomes

• Understand the concept of knowledge acquisition
• Appreciate the processes and techniques of acquiring knowledge
• Develop awareness of issues around knowledge acquisition
• Understand the concept of formalism and knowledge representation

7.3 Reflection Notes

The lecture cast covered knowledge acquisition complexity, distinguishing between data, information, and knowledge in practical terms. Different knowledge types (declarative facts, procedural actions, meta-knowledge for expert decisions) require specific elicitation techniques like laddering, sorting, and matrix-based approaches. The structured nature of these methods became apparent when attempting to capture expert knowledge systematically.

Debellis (2021) provides practical guidance while Blagec et al.'s (2022) AI knowledge graph demonstrates large-scale implementation challenges. The formalization process of converting tacit knowledge into structured representations involves ontological commitments that can be difficult to validate. Knowledge engineering requires balancing technical implementation with domain expertise, though the boundaries between art and science remain unclear.

References

1. Debellis, M. (2021) A Practical Guide to Building OWL Ontologies Using Protégé 5.5 and Plugins.
2. Blagec, K.et al. (2022) 'A Curated, Ontology-Based, Large-Scale Knowledge Graph of Artificial Intelligence Tasks and Benchmarks', Scientific Data, 9(1), pp. 322.
3. Horridge, M. (2011) A Practical Guide To Building OWL Ontologies Using Protégé 4 and CO-ODE Tools.
4. Gavrilova, T. and Andreeva, T. (2012) 'Knowledge Elicitation Techniques in a Knowledge Management Context', Journal of Knowledge Management, 16(4), pp. 523-537.

Artifacts

• ITO Case Study Report Case study review on ITO applying knowledge elicitation and formalization concepts

8

Unit 8: Modeling with Protégé

This unit focuses on equipping you with practical skills to design solutions for knowledge representation and reasoning problems using a systematic approach to exploring, understanding and extracting knowledge from data sources.

8.1 Key Concepts

• Systematic Data Exploration: Methodical approach to understanding data sources
• Protégé Software Tool: Practical implementation environment for ontology development
• Knowledge Extraction: Techniques to derive knowledge from data for representation
• Step-by-Step Ontology Development: Structured process for building knowledge-based systems

8.2 Learning Outcomes

• Apply a step-by-step process to developing an ontology
• Understand the process of exploring and understanding data sources
• Be aware of potential issues around data
• Apply systematic approach to explore and understand data
• Use Protégé software tool to explore data and develop solutions

8.3 Reflection Notes

Working through Debellis (2021) Chapter 4 demonstrated Protégé development methodologies. The systematic approach to data exploration involves understanding data representation and meaningful structuring rather than simple data loading. Following Exercises 1-7 showed incremental development from basic classes to complex relationships, though the learning curve proved steeper than expected.

Data source understanding emerged as a prerequisite for effective ontology building. Issues around data quality, consistency, and completeness become apparent during knowledge formalization attempts. The systematic approach addresses these challenges, though without proper methodology, ontologies may inadequately represent their intended domains. The complexity of real-world data often exceeds theoretical frameworks.

References

1. Debellis, M. (2021) A Practical Guide to Building OWL Ontologies Using Protégé 5.5 and Plugins.
2. Tomaszuk, D. and Hyland-Wood, D. (2020) 'RDF 1.1: Knowledge Representation and Data Integration Language for the Web', Symmetry, 12(1), p. 84.
3. Nebel, B. (2015) 'Logics for Knowledge Representation', International Encyclopedia of the Social & Behavioral Sciences, 14(2), pp. 319-321.
4. Davis, R., Shrobe, H. and Szolovits, P. (2019) What is a Knowledge Representation?
5. Sina, A. (2019) Data modelling with RDF: A tutorial - What is RDF?

Artifacts

• Unit 8 Formative Activity Practical Protégé exercises following Debellis Chapter 4, Exercises 1-7

9

Unit 9: Formalism Techniques and Applications

This unit continues with tutorials to equip you with practical skills to develop knowledge-based systems. It explores inferencing and reasoning using Protégé software through worked examples from case studies.

9.1 Key Concepts

• Logic-Based Representation: Formal approach to knowledge representation using logical systems
• Description Logic (DL): Family of formal knowledge representation languages
• Inferencing and Reasoning: Drawing conclusions from ontology data models using Protégé tools
• Open World Assumption: Fundamental principle in knowledge representation and reasoning

9.2 Learning Outcomes

• Develop understanding of reasoning languages
• Develop capacity to interpret reasoning language
• Learn to use Protégé tools to develop reasoning and inferencing capabilities
• Apply concept of reasoning to make inferences from ontology data models

9.3 Reflection Notes

The lecture cast covered logic-based representation and formal system complexity. Working with description logic (DL) demonstrated connections between McCarthy's AI formalization approach and current ontology development. Minsky's perspective highlighted the challenge of balancing flexibility with formal correctness, particularly since perfect completeness proves unattainable in real-world implementations.

Protégé reasoning tools provided concrete application of theoretical concepts. The Open World Assumption fundamentally alters the interpretation of "unknown" versus "false" information. Reasoning as inference from knowledge bases requires handling global and class consistency, emphasizing the necessity for precise definitions in logic systems and ontology-based rules, though this precision can limit practical flexibility.

References

1. Debellis, M. (2021) A Practical Guide to Building OWL Ontologies Using Protégé 5.5 and Plugins.
2. Brachman, R. and Levesque, H. (2004) Knowledge Representation and Reasoning. Germany: Elsevier Science. Chapter 3.
3. Harmelen, F V., Lifschitz, V. and Porter, B. (2008) Handbook of Knowledge Representation. Chapter 3.
4. Nasim, T. M. (2022) 'Improving Ontology Alignment Using Machine Learning Techniques', ProQuest Dissertations & Theses.
5. Kádár, B., Terkaj, W. and Sacco, M. (2013) 'Semantic Virtual Factory Supporting Interoperable Modelling and Evaluation of Production Systems', CIRP Annals, 62(1), pp. 443-446.
6. Brachman, R.J. and Schmolze, J.G. (1989) 'An overview of the KL-ONE knowledge representation system', Readings in artificial intelligence and databases, 9(2), pp. 207-230.

Artifacts

• Collaborative Learning Discussion 2 Three-week formative discussion exploring ontologies

10

Unit 10: Reasoning with Protégé

This unit focuses on the architecture of a knowledge-based system and how various concepts fit within. It introduces further concepts to build on knowledge of reasoning in knowledge-based systems.

10.1 Key Concepts

• Knowledge-Based System Architecture: How components of KBS work together for knowledge representation and reasoning
• Attribute Language Complements (ALC): Description logic for expressing complex concepts
• Open World Assumption (OWA): Unknown information is not assumed to be false
• Closed World Assumption (CWA): What is not known to be true is false
• Reasoning with Protégé: Using automated reasoners for inference and validation

10.2 Learning Outcomes

• Develop further understanding of formalism approaches and techniques to knowledge representation and reasoning
• Appreciate the challenges involved in the application of KRR techniques
• Develop awareness of issues around KRR based systems
• Discuss architecture of knowledge-based systems and its role in KRR

10.3 Reflection Notes

Working through Debellis (2021) exercises 22-26 demonstrated how reasoning transforms static ontologies into dynamic knowledge systems. The distinction between Open and Closed World Assumptions fundamentally alters possible conclusions. In medical systems like Bright et al.'s (2012) antibiotic prescribing ontology, OWA proves essential since missing data does not indicate false information, though this creates ambiguity in practical applications.

KBS architecture revealed interdependencies between knowledge base, inference engine, and user interface components. ALC and description logic complexity present challenges when balancing expressiveness with computational efficiency. The trade-off between complex reasoning capabilities and performance requirements remains difficult to optimize, particularly in resource-constrained environments.

References

1. Debellis, M. (2021). A Practical Guide to Building OWL Ontologies Using Protégé 5.5 and Plugins.
2. Bright, T.J.et al. (2012) 'Development and Evaluation of an Ontology for Guiding Appropriate Antibiotic Prescribing', Journal of Biomedical Informatics, 45(1), pp. 120-128.
3. Kejriwal, Mayank. (2022) 'Knowledge Graphs: A Practical Review of the Research Landscape', Information, 13(4).
4. Hartel, F.W.et al. (2005) 'Modeling a Description Logic Vocabulary for Cancer Research', Journal of Biomedical Informatics, 38(2), pp. 114-129.

11

Unit 11: Knowledge-Based Technologies and Emerging Applications

This unit helps you reflect on various topics covered in the module and investigate the future of knowledge-based systems as an approach to developing AI systems. It identifies various projects and initiatives on ontology development for future KBS.

11.1 Key Concepts

• Ontology-Based Engineering: Integration of ontologies in engineering systems across social, economic, and political domains
• Enterprise Applications: ERP, PDM, CRM, and computer-aided systems using ontological approaches
• Multi-Domain Ontology: Ontologies spanning multiple domains and application areas
• Semantic Technologies: Use of ontologies as semantic technologies in engineering applications
• Emerging Use Cases: Product design, manufacturing, distributed data management, software development, GIS

11.2 Learning Outcomes

• Develop understanding of key KRR based technologies
• Develop ability to appraise KBS technologies and underlying modeling approaches
• Develop awareness of emerging technologies around KRR based systems
• Discuss emerging approaches to developing ontology and knowledge-based systems
• Understand concept of multi-domain ontology

11.3 Reflection Notes

The lecture cast covered widespread adoption of ontology-based engineering across various sectors. Examples including ERP systems, manufacturing chains, and GIS applications demonstrate semantic technologies addressing practical business requirements beyond academic research contexts. The Ontology-Based Engineering Group's harmonization efforts address fragmentation across multiple domains attempting to implement these techniques.

Amirhosseini (2023) highlighted complexity issues in ontology evaluation for multi-domain systems. Challenges around UML to OWL conversion and consistency maintenance across different technological approaches present significant implementation barriers. Use cases like product design automation and dynamic manufacturing orchestration suggest potential applications, though scalability and integration challenges remain substantial obstacles for widespread adoption.

References

1. Debellis, M. (2021). A Practical Guide to Building OWL Ontologies Using Protégé 5.5 and Plugins.
2. Amirhosseini, M. (2023) 'The Identification of the Information Quanta in Semantic Network: A basis for the Structural Analysis in Ontology Evaluation', International Journal of Information Science and Management, 21 (1), pp. 149–161.

12

Unit 12: Ontology Evaluation - Case Study

This unit focuses on end-to-end development of knowledge-based systems using ontology. It discusses approaches to ontology development, methodology, and evaluation approaches based on case studies.

12.1 Key Concepts

• End-to-End Ontology Development: Complete lifecycle from conception to deployment
• Ontology Development Strategies: Different methodological approaches to building ontologies
• Evaluation Methodologies: Approaches to ensuring fit-for-purpose knowledge-based systems
• Case Study Analysis: Learning from real-world ontology implementations
• Development Choices and Decisions: Critical decisions in ontology design process

12.2 Learning Outcomes

• Critically evaluate methods and approaches to knowledge-based systems
• Develop ability to evaluate ontologies for knowledge-based system applications
• Explore development choices and decisions needed when developing ontologies
• Understand emerging methodologies and their applications

12.3 Reflection Notes

De Colle et al.'s (2023) infectious disease ontology ecosystem demonstrated real-world ontology development complexity. Strategic choices from scope decisions to evaluation criteria indicate that successful ontology development requires project management and stakeholder engagement alongside technical modeling skills. The case study revealed gaps between theoretical frameworks and practical implementation challenges.

Reflective practice readings (Loughran, 2007; Bolton, 2006) emphasized learning through development process documentation. The module progression from basic KR concepts through practical Protégé implementation to industrial applications revealed incremental knowledge building, though connections between units sometimes felt forced. Ontology evaluation extends beyond technical correctness to problem-solving effectiveness, though measuring success remains subjective and context-dependent.

References

1. De Colle, G., Hasanzadeh, A. and Beverley, J. (2023) 'Ontology Development Strategies and the Infectious Disease Ontology Ecosystem', Proceedings of the International Conference on Biomedical Ontologies.
2. Loughran, J. (2007) 'Learning Journals: A Handbook for Reflective Practice and Professional Development', Canadian Society for the Study of Higher Education, pp. 114–116.
3. Bolton, G. (2006) 'Narrative Writing: Reflective Enquiry into Professional Practice', Educational Action Research. Routledge, 14(2), pp. 203–218.
4. Harmelen, F V., Lifschitz, V. and Porter, B. (2008) Handbook of Knowledge Representation. Chapter 25.
5. Tarasov, V., Seigerroth, U. and Sandkuhl, K. (2019). 'Ontology Development Strategies in Industrial Contexts', in Abramowicz, W., Paschke, A. (eds) Business Information Systems Workshops, Springer.

← Back to Home