Concepedia

Constructors

Constructors is a formal syntactic mechanism in Description Logics that combines atomic concepts and roles to form complex concept expressions through logical operations such as conjunction, disjunction, and quantification.

285

Publications

13.3K

Citations

561

Authors

257

Institutions

Publications per year

2017–2026

24

Variants

Concept ConstructorsDescription Logic Constructors

Parents

Publications

285

Pushing the EL envelope

Franz Baader, Sebastian Brandt, Carsten Lutz · 2005 · 869 citations · Full text

, , +11

A foundation for representing and querying moving objects

Ralf Hartmut Güting, Michael H. Böhlen, Martin Erwig et al. · ACM Transactions on Database Systems · 2000 · 756 citations · Full text

, , +16

Guarded recursive datatype constructors

Hongwei Xi, Chiyan Chen, Gang Chen · 2003 · 329 citations

, , +14

A general theory of composition for trace sets closed under selective interleaving functions

John McLean · 2002 · 329 citations

, , +12

JHDL-an HDL for reconfigurable systems

Peter Bellows, Brad Hutchings · 2002 · 249 citations

, , +17

1–5 of 285

Authors

561

  1. AW
    Andrew W. Appel

    Princeton University, United States

    5 publications · 334 citations

    5

    h-index

  2. CC
    Chiyan Chen

    Boston University, United States

    4 publications · 448 citations

    4

    h-index

  3. KS
    Klaus‐Dieter Schewe

    Massey University, New Zealand

    3 publications · 44 citations

    3

    h-index

  4. JV
    Jérôme Vouillon

    Université Paris Cité, France

    3 publications · 254 citations

    3

    h-index

  5. LA
    Linh Anh Nguyen

    University of Warsaw, Poland

    2 publications · 25 citations

    3

    h-index

1–5 of 561

Institutions

257

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    10 h-index

    14 publications

    1.1K citations

  2. University of Oxford

    Oxford, United Kingdom

    7 h-index

    8 publications

    393 citations

  3. Technische Universität Dresden

    Dresden, Germany

    6 h-index

    9 publications

    2.9K citations

  4. Université Paris Cité

    Paris, France

    6 h-index

    12 publications

    656 citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    10 publications

    564 citations

  6. Princeton University

    Princeton, United States

    5 h-index

    16 publications

    904 citations

  7. FernUniversität in Hagen

    Hagen, Germany

    4 h-index

    7 publications

    2.4K citations

  8. University of Nottingham

    Nottingham, United Kingdom

    4 h-index

    6 publications

    276 citations

1–8 of 257

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 9 publications · 210 citations

    9

    h-index

  2. Journal of Functional Programming

    9 publications · 640 citations

    9

    h-index

  3. ACM SIGPLAN Notices

    7 publications · 279 citations

    7

    h-index

  4. Language Testing

    4 publications · 429 citations

    4

    h-index

  5. Journal of Symbolic Computation

    4 publications · 118 citations

    4

    h-index

1–5