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] Checking inconsistence of a "some" relation

Samson Tu swt at stanford.edu
Fri Aug 3 18:19:51 PDT 2007


No, it's not a bug.

However, the 'red border' check is a legacy from Protege frame. It 
doesn't really  mean much in OWL, with its open world assumption.

The fact that you don't have an explicit B instance associated with A 
doesn't mean that the ontology is inconsistent.

Samson

João Olavo Baião de Vasconcelos wrote:
> Hi!
> 
> I wanna know whether there's a way to alert that there's the following 
> inconsistence:
> A, B and C are disjoint classes.
> P is an object property.
> A has the restriction: "P some B" (that is, an A instance must be 
> connected to at least one instance of B by the relation P)
> 
> Then, in tab Individuals, I create an instance of each class.
> The P field of the A instance has a red square around it alerting that 
> there's no B instance connected to the A instance by this relation.
> But when I add a C instance to this field, the red square disappear! It 
> should continue red, since I didn't add any B  instance.
> 
> Is this a bug?
> Did I misunderstood something? If I didn't, what can I use to check this 
> inconsistence, besides doing a query to check it?
> 
> Thanks for any help!!
> -- 
> João Olavo Baião de Vasconcelos
> Ciência da Computação
> UFES
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
> 
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 


-- 
Samson Tu                    email: swt at stanford.edu
Senior Research Scientist    web: www.stanford.edu/~swt/
Stanford Medical Informatics phone: 1-650-725-3391
Stanford University          fax: 1-650-725-7944




More information about the protege-owl mailing list