diff options
Diffstat (limited to 'src/main/scala/rsacomb/CanonicalModel.scala')
| -rw-r--r-- | src/main/scala/rsacomb/CanonicalModel.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/scala/rsacomb/CanonicalModel.scala b/src/main/scala/rsacomb/CanonicalModel.scala index a248d61..c07fc06 100644 --- a/src/main/scala/rsacomb/CanonicalModel.scala +++ b/src/main/scala/rsacomb/CanonicalModel.scala | |||
| @@ -86,10 +86,10 @@ class ProgramGenerator( | |||
| 86 | import RDFoxUtil._ | 86 | import RDFoxUtil._ |
| 87 | 87 | ||
| 88 | def rules1(axiom: OWLSubClassOfAxiom): List[Rule] = { | 88 | def rules1(axiom: OWLSubClassOfAxiom): List[Rule] = { |
| 89 | val unfold = ontology.cycle(axiom).toList | 89 | val unfold = ontology.unfold(axiom).toList |
| 90 | // Fresh Variables | 90 | // Fresh Variables |
| 91 | val v0 = IRI.create("v0_" ++ axiom.hashCode.toString) | 91 | val v0 = IRI.create("v0_" ++ axiom.hashCode.toString) |
| 92 | val varX = Variable.create("x") | 92 | val varX = Variable.create("X") |
| 93 | // Predicates | 93 | // Predicates |
| 94 | val atomA: Atom = { | 94 | val atomA: Atom = { |
| 95 | val cls = axiom.getSubClass.asInstanceOf[OWLClass].getIRI | 95 | val cls = axiom.getSubClass.asInstanceOf[OWLClass].getIRI |