Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Description_logic> ?p ?o }
- Description_logic 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.".
- Description_logic wikiPageExternalLink hermit-reasoner.com.
- Description_logic wikiPageExternalLink owl2-pr.
- 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 HorrocksSattler-IJCAI.
- Description_logic wikiPageExternalLink Baader09.
- Description_logic wikiPageExternalLink cel.
- Description_logic wikiPageExternalLink list-of-reasoners.
- 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 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 swoop.
- Description_logic wikiPageID "183503".
- Description_logic wikiPageLength "36151".
- Description_logic wikiPageOutDegree "117".
- Description_logic wikiPageRevisionID "704162271".
- Description_logic wikiPageWikiLink Abox.
- Description_logic wikiPageWikiLink Artificial_intelligence.
- Description_logic wikiPageWikiLink Axiom.
- 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 DARPA_Agent_Markup_Language.
- Description_logic wikiPageWikiLink Datalog.
- Description_logic wikiPageWikiLink Decidability_(logic).
- Description_logic wikiPageWikiLink Decision_problem.
- 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 Expressive_power_(computer_science).
- 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 Guarded_logic.
- Description_logic wikiPageWikiLink Health_informatics.
- Description_logic wikiPageWikiLink Ian_Horrocks.
- 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_base.
- 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.
- Description_logic wikiPageWikiLink Markus_Krötzsch.
- Description_logic wikiPageWikiLink Method_of_analytic_tableaux.
- Description_logic wikiPageWikiLink Modal_logic.
- Description_logic wikiPageWikiLink Negation.
- Description_logic wikiPageWikiLink Ontology_(information_science).
- Description_logic wikiPageWikiLink Ontology_Inference_Layer.
- Description_logic wikiPageWikiLink Open-world_assumption.
- Description_logic wikiPageWikiLink Open_source.
- Description_logic wikiPageWikiLink Predicate_(mathematical_logic).
- Description_logic wikiPageWikiLink Propositional_calculus.
- Description_logic wikiPageWikiLink Protégé_(software).
- Description_logic wikiPageWikiLink Ronald_J._Brachman.
- Description_logic wikiPageWikiLink SNOMED_CT.