diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-21 19:05:27 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-21 19:05:27 +0200 |
| commit | 87471bc45d1824cbef40dc1cfcc4e5e26e83dcea (patch) | |
| tree | 942d4f19475891848d39fcdd9b066cf6e6ad7ee9 /src/main/scala/rsacomb/CanonicalModel.scala | |
| parent | c4bef39700410c6a86b8d8cb225a0ac9d3692bc1 (diff) | |
| download | RSAComb-87471bc45d1824cbef40dc1cfcc4e5e26e83dcea.tar.gz RSAComb-87471bc45d1824cbef40dc1cfcc4e5e26e83dcea.zip | |
Fix bug in conflict set computation
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 |