Protege 4.1 plug-in for defeasible reasoning in OWL ontologies. The semantics for the notion of defeasibility that we use is based on preferential model semantics introduced by Lehmann and Magidor (1992) for propositional logic.
SHOW FULL COLUMNS FROM `jrk_downrecords` [ RunTime:0.001365s ]
SELECT `a`.`aid`,`a`.`title`,`a`.`create_time`,`m`.`username` FROM `jrk_downrecords` `a` INNER JOIN `jrk_member` `m` ON `a`.`uid`=`m`.`id` WHERE `a`.`status` = 1 GROUP BY `a`.`aid` ORDER BY `a`.`create_time` DESC LIMIT 10 [ RunTime:0.099967s ]
SHOW FULL COLUMNS FROM `jrk_tagrecords` [ RunTime:0.001119s ]
SELECT * FROM `jrk_tagrecords` WHERE `status` = 1 ORDER BY `num` DESC LIMIT 20 [ RunTime:0.001875s ]
SHOW FULL COLUMNS FROM `jrk_member` [ RunTime:0.001223s ]
SELECT `id`,`username`,`userhead`,`usertime` FROM `jrk_member` WHERE `status` = 1 ORDER BY `usertime` DESC LIMIT 10 [ RunTime:0.003545s ]
SHOW FULL COLUMNS FROM `jrk_searchrecords` [ RunTime:0.001060s ]
SELECT * FROM `jrk_searchrecords` WHERE `status` = 1 ORDER BY `num` DESC LIMIT 5 [ RunTime:0.003248s ]
SELECT aid,title,count(aid) as c FROM `jrk_downrecords` GROUP BY `aid` ORDER BY `c` DESC LIMIT 10 [ RunTime:0.014530s ]
SHOW FULL COLUMNS FROM `jrk_articles` [ RunTime:0.001319s ]
UPDATE `jrk_articles` SET `hits` = 1 WHERE `id` = 297256 [ RunTime:0.061682s ]
