Thesis full text (PDF) - Politecnico di Milano

Add
PropertyValueAxiom
Input: mandatory name for property value parameter, optional
parameters for the insertion of assuming instances, defined properties
Table 4.4: WebML add axiom components
Description
Output: OK-link: set of removed axioms. KO-link: error code
Remove ClassAxiom Input: mandatory name for class, optional names for disjoint classes,
defined instances and properties
Remove Input: mandatory name for datatype, optional names for defined
DatatypeAxiom properties and values
Remove Input: mandatory name for property, optional names for disjoint and
PropertyAxiom inverse properties, assigned instances, defining classes and datatypes
Remove Input: mandatory name for instance, optional names for assigned
InstanceAxiom instances, defining classes
Remove Input: mandatory name for property value parameter, optional
PropertyValueAxiom parameters for the deletion of assuming instances, defined properties
Table 4.5: WebML remove axiom components
4.3.3 Implementation
For each of the above units, the implementation within the WebRatio environment comprises the
development of the following elements:
• The design-time XML descriptor, defining the unit name, the selection conditions that
may be attached, and the acceptable links.
• The Groovy transformations for automatically generating the unit runtime XML
descriptor, which specifies the knowledge objects to be queried/updated.
• The XSL transformations for automatically generating the unit custom tags for formatting
the unit content in the JSP templates that contain it.
• The Java class implementing the functionality delivered by the operation. Its code calls
the appropriate Pellet API methods for knowledge inference and manipulation.
73