headers
Stephan Opfer | 19 Aug 2012 19:41
Picon

Infinit Loop through Inconsistent Ontology Explanation

Hi All,

I produced an inconsistent Ontology and I know why it is inconsistent. My problem is, that the reasoner does
not terminate, when I want him to explain the inconsistency. 

I use the Hermit Reasoner in its latest Version (1.3.6) and I produced a minimal example code, which
produces this behaviour. It is based on the examples, which come with the Hermit download.

The interesting thing is, that protege 4.1 (with the Hermit plugin) has no problems to explain the
inconsistency. Although it only identifies some hot spots, atleast it terminates. 

So my question is: What is the difference between my code and the one in protege 4.1?

I was searching in the repository of protege, but I could not find the right lines of code.

In the attachment, you will find three ontologies. individual.owl is the inconsistent ontology and
imports the other two ontologies. Furthermore, the minimal example is given in Explanations.java and
AutoIRIMapperFixed.java. Just adapt the path to the ontologies in Explanations.java.

Best Regards,
  Stephan
Attachment (AutoIRIMapperFixed.java): text/x-java, 10 KiB
Attachment (Explanations.java): text/x-java, 4364 bytes
Attachment (individuals.owl): application/rdf+xml, 80 KiB
Attachment (alica-2.0.owl): application/rdf+xml, 75 KiB
Attachment (robocupmsl.owl): application/rdf+xml, 22 KiB
_______________________________________________
protege-owl mailing list
(Continue reading)

Permalink | Reply |
headers
Stephan Opfer | 19 Aug 2012 19:45
Picon

Re: Infinit Loop through Inconsistent Ontology Explanation

Sorry, wrong list. This should go to protege 4.1 list, not 3.1...

On 08/19/2012 07:41 PM, Stephan Opfer wrote:
> Hi All,
> 
> I produced an inconsistent Ontology and I know why it is inconsistent. My problem is, that the reasoner
does not terminate, when I want him to explain the inconsistency. 
> 
> I use the Hermit Reasoner in its latest Version (1.3.6) and I produced a minimal example code, which
produces this behaviour. It is based on the examples, which come with the Hermit download.
> 
> The interesting thing is, that protege 4.1 (with the Hermit plugin) has no problems to explain the
inconsistency. Although it only identifies some hot spots, atleast it terminates. 
> 
> So my question is: What is the difference between my code and the one in protege 4.1?
> 
> I was searching in the repository of protege, but I could not find the right lines of code.
> 
> In the attachment, you will find three ontologies. individual.owl is the inconsistent ontology and
imports the other two ontologies. Furthermore, the minimal example is given in Explanations.java and
AutoIRIMapperFixed.java. Just adapt the path to the ontologies in Explanations.java.
> 
> Best Regards,
>   Stephan
> 
> 
> 
> _______________________________________________
> protege-owl mailing list
> protege-owl <at> lists.stanford.edu
(Continue reading)

Permalink | Reply |

Gmane