本体推理

Question

I have some problem with reasoning: how can I retrieve the instance of a class if I load ONLY the TBox of an ontology?

OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
OWLDataFactory dataFactory = manager.getOWLDataFactory();
Ontology = manager.createOntology();
Ontology = manager.loadOntologyFromOntologyDocument(IRI.create("http://www.cs.ox.ac.uk/isg/ontologies/lib/RobertsFamily/2009-09-03/00775.owl"));
PelletReasoner reasoner = PelletReasonerFactory.getInstance().createNonBufferingReasoner(Ontology);
reasoner.getKB().printClassTree();

The execution is BLOCKED to the last Line (I don't have NULL POINTER). It's only blocked :(

Answer 1

It's just not possible. Without ABox, there are no class assertions, thus most individuals are not available for the reasoner to find.

The only individuals which might be found are the ones included in OneOf restrictions; however, I've not tried building an ontology that would work with Pellet (or other reasoners) in this way, so I'm not sure it's possible either.