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
Tue Jul 8 18:53:42 PDT 2008


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


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 <> 
> - millions of new email addresses available now at Yahoo! 
> <>
> ------------------------------------------------------------------------
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at
> Instructions for unsubscribing: 

More information about the protege-discussion mailing list