Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Description_logic> ?p ?o. }
Showing items 1 to 71 of
71
with 100 items per page.
- Description_logic abstract "Description logic (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first-order predicate logic.DL is used in artificial intelligence for formal reasoning on the 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 most notable application outside information science is in biomedical informatics where DL assists in the codification of medical knowledge.".
- Description_logic wikiPageExternalLink 1201.4089.
- Description_logic wikiPageExternalLink 1201.4089.
- Description_logic wikiPageExternalLink swoop.
- Description_logic wikiPageExternalLink dig.sourceforge.net.
- Description_logic wikiPageExternalLink dl.kr.org.
- Description_logic wikiPageExternalLink dig.
- Description_logic wikiPageExternalLink 2.0.
- Description_logic wikiPageExternalLink hermit-reasoner.com.
- Description_logic wikiPageExternalLink HorrocksSattler-IJCAI.
- Description_logic wikiPageExternalLink Baader09.
- Description_logic wikiPageExternalLink cel.
- Description_logic wikiPageExternalLink factplusplus.
- Description_logic wikiPageExternalLink owlapi.sourceforge.net.
- Description_logic wikiPageExternalLink pellet.owldl.com.
- Description_logic wikiPageExternalLink sim-dl.sourceforge.net.
- Description_logic wikiPageExternalLink CHMP+08.pdf.
- Description_logic wikiPageExternalLink Horr08a.pdf.
- Description_logic wikiPageExternalLink DL-Intro.pdf.
- Description_logic wikiPageExternalLink www.cerebra.com.
- Description_logic wikiPageExternalLink HoPa01.pdf.
- Description_logic wikiPageExternalLink IEEE-IS01.pdf.
- Description_logic wikiPageExternalLink HoPH03a.pdf.
- Description_logic wikiPageExternalLink BaHS07a.pdf.
- Description_logic wikiPageExternalLink dl.
- Description_logic wikiPageExternalLink mspass.
- Description_logic wikiPageExternalLink dl.
- Description_logic wikiPageExternalLink reasoners.html.
- Description_logic wikiPageExternalLink course.
- Description_logic wikiPageExternalLink time-handbook.ps.gz.
- Description_logic wikiPageExternalLink www.racer-systems.com.
- Description_logic wikiPageExternalLink DL-Foundations-RW2011.pdf.
- Description_logic wikiPageExternalLink f87254250w01258l.
- Description_logic wikiPageExternalLink nx6266773645v428.
- Description_logic wikiPageExternalLink charter.
- Description_logic wikiPageExternalLink sws-pressrelease.
- Description_logic wikiPageExternalLink OWLCharter.html.
- Description_logic wikiPageExternalLink owl2-pr.
- Description_logic wikiPageID "183503".
- Description_logic wikiPageRevisionID "602639629".
- Description_logic hasPhotoCollection Description_logic.
- Description_logic subject Category:Artificial_intelligence.
- Description_logic subject Category:Information_science.
- Description_logic subject Category:Knowledge_representation_languages.
- Description_logic subject Category:Non-classical_logic.
- Description_logic type Abstraction100002137.
- Description_logic type Communication100033020.
- Description_logic type KnowledgeRepresentationLanguages.
- Description_logic type Language106282651.
- Description_logic comment "Description logic (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first-order predicate logic.DL is used in artificial intelligence for formal reasoning on the 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.".
- Description_logic label "Beschreibungslogik".
- Description_logic label "Description logic".
- Description_logic label "Logica descrittiva".
- Description_logic label "Logique de description".
- Description_logic label "Lógica de descripción".
- Description_logic label "Lógica de descrição".
- Description_logic label "Дескрипционная логика".
- Description_logic label "描述逻辑".
- Description_logic sameAs Beschreibungslogik.
- Description_logic sameAs Lógica_de_descripción.
- Description_logic sameAs Deskribapen_logika.
- Description_logic sameAs Logique_de_description.
- Description_logic sameAs Logica_descrittiva.
- Description_logic sameAs Lógica_de_descrição.
- Description_logic sameAs m.0191xt.
- Description_logic sameAs Q387196.
- Description_logic sameAs Q387196.
- Description_logic sameAs Description_logic.
- Description_logic wasDerivedFrom Description_logic?oldid=602639629.
- Description_logic homepage dl.kr.org.
- Description_logic isPrimaryTopicOf Description_logic.