Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Room APB E010  + (15:22:40, 9 October 2023)
• Datei:CT2023-Lecture-01-print.pdf  + (09:28:13, 10 October 2023)
• Datei:CT2023-Lecture-02-print.pdf  + (09:28:24, 10 October 2023)
• Theorem Proving with LEAN  + (13:06:24, 10 October 2023)
• Datei:Kg2023-exercise-01.pdf  + (00:10:12, 11 October 2023)
• Datei:FoSys23-Blatt01.pdf  + (10:22:30, 11 October 2023)
• Vorlage:ProjektModule  + (07:24:41, 12 October 2023)
• Datei:Exercises01.pdf  + (15:47:33, 13 October 2023)
• Datei:FLP2023-02.pdf  + (19:29:40, 13 October 2023)
• Datei:Fkr-1-2024.pdf  + (18:56:20, 15 October 2023)
• Datei:Fkr-02-2024.pdf  + (18:56:41, 15 October 2023)
• Datei:FoSys23-Blatt02.pdf  + (06:05:37, 16 October 2023)
• Datei:CT23-sheet02.pdf  + (06:22:30, 16 October 2023)
• Datei:CT2023-Lecture-01-overlay.pdf  + (06:45:41, 16 October 2023)
• Datei:CT2023-Lecture-02-overlay.pdf  + (06:45:58, 16 October 2023)
• Datei:Exercises01b.pdf  + (11:48:52, 16 October 2023)
• Datei:CT2023-Lecture-03-print.pdf  + (11:57:14, 16 October 2023)
• Datei:CT2023-Lecture-03-overlay.pdf  + (11:57:32, 16 October 2023)
• Datei:PL and FOL Problems 23.pdf  + (13:18:05, 16 October 2023)
• Datei:KG2023-Lecture-01-overlay.pdf  + (05:40:59, 17 October 2023)
• Datei:KG2023-Lecture-02-overlay.pdf  + (05:41:07, 17 October 2023)
• Datei:CT2023-Lecture-04-print.pdf  + (12:23:41, 17 October 2023)
• Datei:CT2023-Lecture-04-overlay.pdf  + (12:23:49, 17 October 2023)
• Datei:Kg2023-exercise-02.pdf  + (16:46:56, 17 October 2023)
• Datei:Uebung RDF 2023.pdf  + (11:49:46, 19 October 2023)

• Datei:Uebung RDF2023.pdf  + (12:01:36, 19 October 2023)

• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (11:28:07, 20 October 2023)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (11:43:17, 20 October 2023)
• Bartosz Bednarczyk wins the best student paper award at JELIA 2023.  + (11:53:21, 20 October 2023)
• Bartosz Bednarczyk hat den Best Student Paper Award der JELIA 2023 gewonnen.  + (15:40:26, 20 October 2023)
• Datei:Fkr-03-2024.pdf  + (11:38:08, 22 October 2023)
• Datei:CT2023-Lecture-05-overlay.pdf  + (06:16:19, 23 October 2023)
• Datei:CT2023-Lecture-05-print.pdf  + (06:16:37, 23 October 2023)
• Datei:CT23-sheet03.pdf  + (06:20:42, 23 October 2023)
• Datei:FS2023-Vorlesung-05-overlay.pdf  + (08:42:14, 23 October 2023)
• Datei:FLP2023-03.pdf  + (11:21:23, 23 October 2023)
• Datei:FoSys23-Blatt03.pdf  + (12:23:36, 23 October 2023)
• Datei:DL-2023-Submission-4173-Gerlach-Carral.pdf  + (13:43:31, 23 October 2023)
• Datei:DL-2023-Gerlach-Carral-Talk.pdf  + (13:44:26, 23 October 2023)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)  + (13:50:57, 23 October 2023)
• Datei:Kg2023-exercise-03.pdf  + (16:24:16, 24 October 2023)
• Datei:Horn Logics and Datalog Problems23.pdf  + (11:41:15, 25 October 2023)
• On the Abstract Expressive Power of Description Logics with Concrete Domains  + (07:44:05, 27 October 2023)
• Datei:Uebung3 2023.pdf  + (15:29:30, 27 October 2023)
• Datei:Fkr-04-2024.pdf  + (14:39:45, 29 October 2023)
• Datei:Bart award signed.pdf  + (14:44:35, 29 October 2023)
• Datei:CT2023-Lecture-06-print.pdf  + (07:42:13, 30 October 2023)
• Datei:CT2023-Lecture-06-overlay.pdf  + (07:42:20, 30 October 2023)
• Efficient Dependency Analysis for Rule-Based Ontologies  + (08:24:48, 30 October 2023)
• Datei:FLP2023-04.pdf  + (09:25:51, 30 October 2023)
• Datei:FS2023-Vorlesung-04-overlay.pdf  + (09:42:05, 30 October 2023)