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
- I have read paper on Nonmonotic Logic
- 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.
|