これは、JavaOWLAPIを使用して整合性チェックを実行する方法です。
/*Load your ontology from a local file and do the initialisations*/
File inputfile = new File("ontologyPath");
OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); ;
OWLDataFactory dataFactory = manager.getOWLDataFactory();
OWLOntology yourOntology = manager.loadOntologyFromOntologyDocument(inputfile);
IRI ontologyIRI = yourOntology.getOntologyID().getOntologyIRI();
/* Load a reasoner, the default one that comes with the OWL API is HermiT.
However, You can use other reasoners, such as Fact++ or Pellet, by
downloading their libraries and adding them to your project build path */
OWLReasonerFactory reasonerFactory = new Reasoner.ReasonerFactory();
OWLReasonerreasoner = reasonerFactory.createReasoner(yourOntology);
/* Perform consistency check */
boolean consistency = reasoner.isConsistent();
また、OWLAPIWebサイトの例も確認してください。
ベルカン