knowsys / rulewerk / #397

Builds Branch Commit Type Ran Committer Via Coverage
#397 #122-owlapi_OWLDisjointObjectPropertiesAxiom_support separate term-related funtionality to ConverterTermFactory class; test support of OWLDisjointObjectProperty axiom push irina-dragoste pending completion   set done
#396 #122-owlapi_OWLDisjointObjectPropertiesAxiom_support support OWLDisjointObjectProperties axioms push irina-dragoste pending completion   set done
#395 master Merge pull request #210 from knowsys/#121-owlapi_Support_OWLDisjointClassesAxioms support OWLDisjunctClassesAxiom (#121) push web-flow pending completion   set done
#394 #122-owlapi_OWLDisjointObjectPropertiesAxiom_support differentiate in aux name between class and property collections push irina-dragoste pending completion   set done
#393 7cd6d7754e29d66c22e3bbbc263722d1239bb692 Merge e3f66f8c8 into 722b07146 push web-flow pending completion   set done
#392 #121-owlapi_Support_OWLDisjointClassesAxioms support OWLDisjunctClassesAxiom push irina-dragoste pending completion   set done
#391 master fix #209 [owlapi] OWLDisjointClasses and OWLDisjointObjectProperties axioms ignored push irina-dragoste pending completion   set done
#390 owlapi-ignore-data-features ignore axioms with Data features in owl-to-rules transformations push irina-dragoste pending completion   set done
#389 acyclicity-tests Merge remote-tracking branch 'origin/master' into acyclicity-tests push irina-dragoste pending completion   set done
#388 master Rework CI Squashed commit of the following: commit d67d12dc9 Author: Maximilian Marx <mmarx@wh2.tu-dresden.de> Date: Sat Aug 7 03:45:36 2021 +0200 Add deps commit 59f7e0a76 Au... push mmarx pending completion   set done
#387 master Rework CI Squashed commit of the following: commit d67d12dc9 Author: Maximilian Marx <mmarx@wh2.tu-dresden.de> Date: Sat Aug 7 03:45:36 2021 +0200 Add deps commit 59f7e0a76 Au... push mmarx pending completion   set done
#386 rework-ci Add deps push mmarx pending completion   set done
#385 rework-ci Debug dependencies push mmarx pending completion   set done
#384 d2306c4acbb766bd849271b3f4d2b1a72687db41 <a href="https://github.com/knowsys/rulewerk/commit/d2306c4ac">Merge </a><a class="double-link" href="https://github.com/knowsys/rulewerk/commit/ce84d4476">ce84d4476</a><a href="https:/... push web-flow pending completion   set done
#383 master Merge pull request #208 from knowsys/bug-206 Allow empty prefix names in declarations and terms push web-flow pending completion   set done