aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RDFoxRuleShards.scala
blob: 8f7298393c1e71d2a80fab208bf01bde0f7e0ad8 (plain) (blame)
1
2
3
4
5
6
package rsacomb

import tech.oxfordsemantic.jrdfox.logic.{Atom, BodyFormula}

case class RDFoxRuleShards(res : List[Atom], ext : List[BodyFormula])