Suchergebnisse

{{LeftsidenavHeading|[[MCL/en|International Master]]}} <li>[[MCL/CurrentStudents/en|For Current Students]]</li>

…o para una metodología de la verificación de los programas computacionales en ciencia de la computación |Download=Verificacion.pdf

{{LeftsidenavHeading|[[MCL/en|International Master]]}} <li>[[MCL/Introduction/en|Introduction]]</li>

…Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Sir |Download=KG2019-Lecture-01-overlay.pdf,KG2019-Lecture-01-print.pdf

…Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Sir |Download=KG2018-Lecture-01-overlay.pdf,KG2018-Lecture-01-print.pdf

…ecture on Thursday, 9 June, will be in DS3 (from 11:10) in room [[APB 3027/en|APB 3027]], since the afternoon is reserved for OUTPUT.DD 2016.</span>''' * The lecture on Thursday, 16 June, will be held by [[Sebastian Rudolph/en|Sebastian Rudolph]].

…018)/en|Database Theory]], and the 2019 lecture [[Database_Theory_(SS2019)/en|Database Theory]]. The plan for this year's course will be somewhat similar |Download=Lecture-01-introduction-relational-algebra.pdf

…t=This is an extended abstract of the conference paper [[Inproceedings4006/en|Schema-Agnostic Query Rewriting in SPARQL 1.1]]. |Download=Schema-agnostic-query-rewriting-DL2015.pdf

{{LeftsidenavHeading|[[MCL/en|International Master]]}} <li>[[MCL/Introduction/en|Introduction]]</li>

|Note=This is an extended abstract of the [[Inproceedings3318/en|full AAAI 2022 publication of the same title]]. |Download=Borgwardt-et-al Horn-DL-Planning Abstract DL2022.pdf

…ases and Query Languages]] and the 2018 lecture [[Database_Theory_(SS2018)/en|Database Theory]]. The plan for this year's course will be very similar. |Download=DBT2019-Lecture-01-overlay.pdf,DBT2019-Lecture-01-print.pdf

…018)/en|Database Theory]], and the 2019 lecture [[Database_Theory_(SS2019)/en|Database Theory]]. The plan for this year's course will be somewhat similar |Download=DBT2022-Lecture-01-overlay.pdf

{{LeftsidenavHeading|[[MCL/en|International Master]]}} <li>[[MCL/Introduction/en|Introduction]]</li>

…018)/en|Database Theory]], and the 2019 lecture [[Database_Theory_(SS2019)/en|Database Theory]]. The plan for this year's course will be somewhat similar |Download=DBT2023-Lecture-01-overlay.pdf

…the usefulness of our method by applying it to the OntoClean methodology. En passant, we address performance problems arising from the inconsistency dia |Download=TR-GRV-Metamodelling.pdf

…ain publication on Semantic MediaWiki is the journal article [[Article1551/en|Semantic Wikipedia]]. …s of contents, it has been superseded by the journal article [[Article1551/en|Semantic Wikipedia]].

…f the 2015 lecture [[Foundations_of_Databases_and_Query_Languages_(SS2015)/en|Foundations of Databases and Query Languages]]. The plan for this year's co |Download=DBT2018-Lecture-01-overlay.pdf,DBT2018-Lecture-01-print.pdf

…Google's own Knowledge Graph, Wikipedia's knowledge base sister [[Wikidata/en|Wikidata]], and numerous artificial intelligence projects from Alexa to Sir |Download=KG2023-Lecture-01-overlay.pdf

|Note=Please cite this paper as [[Article4003/en|Description Logics (IEEE Intelligent Systems)]]. |Download=Kroetzsch-Frantisek-Horrocks-DL-Primer-1201.4089v3.pdf

Further material has been prepared first by [[Daniel Borchmann/en|Daniel Borchmann]] during his time at TU Dresden. …lable online at https://logic.rwth-aachen.de/Teaching/KTQC-WS09/index.html.en