Protege4ExpressionEditor - Revision history

TaniaTudorache at 04:12, May 24, 2016

2016-05-24T04:12:11Z

TaniaTudorache at 04:07, May 24, 2016

2016-05-24T04:07:39Z

TaniaTudorache at 04:06, May 24, 2016

2016-05-24T04:06:04Z

Nickdrummond: /* Expression completion */

2008-12-01T13:23:40Z

‎Expression completion

Nickdrummond: /* The P4 expression editor */ added expression completion

2008-12-01T13:21:55Z

‎The P4 expression editor: added expression completion

Nickdrummond: Initial add

2008-12-01T12:13:03Z

Initial add

New page

<div class="orangeBox">
<span class="orangeBoxTitle">Protege 4.x Expression Editor</span>

This page describes how to enter expression in P4
</div>

Back to [[Protege4UserDocs]]

__TOC__

The expression editor is primarily used to create class expressions, although it is also used for property expressions, axiom-level editing etc.

== Class expressions in P4 ==

P4 uses the [[Manchester_OWL_Syntax | Manchester OWL Syntax]] for all expressions.

P4 allows the user to create the full range of class expressions (also see [[P4AnonymousClasses | anonymous classes]]) wherever classes can be used in the interface:

* Classes: equivalent class, subclasses, disjoint classes
* Properties: domain, range
* Individuals: type (class assertions)

There are several inbuilt editors that hide the expression format from the user (such as the '''restriction creator''') that are useful when getting to know the tools, but they are not as powerful as the expression editor - for example, you can only select named fillers from the class hierarchy.

When used to the syntax, the expression editor can be a much faster way to create these class expressions (especially because of autocomplete).

== The P4 expression editor ==

To add a someValuesFrom restriction on a primitive class using the expression editor:
* select the class
* clicking the Add (+) next to the Superclasses section in the Class description view
* select the Class expression editor
* type "p someValuesFrom B" (where p and B are an object property and class respectively).

P4 will check that the expression is well formed and provides warning messages before the value can be accepted.

=== Autocomplete ===

[[Image:Autocomplete.png|right|400px]]

In order to get the syntax correct, search for candidate entities or ensure the correct spelling of a named thing in the ontology, an autocomplete feature has been implemented.

Use '''Ctrl-space''' (or '''tab''' in many circumstances) to attempt auto-complete in the expression editor.

If you have started typing a name it will search for names starting with the text you have entered (see right).

If multiple matches are made a dropdown appears and you can use '''up''' or '''down''' on the keyboard to select an entity (you can tell the type of the entity from the icon) and then '''return''' to accept.

If a single match is found autocomplete just fills in the result into the editor inline.

In either case, you can now continue typing.

Autocomplete also works for keywords and is good way of finding out which parenthesis or other punctuation can be used.

@@ Line 17: / Line 17: @@
 Protege uses the [[Manchester_OWL_Syntax | Manchester OWL Syntax]] for all expressions.
-Protege allows the user to create the full range of class expressions (also see [[P4AnonymousClasses | anonymous classes]]) wherever classes can be used in the interface:
+Protege allows the user to create the full range of class expressions, wherever classes can be used in the interface:
 * Classes: equivalent class, subclasses, disjoint classes

@@ Line 11: / Line 11: @@
 __TOC__
-The expression editor is primarily used to create class expressions, although it is also used for property expressions, axiom-level editing etc.
+The expression editor is primarily used to create [https://www.w3.org/TR/owl2-syntax/#Class_Expressions OWL 2 class expressions], although it is also used for property expressions, axiom-level editing etc.
 == Class expressions ==

@@ Line 1: / Line 1: @@
 <div class="orangeBox">
-<span class="orangeBoxTitle">Protege 4.x Expression Editor</span>
+<span class="orangeBoxTitle">Protege Expression Editor</span>
-This page describes how to enter expression in P4
+This page describes how to enter class expressions in Protege 4, 5 and newer.
 </div>
-Back to [[Protege4UserDocs]]
+'''Back to [[Protege4UserDocs|Protege User Documentation]]'''
@@ Line 13: / Line 13: @@
 The expression editor is primarily used to create class expressions, although it is also used for property expressions, axiom-level editing etc.
-== Class expressions in P4 ==
+== Class expressions ==
-P4 uses the [[Manchester_OWL_Syntax | Manchester OWL Syntax]] for all expressions.
+Protege uses the [[Manchester_OWL_Syntax | Manchester OWL Syntax]] for all expressions.
-P4 allows the user to create the full range of class expressions (also see [[P4AnonymousClasses | anonymous classes]]) wherever classes can be used in the interface:
+Protege allows the user to create the full range of class expressions (also see [[P4AnonymousClasses | anonymous classes]]) wherever classes can be used in the interface:
 * Classes: equivalent class, subclasses, disjoint classes
@@ Line 27: / Line 27: @@
 When used to the syntax, the expression editor can be a much faster way to create these class expressions (especially because of autocomplete).
-== The P4 expression editor ==
+== The Protege expression editor ==
 To add a someValuesFrom restriction on a primitive class using the expression editor:
@@ Line 35: / Line 35: @@
 * type "p some B" (where p and B are an object property and class respectively).
-P4 will check that the expression is well formed before the value can be accepted and provides warning messages if not.
+Protege will check that the expression is well formed before the value can be accepted and provides warning messages if not.
@@ Line 62: / Line 62: @@
 [[Image:Expression-completion.png|right|400px]]
-When you have entered an expression, it will be remembered by P4 for the rest of the session.
+When you have entered an expression, it will be remembered by Protege for the rest of the session.
 If you start another editor and you type something that matches a previously typed expression then this match will be suggested in the editor and highlighted (see right).
@@ Line 75: / Line 75: @@
 '''Sidenote:'''
-P4 will remember the expression as you typed it and will use this to render in the rest of the interface for the remainder of the session
+Protege will remember the expression as you typed it and will use this to render in the rest of the interface for the remainder of the session.
 <br style="clear: both;" />

@@ Line 71: / Line 71: @@
 * delete all of the suggested content by pressing '''backspace''' (of course it will reappear if what you are typing continues to match)
 * accept the dialog using the suggested content by pressing '''Ctrl-return'''
 <br style="clear: both;" />

@@ Line 33: / Line 33: @@
 * clicking the Add (+) next to the Superclasses section in the Class description view
 * select the Class expression editor
-* type "p someValuesFrom B" (where p and B are an object property and class respectively).
+* type "p some B" (where p and B are an object property and class respectively).
-P4 will check that the expression is well formed and provides warning messages before the value can be accepted.
+P4 will check that the expression is well formed before the value can be accepted and provides warning messages if not.
@@ Line 55: / Line 55: @@
 Autocomplete also works for keywords and is good way of finding out which parenthesis or other punctuation can be used.