krr / IDP / issues / #98 - Additional inference: check satisfiability — Bitbucket

Issue #98 duplicate

Broes De Cat created an issue 2012-01-27

Should be implemented as model expasion with EMPTY output vocabulary.

Comments (5)

Bart Bogaerts
Inference has been implemented, but not yet with output-voc
- 2012-04-25T12:06:36+00:00
Broes De Cat reporter
- changed milestone to Later
- 2012-05-18T12:59:21+00:00
Broes De Cat reporter
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:12+00:00
Broes De Cat reporter
- removed version
- assigned issue to
  
  Broes De Cat
- 2013-02-05T11:03:40+00:00
Bart Bogaerts
- changed status to duplicate
Duplicate of #559.
- 2014-07-31T09:57:37+00:00
Log in to comment

Assignee: Broes De Cat

Type: enhancement

Priority: major

Status: duplicate

Component: Inferences

Version: –

Votes: 0

Watchers: 1

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