Thesis full text (PDF) - Politecnico di Milano

definitions. The selection conditions to be applied are: PropertyValueOfName extracts instances
and data values corresponding to the indicated value, PropertyValueOfProperty extract the
values being assigned to the given property, PropertyValueOnInstance extracts the values being
assumed on the given instance, and PropertyValueIsNominal extracts nominals, that is the values
contained in class definitions.
3.1.7 Explanation Component
The Explanation component explores the axioms in the knowledge base regarding either the
consistency of the knowledge base or the satisfiability for a given class, and gives explanations
in terms of assertions in case these entailments do not hold. Alternatively, it may be used for
giving explanations of axioms. If the axioms are asserted, no further explanations are provided.
Otherwise, if the axioms are inferred, the component invocation returns the asserted axioms
being responsible for the inferred ones.
3.8: Explanation Component
34