Περίληψη: | Με το διαδραστικό αυτό μαθησιακό αντικείμενο, δίνεται η δυνατότητα να κατανοήσει ο εκπαιδευόμενος τη σύνταξη και σημασιολογία των Περιγραφικών Λογικών. Συγκεκριμένα, το μαθησιακό αυτό αντικείμενο είναι μία διαδικτυακή εφαρμογή, μέσω της οποίας, μπορεί ο χρήστης να επιλέγει μία οντολογία, να την προεπισκοπεί σε μορφή σύνταξης Περιγραφικών Λογικών και να επιλέγει αξιώματα ισχυρισμών ή ορολογίας που θα ενεργοποιεί. Με βάση τα αξιώματα αυτά θα μπορεί να βλέπει ένα μοντέλο της οντολογίας, το οποίο θα εμφανίζεται αυτόματα, τόσο στη μορφή συνόλων, όσο και στη μορφή γράφου. Με τον τρόπο αυτό, θα μπορεί να εξετάζει τις σημασιολογικές επιπτώσεις των αξιωμάτων και να κατανοεί σε βάθος τους κατασκευαστές και τις ερμηνείες τους.
|