<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/concept/tag/owl+reasoning"><title>BibSonomy bookmarks for /concept/tag/owl+reasoning</title><link>http://www.bibsonomy.org/rss/concept/tag/owl+reasoning</link><description>BibSonomy RSS Feed for /concept/tag/owl+reasoning</description><items><rdf:Seq><rdf:li rdf:resource="http://data.semanticweb.org/conference/iswc-aswc/2007/talk-selector/"/><rdf:li rdf:resource="http://www-ksl.stanford.edu/software/jtp/doc/owl-reasoning.html"/><rdf:li rdf:resource="http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Labs/dlreasoning/"/><rdf:li rdf:resource="http://www.mindswap.org/2003/pellet/index.shtml"/><rdf:li rdf:resource="http://www.ksl.stanford.edu/software/JTP/"/><rdf:li rdf:resource="http://www.ontotext.com/owlim/"/><rdf:li rdf:resource="http://www.xmlarmyknife.org/"/><rdf:li rdf:resource="http://edge.cs.drexel.edu/assemblies/software/owljesskb/"/></rdf:Seq></items></channel><item rdf:about="http://data.semanticweb.org/conference/iswc-aswc/2007/talk-selector/"><title>ISWC 2007 + ASWC 2007 Talk Selector</title><description>Browse and read this year´s papers presented at ISWC and ASWC in Korea</description><link>http://data.semanticweb.org/conference/iswc-aswc/2007/talk-selector/</link><dc:creator>ablvienna</dc:creator><dc:date>2007-10-10T15:18:02+02:00</dc:date><dc:subject>semanticweb formal_languages ontology_engineering metadata reasoning research owl </dc:subject><content:encoded>Browse and read this year´s papers presented at ISWC and ASWC in Korea</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semanticweb"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/formal_languages"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontology_engineering"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/metadata"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reasoning"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/research"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/owl"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www-ksl.stanford.edu/software/jtp/doc/owl-reasoning.html"><title>http://www-ksl.stanford.edu/software/jtp/doc/owl-reasoning.html</title><description></description><link>http://www-ksl.stanford.edu/software/jtp/doc/owl-reasoning.html</link><dc:creator>ablvienna</dc:creator><dc:date>2007-02-06T15:29:10+01:00</dc:date><dc:subject>reasoning rdf owl </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reasoning"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rdf"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/owl"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Labs/dlreasoning/"><title>CS646: DL Reasoning</title><description></description><link>http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Labs/dlreasoning/</link><dc:creator>jaeschke</dc:creator><dc:date>2006-02-08T08:17:38+01:00</dc:date><dc:subject>owl reasoning exercise ontology lehre dl </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/owl"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reasoning"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/exercise"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontology"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/lehre"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dl"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.mindswap.org/2003/pellet/index.shtml"><title>Pellet OWL Reasoner</title><description></description><link>http://www.mindswap.org/2003/pellet/index.shtml</link><dc:creator>dolefulrabbit</dc:creator><dc:date>2005-11-16T17:38:08+01:00</dc:date><dc:subject>owl java semanticweb reasoning </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/owl"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/java"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semanticweb"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reasoning"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.ksl.stanford.edu/software/JTP/"><title>JTP: An Object Oriented Modular Reasoning System</title><description></description><link>http://www.ksl.stanford.edu/software/JTP/</link><dc:creator>dolefulrabbit</dc:creator><dc:date>2005-11-16T17:37:31+01:00</dc:date><dc:subject>reasoning semanticweb owl java </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reasoning"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semanticweb"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/owl"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/java"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.ontotext.com/owlim/"><title>OWLIM - OWL Semantic Repository</title><description></description><link>http://www.ontotext.com/owlim/</link><dc:creator>dolefulrabbit</dc:creator><dc:date>2005-11-16T16:56:27+01:00</dc:date><dc:subject>owl reasoning inference sesame </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/owl"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reasoning"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/inference"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/sesame"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.xmlarmyknife.org/"><title>XMLArmyKnife</title><description></description><link>http://www.xmlarmyknife.org/</link><dc:creator>dolefulrabbit</dc:creator><dc:date>2005-11-16T16:55:06+01:00</dc:date><dc:subject>semanticweb owl rdf reasoning sparql xml </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semanticweb"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/owl"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rdf"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reasoning"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/sparql"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/xml"/></rdf:Bag></taxo:topics></item><item rdf:about="http://edge.cs.drexel.edu/assemblies/software/owljesskb/"><title>OWLJessKB: A Semantic Web Reasoning Tool</title><description></description><link>http://edge.cs.drexel.edu/assemblies/software/owljesskb/</link><dc:creator>dolefulrabbit</dc:creator><dc:date>2005-11-16T16:39:12+01:00</dc:date><dc:subject>reasoning owl semantic semanticweb jena </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reasoning"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/owl"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semantic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semanticweb"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/jena"/></rdf:Bag></taxo:topics></item></rdf:RDF>