Chris Pollett >
Students > [Bio] |
Deliverable-3Create a test OWL document and try to find a logic programming inference engine
Outputs after reasoning about OWL document on the parts of Computer MouseOutputWhy is optical+led subclass of mouse+led? Explanation: has_part range optical mouse+led equivalentTo mouse and has_part some optical optical+led equivalentTo mouse and has_part min 5 Why is led+scroll concept unsatisfiable? Explanation: led+scroll equivalentTo scroll and uses some led and part_of some optical scroll subClassOf ps2_mouse ps2_mouse equivalentTo mouse and uses only not part_of some optical and uses only not optical |