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: b61cc3861b2ce129ac5fe9616a26dee6911ae270 (plain) (blame)

package rsacomb

import tech.oxfordsemantic.jrdfox.logic.datalog.{TupleTableAtom, BodyFormula}

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