<rdf:RDF xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:cc="http://web.resource.org/cc/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" 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 publications for /tag/dl</title><link>http://www.bibsonomy.org/publrss/tag/dl</link><description>BibSonomy RSS Feed for /tag/dl</description><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2b249626329e2cdee82c8799b9344b2de/sb3000"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/21e3b280b38b08fc8efc5618e645b29ff/sb3000"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2abac8f824c84fbc5ab621fd3e3433dbc/sb3000"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2ff57a366b70c299749239bb514a3bb71/sb3000"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stumme"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stumme"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2b8d613bf514d81b777c724640ce91594/sb3000"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/26abee7d4dbc7874815f8d18f20d3e3a9/sb3000"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/21bfb5f33156769d97d22bf8d5b4369dc/sb3000"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23566065693f7ae313f82f9b2a0c96936/sb3000"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/2b249626329e2cdee82c8799b9344b2de/sb3000"><title>Reasoning in Description Logics using Resolution and Deductive Databases</title><link>http://www.bibsonomy.org/bibtex/2b249626329e2cdee82c8799b9344b2de/sb3000</link><dc:creator>sb3000</dc:creator><dc:date>2008-04-09T20:38:20+02:00</dc:date><dc:subject>dl kaon2 reasoning </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Boris &lt;a href=&#034;http://www.bibsonomy.org/author/Motik&#034;&gt;Motik&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Universit&amp;#228;t Karlsruhe (TH), Karlsruhe, Germany, &lt;/em&gt;&lt;em&gt;January2006. &lt;/em&gt;</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/kaon2"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reasoning"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/21e3b280b38b08fc8efc5618e645b29ff/sb3000"><title>Concept Formation in Expressive Description Logics</title><description>SpringerLink - Buchkapitel</description><link>http://www.bibsonomy.org/bibtex/21e3b280b38b08fc8efc5618e645b29ff/sb3000</link><dc:creator>sb3000</dc:creator><dc:date>2008-04-03T16:41:37+02:00</dc:date><dc:subject>dl ilp </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Nicola &lt;a href=&#034;http://www.bibsonomy.org/author/Fanizzi&#034;&gt;Fanizzi&lt;/a&gt;  und Luigi &lt;a href=&#034;http://www.bibsonomy.org/author/Iannone&#034;&gt;Iannone&lt;/a&gt;  und Ignazio &lt;a href=&#034;http://www.bibsonomy.org/author/Palmisano&#034;&gt;Palmisano&lt;/a&gt;  und Giovanni &lt;a href=&#034;http://www.bibsonomy.org/author/Semeraro&#034;&gt;Semeraro&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Seite99--110. &lt;/em&gt;&lt;em&gt;Springer, Berlin--Heidelberg, Germany, &lt;/em&gt;(&lt;em&gt;2004&lt;/em&gt;)</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/ilp"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2abac8f824c84fbc5ab621fd3e3433dbc/sb3000"><title>Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods</title><link>http://www.bibsonomy.org/bibtex/2abac8f824c84fbc5ab621fd3e3433dbc/sb3000</link><dc:creator>sb3000</dc:creator><dc:date>2008-03-28T13:58:20+01:00</dc:date><dc:subject>dl kernels ontology similarity </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Nicola &lt;a href=&#034;http://www.bibsonomy.org/author/Fanizzi&#034;&gt;Fanizzi&lt;/a&gt;  und Claudia &lt;a href=&#034;http://www.bibsonomy.org/author/d&amp;#039;Amato&#034;&gt;d&#039;Amato&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Proceedings of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2007), XVII Italian Workshop on Neural Networks,, &lt;/em&gt;&lt;em&gt;4692, &lt;/em&gt;&lt;em&gt;Seite148--155. &lt;/em&gt;&lt;em&gt;Springer, Berlin--Heidelberg, Germany, &lt;/em&gt;(&lt;em&gt;2007&lt;/em&gt;)</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/kernels"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontology"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/similarity"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2ff57a366b70c299749239bb514a3bb71/sb3000"><title>A Declarative Kernel for ALC Concept Descriptions</title><link>http://www.bibsonomy.org/bibtex/2ff57a366b70c299749239bb514a3bb71/sb3000</link><dc:creator>sb3000</dc:creator><dc:date>2008-03-28T13:52:02+01:00</dc:date><dc:subject>dl kernels ontology similarity </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Nicola &lt;a href=&#034;http://www.bibsonomy.org/author/Fanizzi&#034;&gt;Fanizzi&lt;/a&gt;  und Claudia &lt;a href=&#034;http://www.bibsonomy.org/author/d&amp;#039;Amato&#034;&gt;d&#039;Amato&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Foundations of Intelligent Systems, 16th International Symposium,, &lt;/em&gt;&lt;em&gt;Volume4203vonLecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;Seite322-331. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;2006&lt;/em&gt;)</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/kernels"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/ontology"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/similarity"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stumme"><title>Completing Description Logic Knowledge Bases Using Formal Concept Analysis.</title><description>dblp</description><link>http://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stumme</link><dc:creator>stumme</dc:creator><dc:date>2008-03-28T12:11:30+01:00</dc:date><dc:subject>FCA OntologyHandbook analysis concept description dl fca formal logics </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Franz &lt;a href=&#034;http://www.bibsonomy.org/author/Baader&#034;&gt;Baader&lt;/a&gt;  und Bernhard &lt;a href=&#034;http://www.bibsonomy.org/author/Ganter&#034;&gt;Ganter&lt;/a&gt;  und Baris &lt;a href=&#034;http://www.bibsonomy.org/author/Sertkaya&#034;&gt;Sertkaya&lt;/a&gt;  und Ulrike &lt;a href=&#034;http://www.bibsonomy.org/author/Sattler&#034;&gt;Sattler&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;IJCAI, &lt;/em&gt;&lt;em&gt;Seite230-235. &lt;/em&gt;(&lt;em&gt;2007&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/FCA"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/OntologyHandbook"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/analysis"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/concept"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/description"/><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/formal"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logics"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stumme"><title>Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification</title><link>http://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stumme</link><dc:creator>stumme</dc:creator><dc:date>2008-03-28T10:21:21+01:00</dc:date><dc:subject>analysis attribute begriffsanalyse concept description dl exploration fca formal formale logics relational </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Sebastian &lt;a href=&#034;http://www.bibsonomy.org/author/Rudolph&#034;&gt;Rudolph&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Universit&amp;#228;tsverlag Karlsruhe, &lt;/em&gt;&lt;em&gt;DEC2006. &lt;/em&gt;&lt;em&gt;Dissertation
		    .
	    &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/analysis"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/attribute"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/begriffsanalyse"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/concept"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/description"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/dl"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/exploration"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fca"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/formal"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/formale"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logics"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/relational"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2b8d613bf514d81b777c724640ce91594/sb3000"><title>A Dissimilarity Measure for ALC Concept Descriptions</title><description>A dissimilarity measure for ALC concept descriptions</description><link>http://www.bibsonomy.org/bibtex/2b8d613bf514d81b777c724640ce91594/sb3000</link><dc:creator>sb3000</dc:creator><dc:date>2008-03-14T12:24:42+01:00</dc:date><dc:subject>dl similarity </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Claudia &lt;a href=&#034;http://www.bibsonomy.org/author/d&amp;#039;Amato&#034;&gt;d&#039;Amato&lt;/a&gt;  und Nicola &lt;a href=&#034;http://www.bibsonomy.org/author/Fanizzi&#034;&gt;Fanizzi&lt;/a&gt;  und Floriana &lt;a href=&#034;http://www.bibsonomy.org/author/Esposito&#034;&gt;Esposito&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), April 23-27, 2006, Dijon, France, &lt;/em&gt;&lt;em&gt;Seite1695--1699. &lt;/em&gt;&lt;em&gt;ACM, New York, NY, USA, &lt;/em&gt;(&lt;em&gt;2006&lt;/em&gt;)</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/similarity"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/26abee7d4dbc7874815f8d18f20d3e3a9/sb3000"><title>Learning the CLASSIC Description Logic: Theoretical and Experimental Results</title><link>http://www.bibsonomy.org/bibtex/26abee7d4dbc7874815f8d18f20d3e3a9/sb3000</link><dc:creator>sb3000</dc:creator><dc:date>2008-03-10T16:07:01+01:00</dc:date><dc:subject>DL ml </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;William W. &lt;a href=&#034;http://www.bibsonomy.org/author/Cohen&#034;&gt;Cohen&lt;/a&gt;  und Haym &lt;a href=&#034;http://www.bibsonomy.org/author/Hirsh&#034;&gt;Hirsh&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR&#039;94), May 24-27, 1994, Bonn, Germany, &lt;/em&gt;&lt;em&gt;Seite121--133. &lt;/em&gt;&lt;em&gt;Morgan-Kauffman Publishers, San Francisco, CA, USA, &lt;/em&gt;(&lt;em&gt;1994&lt;/em&gt;)</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/ml"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/21bfb5f33156769d97d22bf8d5b4369dc/sb3000"><title>Towards Measuring Similarity in Description Logics.</title><link>http://www.bibsonomy.org/bibtex/21bfb5f33156769d97d22bf8d5b4369dc/sb3000</link><dc:creator>sb3000</dc:creator><dc:date>2008-03-10T15:23:02+01:00</dc:date><dc:subject>dl similarity </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Alexander &lt;a href=&#034;http://www.bibsonomy.org/author/Borgida&#034;&gt;Borgida&lt;/a&gt;  und Thomas &lt;a href=&#034;http://www.bibsonomy.org/author/Walsh&#034;&gt;Walsh&lt;/a&gt;  und Haym &lt;a href=&#034;http://www.bibsonomy.org/author/Hirsh&#034;&gt;Hirsh&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005, Edinburgh, Scotland, UK, &lt;/em&gt;&lt;em&gt;Volume147vonCEUR Workshop Proceedings, &lt;/em&gt;&lt;em&gt;CEUR-WS.org, &lt;/em&gt;(&lt;em&gt;2005&lt;/em&gt;)</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/similarity"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/23566065693f7ae313f82f9b2a0c96936/sb3000"><title>The Description Logic Handbook: Theory, Implementation and Applications</title><link>http://www.bibsonomy.org/bibtex/23566065693f7ae313f82f9b2a0c96936/sb3000</link><dc:creator>sb3000</dc:creator><dc:date>2008-03-10T11:27:09+01:00</dc:date><dc:subject>DL </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Franz &lt;a href=&#034;http://www.bibsonomy.org/author/Baader&#034;&gt;Baader&lt;/a&gt;  und Diego &lt;a href=&#034;http://www.bibsonomy.org/author/Calvanese&#034;&gt;Calvanese&lt;/a&gt;  und Deborah &lt;a href=&#034;http://www.bibsonomy.org/author/McGuinness&#034;&gt;McGuinness&lt;/a&gt;  und Daniele &lt;a href=&#034;http://www.bibsonomy.org/author/Nardi&#034;&gt;Nardi&lt;/a&gt;  und Peter &lt;a href=&#034;http://www.bibsonomy.org/author/Patel-Schneider&#034;&gt;Patel-Schneider&lt;/a&gt; 
				(eds.).
			 &lt;/span&gt;&lt;em&gt;Cambridge University Press, &lt;/em&gt;&lt;em&gt;Cambridge, UK, &lt;/em&gt;(&lt;em&gt;2003&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/DL"/></rdf:Bag></taxo:topics></item></rdf:RDF>