CS297-298 Project News Feed

November 9, 2010

• Added intersection of Collection Class in extended OWL document
• Reasoned about extended OWL document
• Preparing Demo of extension to OWL
• Writing final report

November 2, 2010

• Working on inferences to reason about OWL document
• Solving Error "inconsistent ontology"
• Using Jena Reasoner to reason about OWL doucment
• Writing sample OWL documents to support extension

October 19, 2010

• Dr. Pollett asked to use Java based SAX parser or DOM API to parse OWL document
• Extracted CollectionClass and MemberClassOf from the extended OWL document by using DOM API
• Extracted all the constraints and Guessed values for them
• Wrote reduced OWL document from extended OWL document
• Create a model of the OWL document
• Use Jena Reasoner to reason about OWL doucment

October 12, 2010

• Extracted memberClasOf from the extended OWL document
• Extracted CollectionClass from the extended OWL document
• Guessed values for all the constraints
• Wrote reduced OWL document from extended OWL document
• Mapping derived value of the constraints to guessed values of the constraints

October 5, 2010

• Added memberClassOf tag for defining CollectionClass constraint to the entity
• Added entityOf tag to the entity
• Extracting subClass entity from the extended OWL document
• Extracting objects and Collection Class from extended OWL document

September 28, 2010

• Write semantics for an extension to entity
• Define new properties for objects of any subclass
• Include collection class constraint in Object Property
• Extract extended objects and Collection Class from OWL document

September 21, 2010

• Guess the values for extracted collection class's instances
• Use Jena reasoner to reason about newly written OWL document

September 14, 2010

• Guess the values for extracted collection class's instances
• Write an new OWL document from extracted tag
• Use Jena reasoner to reason about newly written OWL document

September 7, 2010

• Catch the Exception for new tag
• Implement class to extract collectionclass tag from extended OWL document
• Write a OWL document from extracted tag
• Use Jena reasoner to reason about newly written OWL document

August 31, 2010

• Track down the exception
• Catch the exception and follow the output
• Demo of the changes made to support CollectionClass tag
• Extend Explanation Class

Mar 31, 2010

• I am making changes in Pellett's Parser
• Unable to build Pellet's library
• Requirements is to create build.xml and defines targets in that build.xml

Mar 24, 2010

• Dr Pollett told me to extend pellet library as per new extension to OWL
• I was not unable to deploy update source of pellet library
• Changes made in pellet library would destroy while building it
• Dr Pollett told me to create build.xml

Mar 17, 2010

• Dr Pollett told me to extend pellet library as per new extension to OWL
• I need to create Class diagram for pellet library
• I am finding the point of pellet library's source where I can make changes for new extension
• I have started my work on Explanation example of pellet library

Mar 10, 2010

• I have created sample OWL document with extension to OWL
• This document supports collections.
• Dr. Pollett told me to add assertions in this document
• I am going to extend Pellet Library. So it can support extension to OWL.

Mar 3, 2010

• I discussed about new OWL specification with Dr Pollett
• Dr Pollett suggested me to create OWL document which can support extentions
• He also suggested that try to extend Pellet library
• He told me to thing about different inferences for the extension to OWL Class

Febuary 24, 2010

• I thought about new tags as extension to OWL class
• Dr Pollett has shown some example of OWL class instance extension
• I am working on extension which can check do membership test of object
• I have written some specifications which can help me to create tags
• Dr Pollett told to create OWL document which supports this extension after that we can
  write appropriate specifications

Febuary 17, 2010

• Dr Pollett told me to see OWL Class Specification
• I worked on extending specifications of OWL class
• I discussed with Dr Pollett about how to extend OWL class specification
• Dr Pollett suggested to create new tag for OWL class

Febuary 10, 2010

• I have started learning OWL specifications
• Try to write new OWL specitifications
• I am not understanding the concepts of specifications properly

Febuary 3, 2010

• Started working on Deliverable 1 for CS298
• Dr Pollett suggested me learn OWL specifications.
• I have to extend OWL which can support collections
• First task is to learn OWL specifications and write new OWL specification which supports collections
• Second task is to create the OWL document which can support collection
• Third tast is to extend pellet library to support new language

October 27, 2009

• Completed deliverable 4.
• Dr Pollett suggested me to add more regular expression with negation.

October 20, 2009

• Working on deliverable 4.
• Implementing Finite Automata Closure Algorithm
• For Implementing this algorithm, I need to make changes in the stable model program
  I have implemented in deliverable-1.

October 6, 2009

• I am done with deliverable 3.
• I have tested my OWL document with example program of Pellet OWL reasoner.
• I have made some changes in ExplainationExample.java of Pellet OWL reasoner and I have created
  test OWL document on Mouse as per requirement

September 29, 2009

• I have found Pellet,an OWL reasoner which was written in Java.
• It reasons about OWL document.Now I need to test example program with my OWL document.

September 15, 2009

• Continue Working on Deliverable-3
• Prof Pollett has given advice to find OWL reasoner written in Java

September 8, 2009

• Can't find test cases for Thea's OWL reasoner
• As Prof Pollett told,I will learn Prolog to understand the basic terms and modules which are
  written in prolog for Thea's OWL reasoner

September 1, 2009

• Finding newer version Thea's OWL reasoner.
• Run OWL reasoner and reason about OWL document

August 25, 2009

• Created a test OWL document.
• Parse that OWL document with Thea's OWL parser and searching newer version of Thea.

April 28, 2009

• Implementing algorithm for a linear time algorithm for computing the least model of Horn Program.
• Done with implementation of getHornRule function which is finding Horn Sets from guessed values of Variables.

April 21, 2009

• Continue with implementation of checkStablhee_Model
• Dr Pollett has suggested me to read algorithm for computing the leat

April 14, 2009

• Implementing function getHornRule
• getHornRule will predict Horn Sets from guessed values of variables
• Implementing function checkStable_Model
• checkStable_Model will check existence of the stable model for guessed values of variable

April 7, 2009

• Guessing from the rules
• Predicted Horn sets from Parse Rules
• Check the existence of the Stable Model
• Not able to guess differently for all variables in rules
• Professor Pollett suggested to use unsigned int loop for guessing.So it will help to improve speed of application

March 31, 2009

• Completed Parsing of Rules
• Professor Pollett suggested how to count stable model
• Start with predicting Horn Sets from parsed rules

March 17, 2009

• Problem occurred in parsing of rules
• Create two functions to parse head and to parse variables in varlist and negative varlist
• Solved the error that occurred in parsinng

March 10, 2009

• Professor Pollett has suggested to change the rules for counting stable model
• Create a Parse class for parsing new changed rules
• Parsing Variable List and Negative Variable List from rules

March 3, 2009

• Continue working on Stable Model
• Professor Pollett suggested to change the logic and showed some rules for stable model logic
• Developed Horn sets for every rules
• Problems with calculation of Stable Model

February 24, 2009

• Working on Implementation of Stable Model
• Problems in implementation of Stable Model
• Developing logic for Horn Sets

February 17, 2009

• Read a paper from Dr Pollet's Website Publication page on NonMonotic Logic
  1. I have read paper on Nonmonotic Logic
  2. Clear about the concept of predicate logic and stable model
• To understand the concept of Predicate logic
• Deliverable 1: Implement stable model for predicate logic or first order logic
• Dr Pollet show me rules of the prediction for the Stable model
• Implementing rules and prediction for deliverable 1
• Tarski's Truth Definition

February 10, 2009

• Read a paper on Logic programing and implement Stable Model in Java.

February 3, 2009

• Read a book named Nonmonotonic logic about Stable Model of general programs.