Chris Pollett > Students >
Jignesh

    ( Print View )

    [Bio]

    [Project Blog]

    [CS297 Proposal]

    [Deliverable 1]

    [Deliverable 2]

    [Deliverable 3]

    [Deliverable 4]

    [CS297 Report - PDF]

    [CS298 Proposal]

    [CS298 Presentation-PDF]

    [CS298 Report-PDF]

                          

























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