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] how to use concept definition as part of SQWRL query?

Martin O'Connor martin.oconnor at
Thu Aug 5 09:49:48 PDT 2010

These are the names of some of the planned future built-ins.

In general, if a built-in in not documented in the wiki then it is not 
implemented or is not in releasable state.


 shugyousha wrote:
> Martin O'Connor wrote:
>> You could also use the TBox built-in library but it does not yet have 
>> all the necessary built-ins to work with OWL restrictions. I plan to 
>> extend the set of available built-ins in the next few months. However, 
>> the TBox built-ins are designed to answer low-level queries about the 
>> structure of an ontology. Ideally, you should model your domain in a way 
>> that would not require their use.
> I have a follow-up question to the built-ins for OWL restrictions. There
> seems to be a bigger number of them now in the tbox.owl library:
>  <swrl:Builtin rdf:ID="isOWLAllValuesFromRestriction"/>
>   <swrl:Builtin rdf:ID="isOWLEquivalentClassAxiom"/>
>   <swrl:Builtin rdf:ID="isOWLRestriction"/>
>   <swrl:Builtin rdf:ID="isOWLHasValueRestriction"/>
>   <swrl:Builtin rdf:ID="isOWLMinCardinalityRestriction"/>
>   <swrl:Builtin rdf:ID="isOWLCardinalityRestriction"/>
>   <swrl:Builtin rdf:ID="isOWLMaxCardinalityRestriction"/>
> Sadly I wasn't able to find any documentation on them. Do you think they
> could be used to find all classes that contain individuals which fulfill any
> of the restrictions of any of the other classes in an ontology for example?
> I would be happy if they only would let me bind restrictions to variables
> and check for their fulfillment though...

More information about the protege-owl mailing list