<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF [
 <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
 <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
 <!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
 <!ENTITY swrc 'http://swrc.ontoware.org/ontology#'>
 <!ENTITY xsd 'http://www.w3.org/2001/XMLSchema#'>
]>



<rdf:RDF
xml:base="http://www.bibsonomy.org/bibtex/1b642926b1e67db495edc3b62e1ba7571"
 xmlns:rdf="&rdf;"
 xmlns:rdfs="&rdfs;"
 xmlns:owl="&owl;"
 xmlns:swrc="&swrc;"
 xmlns:xsd="&xsd;"
 >

 

<owl:Ontology rdf:about="">
  <rdfs:comment>BibSonomy publications for/bibtex/1b642926b1e67db495edc3b62e1ba7571</rdfs:comment>
  <owl:imports rdf:resource="http://swrc.ontoware.org/ontology/portal"/>
</owl:Ontology>
  <rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2874340941200b9df9767091999b0c1cf/diego_ma">
    <rdf:type rdf:resource="&swrc;InProceedings"/>
    <swrc:booktitle>Proc. ICCS&#039;97</swrc:booktitle><swrc:title>Conceptual Graphs and Formal Concept Analysis</swrc:title><swrc:year>1997</swrc:year><swrc:keywords>logic </swrc:keywords><swrc:date>2007-12-14 02:48:14.0</swrc:date><swrc:abstract>It is shown how Conceptual Graphs and Formal Concept Analysis may be combined to obtain a formalization of Elementary Logic which is useful for knowledge representation and processing. For this, a translation of conceptual graphs to formal contexts and concept lattices is described through an example. Using a suitable mathematization of conceptual graphs, basics of a unified mathematical theory for Elementary Logic are proposed.</swrc:abstract><swrc:author>
  <rdf:Seq>
  <rdf:_1><swrc:Person swrc:name="Rudolf Wille" /></rdf:_1>
  </rdf:Seq>
</swrc:author>

<swrc:editor>
  <rdf:Seq>
  </rdf:Seq>
</swrc:editor></rdf:Description>
<rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2046f80236ce102035e0efb984ab248aa/stumme">
    <rdf:type rdf:resource="&swrc;InProceedings"/>
    <swrc:address>Heidelberg</swrc:address><swrc:booktitle>Conceptual Structures: Fulfilling Peirce&#039;s Dream</swrc:booktitle><swrc:pages>290--303</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Artificial Intelligence</swrc:series><swrc:title>Conceptual Graphs and Formal Concept Analysis</swrc:title><swrc:volume>1257</swrc:volume><swrc:year>1997</swrc:year><swrc:keywords>ag1 analysis begriffsanalyse cg concept conceptual darmstadt fba fca formal graph graphs </swrc:keywords><swrc:date>2007-09-05 16:00:21.0</swrc:date><swrc:hasExtraField>
    <swrc:Field swrc:key="id" swrc:value="1438792"/>
  </swrc:hasExtraField>
<swrc:author>
  <rdf:Seq>
  <rdf:_1><swrc:Person swrc:name="Rudolf Wille" /></rdf:_1>
  </rdf:Seq>
</swrc:author>

<swrc:editor>
  <rdf:Seq>
  <rdf:_1><swrc:Person swrc:name="D. Lukose" /></rdf:_1>
  <rdf:_2><swrc:Person swrc:name="H. Delugach" /></rdf:_2>
  <rdf:_3><swrc:Person swrc:name="M. Keeler" /></rdf:_3>
  <rdf:_4><swrc:Person swrc:name="L. Searle" /></rdf:_4>
  <rdf:_5><swrc:Person swrc:name="J. F. Sowa" /></rdf:_5>
  </rdf:Seq>
</swrc:editor></rdf:Description>
<rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/22c4c742f732c1d300349004f348ad314/dblp">
    <rdf:type rdf:resource="&swrc;InProceedings"/>
    <swrc:booktitle>ICCS</swrc:booktitle><swrc:crossref>conf/iccs/1997</swrc:crossref><swrc:pages>290-303</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Computer Science</swrc:series><swrc:title>Conceptual Graphs and Formal Concept Analysis.</swrc:title><swrc:volume>1257</swrc:volume><swrc:year>1997</swrc:year><swrc:keywords>dblp </swrc:keywords><swrc:date>2002-02-12 00:00:00.0</swrc:date><swrc:hasExtraField>
    <swrc:Field swrc:key="isbn" swrc:value="3-540-63308-1"/>
  </swrc:hasExtraField>
<swrc:hasExtraField>
    <swrc:Field swrc:key="date" swrc:value="2002-02-12"/>
  </swrc:hasExtraField>
<swrc:author>
  <rdf:Seq>
  <rdf:_1><swrc:Person swrc:name="Rudolf Wille" /></rdf:_1>
  </rdf:Seq>
</swrc:author>

<swrc:editor>
  <rdf:Seq>
  <rdf:_1><swrc:Person swrc:name="Dickson Lukose" /></rdf:_1>
  <rdf:_2><swrc:Person swrc:name="Harry S. Delugach" /></rdf:_2>
  <rdf:_3><swrc:Person swrc:name="Mary Keeler" /></rdf:_3>
  <rdf:_4><swrc:Person swrc:name="Leroy Searle" /></rdf:_4>
  <rdf:_5><swrc:Person swrc:name="John F. Sowa" /></rdf:_5>
  </rdf:Seq>
</swrc:editor></rdf:Description>
</rdf:RDF>