| http://dbpedia.org/ontology/abstract
|
Franz Baader (15 June 1959, Spalt) is a Ge … Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology. He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany, where he was a teaching and research assistant for 4 years. In 1989, he went to the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and project leader. In 1993 he became associate professor for computer science at RWTH Aachen, and in 2002 full professor for computer science at TU Dresden. He received the Herbrand Award for the year 2020 "in recognition of his significant contributions to unification theory, combinations of theories and reasoning in description logics".ries and reasoning in description logics".
, Franz Baader (* 15. Juni 1959 in Spalt) ist ein deutscher Informatiker. Er führt den Lehrstuhl für Automatentheorie an der Fakultät Informatik der TU Dresden.
, فرانز بادر (بالإنجليزية: Franz Baader) (م … فرانز بادر (بالإنجليزية: Franz Baader) (من مواليد 15 يونيو- 1959 من شبالت) وهو عالم حاسوب في جامعة دريسدن التقنية. حصل على درجة الدكتوراه في علوم الكمبيوتر في عام 1989 من جامعة إرلنغن نورنبيرغ، ألمانيا، حيث كان مساعداً في التدريس والأبحاث لمدة 4 سنوات. في عام 1989، ذهب إلى المركز الألماني لأبحاث الذكاء الاصطناعي (DFKI) كباحث بارز ومدير مشروع. في عام 1993 أصبح أستاذاً مساعدا لعلوم الكمبيوتر في الجامعة التقنية الراينية الفستفالية RWTH، وفي عام 2002 أصبح أستاذ كامل لعلوم الكمبيوتر في جامعة دريسدن التقنية.ل لعلوم الكمبيوتر في جامعة دريسدن التقنية.
|
| http://dbpedia.org/ontology/birthDate
|
"1959-06-15"^^xsd:date
|
| http://dbpedia.org/ontology/doctoralStudent
|
http://dbpedia.org/resource/Ulrike_Sattler +
|
| http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/German_Research_Centre_for_Artificial_Intelligence +
, http://dbpedia.org/resource/Dresden_University_of_Technology +
, http://dbpedia.org/resource/University_of_Erlangen-Nuremberg +
, http://dbpedia.org/resource/RWTH_Aachen_University +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://dltextbook.org/ +
, https://books.google.com/books%3Fid=ydGx67J3jFoC&q=Franz%2BBaader +
, http://lat.inf.tu-dresden.de/~baader/index-en.html +
, https://books.google.com/books%3Fid=riSeOKw5I6sC&q=Franz%2BBaader +
|
| http://dbpedia.org/ontology/wikiPageID
|
3639169
|
| http://dbpedia.org/ontology/wikiPageLength
|
4779
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1106138003
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:1959_births +
, http://dbpedia.org/resource/German_Research_Centre_for_Artificial_Intelligence +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/RWTH_Aachen_University +
, http://dbpedia.org/resource/TU_Dresden +
, http://dbpedia.org/resource/University_of_Erlangen-Nuremberg +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Dresden_University_of_Technology +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/RWTH_Aachen +
, http://dbpedia.org/resource/Ulrike_Sattler +
, http://dbpedia.org/resource/Category:People_from_Roth_%28district%29 +
, http://dbpedia.org/resource/Germany +
, http://dbpedia.org/resource/Herbrand_Award +
, http://dbpedia.org/resource/Spalt +
|
| http://dbpedia.org/property/birthDate
|
"1959-06-15"^^xsd:date
|
| http://dbpedia.org/property/doctoralAdvisor
|
Klaus Leeb
|
| http://dbpedia.org/property/doctoralStudents
|
http://dbpedia.org/resource/Ulrike_Sattler +
|
| http://dbpedia.org/property/name
|
Franz Baader
|
| http://dbpedia.org/property/thesisTitle
|
Unifikation und Reduktionssysteme für Halbgruppenvarietäten
|
| http://dbpedia.org/property/thesisYear
|
1989
|
| http://dbpedia.org/property/website
|
http://lat.inf.tu-dresden.de/~baader/index-en.html +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Germany-compu-bio-stub +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:For +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Cite_book +
|
| http://dbpedia.org/property/workplaces
|
http://dbpedia.org/resource/RWTH_Aachen_University +
, http://dbpedia.org/resource/Dresden_University_of_Technology +
, http://dbpedia.org/resource/University_of_Erlangen-Nuremberg +
, http://dbpedia.org/resource/German_Research_Centre_for_Artificial_Intelligence +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:1959_births +
, http://dbpedia.org/resource/Category:People_from_Roth_%28district%29 +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/Category:Living_people +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/34634110 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Franz_Baader?oldid=1106138003&ns=0 +
|
| http://xmlns.com/foaf/0.1/homepage
|
http://lat.inf.tu-dresden.de/~baader/index-en.html +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Franz_Baader +
|
| http://xmlns.com/foaf/0.1/name
|
Franz Baader
|
| owl:sameAs |
https://global.dbpedia.org/id/54go1 +
, http://dbpedia.org/resource/Franz_Baader +
, http://www.wikidata.org/entity/Q92729 +
, http://d-nb.info/gnd/131845098 +
, http://viaf.org/viaf/34634110 +
, https://dblp.org/pid/b/FBaader +
, http://ar.dbpedia.org/resource/%D9%81%D8%B1%D8%A7%D9%86%D8%B2_%D8%A8%D8%A7%D8%AF%D8%B1 +
, http://data.bibliotheken.nl/id/thes/p153490187 +
, https://orcid.org/0000-0002-4049-221X +
, http://mg.dbpedia.org/resource/Franz_Baader +
, http://rdf.freebase.com/ns/m.050zq43 +
, http://de.dbpedia.org/resource/Franz_Baader +
, http://arz.dbpedia.org/resource/%D9%81%D8%B1%D8%A7%D9%86%D8%B2_%D8%A8%D8%A7%D8%AF%D8%B1 +
, http://yago-knowledge.org/resource/Franz_Baader +
|
| rdf:type |
http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/WikicatGermanComputerScientists +
, http://dbpedia.org/class/yago/WikicatEthnicGermanPeople +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/ontology/Person +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/Person100007846 +
|
| rdfs:comment |
Franz Baader (* 15. Juni 1959 in Spalt) ist ein deutscher Informatiker. Er führt den Lehrstuhl für Automatentheorie an der Fakultät Informatik der TU Dresden.
, فرانز بادر (بالإنجليزية: Franz Baader) (م … فرانز بادر (بالإنجليزية: Franz Baader) (من مواليد 15 يونيو- 1959 من شبالت) وهو عالم حاسوب في جامعة دريسدن التقنية. حصل على درجة الدكتوراه في علوم الكمبيوتر في عام 1989 من جامعة إرلنغن نورنبيرغ، ألمانيا، حيث كان مساعداً في التدريس والأبحاث لمدة 4 سنوات. في عام 1989، ذهب إلى المركز الألماني لأبحاث الذكاء الاصطناعي (DFKI) كباحث بارز ومدير مشروع. في عام 1993 أصبح أستاذاً مساعدا لعلوم الكمبيوتر في الجامعة التقنية الراينية الفستفالية RWTH، وفي عام 2002 أصبح أستاذ كامل لعلوم الكمبيوتر في جامعة دريسدن التقنية.ل لعلوم الكمبيوتر في جامعة دريسدن التقنية.
, Franz Baader (15 June 1959, Spalt) is a Ge … Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology. He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany, where he was a teaching and research assistant for 4 years. In 1989, he went to the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and project leader. In 1993 he became associate professor for computer science at RWTH Aachen, and in 2002 full professor for computer science at TU Dresden.fessor for computer science at TU Dresden.
|
| rdfs:label |
Franz Baader
, فرانز بادر
|
