krr / IDP / issues / #727 - Unique output models when using output vocabulary — Bitbucket

Issue #727 resolved

Ingmar Dasseville created an issue 2014-04-03

These should be unique but aren't now

demo2.idp

Comments (6)

Broes De Cat
Issue ~~#728~~ was marked as a duplicate of this issue.
- 2014-04-03T12:10:09+00:00
Broes De Cat
- assigned issue to
  
  Broes De Cat
- marked as bug
- marked as minor
- 2014-04-03T12:12:14+00:00
Broes De Cat
Issue ~~#783~~ was marked as a duplicate of this issue.
- 2014-07-27T13:16:13+00:00
Ingmar Dasseville reporter
- changed title to Unique output models when using output vocabulary
- 2014-07-27T13:17:30+00:00
Bart Bogaerts
Goede manier om dit op tel ossen:

als minisatID model invalidating clause leert: leer hem dan in de plaats een clause die outvoc-model-invalidate... (dus ~l1 | ~l2 | ~l3, waarbij l1... de literals zijn die waar zijn in het huidige model en die in het outvoc zitten)
- 2014-07-28T10:22:17+00:00
JoD
- changed status to resolved
Merged in outputvoc (pull request #358)

Fixed outputvoc Fixes ~~#727~~

→ <<cset dff8d76839dd>>
- 2015-05-05T11:56:41+00:00
Log in to comment

Assignee: Broes De Cat

Type: bug

Priority: minor

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 3

Jira: the preferred issue tracker for Bitbucket. Join the team!