C

clipper-reasoner

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 24, 2023 — Apr 24, 2024 Showing page 1 of 14 Search / Filter on:
fix a bug in rewriting because of the self-loops in the query	Guohui Xiao	More...				almost 8 years ago
set version to 0.3.0-20151204	Guohui Xiao	More...				over 8 years ago
update gitignore	Guohui Xiao	More...				over 8 years ago
apache 2	Guohui Xiao	More...				over 8 years ago
-a new example	kieen	More...				over 8 years ago
-added uobm hornshiq	kieen	More...				over 8 years ago
added large ontologies; changes in indexing to fix the bottlenecks.	kieen	More...				over 8 years ago
-fixed typos in the answer of query 8 of 14 lubm queries/answers	kieen	More...				over 8 years ago
code cleaning with modernizer	Guohui Xiao	More...				over 8 years ago
mvn_build.sh -> build.sh	Guohui Xiao	More...				over 8 years ago
fix test file path	Guohui Xiao	More...				over 8 years ago
move all the test data to src/test/resources	Guohui Xiao	More...				over 8 years ago
fix HornSHIQNormalizer	Guohui Xiao	More...				over 8 years ago
HornSHIQNormalizer implements OWLAxiomVisitor	Guohui Xiao	More...				over 8 years ago
properly handling OWLInverseObjectPropertiesAxiom in normalization	Guohui Xiao	More...				over 8 years ago
clean HornSHIQQueryRewriter	Guohui Xiao	More...				over 8 years ago
fix the condition (S5).(c).(ii) in rewriter	Guohui Xiao	More...				over 8 years ago
comment out unused commands	Guohui Xiao	More...				over 8 years ago
clean up CQGraph related classes	Guohui Xiao	More...				over 8 years ago
cleaning	Guohui Xiao	More...				over 8 years ago
Merge branch 'develop'	Guohui Xiao	More...				over 8 years ago
Merge branch 'master' of github.com:ghxiao/clipper	Guohui Xiao	More...				over 8 years ago
move query rewriting related classes to their own package	Guohui Xiao	More...				over 8 years ago
Update README.md	Guohui Xiao	More...				over 8 years ago
add LUBM-ex-20.owl for JUnit Test	Guohui Xiao	More...				over 8 years ago
clean tests	Guohui Xiao	More...				over 8 years ago
ReductionToDatalog -> ReductionToDatalogOpt	Guohui Xiao	More...				over 8 years ago
all tests passed	Guohui Xiao	More...				over 8 years ago
Merge branch '0.3.x'	Guohui Xiao	More...				over 8 years ago
now variable names are always capitalized	Guohui Xiao	More...				over 8 years ago

←
1
2
3
4
5
6
7
8
9
…
13
14
→