2. Ontology development tools/modules KB management and ontology tools/modules Ontology browsers, viewers, and editors Scenario elicitation modules

Disciple RKF/COG Installation Disciple hands-on experience Disciple RKF/COG Installation See the Install manual.

Knowledge Base Management KB Management and Ontology Tools Ontology Tools Object Hierarchy Browsers Feature Hierarchy Browsers Object Editor Association Browser Feature Editor Object Viewer Script Editor Feature Viewer Knowledge Base Management Ontology Management Plausible Version Spaces Mngt. Rules Management ONTOLOGY RULES

Knowledge Base Management Start Disciple-RKF Disciple Client: Domain  KB Manager Select “Sicily” under “COG-MAAI-demo/KB-pb-solving-demo” Open KB <discussion of the various functions available> Close Window

Object hierarchy browser Feature hierarchy browser Ontology browsers, viewers, and editors Association browser Object hierarchy browser Object viewer Feature hierarchy browser Feature viewer These ontology tools are in a more preliminary state of development than the other tools of Disciple. The current ontology of Disciple-RKF/COG was actually developed using the ontology tools of the previous version of Disciple, called Disciple-HPKB, and then automatically translated into the representation of Disciple-RKF/COG. Object editor Feature editor

Association browser: hands-on experience Disciple Client:Ontology  Association browser Expand the window to the entire screen

Explore the ontology by clicking on various concepts: Click on Force Click on US 1943 … Discuss the various buttons: History (use it to review previously explored nodes) Options: Super, Sub, From, To (exercise them to see their effect) Find  Illustrate and explain options View Discuss Modify (but do not change anything) Close Require suggestions for improvement.

Object Hierarchy Browser Object hierarchy browser: hands-on experience Object Hierarchy Browser Disciple Client:Ontology  Object browser

Explore the object hierarchy: Expand OBJECT Expand Force … Present the functions of various buttons without using them

Object viewer: hands-on experience

Find US View Show how to switch the panes. Close

Feature Hierarchy Browser Feature hierarchy browser: hands-on experience Feature Hierarchy Browser Explore the feature hierarchy: Expand FEATURE Notice that this is a flat hierarchy, not the refined hierarchy presented before. It was developed using the ontology tools of Disciple-HPKB. (Present the functions of various buttons without using them)

Feature viewer: hands-on experience

Find civ Click on has_as_civilization Select The feature will be shown as selected in the hierarchy browser View The feature viewer will be displayed in another pane, showing the description of the feature: Name Documentation Natural language pattern Hierarchy position: Super-features/Sub-features Domain and range View other features Close all the panes

Object editor: hands-on experience

In Object browser Expand OBJECT Expand Force Expand Single_state_force We will define a new instance of Single_state_force With Single_state_force selected Click on “New instance”

A new workspace is opened with an Object Editor pane Name: France_1943 Change to France, then Revert Click Apply Documentation: Another country involved in the war Explain Hierarchy position, but do not make any change We would like to add the feature that Paris is the capital. Before we can do this we need to define Paris in the knowledge base. Close

Select the “Object Hierarchy Browser” workspace and notice the insertion of France_1943 Select “France_1943” Click “View” Notice the documentation Close the object viewer

We would like now to add Paris as a capital In the Object Hierarchy Browser Click Find In the Find objects pane Type cap Click on Capital Click on Select In the Object Hierarchy Notice that the hierarchy is expanded and shows “Capital” selected

Close Find objects pane With “Capital” selected in the object hierarchy Click “New instance” Again a new workspace for the Object Editor is created. Define: Name Paris Apply Documentation The capital of France Close

In the Object Hierarchy Browser Expand Capital and notice Paris Select France_1943 (if it is not on the screen, use Find to locate it) Click Modify A new Object Editor workspace is created We can now define the fact that Paris is the capital of France_1943 In the Features pane Click on “Add feature” The feature browser is opened to allow us to select the feature to be associated to France Click on “Find” A “Find feature” pane is opened Type cap Click Find Click on “has_as_capital” Select The feature hierarchy is expanded to show the selected feature

Click “Select” In the new pane opened click “Find” The elements that could be values of “has as capital” are displayed. Click on “Paris” Select The feature and its value are now shown inside the “Name and values” pane Click “Close”

In the Object Hierarchy Browser Select “France_1943” Click on “View” Notice the presence of the new feature-value pair Close the viewer Close the Object Hierarchy Browser

Feature editor: hands-on experience We will now demonstrate the use of the Feature Editor We want to define a new feature called “has_as_main_cultural_center” And then use it to state that France_1943 has Paris as its main cultural center

In the Disciple Client Ontology  Feature Browser The Feature Hierarchy Browser is opened Expand FEATURE We inspect the existing features and decide to define the new feature as a sub-feature of “has_as_source_of_strength_and _power” Click on this feature Click on View Notice the domains and the ranges of this feature. The bounds of the domain and range of the new feature should be less general In the Feature browser pane click on “New feature”

A new workspace is opened to define a sub-feature of “has_as_source_of_strength_and_power” Type the Name has_as_main_cultural_center Apply Notice that the domain and the range have been updated to show acceptable values (these are the domain and the range of the super-feature)

Natural language pattern The feature to be defined is “Object has_as_main_cultural_center Value” With this feature, we want to associate the natural language pattern “Object has Value as its main cultural center” That is, the feature “France_1943 has_as_main_cultural_center Paris” Will have the natural language pattern “France has Paris as its main cultural center”

We will now define the domain and the range We will now define the domain and the range. They will be interpreted by Disciple as upper bound values. Force is too general a domain We want the domain to be a state. We need to look for the subconcept of Force that correspond to state Click “Add” in the domain pane A pane with the Object hierarchy browser is opened Click “Find” (Error: the Find object pane is not shown) Reduce the size of the “Modify feature” pane (by clicking on the up arrow at the bottom of the pane) in order to see the Find object pane. (if we maximize the Feature Editor workspace we can see the “Find objects” pane at the bottom, but we cannot move up the separating bar; in fact, none of the bars can be shifted) Type state In the Find objects pane Click Find Several concepts are displayed Click on “Single_state_force” Click on “Select” The Object hierarchy will be expanded to show the selected object.

Click on the down arrow on the separator above the “Find objects” pane to minimize this pane and show again the “Modify feature” pane In the “Browse” pane click on “Add to domain” Notice that “Single_state_force” was added to the domain pane Select “Force” Click “Delete” Notice the “+” and “-” signs associated with the elements of the domain Now click on “Apply domain” Notice that th new domain is “Single_state_force”

Let us now update the range (It does not work; Add button is not active; Allowed me to switch to another type of range and when I returned to “Concept” the existing range disappeared) In the “Browse” pane select a value for the range. Expand “Strategic_cog_relevant_factor” Click on “Geographic factor” Click on “Add to range” “Geographic_factor” appears in the range pane, preceded by a “+” sign. Click Apply The new feature was defined. Close the “Browse” pane Close the “Modify feature” pane

In the Feature Hierarchy Browser workspace, expand “has_as_source_of_strength_and_power” and notice its new sub-feature “has_as_main_cultural_center” Select and view this feature Now we can use it to extend the descriptions of existing objects, for instance to state that France_1943 has Paris as its main cultural center.

Close the “View” pane and the “Browse” pane. Disciple Client  Object Browser Click “Find” in the “Browse” pane Type “France” in the “Find objects” pane and click on “Find” Click on “France_1943” and then on “Select” France_1943 is shown in the “Browse” pane. Close the “Find objects” pane Click on “Modify” in the “Browse” pane where “France_1943” is selected. A new workspace for the Object Editor” is created. Click on “Add feature” A “Browse” pane for the feature hierarchy is opened. Click on “Find” A “Find features” pane is opened. Type “cultur” and click on “Find” Click on “has_as_main_cultural_center” and then on “Select” The “Browse” feature hierarchy pane shows an expanded feature hierarchy with “has_as_main_cultural_center” selected

Click on “Select” in the “Browse” features pane An “Enter value” pane is created. Click “Find” The pane will display all allowable values. Click on “Paris” and then “Select” The new feature-value pair is added in the “Modify instance” pane. Close pane

Use the Object Hierarchy Browser pane to view the description of France_1943 (select France_1943, if it is not already selected, and then click on “View”) Notice the new feature Close viewer. Close “Browse”.