<rdf:RDF xmlns:community="http://www.bibsonomy.org/ontologies/2008/05/community#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:admin="http://webns.net/mvcb/" 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:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:swrc="http://swrc.ontoware.org/ontology#" 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#" xml:base="http://www.bibsonomy.org/tag/logics+dl"><owl:Ontology rdf:about=""><rdfs:comment>BibSonomy publications for /tag/logics+dl</rdfs:comment><owl:imports rdf:resource="http://swrc.ontoware.org/ontology/portal"/></owl:Ontology><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stumme"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/25820d87b8abafea6412a706e9dc4d791/stumme"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf"/><swrc:date>Fri Mar 28 12:11:30 CET 2008</swrc:date><swrc:booktitle>IJCAI</swrc:booktitle><swrc:crossref>conf/ijcai/2007</swrc:crossref><swrc:pages>230-235</swrc:pages><swrc:title>Completing Description Logic Knowledge Bases Using Formal Concept
    Analysis.</swrc:title><swrc:year>2007</swrc:year><swrc:keywords>analysis FCA fca description OntologyHandbook logics concept dl formal </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://www.ijcai.org/papers07/Papers/IJCAI07-035.pdf" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2007-03-05" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Franz Baader"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Bernhard Ganter"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Baris Sertkaya"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Ulrike Sattler"/></rdf:_4></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Manuela M. Veloso"/></rdf:_1></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stumme"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stumme"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><owl:sameAs rdf:resource="http://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf"/><swrc:date>Fri Mar 28 10:21:21 CET 2008</swrc:date><swrc:month>DEC</swrc:month><swrc:note>Dissertation</swrc:note><swrc:publisher><swrc:Organization swrc:name="Universitätsverlag Karlsruhe"/></swrc:publisher><swrc:title>Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification</swrc:title><swrc:year>2006</swrc:year><swrc:keywords>exploration formale description relational concept analysis dl formal logics fca begriffsanalyse attribute </swrc:keywords><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Sebastian Rudolph"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2bdd618b0b8b2ed7d952149916eaac546/stumme"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2bdd618b0b8b2ed7d952149916eaac546/stumme"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://owled2007.iut-velizy.uvsq.fr/PapersPDF/submission_5.pdf"/><swrc:date>Thu Aug 30 16:42:18 CEST 2007</swrc:date><swrc:booktitle>IJCAI</swrc:booktitle><swrc:crossref>conf/ijcai/2007</swrc:crossref><swrc:pages>230-235</swrc:pages><swrc:title>Completing Description Logic Knowledge Bases Using Formal Concept Analysis</swrc:title><swrc:year>2007</swrc:year><swrc:keywords>formal fca concept logics dl description analysis </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://www.ijcai.org/papers07/Papers/IJCAI07-035.pdf" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2007-03-05" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Franz Baader"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Bernhard Ganter"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Baris Sertkaya"/></rdf:_3><rdf:_4><swrc:Person swrc:name="Ulrike Sattler"/></rdf:_4></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Manuela M. Veloso"/></rdf:_1></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/22af70afba01a15829a7af5dc80268d06/iccs"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/22af70afba01a15829a7af5dc80268d06/iccs"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><swrc:date>Tue Aug 07 11:33:02 CEST 2007</swrc:date><swrc:booktitle>Proceedings of the 11th International Conference on Conceptual Structures (ICCS 2003)</swrc:booktitle><swrc:crossref>DBLP:conf/iccs/2003</swrc:crossref><swrc:pages>96-116</swrc:pages><swrc:title>Description Logics for Ontologies</swrc:title><swrc:year>2003</swrc:year><swrc:keywords>dl ontology logics iccs description 2003 </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://springerlink.metapress.com/openurl.asp?genre=article{\&amp;" swrc:key="ee"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Ulrike Sattler"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2b9d553b8f9f4ac6c979e8891052ede60/iccs"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2b9d553b8f9f4ac6c979e8891052ede60/iccs"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><swrc:date>Thu Aug 02 09:29:45 CEST 2007</swrc:date><swrc:booktitle>Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005)</swrc:booktitle><swrc:crossref>DBLP:conf/iccs/2005</swrc:crossref><swrc:pages>78-90</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Computer Science</swrc:series><swrc:title>Applications of Description Logics: State of the Art and
               Research Challenges.</swrc:title><swrc:volume>3596</swrc:volume><swrc:year>2005</swrc:year><swrc:keywords>application invited dl talk logics iccs 2005 description </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1007/11524564_5" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="DBLP, http://dblp.uni-trier.de" swrc:key="bibsource"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3-540-27783-8" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Ian Horrocks"/></rdf:_1></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Frithjof Dau"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Marie-Laure Mugnier"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Gerd Stumme"/></rdf:_3></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/25986ae1e25b3848fd6c51e7bce66350f/stumme"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/25986ae1e25b3848fd6c51e7bce66350f/stumme"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://www.kde.cs.uni-kassel.de/stumme/papers/1996/P1829-PRICAI96.pdf"/><swrc:date>Wed Sep 20 20:05:39 CEST 2006</swrc:date><swrc:address>Heidelberg</swrc:address><swrc:booktitle>PRICAI&#039;96: Topics in Artificial Intelligence. Proc. PRICAI&#039;96</swrc:booktitle><swrc:pages>121-131</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>LNAI</swrc:series><swrc:title>The  Concept  Classification  of a Terminology Extended by Conjunction and Disjunction</swrc:title><swrc:volume>1114</swrc:volume><swrc:year>1996</swrc:year><swrc:keywords>1996 formal dl lattices myown fca logics description classification analysis concept alc </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="alpha" swrc:key="comment"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Gerd Stumme"/></rdf:_1></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="N. Foo"/></rdf:_1><rdf:_2><swrc:Person swrc:name="R. Goebel"/></rdf:_2></rdf:Seq></swrc:editor></rdf:Description><foaf:Group rdf:about="http://www.bibsonomy.org/tag/logics dl"><foaf:name>logics dl</foaf:name><description>Community for tag(s) logics dl</description></foaf:Group></rdf:RDF>