First commit, version 0.1
Moved checkIfOWLLD function in module checkProfile.py
Removed *.pyc files and added .gitignore rule
Added first version of OWL-RL rule base
Updated README file
Added support for blank nodes and choice of the profile
Deleted old comments
Added one intersection (ClassG = ClassD and ClassE and ClassF) in the example ontology and the corresponding recursive rule in the rule base
Updated the README file with simple instructions for running the program
Added scm-uni rule to rule base
Added cls-oo rule to rule base
Added first version of some other rules (several TODOs remaining)
Added first version (to check) of rules cls-int{1,2} and cls-uni
Added PyKE-specific rules, added example test ontology
Updated conv_to_pyke, almost completed OWL-RL standard rules, added rule for minCardinality
Ignore .kfb generated files
Remove unneeded files
Separated additional rules from OWL-RL rules