--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or
unsubscribe to the forum, see http://ontologforum.org/info
---
You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAEWU1hmUiNRpsSyun6bXLwvLuAm6WGyqNOStSJKWRGKEonBbEw%40mail.gmail.com.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-foru...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAEWU1hmUiNRpsSyun6bXLwvLuAm6WGyqNOStSJKWRGKEonBbEw%40mail.gmail.com.
--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or
unsubscribe to the forum, see http://ontologforum.org/info
---
You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-foru...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CADtko5%2BjBCb6c4xcGk6KB3x0eEQxanyCdnBXH07kzesZitmwOA%40mail.gmail.com.
--
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAFxxROQ1LbkGWvJ5QNX42H9-JzuV%3DoDuhMTipBchQ4hZSUzipQ%40mail.gmail.com.
Hi Ali,
Your work to formalize BT is coherent with my work to formalize Statics.
Let me share my experience.
When we formalize theoretical knowledge of any kind we need to point out precisely to the text part of which we are formalizing.
In a particular case of BT is this "Bloom, B. S.; Engelhart, M. D.; Furst, E. J.; Hill, W. H.; Krathwohl, D. R. (1956). Taxonomy of educational objectives: The classification of educational goals. Vol. Handbook I: Cognitive domain. New York: David McKay Company." or anything else?
The idea here is that this must be a reference to the initial author's text or textbook, not Wikipedia etc, i.e. not secondary sources.
For example, for Mechanics I can refer to Newton's Principia, or to the first volume of Landau, Lifschitz Theoretical physics famous in Russia.
The next point is that every statement of formal ontology must have reference to the statement or paragraph of the source text to be justified.
This is a burden of formalization: we do not invent new knowledge - we formalize knowledge they have.
This is a kind of well annotated ontology 🚙
Then if you wish, send us the reference to the source text of theoretical knowledge you are formalizing.
And for some statements of "is a" or "subclass" kind where in the text justification is.
I know it's boring and it's better to do automatically during ontology development: you put in ontology OWL2:"subclassOf(Remembering CognitiveLevel)"
and immediately form an annotation "TB1, page ?, line ?" and citation if you wish.
Keep in touch. Formalizing theories of the mind activities is very interesting.
Best regards,
Alex
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/CAEWU1hmBocHfyFyZcUaZynYBmNOF92voYduDFTz8h5WcrsOeNg%40mail.gmail.com.