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-discussion] Protege - OWL compatible software tool

Tania Tudorache tudorache at stanford.edu
Tue Jul 8 18:53:42 PDT 2008


Berkan,

Please ask Protege-OWL related questions on the protege-owl mailing list.

Thanks!
Tania


berkan sesen wrote:
> Dear Community,
>
> I use many Universal and Existential restrictions in my ontology to 
> specify constraints on various object properties:
>
> E.g. "ClassA" isRelatedto some "ClassB"
>
> Is it possible to use Racer/Java/Any tool to automatically infer from 
> the restriction above that if I have an individual of "ClassA", it 
> should have isRelatedto relationship with at least one "ClassB" 
> individual?
>
> I am looking for a tool by which I can enforce this restriction 
> without writing an explicit query (A tool that understands what 
> Protege-OWL is talking about, indeed). Can Racer (or any other tool) 
> "semantically" understand this axiom and do a consistency check on the 
> individuals of the given classes?
>
> Any replies will be immensely appreciated.
>
> Thank you,
> Berkan Sesen
>
> ------------------------------------------------------------------------
> Not happy with your email address?
> Get the one you really want <http://uk.docs.yahoo.com/ymail/new.html> 
> - millions of new email addresses available now at Yahoo! 
> <http://uk.docs.yahoo.com/ymail/new.html>
> ------------------------------------------------------------------------
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>   




More information about the protege-discussion mailing list