Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Description_logic> ?p ?o }
- Description_logic wikiPageWikiLink Sebastian_Rudolph.
- Description_logic wikiPageWikiLink Semantic_Web.
- Description_logic wikiPageWikiLink Semantic_network.
- Description_logic wikiPageWikiLink Semantic_parameterization.
- Description_logic wikiPageWikiLink Semantic_reasoner.
- Description_logic wikiPageWikiLink Semantics.
- Description_logic wikiPageWikiLink Set_(mathematics).
- Description_logic wikiPageWikiLink Syntax_(logic).
- Description_logic wikiPageWikiLink Tbox.
- Description_logic wikiPageWikiLink Temporal_logic.
- Description_logic wikiPageWikiLink Transitive_relation.
- Description_logic wikiPageWikiLink Two-variable_logic.
- Description_logic wikiPageWikiLink Unary_operation.
- Description_logic wikiPageWikiLink Union_(set_theory).
- Description_logic wikiPageWikiLink Unique_name_assumption.
- Description_logic wikiPageWikiLink Uniqueness_quantification.
- Description_logic wikiPageWikiLink Universal_quantification.
- Description_logic wikiPageWikiLink University_of_Manchester.
- Description_logic wikiPageWikiLink University_of_Maryland,_College_Park.
- Description_logic wikiPageWikiLink University_of_Oxford.
- Description_logic wikiPageWikiLink Web_Ontology_Language.
- Description_logic wikiPageWikiLink World_Wide_Web_Consortium.
- Description_logic wikiPageWikiLinkText "Attributive concept Language with Complements".
- Description_logic wikiPageWikiLinkText "Description logic".
- Description_logic wikiPageWikiLinkText "Description logic#concept_assertion".
- Description_logic wikiPageWikiLinkText "Description_logic".
- Description_logic wikiPageWikiLinkText "Inferencing".
- Description_logic wikiPageWikiLinkText "description logic".
- Description_logic wikiPageWikiLinkText "formal description".
- Description_logic wikiPageUsesTemplate Template:Anchor.
- Description_logic wikiPageUsesTemplate Template:Col-1-of-3.
- Description_logic wikiPageUsesTemplate Template:Col-begin.
- Description_logic wikiPageUsesTemplate Template:Computer_science.
- Description_logic wikiPageUsesTemplate Template:Non-classical_logic.
- Description_logic wikiPageUsesTemplate Template:Portal.
- Description_logic wikiPageUsesTemplate Template:Reflist.
- 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 hypernym Family.
- Description_logic type Area.
- Description_logic type Language.
- Description_logic type Area.
- Description_logic type Language.
- Description_logic type Redirect.
- Description_logic comment "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.".
- Description_logic label "Description logic".
- Description_logic sameAs Q387196.
- Description_logic sameAs Lògica_de_descripció.
- Description_logic sameAs Beskrivelseslogik.
- Description_logic sameAs Beschreibungslogik.
- Description_logic sameAs Lógica_de_descripción.
- Description_logic sameAs Deskribapen_logika.
- Description_logic sameAs منطق_توصیفی.
- 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 Дескрипционная_логика.
- Description_logic sameAs Описова_логіка.
- Description_logic sameAs Logic_mô_tả.
- Description_logic sameAs Q387196.
- Description_logic sameAs 描述逻辑.
- Description_logic wasDerivedFrom Description_logic?oldid=704162271.
- Description_logic homepage dl.kr.org.
- Description_logic isPrimaryTopicOf Description_logic.