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] Defined class problem

Samson Tu swt at stanford.edu
Mon Apr 16 08:58:30 PDT 2007


You need to make BookShop a defined class for individuals of BookStore 
to be classified as BookShop individuals.

Denis wrote:
> Hi
> 
> I am trying to create equal classes by using necessary and sufficient. What I 
> am trying to say is that if something sells books, it must be a bookshop. So 
> if I run pellet, I need all instances of both my classes BookShop and 
> BookStore to show under each class. But I am facing problems. 
> 
> Below are the steps I have followed:
> 
> I have 3 classes, BookStore, BookShop and Book.
> Book is disjoint with BookStore.
> Book is disjoint with BookShop.
> 
> I have a property sells : Domain is BookShop and Range is Book.
> 
> I have two instances, Book1 and BookShop1.
> 
> Then I have created a restriction for class BookStore , using property sells 
> and chose Book class and has values from Class B.
> 
> Then I used closure axiom on the above restricted and ended up with the 
> following about my BookStore Class:
> 
> sells some Book
> sells only Book
> 
> Then I made BookStore a defined Class. 
> 
> When I run pellet, I get inferred individual of BookShop1 under my defined 
> class BookStore, but not vice versa (if I have instance of BookStore does not 
> appear under BookShop).
> 
> I would extremely appreciate if anyone could explain to me what should I do to 
> fix this problem and tell me what is the best way to implement this feature.
> 
> 
> Thank you 
> Denis
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> _______________________________________________
> 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