This repository was archived by the owner on Oct 8, 2020. It is now read-only.
Commit 32ae39a
committed
Added EL forward chaining + tests
- Based on 'Pushing the EL Envelope' paper (i.e. no full OWL 2 EL)
- Only implemented completion rules that are expressible in our setup
- Expecting input to be in normal form as described in the paper1 parent f62fc10 commit 32ae39a
2 files changed
Lines changed: 1156 additions & 0 deletions
File tree
- sansa-inference-spark/src
- main/scala/net/sansa_stack/inference/spark/forwardchaining/triples
- test/scala/net/sansa_stack/inference/spark/forwardchaining/triples
0 commit comments