Combining Proofs for Description Logic and Concrete Domain Reasoning
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | Rules and Reasoning |
| Editors | Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu |
| Pages | 54-69 |
| Number of pages | 16 |
| Publication status | Published - 2023 |
| Peer-reviewed | Yes |
Publication series
| Series | Lecture Notes in Computer Science, Volume 14244 |
|---|---|
| ISSN | 0302-9743 |
External IDs
| Scopus | 85175964829 |
|---|---|
| ORCID | /0000-0001-9936-0943/work/151981022 |
| ORCID | /0000-0002-4049-221X/work/151982599 |