I'm using OWL (version 4.0.2) e Pellet (3.0) to populate an ontology and then use SWRL rules to infer new facts. But some jar in OWL API is printing a huge amount of message while I try to make inferences and no result is showed in the end - in fact, I don't wait until the end cause it takes forever executing.
Here is where I set some ontology info:
manager = OWLManager.createOWLOntologyManager();
factory = manager.getOWLDataFactory();
this.ontologyURI = ontologyURI;
pm = new DefaultPrefixManager(null, null,
ontologyURI);
File ontologyFile = new File("TwitterOntology.owl");
try {
ontology = manager.loadOntologyFromOntologyDocument(ontologyFile);
} catch (OWLOntologyCreationException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
I send you part of the logs:
14:54:38.961 [main] DEBUG o.s.o.rdf.rdfxml.parser.TripleLogger - Total number of triples: 4788 14:54:38.966 [main] DEBUG o.s.o.r.r.p.OptimisedListTranslator - list: ObjectPropertyAtom(http://www.semanticweb.org/michel/ontologies/2014/6/TwitterOntology#hashtagContainedInTweetRule Variable() Variable()) 14:54:38.967 [main] DEBUG o.s.o.r.r.p.OptimisedListTranslator - list: ObjectPropertyAtom(http://www.semanticweb.org/michel/ontologies/2014/6/TwitterOntology#posts Variable() Variable()) 14:54:38.967 [main] DEBUG o.s.o.r.r.p.OptimisedListTranslator - list: DataPropertyAtom()
14:54:40.316 [main] INFO c.c.o.e.BlackBoxExplanation - Initial axiom count: 50 14:54:40.319 [main] INFO c.c.o.e.BlackBoxExplanation - Expanding axioms (expansion 0) 14:54:40.320 [main] INFO c.c.o.e.BlackBoxExplanation - ... expanded by 62 14:54:40.321 [main] INFO c.c.o.e.BlackBoxExplanation - Expanding axioms (expansion 1) 14:54:40.322 [main] INFO c.c.o.e.BlackBoxExplanation - ... expanded by 77 14:54:40.324 [main] INFO c.c.o.e.BlackBoxExplanation - Expanding axioms (expansion 2) 14:54:40.324 [main] INFO c.c.o.e.BlackBoxExplanation - ... expanded by 96 14:54:40.328 [main] INFO c.c.o.e.BlackBoxExplanation - Expanding axioms (expansion 3) 14:54:40.328 [main] INFO c.c.o.e.BlackBoxExplanation - ... expanded by 120 14:54:40.333 [main] INFO c.c.o.e.BlackBoxExplanation - Expanding axioms (expansion 4) 14:54:40.334 [main] INFO c.c.o.e.BlackBoxExplanation - ... expanded by 150
If some of you could give me any hint I'd be really greatful.
Regards, Michel.