<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/user/stumme/logics"><owl:Ontology rdf:about=""><rdfs:comment>BibSonomy publications for /user/stumme/logics</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>description fca concept FCA formal OntologyHandbook logics analysis dl </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>relational formal attribute dl fca description logics concept begriffsanalyse formale analysis exploration </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>fca analysis formal description concept logics dl </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/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>description 1996 dl classification lattices concept logics formal alc fca analysis myown </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></rdf:RDF>