Presburger Concept Cardinality Constraints in Very Expressive Description Logics: Allegro sexagenarioso ma non ritardando
Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday |
| Editors | Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter |
| Publisher | Springer, Berlin [u. a.] |
| Pages | 542-561 |
| Number of pages | 20 |
| Publication status | Published - 2019 |
| Peer-reviewed | No |
Publication series
| Series | Lecture Notes in Computer Science, Volume 11560 |
|---|---|
| ISSN | 0302-9743 |
External IDs
| Scopus | 85068410647 |
|---|