DL 2020: Description Logics 2020 proceedings of the 33rd International Workshop on Description Logic...
Gespeichert in:
Personen und Körperschaften: | , , |
---|---|
Titel: | DL 2020: Description Logics 2020: proceedings of the 33rd International Workshop on Description Logics (DL 2020), co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) : online, September 12th to 14th, 2020/ edited by Stefan Borgwardt (TU Dresden, Germany), Thomas Meyer (CAIR and University of Cape Town, South Africa) |
veröffentlicht: |
[Aachen, Germany]
[RWTH Aachen]
2020-09-03
|
Schlagwörter: | |
Beschreibung: | Literaturangaben |
Gesamtaufnahme: |
CEUR workshop proceedings ; vol-2663
|
Format: | E-Book Konferenzbericht |
Sprache: | Englisch |
Ergebnisse weiter eingrenzen
-
1
-
2
-
3
-
4
Classifying the complexity of ontology-mediated queries in EL: from atomic queries to conjunctive queries : (extended abstract)? (2020)
Veröffentlicht in DL 2020: Description Logics 2020 (2020)
In Bestand: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 -
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions (2020)
Veröffentlicht in DL 2020: Description Logics 2020 (2020)
In Bestand: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 -
18
-
19
-
20