About: Description logic

An Entity of Type: academic subject, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Family of formal knowledge representation languages

Property	Value
dbo:description	Familie von Sprachen zur Wissensrepräsentation (de) المنطق التوصيفي (أو الوصفي) هو لغة من لغات تمثيل المعرفة، وهو اكثر تعبيراً من المنطق الإقتراحي. (ar) form for logik (da) family of formal knowledge representation languages (en) 正式知識表示的家族 (zh)
dbo:wikiPageExternalLink	http://hermit-reasoner.com/ http://dl.kr.org/dig/ http://owl.cs.manchester.ac.uk/tools/list-of-reasoners/ http://sim-dl.sourceforge.net/ http://www.aifb.kit.edu/images/1/19/DL-Intro.pdf http://www.racer-systems.com/ http://www.semantic-web-book.org/w/images/a/a9/DL-Foundations-RW2011.pdf https://franz.com/agraph/racer/racer_features.lhtml https://owlready2.readthedocs.io/en/latest/ http://www.w3.org/2001/sw/WebOnt/charter http://www.w3.org/2004/01/sws-pressrelease http://www.w3.org/2007/06/OWLCharter.html http://www.w3.org/2009/10/owl2-pr https://web.archive.org/web/20060419191746/http:/www.cerebra.com/ https://web.archive.org/web/20070925082014/http:/pellet.owldl.com/ https://web.archive.org/web/20120218092244/http:/lat.inf.tu-dresden.de/research/papers-2001.html%23HorrocksSattler-IJCAI https://web.archive.org/web/20120301231310/http:/lat.inf.tu-dresden.de/research/papers-2009.html%23Baader09 http://lat.inf.tu-dresden.de/systems/cel/ http://www.cs.man.ac.uk/~ezolin/dl/ http://www.cs.man.ac.uk/~schmidt/mspass/ http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2001/HoPa01.pdf http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2001/IEEE-IS01.pdf http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2003/HoPH03a.pdf http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2007/BaHS07a.pdf http://web.comlab.ox.ac.uk/people/Ian.Horrocks/Publications/download/2008/CHMP+08.pdf http://web.comlab.ox.ac.uk/people/Ian.Horrocks/Publications/download/2008/Horr08a.pdf http://ceur-ws.org/%3E, http://www.inf.unibz.it/~franconi/dl/course/ http://www.inf.unibz.it/~franconi/papers/time-handbook.ps.gz https://doi.org/10.1007%2F978-3-642-03754-2_1 https://doi.org/10.1007%2F978-3-642-23032-5_2 http://owl.man.ac.uk/factplusplus
dbo:wikiPageWikiLink	dbr:Fragment_(logic) dbc:Non-classical_logic dbr:KL-ONE dbr:Complement_(set_theory) dbr:Knowledge_base dbr:Lattice_(order) dbr:Formal_concept_analysis dbr:KAON dbr:Protégé_(software) dbr:Abox dbr:Syntax_(logic) dbr:Semantic_reasoner dbr:Artificial_intelligence dbr:First-order_logic dbr:Set_(mathematics) dbr:University_of_Oxford dbr:Ronald_J._Brachman dbr:Jens_Lehmann_(scientist) dbr:Decidability_(logic) dbr:Propositional_logic dbr:Lecture_Notes_in_Computer_Science dbr:Datalog dbr:Counting_quantification dbr:Semantic_network dbr:DARPA_Agent_Markup_Language dbr:Knowledge_representation_and_reasoning dbr:Uniqueness_quantification dbr:Ontology_Inference_Layer dbc:Information_science dbr:Java_(programming_language) dbr:Logical_conjunction dbr:Kripke_semantics dbr:Modal_logic dbr:University_of_Manchester dbr:Transitive_closure dbr:Expressive_power_(computer_science) dbc:Artificial_intelligence dbr:Web_browser dbr:Semantic_Web dbr:Two-variable_logic dbr:Axiom dbr:Open-source_model dbr:World_Wide_Web_Consortium dbr:Franz_Baader dbr:Intersection_(set_theory) dbr:Negation dbr:Dynamic_logic_(modal_logic) dbr:Open_world_assumption dbr:Propositional_dynamic_logic dbr:Concept dbr:Unary_operation dbr:Complexity_class dbr:Unique_name_assumption dbr:Transitive_relation dbc:Knowledge_representation_languages dbr:Web_Ontology_Language dbr:Empty_set dbr:Fuzzy_logic dbr:Method_of_analytic_tableaux dbr:Department_of_Computer_Science,_University_of_Manchester dbr:Semantics dbr:Union_(set_theory) dbr:LOOM_(ontology) dbr:Closed-world_assumption dbr:Paradigm dbr:Python_(programming_language) dbr:Ontology_(information_science) dbr:Temporal_logic dbr:Linear_temporal_logic dbr:Guarded_logic dbr:SNOMED_CT dbr:Domain_of_discourse dbr:Front_and_back_ends dbr:Ian_Horrocks dbr:ABox dbr:Semantic_parameterization dbr:Universal_quantifier dbr:Knowledge_representation dbr:Predicate_(logic) dbr:Biomedical_informatics dbr:Ontology_Language dbr:Ground_sentence dbr:Existential_quantifier dbr:Enrico_Franconi dbr:František_Simančík dbr:Markus_Krötzsch dbr:RACER_system dbr:Sebastian_Rudolph dbr:DAMLplusOIL dbr:Disjunction dbr:Semantic_frames
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Reflist dbt:Anchor dbt:EquationNote dbt:EquationRef dbt:SourceForge dbt:ISBN dbt:Computer_science dbt:Citation_needed dbt:Semantic_Web dbt:Non-classical_logic dbt:NumBlk dbt:ArXiv dbt:GitHub dbt:Short_description
dct:subject	dbc:Formal_semantics_(natural_language) dbc:Non-classical_logic dbc:Information_science dbc:Artificial_intelligence dbc:Knowledge_representation_languages
gold:hypernym	dbr:Family
rdf:type	dbo:AcademicSubject
rdfs:label	Description logic (en) Beschreibungslogik (de) Lògica de descripció (ca) Deskribapen logika (eu) Lógica de descripción (es) Logique de description (fr) Logica descrittiva (it) Lógica de descrição (pt) Дескрипционная логика (ru) Описова логіка (uk) 描述逻辑 (zh)
owl:sameAs	freebase:Description logic yago-res:Description logic wikidata:Description logic dbpedia-it:Description logic dbpedia-de:Description logic dbpedia-fr:Description logic dbpedia-zh:Description logic dbpedia-pt:Description logic dbpedia-da:Description logic dbpedia-es:Description logic dbpedia-fa:Description logic dbpedia-ru:Description logic dbpedia-vi:Description logic dbpedia-ca:Description logic dbpedia-eu:Description logic dbpedia-uk:Description logic dbpedia-global:Description logic
prov:wasDerivedFrom	wikipedia-en:Description_logic?oldid=1283591955&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Description_logic
is dbo:academicDiscipline of	dbr:Ulrike_Sattler dbr:Diego_Calvanese
is dbo:knownFor of	dbr:Ian_Horrocks
is dbo:wikiPageDisambiguates of	dbr:DL
is dbo:wikiPageRedirects of	dbr:Description_Logic dbr:Description_Logic dbr:Description_Logics dbr:Description_Logics dbr:Description_logics dbr:Concept_assertion dbr:SHOIN
is dbo:wikiPageWikiLink of	dbr:Index_of_philosophy_articles_(D–H) dbr:F-logic dbr:Outline_of_philosophy dbr:Formal_concept_analysis dbr:Ontology_engineering dbr:Semantic_Web_Stack dbr:Abox dbr:Semantic_reasoner dbr:Artificial_intelligence dbr:Jens_Lehmann_(scientist) dbr:ALC dbr:Inference dbr:Frame_(artificial_intelligence) dbr:Modal_logic dbr:Knowledge-based_systems dbr:Symbolic_artificial_intelligence dbr:Top_type dbr:Index_of_logic_articles dbr:Class_(knowledge_representation) dbr:Semantic_Web dbr:Rough_set dbr:Two-variable_logic dbr:Intension dbr:Ulrike_Sattler dbr:Unique_name_assumption dbr:Web_Ontology_Language dbr:DL dbr:Domain_model dbr:Amit_Sheth dbr:Semantics dbr:Ontology_language dbr:Deborah_McGuinness dbr:Glossary_of_artificial_intelligence dbr:Guarded_logic dbr:SNOMED_CT dbr:EL++ dbr:Metaclass_(Semantic_Web) dbr:Hybrid_logic dbr:Ian_Horrocks dbr:Semantic_heterogeneity dbr:Outline_of_artificial_intelligence dbr:Outline_of_logic dbr:Vivification dbr:Description_Logic dbr:Finite-valued_logic dbr:Infinite-valued_logic dbr:Description_Logics dbr:Description_logics dbr:Concept_assertion dbr:SHOIN
is dbp:fields of	dbr:Diego_Calvanese
is foaf:primaryTopic of	wikipedia-en:Description_logic