RDFoxRuleShards.scala « rsacomb « scala « main « src - RSAComb - Re-implementation of the combined approach for CQ answering over RSA ontologies

about summary refs log tree commit diff

path: root/src/main/scala/rsacomb/RDFoxRuleShards.scala

blob: 8f7298393c1e71d2a80fab208bf01bde0f7e0ad8 (plain) (blame)

package rsacomb

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

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