Possibility – Ontology TBox

Possibility in the Otter Studio, provides visibility to domain modules by focusing in on the TBox of description logic. In computer science, a TBox is a “terminological component”. The Studio presents two windows for Possibility. The left window provides for the selection and drill down into the domain building blocks. The window on the right shows the details of selected blocks for viewing, following links, and editing.

Both windows have options to define the color scheme and the graph direction.

In the “Building Blocks” window, one or more domains may be selected and shown with options for showing object property relations and hierarchy of Classes, Data Properties, or Object Properties.

All graphs are dynamically drawn by GraphViz.

The following shows examples of these options from the Pizza Stores Demo for the “PizzasMeta” domain.

Domain Selection

The building blocks of the “PizzasMeta” domain is selected showing object property relations. The graph includes the relations with the “StoresMeta” domain shown as a node with a dashed outline.

Domain Selection Content

Clicking on the “PizzasMeta” node in the graph, expands the graph and shows the classes and relations within the domain.

Domain Selection of Class

Clicking on a class, results in a graph showing the details of the selected class. The following is the graph of the “PizzaType” class.

Left side:

  • ranges – Object properties having this class in its range
  • supers – Super classes of this class
  • equivalents – Equivalent classes (none shown)

Right side:

  • domains – Object properties having this class in its domain
  • subs – Sub classes of the class (none shown)
  • disjoints – Disjoint classes of this class (none shown)

Data Properties:

  • name – Data property name
  • key – If marked with an “*” the data property is a key of the class
  • datatype – The OWL datatype of the data property

Domain Selection of Object Property

Clicking on an object property, results in a graph showing the details of the selected object property. The following is the graph of the “hasProductCategory” object property.

Left side:

  • domains – Domain classes of this object property
  • supers – Super object properties of this object property
  • equivalents – Equivalent object properties (none shown)

Right side:

  • ranges – Range classes of the object property
  • subs – Sub object properties of this object property (none shown)
  • disjoints – Disjoint object properties of this object property (none shown)

Domain Selection of Data Property

Clicking on a class data property, results in a graph showing the details of the selected data property. The following is the graph of the “hasPizzaTypeName” data property.

Left side:

  • domains – Domain classes of this data property
  • supers – Super data properties of this data property
  • equivalents – Equivalent data properties (none shown)

Right side:

  • ranges – Data types of the data property
  • subs – Sub data properties of this data property (none shown)
  • disjoints – Disjoint data properties of this data property (none shown)

Domain Class Hierarchy

The class hierarchy can be selected as shown in the following where the dashed lines represent class inheritance.

Domain Data Property Hierarchy

The data property hierarchy can be selected as shown in the following where the dashed lines represent data property inheritance.

Domain Class Data Properties

Double clicking on a class will expand the node to list the data properties within the class.

Domain Object Property Hierarchy

The object property hierarchy can be selected as shown in the following where the dashed lines represent object property inheritance.

Domain Class Hierarchy with Object Properties

The class hierarchy and relations can both be selected as shown in the following where the dashed lines represent object property inheritance.

Domain Data Hierarchy with Object Properties

The data property hierarchy and relations can both be selected as shown in the following where the dashed lines represent data property inheritance.