mniepert/elog-reasoner

Automatically exported from code.google.com/p/elog-reasoner

elog-reasoner's Issues

Confidence of disjointness axioms is not loaded

What steps will reproduce the problem?
1. Download attached ontology test.owl
2. Run reasoner with parameter -r


What is the expected output? What do you see instead?

Objective of ILP is always 0 but should be non-zero.

Please use labels and text to provide additional information.

Original issue reported on code.google.com by mniepert on 8 Nov 2011 at 4:51

Attachments:

• test.owl

Removal of range restriction axioms not working

What steps will reproduce the problem?
1. Download the attached ontology test.owl
2. Run the reasoner with parameter -r


What is the expected output? What do you see instead?

The number of loaded opsub axioms (hard) should be much higher. It seems like 
the reasoner ignores the range restriction axioms.

Original issue reported on code.google.com by mniepert on 8 Nov 2011 at 4:52

Attachments:

• test.owl

Normalization of arbitrary El++ axiom

We are working on adding support for arbitrary EL++ axioms. At the moment, the 
reasoner supports only normalized axioms with and without weights.

Original issue reported on code.google.com by [email protected] on 20 Jan 2011 at 11:41

Additional parameter for sampling algorithms

There should be an additional (optional) parameter for the sampling algorithms 
(i.e., the algorithms that compute marginal probabilities of axioms).  

With this novel parameter set the sampling algorithms should compute the 
marginal probabilities of all axioms in the uncertain CBox (i.e., all axioms 
that have an attached confidence value) and print them to an output file. I 
think the format of this output file should not be an ontology but simply a tab 
or comma separated list.

Original issue reported on code.google.com by mniepert on 9 Nov 2011 at 3:08