https://protegewiki.stanford.edu/index.php?action=history&feed=atom&title=Pr4_UG_rt
Pr4 UG rt - Revision history
2026-05-11T16:22:08Z
Revision history for this page on the wiki
MediaWiki 1.27.7
https://protegewiki.stanford.edu/index.php?title=Pr4_UG_rt&diff=8233&oldid=prev
RichMorin: Automated import of articles
2010-07-27T21:08:44Z
<p>Automated import of articles</p>
<p><b>New page</b></p><div>__NOTOC__<br />
<!-- Pr4_UG_rt --><br />
== Tabs ==<br />
<br />
<noinclude>{{Pr4_UG_rt_TOC}}<div id='pr4_ug'></noinclude><br />
<br />
This section of the User's Guide<br />
covers the top-level [[{{#var:G}}Tab|tabs]]<br />
(both default and optional) provided by {{#var:Pr4}}.<br />
<br />
=== [[Pr4_UG_rt_Active_Ontology|Active Ontology]] ===<br />
<br />
The Active Ontology [[{{#var:G}}Tab|tab]]<br />
shows metadata, imports, and<br />
[[{{#var:G}}Metrics|metrics]] for the active [[{{#var:G}}Ontology|ontology]]. ...<br />
<br />
=== [[Pr4_UG_rt_Classes|Classes]] ===<br />
<br />
The [[{{#var:G}}Class|Classes]] [[{{#var:G}}Tab|tab]]<br />
is specifically optimized for viewing [[{{#var:G}}Class|classes]]. ...<br />
<br />
=== [[Pr4_UG_rt_Data_Properties|Data Properties]] ===<br />
<br />
The [[{{#var:G}}Data_Property|Data Properties]] [[{{#var:G}}Tab|tab]]<br />
is specifically optimized for viewing [[{{#var:G}}Data_Property|data properties]]. ...<br />
<br />
=== [[Pr4_UG_rt_DL_Query|DL Query]] ===<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 />
=== [[Pr4_UG_rt_Entities|Entities]] ===<br />
<br />
The [[{{#var:G}}Entity|Entities]] [[{{#var:G}}Tab|tab]]<br />
is the workhorse of the ontology editor.<br />
From this location, you can explore all<br />
of the [[{{#var:G}}Class|classes]],<br />
[[{{#var:G}}Property|properties]],<br />
and [[{{#var:G}}Individual|individuals]]<br />
in an [[{{#var:G}}Ontology|ontology]]. ...<br />
<br />
=== [[Pr4_UG_rt_Individuals|Individuals]] ===<br />
<br />
The [[{{#var:G}}Individual|Individuals]] [[{{#var:G}}Tab|tab]]<br />
is specifically optimized<br />
for viewing [[{{#var:G}}Individual|individuals]]. ...<br />
<br />
=== [[Pr4_UG_rt_Object_Properties|Object Properties]] ===<br />
<br />
The [[{{#var:G}}Object_Property|Object Properties]] [[{{#var:G}}Tab|tab]]<br />
is specifically optimized<br />
for viewing [[{{#var:G}}Object_Property|object properties]]. ...<br />
<br />
=== [[Pr4_UG_rt_OntoGraf|OntoGraf]] ===<br />
<br />
The [[{{#var:G}}OntoGraf|OntoGraf]] [[{{#var:G}}Tab|tab]] ...<br />
<br />
=== [[Pr4_UG_rt_OWLViz|OWLViz]] ===<br />
<br />
The [[{{#var:G}}OWLViz|OWLViz]] [[{{#var:G}}Tab|tab]]<br />
shows a graphical representation of the<br />
[[{{#var:G}}Asserted|asserted]] and<br />
[[{{#var:G}}Inferred|inferred]]<br />
[[{{#var:G}}Subclass|subclass]]<br />
[[{{#var:G}}Hierarchy|hierarchies]]. ...<br />
<br />
=== [[Pr4_UG_rt_Test|Test]] ===<br />
<br />
The Test [[{{#var:G}}Tab|tab]] allows experimentation<br />
with combinations of views, etc. ...<br />
<br />
</div></div>
RichMorin