<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:burst="http://xmlns.com/burst/0.1/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns="http://purl.org/rss/1.0/" xmlns:admin="http://webns.net/mvcb/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:cc="http://web.resource.org/cc/"><channel rdf:about="http://www.bibsonomy.org/user/eswc2008/formal-languages-1"><title>BibSonomy publications for /user/eswc2008/formal-languages-1</title><link>BibSonomypublrss/user/eswc2008/formal-languages-1</link><description>BibSonomy RSS feed for /user/eswc2008/formal-languages-1</description><dc:date>2012-02-17T02:25:25+01:00</dc:date><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2a87c0da670998e2977d26a48b072870c/eswc2008"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/22042ef8759afd27e1d86a87c67e13e4f/eswc2008"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23171f537650171bf487c8afdc4b90320/eswc2008"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/2a87c0da670998e2977d26a48b072870c/eswc2008"><title>Safe and Economic re-use of ontologies: a logic-based methodology and tool support</title><link>http://www.bibsonomy.org/bibtex/2a87c0da670998e2977d26a48b072870c/eswc2008</link><dc:creator>eswc2008</dc:creator><dc:date>2008-05-28T14:50:02+02:00</dc:date><dc:subject>safety reuse conservative ontology modularity locality extensions formal-languages-1 </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Jimenez-Ruiz&#034;&gt;Ernesto Jimenez-Ruiz&lt;/a&gt;, &lt;a href=&#034;/author/Grau&#034;&gt;Bernardo Cuenca Grau&lt;/a&gt;, &lt;a href=&#034;/author/Sattler&#034;&gt;Ulrike Sattler&lt;/a&gt;, &lt;a href=&#034;/author/Schneider&#034;&gt;Thomas Schneider&lt;/a&gt;,  and &lt;a href=&#034;/author/Berlanga-Llavori&#034;&gt;Rafael Berlanga-Llavori&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Proceedings of the 5th European Semantic Web Conference, &lt;/em&gt;&lt;em&gt;Berlin, Heidelberg, &lt;/em&gt;&lt;em&gt;Springer Verlag, &lt;/em&gt;(&lt;em&gt;June 2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/safety"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reuse"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/conservative"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontology"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/modularity"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/locality"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/extensions"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/formal-languages-1"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/22042ef8759afd27e1d86a87c67e13e4f/eswc2008"><title>Mapping Validation by Probabilistic Reasoning</title><link>http://www.bibsonomy.org/bibtex/22042ef8759afd27e1d86a87c67e13e4f/eswc2008</link><dc:creator>eswc2008</dc:creator><dc:date>2008-05-28T14:49:55+02:00</dc:date><dc:subject>matching mapping probabilistic logics description ontology reasoning formal-languages-1 </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Castano&#034;&gt;Silvana Castano&lt;/a&gt;, &lt;a href=&#034;/author/Ferrara&#034;&gt;Alfio Ferrara&lt;/a&gt;, &lt;a href=&#034;/author/Lorusso&#034;&gt;Davide Lorusso&lt;/a&gt;, &lt;a href=&#034;/author/Näth&#034;&gt;Tobias Henrik Näth&lt;/a&gt;,  and &lt;a href=&#034;/author/Moeller&#034;&gt;Ralf Moeller&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Proceedings of the 5th European Semantic Web Conference, &lt;/em&gt;&lt;em&gt;Berlin, Heidelberg, &lt;/em&gt;&lt;em&gt;Springer Verlag, &lt;/em&gt;(&lt;em&gt;June 2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/matching"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/mapping"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/probabilistic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logics"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/description"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontology"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reasoning"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/formal-languages-1"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/23171f537650171bf487c8afdc4b90320/eswc2008"><title>Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies</title><link>http://www.bibsonomy.org/bibtex/23171f537650171bf487c8afdc4b90320/eswc2008</link><dc:creator>eswc2008</dc:creator><dc:date>2008-05-28T14:49:51+02:00</dc:date><dc:subject>ontology logic description extraction classification module incremental formal-languages-1 </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Suntisrivaraporn&#034;&gt;Boontawee Suntisrivaraporn&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Proceedings of the 5th European Semantic Web Conference, &lt;/em&gt;&lt;em&gt;Berlin, Heidelberg, &lt;/em&gt;&lt;em&gt;Springer Verlag, &lt;/em&gt;(&lt;em&gt;June 2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontology"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/description"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/extraction"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/classification"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/module"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/incremental"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/formal-languages-1"/></rdf:Bag></taxo:topics></item></rdf:RDF>
