Differences

This shows you the differences between two versions of the page.

--- didattica:ay2425:kebi:main [2025/05/19 10:08] – [Study material] e.laurenzi
+++ didattica:ay2425:kebi:main [2025/05/27 07:47] (current) – [Study material] e.laurenzi
@@ Line 162: / Line 162: @@
     * Literature: Noy, N. F., & McGuinness, D. L. (2001). [[http://protege.stanford.edu/publications/ontology_development/ontology101.pdf | Ontology development 101: A guide to creating your first ontology.]] Stanford Knowledge Systems Laboratory Technical Report KSL-01-05.
     * Download: [[https://protege.stanford.edu/ |Protege: Desktop Version (Platform independent or Windows)]]
+    * Solution: {{:didattica:ay2425:kebi:ontology_msc_bis_homework_solution_.zip | A solution MSc BIS ontology}}
+  * Lecture “Machine Reasoning”
+    * Slides: {{ :didattica:ay2425:kebi:kebi_machine_reasoning.pdf | Machine Reasoning }}
+    * Class hands-on: {{ :didattica:ay2425:kebi:family_tree_with_schema_for_showcasing_rules_with_sparql_in_slides_for_protege.zip | Family tree TTL file for hands-on with CONSTRUCT SPARQL}}
+    * Class exercise {{ :didattica:ay2425:kebi:family_tree_with_contradiction_protege.zip | Protégé File: Family Tree with Contradictions}} and {{:didattica:ay2425:kebi:possible_solutions_for_contradiction_exercise.pdf | possible solutions}}
+    * Class exercise {{ :didattica:ay2425:kebi:shacl_class_exercise_and_solution.pdf | Exercise and solution}} and {{:didattica:ay2425:kebi:shacl_constraint_-_no_more_than_2_parents.zip | the SHACL constraint "no more than 2 parents"}}
+    * Homework {{ :didattica:ay2425:kebi:homework_shacl.pdf | Create SHACL constraints for the MSc BIS ontology }}
+  * Lecture “Convergence of Knowledge Graph and Enterprise Modelling”
+    * Slides: {{ :didattica:ay2425:kebi:kebi_convergenge_of_ontologies_and_enterprise_modelling.pdf | Convergence of Knowledge Graph and Enterprise Modelling}}
+    * Slides: {{ {{ :didattica:ay2425:kebi:kebi_semantic_lifting.pdf | Semantic Lifting}}
+    * Download link: [[https://drive.google.com/file/d/1ZImYKymOB-oaPasdjh7OKJjozWF78G7k/view?usp=sharing | ADOxx-based Modelling Tool BeeUp]]
+    * Class exercise: {{ :didattica:ay2425:kebi:models_in_beeup.zip | ADL file (models) for BeeUp }} and {{ :didattica:ay2425:kebi:ontology_-_class_exercise_-_semantic_lifting.zip | generated TTL file}}
+    * Homework: {{ :didattica:ay2425:kebi:kebi_solution_class_exercise_query_to_ontology_models_created_from_beeup_.pdf | Homework and solution }}
+  * Lecture “Ontology-based Meta Modelling”
+    * Slides: {{ :didattica:ay2425:kebi:kebi_ontology-based_meta-modelling.pdf | Ontology-based Meta Modelling}}
+    * Link to local installation of AOAME: [[https://github.com/BPaaSModelling/AOAME_Local_Installation| Guide for local installation AOAME]]
+    * Class exercise {{ :didattica:ay2425:kebi:1.1_walkthrough_on_ontology-based_modelling_in_aoame.pdf | Walkthrough in AOAME_Part 1}} and {{ :didattica:ay2425:kebi:2.1_walkthrough_and_query_creation_for_agile_metamodelling_in_aoame.pdf | Walkthrough in AOAME_Part 2}}
- * Lecture “Machine Reasoning”
-  * Slides: {{ :didattica:ay2425:kebi:kebi_machine_reasoning.pdf |Machine Reasoning}}
-  * Class exercise {{ :didattica:ay2425:kebi:family_tree_with_contradiction_protege.zip | Protégé File: Family Tree with Contradictions}} and {{ :didattica:ay2425:kebi:possible_solutions_for_contradiction_exercise.pdf | Solutions}}
 </WRAP>
 ----
@@ Line 179: / Line 195: @@
   * [[https://unicam.webex.com/unicam/ldr.php?RCID=859f5b5df2da277c7ef3489214f6283a| 5th of May 2025: Knowledge Graphs]]
   * [[https://unicam.webex.com/unicam/ldr.php?RCID=0aa7bf0585051393c7046dd323254629| 6th of May 2025: RDFS Reasoning and Ontology Engineering]]
+  * [[https://unicam.webex.com/unicam/ldr.php?RCID=98f160ab97ff6278fd0f509c827e7c28| 19th of May 2025: Machine Reasoning]]
 </WRAP>