SmartDataAnalytics / ORE

Ontology Repair and Enrichment
http://aksw.org/Projects/ORE.html
5 stars 1 forks source link

ORE get stuck at "classifying ontology" #5

Open padiaankur opened 9 years ago

padiaankur commented 9 years ago

Smaller ontology works fine. However, for the ontology with class count as 1841 and 3108 axioms it got stuck at dialog box ("classifying ontology").

JensLehmann commented 9 years ago

Please provide the ontologies and the steps to reproduce the problem.

LorenzBuehmann commented 9 years ago

@Ankur28 An OWL API based reasoner (usually Pellet) is used to classify the ontology, and the classification can be a very complex problem, which is not only affected by the size of the ontology, but also by e.g. the used OWL constructs.