Dear All, I found this information regarding the use of the so called ABox and TBox with a reasoner in Jena: https://jena.apache.org/documentation/ontology/
However, I wonder if there is the possibility, after creating and populating an ontology with instances, to split the ontology in abox, tbox?. I also wonder if loading these separated graphs to a reasoner should be more or less efficient in computational terms, in comparison to loading both ( ABox and TBox ) just in only one file or ontology?, or does it not make any difference? Best regards Luis Ramos
