https://protegewiki.stanford.edu/index.php?action=history&feed=atom&title=Pr4_UG_rm_RefactorPr4 UG rm Refactor - Revision history2026-05-11T02:11:49ZRevision history for this page on the wikiMediaWiki 1.27.7https://protegewiki.stanford.edu/index.php?title=Pr4_UG_rm_Refactor&diff=8190&oldid=prevRichMorin: Automated import of articles2010-07-27T21:00:52Z<p>Automated import of articles</p>
<p><b>New page</b></p><div><!-- Pr4_UG_rm_Refactor --><br />
== Refactor Menu ==<br />
<br />
<noinclude>{{Pr4_UG_rm_TOC}}<div id='pr4_ug'></noinclude><br />
<br />
The Refactor [[{{#var:G}}Menu|menu]]<br />
is used to access {{#var:Pr4}}'s<br />
[[{{#var:G}}Ontology|ontology]]-[[{{#var:G}}Refactoring|refactoring]] facilities.<br />
<br />
See also [{{#var:pws}}/Protege4Shortcuts Protege 4.X Shortcuts].<br />
<br />
<b>Note:</b><br />
In the keyboard shortcuts below,<br />
substitute "Cmd" for "Ctrl" on Mac OS X.<br />
<br />
=== ------------------------------ ===<br />
<br />
==== Change entity URI... (Ctrl-U) ====<br />
<br />
Globally change the [[{{#var:G}}URI|URI]]<br />
(<i>not</i> the label) for the selected [[{{#var:G}}Entity|entity]].<br />
(This item was previously known as "Rename...".)<br />
<br />
==== Change multiple entity URIs... ====<br />
<br />
Globally change the URIs<br />
(<i>not</i> the labels) for entities,<br />
using search and replace.<br />
(This item was previously known as "Rename entities...".)<br />
<br />
==== Change ontology URI... ====<br />
<br />
Change the URI for the active ontology.<br />
Note that this does <i>not</i> change the URIs of any entities.<br />
<br />
==== Convert entity URIs to labels... ====<br />
<br />
Change the fragment of every entity URI into an auto ID<br />
and places the original fragment text in a label<br />
(using the current New Entities preferences).<br />
<!-- ?(ToDo: deal with Protege4Preferences page) --><br />
<br />
=== ------------------------------ ===<br />
<br />
==== Convert property assertion on class/individual puns to annotations ====<br />
<br />
Convert any property assertions with a subject which is a pun<br />
to an annotation on the class which is punned.<br />
<br />
==== Coerce data property values into property range ====<br />
<br />
<!-- ?(Desc: Coerce data property values into property range) --><br />
<br />
=== ------------------------------ ===<br />
<br />
==== Split subclass axioms ====<br />
<br />
Split [[{{#var:G}}Subclass|subclass]] [[{{#var:G}}Axiom|axioms]]<br />
in the active ontologies into more fine-grained axioms.<br />
For example, "<tt>A subClassOf (B and C)</tt>"<br />
would be split into "<tt>A subClassOf B</tt>" and "<tt>A subClassOf C</tt>".<br />
<br />
==== Amalgamate subclass axioms ====<br />
<br />
Merge subclass axioms that have a common left-hand side.<br />
For example, "<tt>A subClassOf B</tt>" and "<tt>A subClassOf C</tt>"<br />
would be merged into a single subclass axiom,<br />
"<tt>A subClassOf (B and C)</tt>".<br />
<br />
==== Split disjoint subclasses into pairwise disjoints ====<br />
<br />
<!-- ?(Desc: Split disjoint subclasses into pairwise disjoints) --><br />
<br />
==== Amalgamate disjoint classes into larger disjoint sets ====<br />
<br />
<!-- ?(Desc: Amalgamate disjoint classes into larger disjoint sets) --><br />
<br />
=== ------------------------------ ===<br />
<br />
==== Convert qualified min cardinality 1 to someValuesFrom ====<br />
<br />
<!-- ?(Desc: Convert qualified min cardinality 1 to someValuesFrom) --><br />
<br />
=== ------------------------------ ===<br />
<br />
==== Copy/move/delete axioms... ====<br />
<br />
Select axioms using several different methods.<br />
These axioms can then be deleted or moved/copied<br />
to an existing or new ontology.<br />
(This item was previously known as "Extract/move axioms".)<br />
<br />
=== ------------------------------ ===<br />
<br />
==== Merge ontologies... ====<br />
<br />
Merge one or more ontologies into an existing or new ontology.<br />
<br />
</div></div>RichMorin