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] DL query : is it possible to write query with key words such as Type

Thomas Schneider schneidt at
Tue Jul 6 02:29:36 PDT 2010

Hi Mathilde,

in the DL query tab, you can enter the class expression {a} if a is  
your individual, and then tick the checkbox "Superclasses". The  
results are all classes of which a is an instance. (Precisely  
speaking, your query will be asking for all classes that are  
subclasses of the class whose instance is exactly the individual named  
by the nominal a.)

You can change the reasoner if you install plugins for other state-of- 
the-art reasoners such as FaCT++ [1] or Pellet [2]. The advantage of  
having several reasoners available can be described as follows: since  
reasoning in OWL is computationally hard, every reasoner has to use a  
number of optimisations to handle even large ontologies. Different  
reasoners usually employ different optimisations, and therefore some  
large ontologies can be handled faster by one reasoner, and others by  
another. This difference shouldn't matter much for small ontologies  
though. However, the *results* should never differ, unless there's a  
bug in a reasoner. In addition, some reasoners support features beyond  
OWL, e.g., Pellet supports rules, I believe.




On 5 Jul 2010, at 19:10, Mathilde Deffontaines wrote:

> Hi,
> I am using a Protégé version with a run engine called Hermit.
> I would like to make a DL query to get the infered class (type) of  
> an instance. Is it possible to make a DL query with a key word such  
> as Type or subClassOf? Something like "Type a" with "a" the  
> instance... I couldn't find the answer on the Protégé wiki page  
> about DL query.
> And additionnal question: is it possible to change the run engine  
> (while only one is proposed)? and what can it bring more?
> Thanks in advance,
> Mathilde Burlion
> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing:

|  Dr Thomas Schneider                    schneider (at)  |
|  School of Computer Science  |
|  Kilburn Building, Room 2.114                 phone +44 161 2756136  |
|  University of Manchester                                            |
|  Oxford Road                                             _///_       |
|  Manchester M13 9PL                                      (o~o)       |

Detchant (n.)
   The part of the hymn (usually a few notes at the end of the verse)
   where the tune goes so high or low that you suddenly have to change
   pitch to accommodate it.

                   Douglas Adams, John Lloyd: The Deeper Meaning of Liff

-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 203 bytes
Desc: This is a digitally signed message part
URL: <>

More information about the protege-owl mailing list