Commits · 2ad8fb327fc9a16e7d0d702253ea64bf2f29a1e4 · Software / I-Me-OWL · GitLab

Snippets Groups Projects

Jun 14, 2013
- longstats.sh: Try I/me-pairs in a random order · 2ad8fb32
  Thorsten Wißmann authored 11 years ago
  
  2ad8fb32
- Specialize distributed.sh for the local setup... · bddc3cee
  Thorsten Wißmann authored 11 years ago
  
  bddc3cee
- Remove all axioms with the "I"-role from the HBox · bac72d15
  Thorsten Wißmann authored 11 years ago
  bac72d15
- Try all properties/classes in longstats.sh · 30fe7d21
  Thorsten Wißmann authored 11 years ago
  
  30fe7d21
- Enable logging in distributed.sh · fae2c31a
  Thorsten Wißmann authored 11 years ago
  
  fae2c31a
- Fix longstats.sh · 9f34799f
  Thorsten Wißmann authored 11 years ago
  
  9f34799f
- Allow testdata colleciction on many hosts · 17da2bcd
  Thorsten Wißmann authored 11 years ago
  
  17da2bcd
- Be more verbose in longstats.sh · ba6085d6
  Thorsten Wißmann authored 11 years ago
  
  ba6085d6
- Enable simplification by default · 501ae0ca
  Thorsten Wißmann authored 11 years ago
  
  501ae0ca
- Ignore more "me"-errors · a18aa084
  Thorsten Wißmann authored 11 years ago
  
  a18aa084
Jun 13, 2013
- Add flag --ignore-me-errors · 3a8d31e0
  Thorsten Wißmann authored 11 years ago
  
  3a8d31e0
- Use actual convert in longstats.sh · e54f2675
  Thorsten Wißmann authored 11 years ago
  
  e54f2675
- Reformat help output · 96c1888e
  Thorsten Wißmann authored 11 years ago
  
  96c1888e
- Add subcommands lsclasses and lsproperties · 947d82cb
  Thorsten Wißmann authored 11 years ago
  
  947d82cb
- Push I down in normalization · 2df58ac1
  Thorsten Wißmann authored 11 years ago
  
  2df58ac1
- Fix pushIDown to work if I is a quantifier · c90ca353
  Thorsten Wißmann authored 11 years ago
  
  c90ca353
- Allow to parameterize I and me · eb989521
  Thorsten Wißmann authored 11 years ago
  
  eb989521
Jun 10, 2013
- Fixup some axiom formula for H_f*:QnR.C · e493597d
  Thorsten Wißmann authored 11 years ago
  
  e493597d
- Remove optimizations that are invalid for Equality-Axioms · b1d2ed56
  Thorsten Wißmann authored 11 years ago
  b1d2ed56
- Some code refactoring · 1b8746ec
  Thorsten Wißmann authored 11 years ago
  
  1b8746ec
- Make it convert all existing examples · 9ea10a66
  Thorsten Wißmann authored 11 years ago
  
  9ea10a66
- Use equality axioms when 'convert' is called · 99e1466a
  Thorsten Wißmann authored 11 years ago
  
  99e1466a
- Add remaining equality axioms for ALCQme2-interp. · aa3efa6e
  Thorsten Wißmann authored 11 years ago
  
  aa3efa6e
- Split conversion functioin into different parts · 51c0cabc
  Thorsten Wißmann authored 11 years ago
  51c0cabc
- Implement first equality axioms for dl13 · 583c9774
  Thorsten Wißmann authored 11 years ago
  
  583c9774
- More longstats.sh things · 7040c6d2
  Thorsten Wißmann authored 11 years ago
  
  7040c6d2
Apr 19, 2013
- Add more information to longstats.sh · 06883c0b
  Thorsten Wißmann authored 12 years ago
  
  06883c0b
- First usable version of longstats.sh · deb0e4bf
  Thorsten Wißmann authored 12 years ago
  
  deb0e4bf
- Avoid cardinality restrictions in alcqconvert · fdfa5dad
  Thorsten Wißmann authored 12 years ago
  
  fdfa5dad
- More colorful output · 4cfb46c4
  Thorsten Wißmann authored 12 years ago
  
  4cfb46c4
- Implement more axioms in alcqconvert · 00e9a19a
  Thorsten Wißmann authored 12 years ago
  
  00e9a19a
- Implement correct time measurement in longstats.sh · 39c4bdfa
  Thorsten Wißmann authored 12 years ago
  
  39c4bdfa
- Add partially working longstats.sh · 39692a6b
  Thorsten Wißmann authored 12 years ago
  
  39692a6b
Apr 18, 2013
- ALCQconvert: implement many axioms · d18349d4
  Thorsten Wißmann authored 12 years ago
  
  d18349d4
Apr 17, 2013
- Add subcommand treemodalities · bef3cc86
  Thorsten Wißmann authored 12 years ago
  
  bef3cc86
- Make modalities a little bit harder · e055bd5b
  Thorsten Wißmann authored 12 years ago
  
  e055bd5b
- Fixup alcqconvert · 3411b787
  Thorsten Wißmann authored 12 years ago
  
  3411b787
- Implement basic ALCQ interpreter · 0b960236
  Thorsten Wißmann authored 12 years ago
  
  0b960236
- Add subcommand splitmodalities · faaf2feb
  Thorsten Wißmann authored 12 years ago
  
  faaf2feb
- Simplify modality-formula-generation · 871877cb
  Thorsten Wißmann authored 12 years ago
  
  871877cb