Automatic type inference

Fig. 13.3 Automatic type inference of individuals of type o, Cable...

In a book of this type it is impossible to eover all the sector guidance which, in any case, is expanding rapidly. However, the following are a few of the many documents which now proliferate. They are often referred to as second tier guidance in relation to lEC 61508. Due to the open-ended nature of the statements made, and to ambiguity of interpretation, it cannot be said that conformance with any one of them automatically infers compliance with lEC 61508. 

Instance classification deduces a type (class) for an instance. In the ontology above, we declared the domain mo Engine and the range mo Supplier for the mo hasSupplier property. If the mo hasSupplier relation holds between instances mo Ela and mo Sla, then an inference engine will automatically deduce that the type of mo Ela is mo Engine (since the mo hasSupplier property has its domain restricted to instances from this class) while mo Sla is of type mo Supplier (since the mo hasSupplier property has its range restricted to instances from this class). Therefore, an instance classification was performed. 

---