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 ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
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 tax <strong>de</strong>clarations<br />
■ Result: a tax on<<strong>st</strong>rong>to</<strong>st</strong>rong>logy, a vocabulary of classes with consi<strong>st</strong>ency<br />
con<strong>st</strong>raints<br />
■ OWL engines (RACER, Triple) can evaluate the consi<strong>st</strong>ency of tax<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 admini<strong>st</strong>rative<br />
workflow [Aßmann2005]<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
82