From: Khánh L. <lin...@gm...> - 2011-12-26 16:54:23
|
Thank you Ignazio, for your clear explanation, now I know what I have to do next. Because I'm new to this so I have to do it all alone. Thanks again, Linh Nguyen On Mon, Dec 26, 2011 at 5:23 PM, Ignazio Palmisano < ipa...@gm...> wrote: > 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 > > > > > ------------------------------------------------------------------------------ > 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 > |