Audi, Achievo, and ontoprise

• Goal: simulation of car electronic systems’ physical conditions

• Usage of a mixture of rules and domain ontologies

• • ie, integration of very different sources of knowledge from different IT systems

• Inference engine also shows the explanation for specific query results