Re: Protege 4.2 Transitive Property

Hello Semir,

You can set a data or object property transitive by checking 
"Transitive" checkbox in the "Characteristics" view of the property (see 
bellow).



The fact that a property is transitive does not make any ontology 
inconsistent by itself. If the transitive containedIn property is a 
contributing factor for your ontology being inconsistent, you have to 
analyze your ontology to understand what other axioms in your ontology 
are contributing to your ontology being inconsistent. The easiest way to 
see the reason for the inconsistency, is to click on the "Explain" 
button when (and if) you get and inconsistent ontology message, like here:




If you still have trouble, you could send the ontology to the mailing 
list and I am sure somebody will be able to explain what is going wrong 
and how to fix it.

Csongor


On 04/23/2013 06:27 AM, Semir Sarajlic wrote:
>
> Hi Everyone,
>
> In Protege 4.2, I am having a problem declaring a property as a 
> transitive property.  Everytime I select a transitive option and run 
> my Pellet  reasoner, Pellet reasoner gives an error stating that my 
> ontolgy is inconsistent.
>
> I was trying to state that my ObjectProperty containedIn is a 
> transitive property.  For example, in my ontology I am trying to state 
> that object A is contained in object B, and object B is contained in 
> object C; therefore object  A is containedIn object C; hence the 
> property containedIn is transitive. For now, I am creating an 
> intersection of domain A and B containedIn range C,  but this 
> statement is not completely accurate.
>
> I have checked a lot of the forums from Ontolog and Protege, and have 
> not found anything that helped; also, I have checked the Protege 
> manual, but I did not find instructions on how to declare transitive 
> property in the Protege 4.2 API.
>
> If anyone could provide me with instructions on how to declare  this 
> property transitive in Protege 4.2 that would be most helpfull.
>
> Thank you in advance,
>
> Semir Sarajlic
>
> Georgia State University
>
> Geosciences Department
>
> Kell Hall 312
>
> 24 Peachtree Center Avenue
>
> Atlanta, GA 30303
>
> [email protected] <mailto:[email protected]>
>
>
>
> _______________________________________________
> protege-discussion mailing list
> [email protected]
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

_______________________________________________
protege-discussion mailing list
[email protected]
https://mailman.stanford.edu/mailman/listinfo/protege-discussion

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03