LUBM test suite generated by Sygenia
LUBM test suite generated by Sygenia
new we all able to run sygenia test
new we all able to run sygenia test
extract CQ formating related code to a single class
extract CQ formating related code to a single class
if dlvPath is not set, then we use ~/bin/dlv or /usr/bin/dlv
if dlvPath is not set, then we use ~/bin/dlv or /usr/bin/dlv
extract CQ formating related code to CQFormater class
extract CQ formating related code to CQFormater class
fix a bug with the name of query head predicate
fix a bug with the name of query head predicate
merge the encoding of DataProperty and ObjectProperty, and encoding of indviduals and literals
merge the encoding of DataProperty and ObjectProperty, and encoding of indviduals and literals
code cleaning
code cleaning
code cleaning
code cleaning
now we can handle data property assertions
now we can handle data property assertions