search

owlcs / jfact

JFact repository
13 stars 8 forks source link

In toy owl file with subclass(B,A), reasoner infers Equivalent(Nothing, Thing) #24

Open iamcrowd opened 2 years ago

iamcrowd commented 2 years ago

I loaded a toy ontology with just a subclass. JFact shows me EquivalentClasses(owl:Nothing owl:Thing ) when computing the inferences. I am using the class InferredEquivalentClassAxiomGenerator()

        OWLReasoner reasoner = reasonerFactoryFact.createReasoner(this.ontology);
        this.gens.add(new InferredEquivalentClassAxiomGenerator());
        InferredOntologyGenerator iog = new InferredOntologyGenerator(reasoner, this.gens);
        OWLDataFactory df = OWLManager.getOWLDataFactory();
        iog.fillOntology(df, this.ontology);
ignazio1977 commented 2 years ago

Can you add the toy ontology?

iamcrowd commented 2 years ago

Done! thanks

German

1a.owl.txt

iamcrowd commented 2 years ago

I also tried with the OpenlletReasoner on the very same owl and I got the right inferences