<rdf:RDF xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><channel rdf:about="http://www.bibsonomy.org/tag/description_logic+semantic_web"><title>BibSonomy bookmarks for /tag/description_logic+semantic_web</title><link>http://www.bibsonomy.org/rss/tag/description_logic+semantic_web</link><description>BibSonomy RSS Feed for /tag/description_logic+semantic_web</description><items><rdf:Seq><rdf:li rdf:resource="http://platon.escet.urjc.es/~axel/publications/eit-etal-2006_rowSchool.pdf"/><rdf:li rdf:resource="http://phoebus.cs.man.ac.uk:9999/OWL/Validator"/><rdf:li rdf:resource="http://dl.kr.org/"/><rdf:li rdf:resource="http://citeseer.ist.psu.edu/levy96carin.html"/></rdf:Seq></items></channel><item rdf:about="http://platon.escet.urjc.es/~axel/publications/eit-etal-2006_rowSchool.pdf"><title>Reasoning with Rules and Ontologies</title><description></description><link>http://platon.escet.urjc.es/~axel/publications/eit-etal-2006_rowSchool.pdf</link><dc:creator>mhausenblas</dc:creator><dc:date>2006-10-04T07:21:03+02:00</dc:date><dc:subject>phd_related semantic_web paper logic_programming description_logic ontology rules </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/phd_related"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semantic_web"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/paper"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logic_programming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/description_logic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontology"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rules"/></rdf:Bag></taxo:topics></item><item rdf:about="http://phoebus.cs.man.ac.uk:9999/OWL/Validator"><title>WonderWeb OWL Ontology Validator</title><description></description><link>http://phoebus.cs.man.ac.uk:9999/OWL/Validator</link><dc:creator>mhausenblas</dc:creator><dc:date>2006-05-11T10:34:15+02:00</dc:date><dc:subject>tools semantic_web OWL description_logic </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tools"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semantic_web"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/OWL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/description_logic"/></rdf:Bag></taxo:topics></item><item rdf:about="http://dl.kr.org/"><title>Description Logics</title><description></description><link>http://dl.kr.org/</link><dc:creator>mhausenblas</dc:creator><dc:date>2006-04-07T09:29:00+02:00</dc:date><dc:subject>phd_related semantic_web paper description_logic reference </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/phd_related"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semantic_web"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/paper"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/description_logic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reference"/></rdf:Bag></taxo:topics></item><item rdf:about="http://citeseer.ist.psu.edu/levy96carin.html"><title>CARIN: A Representation Language Combining Horn Rules and Description Logics - Levy, Rousset (ResearchIndex)</title><description></description><link>http://citeseer.ist.psu.edu/levy96carin.html</link><dc:creator>mhausenblas</dc:creator><dc:date>2006-04-02T21:10:49+02:00</dc:date><dc:subject>semantic_web paper description_logic rules </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semantic_web"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/paper"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/description_logic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rules"/></rdf:Bag></taxo:topics></item></rdf:RDF>