![]() | ![]() | ![]() | Solution |
It was probably too easy for a graduate course.
I learned about models and interpretations and about axiomatizing a domain and having an intended interpretation for the symbols and about using an intended interpretation for debugging. I learn that it is not so easy to write an ontology.
![]() | ![]() | ![]() | Solution |