|
test
|
2014-09-06
|
Mikhail Levin
|
[63130c]
fix build
|
|
common_prefixes.hpp
|
2012-03-30
|
mlevin
|
[98033e]
Merge branch 'dev'
|
|
find_ontologies.cpp
|
2013-01-30
|
Mikhail Levin
|
[dc62ab]
Merge branch 'dev' into python-api
|
|
jamfile.jam
|
2015-01-12
|
Mikhail K. Levin
|
[579b5e]
owlstats small app
|
|
owlstats.cpp
|
2015-01-12
|
Mikhail K. Levin
|
[579b5e]
owlstats small app
|
|
print_classes.cpp
|
2014-10-16
|
Mikhail K. Levin
|
[87be51]
make global variable any=Any()
|
|
print_triples.cpp
|
2013-02-01
|
Mikhail Levin
|
[56a505]
clean Triple struct
|
|
satisfiable.cpp
|
2014-10-16
|
Mikhail K. Levin
|
[87be51]
make global variable any=Any()
|
|
validate.cpp
|
2013-05-31
|
Mikhail Levin
|
[647b0a]
fix reasoner diagnostics
|