<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/dl"><title>BibSonomy bookmarks for /tag/dl</title><link>http://www.bibsonomy.org/rss/tag/dl</link><description>BibSonomy RSS Feed for /tag/dl</description><items><rdf:Seq><rdf:li rdf:resource="http://dl-learner.org/Projects/DLLearner/OnePageIntroduction"/><rdf:li rdf:resource="http://www.springerlink.com/content/md2rf6amg53av3un/"/><rdf:li rdf:resource="http://pellet.owldl.com/pronto"/><rdf:li rdf:resource="http://www.crcpress.com/product/isbn/9780849330896;jsessionid=gmNCWLkCYiX90T8ev7o8Lg**"/><rdf:li rdf:resource="http://dl-learner.org/Projects/DLLearner"/><rdf:li rdf:resource="http://www.lwb.unibe.ch/"/><rdf:li rdf:resource="http://www.inf.unibz.it/~calvanese/"/><rdf:li rdf:resource="http://www.tonesproject.org/"/><rdf:li rdf:resource="http://www.alphaworks.ibm.com/tech/sher"/><rdf:li rdf:resource="http://homes.dsi.unimi.it/~ghilardi/allegati/research.html"/><rdf:li rdf:resource="http://lat.inf.tu-dresden.de/systems/cel/"/><rdf:li rdf:resource="http://www.cs.us.es/~mjoseh/alc/"/><rdf:li rdf:resource="http://www.informatik.uni-bremen.de/~clu/"/><rdf:li rdf:resource="http://www.cs.rutgers.edu/~borgida/"/><rdf:li rdf:resource="http://www.mindswap.org/"/><rdf:li rdf:resource="http://web.comlab.ox.ac.uk/people/Ian.Horrocks/"/><rdf:li rdf:resource="http://www.inf.unibz.it/~franconi/dl/course/"/><rdf:li rdf:resource="http://ect.bell-labs.com/who/pfps/"/><rdf:li rdf:resource="http://clarkparsia.com/pellet/"/><rdf:li rdf:resource="http://dl-learner.org/Projects/DLLearner"/></rdf:Seq></items></channel><item rdf:about="http://dl-learner.org/Projects/DLLearner/OnePageIntroduction"><title>AKSW : Projects / DL Learner / One Page Introduction</title><description></description><link>http://dl-learner.org/Projects/DLLearner/OnePageIntroduction</link><dc:creator>arademaker</dc:creator><dc:date>2010-11-14T04:13:31+01:00</dc:date><dc:subject>DL logic machine-learning </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/machine-learning"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.springerlink.com/content/md2rf6amg53av3un/"><title>SpringerLink - Journal Article</title><description></description><link>http://www.springerlink.com/content/md2rf6amg53av3un/</link><dc:creator>tomter</dc:creator><dc:date>2010-03-15T22:30:26+01:00</dc:date><dc:subject>dl </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dl"/></rdf:Bag></taxo:topics></item><item rdf:about="http://pellet.owldl.com/pronto"><title>Pronto—A Probabilistic Reasoner for OWL DL and Pellet</title><description></description><link>http://pellet.owldl.com/pronto</link><dc:creator>arademaker</dc:creator><dc:date>2010-03-05T13:22:59+01:00</dc:date><dc:subject>DL probabilistic reasoner </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/probabilistic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reasoner"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.crcpress.com/product/isbn/9780849330896;jsessionid=gmNCWLkCYiX90T8ev7o8Lg**"><title>CRC Press Online - Book: Theories of Geographic Concepts         </title><description></description><link>http://www.crcpress.com/product/isbn/9780849330896;jsessionid=gmNCWLkCYiX90T8ev7o8Lg**</link><dc:creator>obj</dc:creator><dc:date>2010-02-04T08:25:28+01:00</dc:date><dc:subject>applications cg dl fca geographic knowledge nlp ontologies representation </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/applications"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/cg"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dl"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fca"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/geographic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/knowledge"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/nlp"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontologies"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/representation"/></rdf:Bag></taxo:topics></item><item rdf:about="http://dl-learner.org/Projects/DLLearner"><title>AKSW : Projects / DL Learner</title><description></description><link>http://dl-learner.org/Projects/DLLearner</link><dc:creator>arademaker</dc:creator><dc:date>2009-12-17T10:43:39+01:00</dc:date><dc:subject>DL owl protege rdf </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/owl"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/protege"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rdf"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.lwb.unibe.ch/"><title>The Logics Workbench</title><description></description><link>http://www.lwb.unibe.ch/</link><dc:creator>arademaker</dc:creator><dc:date>2009-05-07T22:22:17+02:00</dc:date><dc:subject>DL theorem-prover </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/theorem-prover"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.inf.unibz.it/~calvanese/"><title>Diego Calvanese&amp;#039;s Home Page</title><description></description><link>http://www.inf.unibz.it/~calvanese/</link><dc:creator>arademaker</dc:creator><dc:date>2009-05-05T17:44:30+02:00</dc:date><dc:subject>DL people </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/people"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.tonesproject.org/"><title>Tones Project</title><description></description><link>http://www.tonesproject.org/</link><dc:creator>arademaker</dc:creator><dc:date>2009-05-04T23:24:39+02:00</dc:date><dc:subject>DL ontology </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontology"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.alphaworks.ibm.com/tech/sher"><title>alphaWorks : Scalable Highly Expressive Reasoner</title><description></description><link>http://www.alphaworks.ibm.com/tech/sher</link><dc:creator>arademaker</dc:creator><dc:date>2009-05-04T18:48:58+02:00</dc:date><dc:subject>DL ontology reasoning </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontology"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reasoning"/></rdf:Bag></taxo:topics></item><item rdf:about="http://homes.dsi.unimi.it/~ghilardi/allegati/research.html"><title>Home Page of Silvio Ghilardi</title><description></description><link>http://homes.dsi.unimi.it/~ghilardi/allegati/research.html</link><dc:creator>arademaker</dc:creator><dc:date>2009-04-16T02:34:40+02:00</dc:date><dc:subject>DL logic people </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/people"/></rdf:Bag></taxo:topics></item><item rdf:about="http://lat.inf.tu-dresden.de/systems/cel/"><title>CEL :: a polynomial-time Classifier for the description logic EL+</title><description></description><link>http://lat.inf.tu-dresden.de/systems/cel/</link><dc:creator>arademaker</dc:creator><dc:date>2009-04-05T15:58:17+02:00</dc:date><dc:subject>DL theorem-prover </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/theorem-prover"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.cs.us.es/~mjoseh/alc/"><title>Formalizing the Description Logic ALC in PVS</title><description></description><link>http://www.cs.us.es/~mjoseh/alc/</link><dc:creator>arademaker</dc:creator><dc:date>2009-03-18T17:17:13+01:00</dc:date><dc:subject>DL pvs </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pvs"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.informatik.uni-bremen.de/~clu/"><title>Carsten Lutz</title><description></description><link>http://www.informatik.uni-bremen.de/~clu/</link><dc:creator>arademaker</dc:creator><dc:date>2009-02-24T21:53:40+01:00</dc:date><dc:subject>DL people </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/people"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.cs.rutgers.edu/~borgida/"><title>Home Page for Alex Borgida</title><description></description><link>http://www.cs.rutgers.edu/~borgida/</link><dc:creator>arademaker</dc:creator><dc:date>2009-02-24T00:38:39+01:00</dc:date><dc:subject>DL people </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/people"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.mindswap.org/"><title>Mindswap Homepage</title><description></description><link>http://www.mindswap.org/</link><dc:creator>arademaker</dc:creator><dc:date>2009-01-02T21:26:31+01:00</dc:date><dc:subject>DL semantic-web </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/semantic-web"/></rdf:Bag></taxo:topics></item><item rdf:about="http://web.comlab.ox.ac.uk/people/Ian.Horrocks/"><title>Ian Horrocks  : Oxford University Computing Laboratory</title><description></description><link>http://web.comlab.ox.ac.uk/people/Ian.Horrocks/</link><dc:creator>arademaker</dc:creator><dc:date>2008-12-30T22:32:44+01:00</dc:date><dc:subject>DL people </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/people"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.inf.unibz.it/~franconi/dl/course/"><title>DL Course</title><description></description><link>http://www.inf.unibz.it/~franconi/dl/course/</link><dc:creator>casi</dc:creator><dc:date>2008-12-18T18:16:32+01:00</dc:date><dc:subject>dl tutorial </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dl"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tutorial"/></rdf:Bag></taxo:topics></item><item rdf:about="http://ect.bell-labs.com/who/pfps/"><title>Peter F. Patel-Schneider&amp;#039;s home page</title><description></description><link>http://ect.bell-labs.com/who/pfps/</link><dc:creator>arademaker</dc:creator><dc:date>2008-12-02T13:01:06+01:00</dc:date><dc:subject>DL people theorem-prover </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/people"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/theorem-prover"/></rdf:Bag></taxo:topics></item><item rdf:about="http://clarkparsia.com/pellet/"><title>Pellet: The Open Source OWL DL Reasoner</title><description></description><link>http://clarkparsia.com/pellet/</link><dc:creator>arademaker</dc:creator><dc:date>2008-11-21T16:05:42+01:00</dc:date><dc:subject>DL owl </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/owl"/></rdf:Bag></taxo:topics></item><item rdf:about="http://dl-learner.org/Projects/DLLearner"><title>AKSW : Projects / DL Learner</title><description></description><link>http://dl-learner.org/Projects/DLLearner</link><dc:creator>hotho</dc:creator><dc:date>2008-10-13T20:14:27+02:00</dc:date><dc:subject>dl learning ml owl semantic web </dc:subject><content:encoded></content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dl"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/learning"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ml"/><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/web"/></rdf:Bag></taxo:topics></item></rdf:RDF>
