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.
Example:<br />
Web Queries with Logic<br />
► The Web is a giganteous graph<br />
► Pages are trees, but links create real graphs<br />
■ Links are a secondary <strong>st</strong>ruc<strong>tu</strong>re which overlays the primary tree<br />
<strong>st</strong>ruc<strong>tu</strong>re<br />
■ Interpret tree and links as relations<br />
■ <<strong>st</strong>rong>Graph</<strong>st</strong>rong> algorithms and queries can be applied <<strong>st</strong>rong>to</<strong>st</strong>rong> the web!<br />
► RDF (resource <strong>de</strong>scription framework, a simple graph language)<br />
► OWL (<strong>de</strong>scription logic, www.w3c.org) adds classes, inheritance,<br />
inheritance on binary relations, expressions and queries on binary<br />
relations<br />
► Other experimental languages <<strong>st</strong>rong>Graph</<strong>st</strong>rong>log, Hy+, WebOQL (Toron<<strong>st</strong>rong>to</<strong>st</strong>rong>),<br />
Flora/XSB, Florijd (Freiburg)<br />
► New languages are being <strong>de</strong>veloped<br />
■ In the European network REWERSE (www.rewerse.net)<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
59