defend-cco.owl version 0.16 has inconsistencies

[swartik]

I ran the HermiT reasoner (version 1.4.3.456) on the defend-cco.owl ontology and it reported inconsistencies. I ran the reasoner through Protege. Half an hour and 30 inconsistencies later it was still running. Unfortunately:

1. There's no way to download the inconsistencies into a file I can upload.
2. My organization's policies don't allow me to upload image files (like screenshots) to github.

So I can't list the inconsistencies I found using Protege's output. I can describe one of them:

• Class Malicious Link has subclass-of restriction accesses some URL.
• Class URL is a descendant of class generically dependent continuant.
• The range of accesses is Network Resource.
• Network Resource is a descendant of class independent continuant.
• generically dependent continuant and independent continuant are disjoint.

[swartik]

At the suggestion of Mike Smith, I downloaded the robot tool and used it to run some diagnostics. I first ran the command:

bin/robot reason --reasoner ELK --input ../d3fend-cco.owl --output ../reasoned.owl

This only reported there were inconsistencies and quit without explaining why. It produced no output in reasoned.owl. Running the HermiT reasoner gave the same result.

After reviewing the documentation on robot, I ran:

bin/robot reason --reasoner HermiT --input ../d3fend-cco.owl -D ../incoherent.owl

This command also failed but suggested I remove all individuals from the ontology. I did that, then run:

bin/robot reason --reasoner HermiT --input ../d3fend-cco.owl --output ../reasoned.owl

This command produced a list of unsatisfiable classes. I have uploaded the classes: unsatisfiable.txt