DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Description_logic> ?p ?o }

• Description_logic abstract "Description logics (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic. Additionally, it 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 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 reasoners.html.
• Description_logic wikiPageExternalLink mspass.
• 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 wikiPageExternalLink swoop.
• Description_logic wikiPageID "183503".
• Description_logic wikiPageLength "35890".
• Description_logic wikiPageOutDegree "118".
• Description_logic wikiPageRevisionID "679384273".
• Description_logic wikiPageWikiLink ABox.
• Description_logic wikiPageWikiLink Abox.
• Description_logic wikiPageWikiLink Analytic_tableau_method.
• Description_logic wikiPageWikiLink Artificial_intelligence.
• Description_logic wikiPageWikiLink Axiom.
• Description_logic wikiPageWikiLink Biomedical_informatics.
• Description_logic wikiPageWikiLink Category:Artificial_intelligence.
• Description_logic wikiPageWikiLink Category:Information_science.
• Description_logic wikiPageWikiLink Category:Knowledge_representation_languages.
• Description_logic wikiPageWikiLink Category:Non-classical_logic.
• Description_logic wikiPageWikiLink Closed-world_assumption.
• Description_logic wikiPageWikiLink Complement_(set_theory).
• Description_logic wikiPageWikiLink Concept.
• Description_logic wikiPageWikiLink Counting_quantification.
• Description_logic wikiPageWikiLink DAML+OIL.
• Description_logic wikiPageWikiLink DAMLplusOIL.
• Description_logic wikiPageWikiLink DARPA_Agent_Markup_Language.
• Description_logic wikiPageWikiLink Datalog.
• Description_logic wikiPageWikiLink Decidability_(logic).
• Description_logic wikiPageWikiLink Decision_problem.
• Description_logic wikiPageWikiLink Disjunction.
• Description_logic wikiPageWikiLink Domain_of_discourse.
• Description_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
• Description_logic wikiPageWikiLink Empty_set.
• Description_logic wikiPageWikiLink Enrico_Franconi.
• Description_logic wikiPageWikiLink Existential_quantification.
• Description_logic wikiPageWikiLink Existential_quantifier.
• Description_logic wikiPageWikiLink Expressive_power_(computer_science).
• Description_logic wikiPageWikiLink First-order_logic.
• Description_logic wikiPageWikiLink First-order_predicate_logic.
• Description_logic wikiPageWikiLink First_order_logic.
• Description_logic wikiPageWikiLink Formal_concept_analysis.
• Description_logic wikiPageWikiLink Fragment_(logic).
• Description_logic wikiPageWikiLink Frame_language.
• Description_logic wikiPageWikiLink František_Simančík.
• Description_logic wikiPageWikiLink Franz_Baader.
• Description_logic wikiPageWikiLink Fuzzy_logic.
• Description_logic wikiPageWikiLink Ground_expression.
• Description_logic wikiPageWikiLink Ground_sentence.
• Description_logic wikiPageWikiLink Guarded_logic.
• Description_logic wikiPageWikiLink Health_informatics.
• Description_logic wikiPageWikiLink Ian_Horrocks.
• Description_logic wikiPageWikiLink Information_science.
• Description_logic wikiPageWikiLink Intelligent_Systems.
• Description_logic wikiPageWikiLink Intersection_(set_theory).
• Description_logic wikiPageWikiLink Java_(programming_language).
• Description_logic wikiPageWikiLink KAON.
• Description_logic wikiPageWikiLink KL-ONE.
• Description_logic wikiPageWikiLink Knowledge_Representation.
• Description_logic wikiPageWikiLink Knowledge_base.
• Description_logic wikiPageWikiLink Knowledge_representation.
• Description_logic wikiPageWikiLink Knowledge_representation_and_reasoning.
• Description_logic wikiPageWikiLink Kripke_semantics.
• Description_logic wikiPageWikiLink LOOM_(ontology).
• Description_logic wikiPageWikiLink Lattice_(order).
• Description_logic wikiPageWikiLink Lecture_Notes_in_Computer_Science.
• Description_logic wikiPageWikiLink Linear_temporal_logic.
• Description_logic wikiPageWikiLink Logical_conjunction.
• Description_logic wikiPageWikiLink Logical_disjunction.

• next