Thesis full text (PDF) - Politecnico di Milano

components (Table 4.3) is implemented for managing the whole knowledge base content
(Create-KB, Release-KB, Import-XMI-to-KB, Export-XMI-from-KB). Those for
adding/removing individual knowledge are implemented are summarized respectively in table
4.4 and table 4.5.
Create KB Unit
Output: OK-link transfers the identifier of the created knowledge
base instance. KO-link transfers the error code.
Release KB Unit Input: mandatory identifier of the knowledge base instance to be
deleted.
Output: OK-link: identifier of the deleted knowledge base instance.
KO-link: error code.
Import XMI to KB Unit Input: mandatory identifiers of the knowledge base instance and of
the XMI file to be imported.
Output: OK-link: set of imported axioms. KO-link: error code
Export KB to XMI Unit Input: mandatory identifier of the knowledge base instance to be
exported and mandatory XMI file.
Output: OK-link: set of exported axioms. KO-link: error code
Table 4.3: WebML manage knowledge base components
Description
Output: OK-link: set of added axioms. KO-link: error code
Add ClassAxiom
Add DatatypeAxiom
Add PropertyAxiom
Add InstanceAxiom
Input: mandatory name for class, optional names for disjoint classes,
defined instances and properties.
Input: mandatory name for datatype, optional names for defined
properties and values.
Input: mandatory name for property, optional names for disjoint and
inverse properties, assigned instances, defining classes and datatypes.
Input: mandatory name for instance, optional names for assigned
instances and defining classes.
72