Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] Please give me advices for differences of inference between 4.0 and 3.4.1

Thomas Russ tar at ISI.EDU
Mon Oct 13 10:16:30 PDT 2008

I suspect the issue is that you have an OWL 2.0 ontology.  This is  
supported by Protege 4.0 but not by 3.4.1

Comparative value restrictions on numeric datatype properties is not  
part of the OWL 1.0 language.

On Oct 12, 2008, at 3:11 AM, Cho, Hyun Sang wrote:

> Hi,
> I just started to study ontology and tried to use Protégé for  
> handling OWL ontology now.
> I built up a simple ontology to infer simple individual type by  
> using value assigned data property.
> In fact it was same with an example on pp. 82, ch#5 in “A Practical  
> Guide To Building OWL Ontologies Using Protégé 4 and CO-CODE Tools  
> Edition 1.1”.
> The ontology was built by Protégé 4.0.
> I defined EnergyZoneState as an individual of class  
> CurrentEnergyZone and assigned data property hasEnergyVaule for  
> assertion. Just as the example in the text, if hasEnergyVaule  
> exceeds 12, EnergyZoneState will have another type class of  
> RedEnergyZone.
> I assigned value to  hasEnergyVaule and got expected results by  
> running  Pellet in menubar of Protégé 4.0.
> At same time, other individuals that only have hasEnergyVaule data  
> property also inferred to have their suitable state.
> So, I think, ontology is normal and operation of inference engine is  
> also normal.
> Next, I tried to do this operation by using Protégé OWL API with  
> Java (In this case, I used Protégé 3.4 beta build 506 because when I  
> opened org.semanticweb.owl.owlapi.jar in plugin folder of 4.0 I  
> found the packages were totally different from example of inference  
> API.)
> Although I got some problems, I could run the inference operation.
> However, for EnergyZoneState individual, it only returned  
> CurrentEnergyZone as a type class.
> I also tried to find inferred individuals of GreenEnergyZone but  
> there is no individual.
> So, I concluded that I got no inferred result.
> I tried to check inference by using 3.4 and also couldn’t get  
> inferred type.
> Is the result limitation of 3.4? Is there no way to get the same  
> result of 4.0?
> Please give me advice to find a way to get same result with the  
> Protégé 4.0.
> Regards,
> Cho, Hyun Sang
> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing:

More information about the protege-owl mailing list