Failed assertion when using OWLAPI InferredOntologyGenerator

Original [issue 33](https://code.google.com/p/factplusplus/issues/detail?id=33) created by dtsarkov on 2011-05-05T15:43:26.000Z:

The following code reproduces the problem:

create a reasoner over pizza ontology OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); OWLOntology ont = manager.loadOntology(IRI.create("http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl")); OWLReasonerFactory factory = new FaCTPlusPlusReasonerFactory(); OWLReasoner reasoner = factory.createReasoner(ont);

verify ontology is loaded into reasoner correctly System.out.println( reasoner.getInstances(manager.getOWLDataFactory().getOWLClass( IRI.create("http://www.co-ode.org/ontologies/pizza/2005/05/16/pizza.owl#DomainConcept")), false));

attempt to create a blank ontology and fill it with implied class/object property assertion axioms from pizza.owl OWLOntology inf = manager.createOntology(); InferredOntologyGenerator iog = new InferredOntologyGenerator(reasoner); iog.addGenerator(new InferredClassAssertionAxiomGenerator()); iog.addGenerator(new InferredPropertyAssertionGenerator()); iog.fillOntology(manager, inf);

I'd expect to see the "inf" ontology filled with all class/property assertion axioms that are inferable from pizza.owl. Instead, I get the following error printed to the console:

Exception in thread "main" org.semanticweb.owlapi.reasoner.ReasonerInternalException: ../../global_FaCT++_sources/Kernel/DataReasoning.cpp:49: assertion 'unreachable' fails at uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.isDataPropertyFunctional(Native Method) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$EntailmentChecker.visit(Unknown Source) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$EntailmentChecker.visit(Unknown Source) at uk.ac.manchester.cs.owl.owlapi.OWLFunctionalDataPropertyAxiomImpl.accept(OWLFunctionalDataPropertyAxiomImpl.java:59) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.isEntailed(Unknown Source) at org.semanticweb.owlapi.util.InferredDataPropertyCharacteristicAxiomGenerator.addAxioms(InferredDataPropertyCharacteristicAxiomGenerator.java:26) at org.semanticweb.owlapi.util.InferredDataPropertyCharacteristicAxiomGenerator.addAxioms(InferredDataPropertyCharacteristicAxiomGenerator.java:20) at org.semanticweb.owlapi.util.InferredEntityAxiomGenerator.createAxioms(InferredEntityAxiomGenerator.java:31) at org.semanticweb.owlapi.util.InferredOntologyGenerator.fillOntology(InferredOntologyGenerator.java:94) at com.ibm.hursley.ita.p10.bootstrap.FactPPBug.main(FactPPBug.java:37)

This error has been observed on the following system configuration:

Mac OSX 10.6.6 JavaSE 1.6 FaCTpp-OWLAPI-3.2-v1.5.2 FaCTpp-OSX-v1.5.2 OWL-API 3.2.2

Comments (2)