DBpedia – Linked Data Fragments

Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q387196> ?p ?o }

• Q387196 subject Q558331.
• Q387196 subject Q6491658.
• Q387196 subject Q7470275.
• Q387196 subject Q8575277.
• Q387196 abstract "Description logics (DL) is a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order predicate logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems.DLs are used in artificial intelligence to describe and reason about the relevant concepts of an application domain (known as terminological knowledge). It is of particular importance in providing a logical formalism for ontologies and the Semantic Web: the Web Ontology Language [OWL] and its profile is based on DLs. The most notable application of DLs and OWL is in biomedical informatics where DL assists in the codification of biomedical knowledge.".
• Q387196 wikiPageExternalLink hermit-reasoner.com.
• Q387196 wikiPageExternalLink owl2-pr.
• Q387196 wikiPageExternalLink 1201.4089.
• Q387196 wikiPageExternalLink 1201.4089.
• Q387196 wikiPageExternalLink dig.sourceforge.net.
• Q387196 wikiPageExternalLink dl.kr.org.
• Q387196 wikiPageExternalLink dig.
• Q387196 wikiPageExternalLink 2.0.
• Q387196 wikiPageExternalLink HorrocksSattler-IJCAI.
• Q387196 wikiPageExternalLink Baader09.
• Q387196 wikiPageExternalLink cel.
• Q387196 wikiPageExternalLink list-of-reasoners.
• Q387196 wikiPageExternalLink factplusplus.
• Q387196 wikiPageExternalLink owlapi.sourceforge.net.
• Q387196 wikiPageExternalLink pellet.owldl.com.
• Q387196 wikiPageExternalLink sim-dl.sourceforge.net.
• Q387196 wikiPageExternalLink CHMP+08.pdf.
• Q387196 wikiPageExternalLink Horr08a.pdf.
• Q387196 wikiPageExternalLink DL-Intro.pdf.
• Q387196 wikiPageExternalLink www.cerebra.com.
• Q387196 wikiPageExternalLink HoPa01.pdf.
• Q387196 wikiPageExternalLink IEEE-IS01.pdf.
• Q387196 wikiPageExternalLink HoPH03a.pdf.
• Q387196 wikiPageExternalLink BaHS07a.pdf.
• Q387196 wikiPageExternalLink dl.
• Q387196 wikiPageExternalLink mspass.
• Q387196 wikiPageExternalLink course.
• Q387196 wikiPageExternalLink time-handbook.ps.gz.
• Q387196 wikiPageExternalLink www.racer-systems.com.
• Q387196 wikiPageExternalLink DL-Foundations-RW2011.pdf.
• Q387196 wikiPageExternalLink f87254250w01258l.
• Q387196 wikiPageExternalLink nx6266773645v428.
• Q387196 wikiPageExternalLink charter.
• Q387196 wikiPageExternalLink sws-pressrelease.
• Q387196 wikiPageExternalLink OWLCharter.html.
• Q387196 wikiPageExternalLink swoop.
• Q387196 wikiPageWikiLink Q1045785.
• Q387196 wikiPageWikiLink Q1102454.
• Q387196 wikiPageWikiLink Q1144319.
• Q387196 wikiPageWikiLink Q1151701.
• Q387196 wikiPageWikiLink Q11660.
• Q387196 wikiPageWikiLink Q1172264.
• Q387196 wikiPageWikiLink Q1228944.
• Q387196 wikiPageWikiLink Q126695.
• Q387196 wikiPageWikiLink Q13405544.
• Q387196 wikiPageWikiLink Q1437394.
• Q387196 wikiPageWikiLink Q151885.
• Q387196 wikiPageWikiLink Q1536492.
• Q387196 wikiPageWikiLink Q1651704.
• Q387196 wikiPageWikiLink Q1718402.
• Q387196 wikiPageWikiLink Q1753883.
• Q387196 wikiPageWikiLink Q17736.
• Q387196 wikiPageWikiLink Q18355323.
• Q387196 wikiPageWikiLink Q18392052.
• Q387196 wikiPageWikiLink Q185359.
• Q387196 wikiPageWikiLink Q185837.
• Q387196 wikiPageWikiLink Q190558.
• Q387196 wikiPageWikiLink Q191081.
• Q387196 wikiPageWikiLink Q200694.
• Q387196 wikiPageWikiLink Q2066865.
• Q387196 wikiPageWikiLink Q210841.
• Q387196 wikiPageWikiLink Q224821.
• Q387196 wikiPageWikiLink Q226183.
• Q387196 wikiPageWikiLink Q230899.
• Q387196 wikiPageWikiLink Q2395230.
• Q387196 wikiPageWikiLink Q242767.
• Q387196 wikiPageWikiLink Q2462350.
• Q387196 wikiPageWikiLink Q2502253.
• Q387196 wikiPageWikiLink Q251.
• Q387196 wikiPageWikiLink Q324254.
• Q387196 wikiPageWikiLink Q3262192.
• Q387196 wikiPageWikiLink Q34433.
• Q387196 wikiPageWikiLink Q3478658.
• Q387196 wikiPageWikiLink Q354124.
• Q387196 wikiPageWikiLink Q36161.
• Q387196 wikiPageWikiLink Q37033.
• Q387196 wikiPageWikiLink Q3836453.
• Q387196 wikiPageWikiLink Q3882789.
• Q387196 wikiPageWikiLink Q39162.
• Q387196 wikiPageWikiLink Q3929429.
• Q387196 wikiPageWikiLink Q39645.
• Q387196 wikiPageWikiLink Q4055684.
• Q387196 wikiPageWikiLink Q430001.
• Q387196 wikiPageWikiLink Q431411.
• Q387196 wikiPageWikiLink Q4668674.
• Q387196 wikiPageWikiLink Q503415.
• Q387196 wikiPageWikiLink Q5177156.
• Q387196 wikiPageWikiLink Q5421724.
• Q387196 wikiPageWikiLink Q54837.
• Q387196 wikiPageWikiLink Q558331.
• Q387196 wikiPageWikiLink Q5614006.
• Q387196 wikiPageWikiLink Q593744.
• Q387196 wikiPageWikiLink Q595364.
• Q387196 wikiPageWikiLink Q5981834.
• Q387196 wikiPageWikiLink Q6459541.

• next