Re: [OWLAPI-developer] How to resolve Inconsistent Ontology exception in FaCT++

[Ignazio P. <ipa...@gm...>]

On 26 December 2011 08:59, Khánh Linh <lin...@gm...> wrote:
> Hi all,
>
> I'm trying the FaCT++ v.1.4 reasoner in my OWL 2.2.0. Well, I downloaded the
> "http://www.co-ode.org/ontologies/pizza/pizza.owl" into my computer, and run
> the code below (its aim is to return all the Pizza which has HamTopping

[snip]

>
> But when I open the file "http://www.co-ode.org/ontologies/pizza/pizza.owl"
> by Protege 3.4.7, I added some IceCream individuals and saved it into a new
> file. I run the code again but it returns
>
> "uk.ac.manchester.cs.factplusplus.InconsistentOntologyException:
> FaCT++.Kernel: inconsistent ontology"
>
> When I open and compare two files (the origin and the one that modified by
> Protege), it has a little different structure.

The structure of the file is not very important, what is important is
the individuals you added. Is IceCream a satisfiable class in your
ontology? If not, then you cannot add individuals belonging to it
without making the ontology inconsistent; otherwise, it might be due
to some other axiom you added, but it's hard to say without looking at
the ontology.

You can try opening it with the latest protege and checking the
explanation for the inconsistency; that might help pinpoint the
problem.
HTH,
I.

>
> How to resolve it ? I want to run the code above after modified in Protege
> 3.4.7
>
> Thanks in advanced,
>
> Linh Nguyen
>
> ------------------------------------------------------------------------------
> Write once. Port to many.
> Get the SDK and tools to simplify cross-platform app development. Create
> new or port existing apps to sell to consumers worldwide. Explore the
> Intel AppUpSM program developer opportunity. appdeveloper.intel.com/join
> http://p.sf.net/sfu/intel-appdev
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>