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.
Description Logic (DL)<br />
► Is a special form of typed Datalog (typed EARS)<br />
■ But only with binary relations<br />
■ Classes and objects, in<strong>st</strong>ead of untyped Datalog con<strong>st</strong>ants<br />
■ Relationship types and relations<br />
► All knowledge is specified with triples, simple sentences of Verb-<br />
Predicate-Object:<br />
Adam in<strong>st</strong>anceOf Person.<br />
Sibylla in<strong>st</strong>anceOf Person.<br />
Gu<strong>st</strong>avAdolf in<strong>st</strong>anceOf Person.<br />
King isA Person.<br />
Princess isA Person.<br />
...<br />
Adam parentOf Gu<strong>st</strong>avAdolf.<br />
Adam parentOf Sibylla.<br />
...<br />
Adam:<br />
Person<br />
Gu<strong>st</strong>avAdolf:<br />
Person<br />
Sibylla:<br />
Person<br />
Walter:<br />
Person<br />
Alice:<br />
Person<br />
Desiree:<br />
Person<br />
Carl Gu<strong>st</strong>av:<br />
King<br />
Ma<strong>de</strong>leine:<br />
Princess<br />
Silvia:<br />
Person<br />
Ralf:<br />
Prof. Uwe Aßmann, Softwaretechnologie Person II<br />
Vic<<strong>st</strong>rong>to</<strong>st</strong>rong>ria:<br />
Princess<br />
53