Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Datei:KG2018-Lecture-02-print.pdf + (30. Oktober 2018, 14:19:21)
- Datei:2018-kr-combined-approach-presentation.pdf + (30. Oktober 2018, 19:07:39)
- Datei:Kg2018-exercise-03-rdf-modelling.pdf + (30. Oktober 2018, 23:09:29)
- Datei:Kg2018-exercise-02-rdf.pdf + (30. Oktober 2018, 23:10:49)
- Datei:CT2018-Lecture-05-overlay.pdf + (31. Oktober 2018, 12:48:51)
- Datei:CT2018-Lecture-05-print.pdf + (31. Oktober 2018, 12:49:04)
- Datei:CT2018-Lecture-06-overlay.pdf + (31. Oktober 2018, 12:52:10)
- Datei:CT2018-Lecture-06-print.pdf + (31. Oktober 2018, 12:52:18)
- Datei:CT-WS2018-exercise-03.pdf + (31. Oktober 2018, 17:35:42)
- Datei:Fs 04.pdf + (31. Oktober 2018, 20:21:00)
- Datei:Lecture-03.pdf + (2. November 2018, 07:39:42)
- Satisfiability in the Triguarded Fragment of First-Order Logic + (2. November 2018, 10:07:22)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (4. November 2018, 11:10:31)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (4. November 2018, 11:10:47)
- Satisfiability in the Triguarded Fragment of First-Order Logic + (4. November 2018, 13:24:22)
- Datei:CT2018-Lecture-07-overlay.pdf + (5. November 2018, 10:01:47)
- Datei:CT2018-Lecture-07-print.pdf + (5. November 2018, 10:01:55)
- Datei:Fs 05.pdf + (5. November 2018, 10:31:17)
- Datei:KG2018-Lecture-04-overlay.pdf + (6. November 2018, 15:33:44)
- Datei:KG2018-Lecture-04-print.pdf + (6. November 2018, 15:33:53)
- Christian Lewe + (7. November 2018, 09:15:56)
- Publikationen von Christian Lewe + (7. November 2018, 09:15:56)
- Publications of Christian Lewe + (7. November 2018, 09:15:57)
- Datei:Kg2018-exercise-04-sparql.pdf + (7. November 2018, 21:16:33)
- Datei:Sat2018.pdf + (8. November 2018, 10:22:14)
- Datei:FCP2018-T3.pdf + (8. November 2018, 15:36:51)
- Extending Datalog with Sets Using an Encoding in Existential Rules + (10. November 2018, 10:23:50)
- Extending Datalog with Sets Using an Encoding in Existential Rules + (10. November 2018, 10:23:50)
- Datei:01-solutions.pdf + (11. November 2018, 14:21:28)
- Datei:02-solutions.pdf + (11. November 2018, 14:21:47)
- Datei:CT-WS2018-exercise-04.pdf + (12. November 2018, 09:28:03)
- Datei:CT2018-Lecture-09-overlay.pdf + (12. November 2018, 10:32:51)
- Datei:CT2018-Lecture-09-print.pdf + (12. November 2018, 10:32:59)
- Datei:FLP2018-T3.pdf + (12. November 2018, 17:38:00)
- Datei:CT2018-Lecture-10-overlay.pdf + (13. November 2018, 13:41:37)
- Datei:CT2018-Lecture-10-print.pdf + (13. November 2018, 13:41:45)
- Datei:CT2018-Lecture-08-overlay.pdf + (13. November 2018, 13:41:58)
- Datei:CT2018-Lecture-08-print.pdf + (13. November 2018, 13:42:10)
- Datei:KG2018-Lecture-05-overlay.pdf + (13. November 2018, 19:46:38)
- Datei:KG2018-Lecture-05-print.pdf + (13. November 2018, 19:46:49)
- Datei:2019-aaai-hsriq-to-datalog-submitted-pres.pdf + (14. November 2018, 21:42:20)
- Datei:2019-aaai-hsriq-to-datalog-submitted-2.pdf + (14. November 2018, 21:54:17)
- Datei:FLP2018-T4.pdf + (15. November 2018, 10:00:54)
- Datei:Lecture-05.pdf + (16. November 2018, 08:02:09)
- Datei:Lecture-04.pdf + (17. November 2018, 06:19:28)
- Datei:Kg2018-exercise-05-wikidata.pdf + (19. November 2018, 14:31:08)
- Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata + (20. November 2018, 12:21:06)
- Datei:KG2018-Lecture-06-overlay.pdf + (20. November 2018, 16:37:22)
- Datei:KG2018-Lecture-06-print.pdf + (20. November 2018, 16:37:31)
- Datei:CT2018-Lecture-11-overlay.pdf + (20. November 2018, 16:40:44)
- Datei:CT2018-Lecture-11-print.pdf + (20. November 2018, 16:40:55)
- Big Data Variety: On-Demand Data Integration + (21. November 2018, 12:38:48)