litlas
ログインアカウント作成

Franz Baader

1986–2026 年に発表

338
論文数
24,306
被引用数
57
h 指数
171
i10 指数

被引用数

Franz Baader の年別被引用数1986 年: 被引用 1 件1987 年: 被引用 2 件1988 年: 被引用 5 件1989 年: 被引用 10 件1990 年: 被引用 20 件1991 年: 被引用 33 件1992 年: 被引用 30 件1993 年: 被引用 59 件1994 年: 被引用 64 件1995 年: 被引用 51 件1996 年: 被引用 118 件1997 年: 被引用 87 件1998 年: 被引用 120 件1999 年: 被引用 255 件2000 年: 被引用 182 件2001 年: 被引用 188 件2002 年: 被引用 277 件2003 年: 被引用 412 件2004 年: 被引用 569 件2005 年: 被引用 687 件2006 年: 被引用 894 件2007 年: 被引用 1,036 件2008 年: 被引用 1,043 件2009 年: 被引用 1,186 件2010 年: 被引用 1,106 件2011 年: 被引用 1,125 件2012 年: 被引用 986 件2013 年: 被引用 888 件2014 年: 被引用 951 件2015 年: 被引用 727 件2016 年: 被引用 542 件2017 年: 被引用 470 件2018 年: 被引用 448 件2019 年: 被引用 707 件2020 年: 被引用 494 件2021 年: 被引用 408 件2022 年: 被引用 223 件2023 年: 被引用 262 件2024 年: 被引用 193 件2025 年: 被引用 176 件2026 年: 被引用 44 件

引用元

国・地域

この著者を引用した国・地域の世界地図ドイツ: 引用元論文 2,013 件、この内訳の 15.5%イギリス: 引用元論文 1,372 件、この内訳の 10.5%イタリア: 引用元論文 1,370 件、この内訳の 10.5%アメリカ合衆国: 引用元論文 1,279 件、この内訳の 9.8%フランス: 引用元論文 1,158 件、この内訳の 8.9%スペイン: 引用元論文 608 件、この内訳の 4.7%中国: 引用元論文 598 件、この内訳の 4.6%オーストリア: 引用元論文 528 件、この内訳の 4.1%カナダ: 引用元論文 343 件、この内訳の 2.6%オランダ: 引用元論文 320 件、この内訳の 2.5%オーストラリア: 引用元論文 279 件、この内訳の 2.1%日本: 引用元論文 255 件、この内訳の 2%
0%15.5%その他 22.2%

機関

分野

  • Computer Science88.9%
  • Biochemistry, Genetics and Molecular Biology3.3%
  • Social Sciences1.9%
  • Engineering1.5%
  • Business, Management and Accounting1.4%
  • Decision Sciences1%
  • その他2%

トピック

  • Semantic Web and Ontologies20.1%
  • Logic, Reasoning, and Knowledge10.1%
  • Service-Oriented Architecture and Web Services7.8%
  • Logic, programming, and type systems6.4%
  • Advanced Database Systems and Queries6.1%
  • Biomedical Text Mining and Ontologies3.9%
  • その他45.6%

共著者

全論文

検索で開く
  1. An Introduction to Description Logic

    著者: Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler - Cambridge University Press eBooks 2017 被引用: 475

  2. The Description Logic Handbook

    著者: Franz Baader, Franz Baader, D. Nardi, F. Baader, F. M. Donini, U. Sattler, D. Calvanese, F. Baader, D. L. McGuinness, R. Möller, I. Horrocks, A. Borgida, C. A. Welty, D. L. McGuinness, A. Rector, I. Horrocks, E. Franconi, A. Borgida, F. Baader - Cambridge University Press eBooks 2007 被引用: 6,212

  3. Unification Theory

    著者: Franz Baader, Wayne Snyder, Paliath Narendran, Manfred Schmidt-Schauß, Klaus U. Schulz - Elsevier eBooks 1999 被引用: 218

  4. The Description Logic Handbook: Theory, Implementation, and Applications

    著者: Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider - Description Logic Handbook 2003 被引用: 1,067

  5. Pushing the EL Envelope

    著者: Institut für Theoretische Informatik TU Dresden, Franz Baader, Sebastian Brandt, Institut für Theoretische Informatik TU Dresden, Carsten Lutz, Institut für Theoretische Informatik TU Dresden - Technsiche Universität Dresden, IJCAI 2005 被引用: 1,298

  6. Description Logics

    著者: Franz Baader, Ian Horrocks, Ulrike Sattler - Foundations of artificial intelligence 2004 被引用: 168

  7. Description Logics as Ontology Languages for the Semantic Web

    著者: Franz Baader, Ian Horrocks, Ulrike Sattler - Lecture notes in computer science, Mechanizing Mathematical Reasoning 2005 被引用: 421

  8. Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes

    著者: Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah - Lecture notes in computer science, ESWC 2022 被引用: 15

  9. Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains

    著者: Franz Baader, Jakub Rydval - Journal of Automated Reasoning, J. Autom. Reason. 2022 被引用: 12

  10. Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging

    著者: Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, Raimund Dachselt - Computer Graphics Forum, Comput. Graph. Forum 2023 被引用: 11

  11. Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes

    著者: Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah - Lecture notes in computer science, CADE 2021 被引用: 19

  12. Evonne: Interactive Proof Visualization for Description Logics (System Description)

    著者: Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez - Lecture notes in computer science, IJCAR 2022 被引用: 12

  13. Unification in modal and description logics

    著者: Franz Baader, Silvio Ghilardi - Logic Journal of IGPL, Log. J. IGPL 2010 被引用: 60

  14. A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors

    著者: Franz Baader - Lecture notes in computer science, FroCoS 2017 被引用: 30

  15. On the Complexity of Boolean Unification

    著者: Franz Baader - Aachen University of Technology, Inf. Process. Lett. 1997 被引用: 30

  16. Finding Small Proofs for Description Logic Entailments: Theory and Practice

    著者: Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova - EPiC series in computing, LPAR 2020 被引用: 18

  17. On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets

    著者: Franz Baader, Filippo De Bortoli - Lecture notes in computer science, FroCos 2019 被引用: 13

  18. Description Logics with Concrete Domains and General Concept Inclusions Revisited

    著者: Franz Baader, Jakub Rydval - Lecture notes in computer science, IJCAR (1) 2020 被引用: 11

  19. Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs

    著者: Franz Baader, Francesco Kriegel - Nineteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 被引用: 10

  20. Combining Proofs for Description Logic and Concrete Domain Reasoning

    著者: Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova - Lecture notes in computer science, RuleML+RR 2023 被引用: 7

  21. Description Logics

    著者: Franz Baader - Lecture notes in computer science, Reasoning Web 2009 被引用: 427

  22. Applying Formal Concept Analysis to Description Logics

    著者: Franz Baader, Baris Sertkaya - Lecture notes in computer science, ICFCA 2004 被引用: 57

  23. Temporalizing Ontology-Based Data Access

    著者: Franz Baader, Stefan Borgwardt, Marcel Lippmann - Lecture notes in computer science, CADE 2013 被引用: 50

  24. Temporal query entailment in the Description Logic SHQ

    著者: Franz Baader, Stefan Borgwardt, Marcel Lippmann - Journal of Web Semantics, J. Web Semant. 2014 被引用: 30