Deliverable-3

Create a test OWL document and try to find a logic programming inference engine

• The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies.
• I learned OWL.
• I have created a test OWL document for the parts of computer mouse.
• I have used Pellet's OWL Reasoner to reason about OWL document.
• Pellet is a Java library for generating and manipulating OWL.
• It builds OWL ontology for OWL document

Outputs after reasoning about OWL document on the parts of Computer Mouse

Output

Why 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