@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ns0: <http://data.ub.uio.no/webdewey-terms#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://dewey.info/scheme/edition/e23/>
  rdfs:label "Norsk WebDewey"@nb ;
  a skos:ConceptScheme .

<http://dewey.info/class/511.31/e23/>
  skos:altLabel "Abduksjon (logikk)"@nb, "Lineær logikk"@nb, "Parakonsistent logikk"@nb, "Abduktivt resonnement"@nb, "Relevanslogikk"@nb, "Abduktivt resonnement--matematisk logikk"@nb, "Ikke-klassisk logikk--matematisk logikk"@nb, "Ikke-monoton logikk"@nb, "Substrukturell logikk"@nb, "Default-logikk"@nb ;
  skos:narrower <http://dewey.info/class/511.314/e23/>, <http://dewey.info/class/511.318/e23/>, <http://dewey.info/class/511.317/e23/>, <http://dewey.info/class/511.313/e23/>, <http://dewey.info/class/511.312/e23/> ;
  skos:prefLabel "Ikke-klassisk logikk"@nb ;
  ns0:including "Lineær logikk"@nb, "Ikke-monoton logikk"@nb, "Abduksjon"@nb, "Substrukturell logikk"@nb, "Parakonsistent logikk"@nb, "Default-logikk"@nb, "Relevanslogikk"@nb ;
  skos:inScheme <http://dewey.info/scheme/edition/e23/> ;
  dc:modified "2018-07-26"^^xsd:date ;
  a skos:Concept ;
  dc:created "2010-02-04"^^xsd:date ;
  skos:broader <http://dewey.info/class/511.3/e23/> ;
  dc:identifier "ocd00145469" ;
  skos:notation "511.31" .

<http://dewey.info/class/511.314/e23/>
  skos:notation "511.314" ;
  skos:prefLabel "Modal logikk"@nb ;
  a skos:Concept ;
  skos:broader <http://dewey.info/class/511.31/e23/> .

<http://dewey.info/class/511.313/e23/>
  skos:notation "511.313" ;
  skos:prefLabel "Fuzzy-logikk"@nb ;
  a skos:Concept ;
  skos:broader <http://dewey.info/class/511.31/e23/> .

<http://dewey.info/class/511.312/e23/>
  skos:notation "511.312" ;
  skos:prefLabel "Flerverdilogikk"@nb ;
  a skos:Concept ;
  skos:broader <http://dewey.info/class/511.31/e23/> .

<http://dewey.info/class/511.3/e23/>
  skos:notation "511.3" ;
  skos:prefLabel "Matematisk logikk (symbolsk logikk)"@nb ;
  a skos:Concept ;
  skos:narrower <http://dewey.info/class/511.31/e23/> .

<http://dewey.info/class/511.317/e23/>
  skos:notation "511.317" ;
  skos:prefLabel "Betinget logikk"@nb ;
  a skos:Concept ;
  skos:broader <http://dewey.info/class/511.31/e23/> .

<http://dewey.info/class/511.318/e23/>
  skos:notation "511.318" ;
  skos:prefLabel "Sannsynlighetslogikk"@nb ;
  a skos:Concept ;
  skos:broader <http://dewey.info/class/511.31/e23/> .