Failed assertion when using OWLAPI InferredOntologyGenerator

[GoogleCodeExporter]

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

Original issue reported on code.google.com by tom.klap...@gmail.com on 5 May 2011 at 3:43

[GoogleCodeExporter]

confirmed. working on it.

Original comment by dmitry.t...@gmail.com on 6 May 2011 at 4:15

• Changed state: Accepted

[GoogleCodeExporter]

The problem is fixed in the latest SVN (rev. 1163)

Original comment by dmitry.t...@gmail.com on 17 May 2011 at 3:08

• Changed state: Fixed