├── .github └── workflows │ └── scala.yml ├── .gitignore ├── LICENSE.txt ├── README.md ├── modules ├── core │ └── src │ │ ├── main │ │ └── scala │ │ │ └── org │ │ │ └── geneontology │ │ │ └── whelk │ │ │ ├── Model.scala │ │ │ ├── Reasoner.scala │ │ │ ├── ReteNodes.scala │ │ │ ├── RuleEngine.scala │ │ │ ├── Util.scala │ │ │ ├── WorkingMemory.scala │ │ │ └── archimedes │ │ │ └── Bridge.scala │ │ └── test │ │ └── scala │ │ └── org │ │ └── geneontology │ │ └── whelk │ │ └── TestUtil.scala ├── owlapi │ └── src │ │ ├── main │ │ └── scala │ │ │ └── org │ │ │ └── geneontology │ │ │ └── whelk │ │ │ ├── Bridge.scala │ │ │ ├── Main.scala │ │ │ └── owlapi │ │ │ ├── SWRLUtil.scala │ │ │ ├── WhelkOWLReasoner.scala │ │ │ └── WhelkOWLReasonerFactory.scala │ │ └── test │ │ ├── resources │ │ └── org │ │ │ └── geneontology │ │ │ └── whelk │ │ │ ├── 586fc17a00001662-merged.ofn │ │ │ ├── disjunction.ofn │ │ │ ├── incremental-allvaluesfrom.ofn │ │ │ ├── incremental-intersections.ofn │ │ │ ├── insulin_secretion.ofn │ │ │ ├── long-chains.ofn │ │ │ ├── owl-reasoner-nothing-equiv.ofn │ │ │ ├── owlrl │ │ │ ├── cax-dw-adc.ofn │ │ │ ├── cax-eqc.ofn │ │ │ ├── cax-sco.ofn │ │ │ ├── cls-avf.ofn │ │ │ ├── cls-com.ofn │ │ │ ├── cls-hv.ofn │ │ │ ├── cls-int.ofn │ │ │ ├── cls-maxqc0.ofn │ │ │ ├── cls-maxqc1.ofn │ │ │ ├── cls-oo.ofn │ │ │ ├── cls-svf.ofn │ │ │ ├── cls-uni.ofn │ │ │ ├── eq-diff.ofn │ │ │ ├── eq-ref.ofn │ │ │ ├── eq-rep.ofn │ │ │ ├── eq-sym.ofn │ │ │ ├── eq-trans.ofn │ │ │ ├── prp-asyp.ofn │ │ │ ├── prp-dom.ofn │ │ │ ├── prp-eqp.ofn │ │ │ ├── prp-fp.ofn │ │ │ ├── prp-ifp.ofn │ │ │ ├── prp-inv.ofn │ │ │ ├── prp-irp.ofn │ │ │ ├── prp-npa.ofn │ │ │ ├── prp-pdw-adp.ofn │ │ │ ├── prp-rng.ofn │ │ │ ├── prp-spo.ofn │ │ │ ├── prp-symp.ofn │ │ │ └── prp-trp.ofn │ │ │ ├── part-of-arm-ranges.ofn │ │ │ ├── part-of-arm-ranges2.ofn │ │ │ ├── part-of-arm-reflexivity.ofn │ │ │ ├── part-of-arm.ofn │ │ │ ├── property-test.ofn │ │ │ ├── self-restrictions.ofn │ │ │ ├── skeletons.ofn │ │ │ ├── swrl-test.ofn │ │ │ ├── taxon-unions.ofn │ │ │ ├── test-owl-reasoner-ops.ofn │ │ │ ├── uberon-tiny-equiv-prop.ofn │ │ │ ├── uberon-tiny.ofn │ │ │ ├── unions.ofn │ │ │ └── unsatisfiable.ofn │ │ └── scala │ │ └── org │ │ └── geneontology │ │ └── whelk │ │ ├── PropertySaturation.scala │ │ ├── Test.scala │ │ ├── TestBridge.scala │ │ ├── TestIncrementalAllValuesFrom.scala │ │ ├── TestIncrementalIntersections.scala │ │ ├── TestIncrementalMaxOneCardinality.scala │ │ ├── TestInferences.scala │ │ └── TestOWLReasoner.scala └── protege │ ├── src │ └── main │ │ ├── resources │ │ └── plugin.xml │ │ └── scala │ │ └── org │ │ └── geneontology │ │ └── whelk │ │ └── protege │ │ └── WhelkProtegeFactory.scala │ └── update.properties └── project ├── build.properties └── plugins.sbt /.github/workflows/scala.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/.github/workflows/scala.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/README.md -------------------------------------------------------------------------------- /modules/core/src/main/scala/org/geneontology/whelk/Model.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/core/src/main/scala/org/geneontology/whelk/Model.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/org/geneontology/whelk/Reasoner.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/core/src/main/scala/org/geneontology/whelk/Reasoner.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/org/geneontology/whelk/ReteNodes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/core/src/main/scala/org/geneontology/whelk/ReteNodes.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/org/geneontology/whelk/RuleEngine.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/core/src/main/scala/org/geneontology/whelk/RuleEngine.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/org/geneontology/whelk/Util.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/core/src/main/scala/org/geneontology/whelk/Util.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/org/geneontology/whelk/WorkingMemory.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/core/src/main/scala/org/geneontology/whelk/WorkingMemory.scala -------------------------------------------------------------------------------- /modules/core/src/main/scala/org/geneontology/whelk/archimedes/Bridge.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/core/src/main/scala/org/geneontology/whelk/archimedes/Bridge.scala -------------------------------------------------------------------------------- /modules/core/src/test/scala/org/geneontology/whelk/TestUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/core/src/test/scala/org/geneontology/whelk/TestUtil.scala -------------------------------------------------------------------------------- /modules/owlapi/src/main/scala/org/geneontology/whelk/Bridge.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/main/scala/org/geneontology/whelk/Bridge.scala -------------------------------------------------------------------------------- /modules/owlapi/src/main/scala/org/geneontology/whelk/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/main/scala/org/geneontology/whelk/Main.scala -------------------------------------------------------------------------------- /modules/owlapi/src/main/scala/org/geneontology/whelk/owlapi/SWRLUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/main/scala/org/geneontology/whelk/owlapi/SWRLUtil.scala -------------------------------------------------------------------------------- /modules/owlapi/src/main/scala/org/geneontology/whelk/owlapi/WhelkOWLReasoner.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/main/scala/org/geneontology/whelk/owlapi/WhelkOWLReasoner.scala -------------------------------------------------------------------------------- /modules/owlapi/src/main/scala/org/geneontology/whelk/owlapi/WhelkOWLReasonerFactory.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/main/scala/org/geneontology/whelk/owlapi/WhelkOWLReasonerFactory.scala -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/586fc17a00001662-merged.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/586fc17a00001662-merged.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/disjunction.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/disjunction.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/incremental-allvaluesfrom.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/incremental-allvaluesfrom.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/incremental-intersections.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/incremental-intersections.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/insulin_secretion.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/insulin_secretion.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/long-chains.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/long-chains.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owl-reasoner-nothing-equiv.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owl-reasoner-nothing-equiv.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cax-dw-adc.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cax-dw-adc.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cax-eqc.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cax-eqc.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cax-sco.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cax-sco.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-avf.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-avf.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-com.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-com.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-hv.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-hv.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-int.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-int.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-maxqc0.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-maxqc0.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-maxqc1.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-maxqc1.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-oo.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-oo.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-svf.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-svf.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-uni.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/cls-uni.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/eq-diff.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/eq-diff.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/eq-ref.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/eq-ref.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/eq-rep.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/eq-rep.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/eq-sym.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/eq-sym.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/eq-trans.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/eq-trans.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-asyp.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-asyp.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-dom.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-dom.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-eqp.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-eqp.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-fp.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-fp.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-ifp.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-ifp.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-inv.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-inv.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-irp.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-irp.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-npa.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-npa.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-pdw-adp.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-pdw-adp.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-rng.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-rng.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-spo.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-spo.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-symp.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-symp.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-trp.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/owlrl/prp-trp.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/part-of-arm-ranges.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/part-of-arm-ranges.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/part-of-arm-ranges2.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/part-of-arm-ranges2.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/part-of-arm-reflexivity.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/part-of-arm-reflexivity.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/part-of-arm.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/part-of-arm.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/property-test.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/property-test.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/self-restrictions.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/self-restrictions.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/skeletons.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/skeletons.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/swrl-test.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/swrl-test.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/taxon-unions.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/taxon-unions.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/test-owl-reasoner-ops.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/test-owl-reasoner-ops.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/uberon-tiny-equiv-prop.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/uberon-tiny-equiv-prop.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/uberon-tiny.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/uberon-tiny.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/unions.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/unions.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/resources/org/geneontology/whelk/unsatisfiable.ofn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/resources/org/geneontology/whelk/unsatisfiable.ofn -------------------------------------------------------------------------------- /modules/owlapi/src/test/scala/org/geneontology/whelk/PropertySaturation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/scala/org/geneontology/whelk/PropertySaturation.scala -------------------------------------------------------------------------------- /modules/owlapi/src/test/scala/org/geneontology/whelk/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/scala/org/geneontology/whelk/Test.scala -------------------------------------------------------------------------------- /modules/owlapi/src/test/scala/org/geneontology/whelk/TestBridge.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/scala/org/geneontology/whelk/TestBridge.scala -------------------------------------------------------------------------------- /modules/owlapi/src/test/scala/org/geneontology/whelk/TestIncrementalAllValuesFrom.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/scala/org/geneontology/whelk/TestIncrementalAllValuesFrom.scala -------------------------------------------------------------------------------- /modules/owlapi/src/test/scala/org/geneontology/whelk/TestIncrementalIntersections.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/scala/org/geneontology/whelk/TestIncrementalIntersections.scala -------------------------------------------------------------------------------- /modules/owlapi/src/test/scala/org/geneontology/whelk/TestIncrementalMaxOneCardinality.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/scala/org/geneontology/whelk/TestIncrementalMaxOneCardinality.scala -------------------------------------------------------------------------------- /modules/owlapi/src/test/scala/org/geneontology/whelk/TestInferences.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/scala/org/geneontology/whelk/TestInferences.scala -------------------------------------------------------------------------------- /modules/owlapi/src/test/scala/org/geneontology/whelk/TestOWLReasoner.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/owlapi/src/test/scala/org/geneontology/whelk/TestOWLReasoner.scala -------------------------------------------------------------------------------- /modules/protege/src/main/resources/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/protege/src/main/resources/plugin.xml -------------------------------------------------------------------------------- /modules/protege/src/main/scala/org/geneontology/whelk/protege/WhelkProtegeFactory.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/protege/src/main/scala/org/geneontology/whelk/protege/WhelkProtegeFactory.scala -------------------------------------------------------------------------------- /modules/protege/update.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/modules/protege/update.properties -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.10.4 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INCATools/whelk/HEAD/project/plugins.sbt --------------------------------------------------------------------------------