Search by property
From International Center for Computational Logic
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
- Datei:KG2018-Lecture-02-print.pdf + (14:19:21, 30 October 2018)
- Datei:2018-kr-combined-approach-presentation.pdf + (19:07:39, 30 October 2018)
- Datei:Kg2018-exercise-03-rdf-modelling.pdf + (23:09:29, 30 October 2018)
- Datei:Kg2018-exercise-02-rdf.pdf + (23:10:49, 30 October 2018)
- Datei:CT2018-Lecture-05-overlay.pdf + (12:48:51, 31 October 2018)
- Datei:CT2018-Lecture-05-print.pdf + (12:49:04, 31 October 2018)
- Datei:CT2018-Lecture-06-overlay.pdf + (12:52:10, 31 October 2018)
- Datei:CT2018-Lecture-06-print.pdf + (12:52:18, 31 October 2018)
- Datei:CT-WS2018-exercise-03.pdf + (17:35:42, 31 October 2018)
- Datei:Fs 04.pdf + (20:21:00, 31 October 2018)
- Datei:Lecture-03.pdf + (07:39:42, 2 November 2018)
- Satisfiability in the Triguarded Fragment of First-Order Logic + (10:07:22, 2 November 2018)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (11:10:31, 4 November 2018)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (11:10:47, 4 November 2018)
- Satisfiability in the Triguarded Fragment of First-Order Logic + (13:24:22, 4 November 2018)
- Datei:CT2018-Lecture-07-overlay.pdf + (10:01:47, 5 November 2018)
- Datei:CT2018-Lecture-07-print.pdf + (10:01:55, 5 November 2018)
- Datei:Fs 05.pdf + (10:31:17, 5 November 2018)
- Datei:KG2018-Lecture-04-overlay.pdf + (15:33:44, 6 November 2018)
- Datei:KG2018-Lecture-04-print.pdf + (15:33:53, 6 November 2018)
- Christian Lewe + (09:15:56, 7 November 2018)
- Publikationen von Christian Lewe + (09:15:56, 7 November 2018)
- Publications of Christian Lewe + (09:15:57, 7 November 2018)
- Datei:Kg2018-exercise-04-sparql.pdf + (21:16:33, 7 November 2018)
- Datei:Sat2018.pdf + (10:22:14, 8 November 2018)
- Datei:FCP2018-T3.pdf + (15:36:51, 8 November 2018)
- Extending Datalog with Sets Using an Encoding in Existential Rules + (10:23:50, 10 November 2018)
- Extending Datalog with Sets Using an Encoding in Existential Rules + (10:23:50, 10 November 2018)
- Datei:01-solutions.pdf + (14:21:28, 11 November 2018)
- Datei:02-solutions.pdf + (14:21:47, 11 November 2018)
- Datei:CT-WS2018-exercise-04.pdf + (09:28:03, 12 November 2018)
- Datei:CT2018-Lecture-09-overlay.pdf + (10:32:51, 12 November 2018)
- Datei:CT2018-Lecture-09-print.pdf + (10:32:59, 12 November 2018)
- Datei:FLP2018-T3.pdf + (17:38:00, 12 November 2018)
- Datei:CT2018-Lecture-10-overlay.pdf + (13:41:37, 13 November 2018)
- Datei:CT2018-Lecture-10-print.pdf + (13:41:45, 13 November 2018)
- Datei:CT2018-Lecture-08-overlay.pdf + (13:41:58, 13 November 2018)
- Datei:CT2018-Lecture-08-print.pdf + (13:42:10, 13 November 2018)
- Datei:KG2018-Lecture-05-overlay.pdf + (19:46:38, 13 November 2018)
- Datei:KG2018-Lecture-05-print.pdf + (19:46:49, 13 November 2018)
- Datei:2019-aaai-hsriq-to-datalog-submitted-pres.pdf + (21:42:20, 14 November 2018)
- Datei:2019-aaai-hsriq-to-datalog-submitted-2.pdf + (21:54:17, 14 November 2018)
- Datei:FLP2018-T4.pdf + (10:00:54, 15 November 2018)
- Datei:Lecture-05.pdf + (08:02:09, 16 November 2018)
- Datei:Lecture-04.pdf + (06:19:28, 17 November 2018)
- Datei:Kg2018-exercise-05-wikidata.pdf + (14:31:08, 19 November 2018)
- Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata + (12:21:06, 20 November 2018)
- Datei:KG2018-Lecture-06-overlay.pdf + (16:37:22, 20 November 2018)
- Datei:KG2018-Lecture-06-print.pdf + (16:37:31, 20 November 2018)
- Datei:CT2018-Lecture-11-overlay.pdf + (16:40:44, 20 November 2018)
- Datei:CT2018-Lecture-11-print.pdf + (16:40:55, 20 November 2018)
- Big Data Variety: On-Demand Data Integration + (12:38:48, 21 November 2018)