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.
Pattern and Rules<br />
► Parenthood can be <strong>de</strong>scribed by a graph pattern<br />
► We can write the graph pattern also in logic:<br />
isParentOf(Parent,Child1) && isParentOf(Parent,Child2)<br />
► And <strong>de</strong>fine the rule<br />
if isParentOf(Parent,Child1) && isParentOf(Parent,Child2)<br />
then sameGeneration(Child1,Child2)<br />
Parent<br />
Child 1<br />
Child 2<br />
Parent<br />
Child 1<br />
Child 2<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
43