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

• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: The Web: Needles in a Haystack (Exercise))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: RDFS – Rule-based Reasoning (Lecture))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: RDFS – Rule-based Reasoning (Lecture))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: Exercise: SPARQL on the Web (Exercise))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: Tutorial: Hypertableau (Exercise))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: Tutorial: Hypertableau (Exercise))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: OWL: Decidability+Profiles (Lecture))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: Tutorial: Entailment Regimes (Exercise))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: OWL – Semantics via Description Logics (Lecture))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: OWL – Semantics via Description Logics (Lecture))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: OWL – Syntax and Intuition (Lecture))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: OWL – Syntax and Intuition (Lecture))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: RDF: Theory and hands on (Exercise))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: Whatever is left over from the last tutorials :) (Exercise))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: Tutorial: SPARQL (Evaluating Queries) (Exercise))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: Tutorial & Question and Answer Session (Exercise))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: Question and Answer Session (Exercise))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: Tutorial: RDFS & Logic (Exercise))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: RDFS - Syntax and Intuition (Lecture))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: SPARQL – Entailment Regimes (Lecture))
• Foundations of Semantic Web Technologies  + (Foundations of Semantic Web Technologies: SPARQL – Entailment Regimes (Lecture))
• Framework for the Specification and Execution of parallel Clustering Algorithms  + (Framework for the Specification and Execution of parallel Clustering Algorithms)
• From Classical to Consistent Query Answering under Existential Rules  + (From Classical to Consistent Query Answering under Existential Rules)
• From Data to Knowledge: Extending Database Techniques for Knowledge Graphs  + (From Data to Knowledge: Extending Database Techniques for Knowledge Graphs)
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment  + (From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment)

• From Logic Programs to Iterated Function Systems  + (From Logic Programs to Iterated Function Systems)

• From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals  + (From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals)
• Functional models and Data Complexity for FL0  + (Functional models and Data Complexity for FL0)
• Award1016  + (Future Fellowship Award by the Australian Research Council)
• GPTKB: Comprehensively Materializing Factual LLM Knowledge  + (GPTKB: Comprehensively Materializing Factual LLM Knowledge)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase  + (General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase)
• Award1004  + (General Game Playing World Championship)
• Generalized Consistent Query Answering under Existential Rules  + (Generalized Consistent Query Answering under Existential Rules)
• Generalized Ultrametric Spaces in Quantitative Domain Theory  + (Generalized Ultrametric Spaces in Quantitative Domain Theory)
• Generating molecule graphs from mass spectrometry results using Answer-Set-Programming  + (Generating molecule graphs from mass spectrometry results using Answer-Set-Programming)
• Genetische Algorithmen und SAT-Probleme  + (Genetische Algorithmen und SAT-Probleme)
• Geometry and Axiomatics of Commonsense: Fragments  + (Geometry and Axiomatics of Commonsense: Fragments)
• Award1006  + (Georg-Helm Award)
• Award1012  + (Georg-Helm Award)
• Getting the most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph  + (Getting the most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph)
• Giuseppina Monterosso besucht die Gruppe Logische Programmierung und Argumentation  + (Giuseppina Monterosso visits the Logic Programming and Argumentation Group)
• Graph Structure and Monadic Second-Order Logic  + (Graph Structure and Monadic Second-Order Logic)
• Grounded Circumscription in Description Logics  + (Grounded Circumscription in Description Logics)
• Grounded Circumscription in Description Logics  + (Grounded Circumscription in Description Logics)
• Forschende der ICCL mit Best Paper Award ausgezeichnet  + (HSCC 2024 Awards Best Paper to ICCL-Researchers)
• HUGS – A Lightweight Graph Partitioning Approach  + (HUGS – A Lightweight Graph Partitioning Approach)
• Happy Birthday Steffen!  + (Happy Birthday Steffen!)
• Happy World Logic Day 2021!  + (Happy World Logic Day 2021!)
• Happy World Logic Day 2022!  + (Happy World Logic Day 2022!)
• Honorable Mention bei LPNMR 2022  + (Honorable Mention at LPNMR 2022)
• Award1008  + (Honorary Doctoral Degree)