ghxiao/city-bench
Public repository.
Developer Profile
ghxiao
Discovered public repositories for ghxiao in the GitHub catalog.
ghxiao/gitignore
A collection of useful .gitignore templates
ghxiao/sandbox
Public repository.
ghxiao/ghxiao.github.io
my personal website
ghxiao/owl-toolkit
a set of command line tools for OWL files powered by owl-api
ghxiao/iqaros
An unofficial repository of IQAROS reasoner
ghxiao/nrdatalog2sql
Converting Non-Recursive Datalog to SQL
ghxiao/requiem
unofficial REQUIEM Reasoner repository
ghxiao/drew
DReW reasoner for DL-Programs over Datalog-rewritable Descritption Logics
ghxiao/.emacs.d
my personal emacs configuration
ghxiao/drew-rl
drew reasoner. merged to http://github.com/ghxiao/drew
ghxiao/clipper
A Reasoner for Conjunctive Query Answering over Horn-SHIQ via Query Rewriting
ghxiao/ghxiao-mvn-repo
My personal mvn repository