How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Third I<strong>de</strong>a: Use On<<strong>st</strong>rong>to</<strong>st</strong>rong>logy Language<br />
► OWL (<strong>de</strong>scription logic) can be used for consi<strong>st</strong>ency con<strong>st</strong>raints, also<br />
of car specifications<br />
■ Result: an on<<strong>st</strong>rong>to</<strong>st</strong>rong>logy, a vocabulary of classes with consi<strong>st</strong>ency con<strong>st</strong>raints<br />
■ OWL engines (RACER, Triple) can evaluate the consi<strong>st</strong>ency of car<br />
specifications<br />
■ On<<strong>st</strong>rong>to</<strong>st</strong>rong>logies can formulate consi<strong>st</strong>ency criteria for an entire supplier chain<br />
[Aßmann2005]<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
78