https://protegewiki.stanford.edu/index.php?title=Pr4_UG_rt_DL_Query&feed=atom&action=history
Pr4 UG rt DL Query - Revision history
2024-03-29T07:16:23Z
Revision history for this page on the wiki
MediaWiki 1.27.7
https://protegewiki.stanford.edu/index.php?title=Pr4_UG_rt_DL_Query&diff=8237&oldid=prev
RichMorin: Automated import of articles
2010-07-27T21:09:28Z
<p>Automated import of articles</p>
<p><b>New page</b></p><div>__NOTOC__<br />
<!-- Pr4_UG_rt_DL_Query --><br />
== DL Query Tab ==<br />
<br />
<noinclude>{{Pr4_UG_rt_TOC}}<div id='pr4_ug'></noinclude><br />
<br />
The DL Query [[{{#var:G}}Tab|tab]]<br />
allows querying the [[{{#var:G}}Reasoner|reasoner]]<br />
with arbitrary [[{{#var:G}}Class_Expression|class expressions]].<br />
<br />
==== Default Views ====<br />
<br />
By default, when this tab is selected,<br />
the following [[{{#var:G}}View|views]] are displayed:<br />
<br />
* Class hierarchy<br />
** [[Pr4_UG_rv_Cl_Class_hier |<br />
Class views > Class hierarchy]]<br />
<br />
* Query<br />
** [[Pr4_UG_rv_Mi_Query |<br />
Misc views > Query]]<br />
<br />
=== Default Appearance ===<br />
<br />
[[Image:Pr4_UG_rt_DL_Query.png|600px]]<br />
<br />
</div></div>
RichMorin