Projecttwocomplete#4
Conversation
|
@dmcnulty27 Ah I find something interesting. Could you share how to infer Disjoint (a, e) from something else? Do you assume that Disjoint (e, a)? |
Hi Karl :) in regard to question 10, I believe? I think I assumed disjoint (e,a) but can't remember exactly what I did. |
Great minds think alike. If you assume disjoint (e,a) and thus infer disjoint (a,e), that must because we are assuming that Disjoint is symmetric :) |
|
Dear Delaney, Thank you for allowing me to be your reviewer for Project #2! I see that Karl has left you really good feedback. I will try and add feedback where he has not already, give affirmations, and ask questions wherever necessary. Q1: Looks spot on! Q2: I absolutely LOVE that you uploaded pictures. Utah and Oregon are so beautiful! I actually was inspired by you to share pictures, so I did the same! I also like your graphical representation. It looks good! For your TBox, it might be good to also add the iPP ⊑ iP relation to capture the inverse operation. For your role assignments, I think for Part_of, (NP, A) is missing. For inverse Part_of, (U,U), (O,O), (A,A) are missing. Lastly, I did not see concept assignments. If you added concept assignments above your role assignments, it would look something like: Concept Assignments: National Park = {NP}, State = {U, O}, Country = {A} Q3: Looks good! Q4 & Q5: I trust Karl has given you good feedback on these two. I like your two models, contrasting with what we did on the Google doc. Q6: I might follow your lead on 6(d) :). Q7 & Q8: Your explanation for both are wonderful! They are short, succinct and the metaphor/images were very helpfully especially with respect to EL15. Q9: Giacamo, Ali, and Olivia have a really good explanation for how the tableau algorithm works on the Google doc. I used that as primary source to answer this question! Q10: Is that one screenshot for all four (a)-(d)? If so, nice job, that's actually really cool to capture all that for the individual a! A couple remarks: (1) I think it would be good to retake the screenshot in order to show that these are inferred properties for the individual a. For example, because the picture does not show which individual these inferred properties belong to, i.e. a. An observer would not be able to determine which individual these inferences are referring to. It should be easy to retake the picture and show that it belongs to a as the name is right above where your picture cuts off in protege! (2) For (c), does the screenshot also show the inference that b is a part of f? It seems to me that the screenshot does not show that b is a part of f. I think it would be good to take a separate screenshot to show that inference for b (unless I am wrong and missed it in the picture!) I hope that at least some of these remarks are helpful for you. Thanks again for allowing me to review your project! Best, |
|
Jaron, thank you so much for your feedback! I will consider changing q10 but John said a screenshot I told him I am only posting one because it said a and he said that was a reasonable interpretation, lol. Working smarter, not harder although I do agree it may be better to show that these assertations are all from a. I am glad you posted those pictures! Half Dome and Angels Landing are two crowning jewels in any hiker's crown and as somebody who has completed both, it is exciting to see your pictures and remember my time training for and completing both! Just out of curiosity, what was scarier for you, the chain section of Angel's or the cables of Half Dome? Regarding question 2 Karl suggested I remove my Concept Assignments although they are easy and mostly harmless to add back in! Thank you for catching I am missing some assignments in my inverse relations I will get cracking on that! |
Delaney, Dang! I think I need to consider what it means to work smarter with Q10 then lol. Word. Makes sense! You did both as well? Amazing! So cool! Hmm... I did Half Dome when the cables were down in off season. HD was definitely tougher then. When did you do HD? What do you think was scarier? And I agree! It is a harmless addition. It just gives further clarity to the concept classes behind the individuals. Best, |
JaronJCheung
left a comment
There was a problem hiding this comment.
Looks good!
Best,
Jaron
|
|
||
| 2. Use your axioms from question 1 as the basis of an ALCI T-Box. Supplement this T-box with whatever other axioms you like, as well as an A-box, so that you ultimately construct a knowledge base K = (T,A). Provide a model of K. This may be graphical or symbolic or both. | ||
|
|
||
| TBox:{ |
There was a problem hiding this comment.
Oh, I see. So this is where the actual review comment is supposed to be formally. My apologies!
Pending the changes on the comments I have made, which have since been addressed, I approve your Project #2!
Nice job, Delaney!
Best,
Jaron
I thought Half Dome was much scarier even though I had cables lol. Half Dome is such a beautiful and pleasant hike before the cables though, that grove of Red Woods is magical! Shane and I hiked it in July of 2021 right before we moved to Buffalo. Shane is from the Carolinas and we made the decision to go and hike everywhere we could squeeze into between March and the first day of July. IDK Angel's landing it is just a little more involved so your mind has less time to wonder plus the exposed switchbacks on the way up and down is just not it. |
@peihongx @JaronJCheung
Please Review what I was able to do and half do lol :)