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
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial: RDF(S) (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial: RDFS & Logic (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial: SPARQL (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial: Tableau (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial: Tableau (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial: XML & RDF (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: XML& RDF (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: OWL: Decidability+Profiles (Vorlesung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Exercise: SPARQL Semantics (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Question and Answer Session (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Notation3 Logic: Semantics and Applications (Vorlesung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: SPARQL – Syntax and Intuition (Vorlesung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: SPARQL – Syntax and Intuition (Vorlesung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Whatever is left over from the last tutorials :) (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Exercise: The web and first RDF (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: RDF: Theory and hands on (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: SPARQL – Entailment Regimes (Vorlesung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: SPARQL – Entailment Regimes (Vorlesung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial: SPARQL (Query Formulation) (Übung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: RDFS – Syntax and Intuition (Vorlesung))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: RDFS – Syntax and Intuition (Vorlesung))
- 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 besucht die Gruppe Logische Programmierung und Argumentation)
- 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)
- Gruppe Wissensbasierte Systeme erhält Best Paper Award der International Semantic Web Conference + (Gruppe Wissensbasierte Systeme erhält Best Paper Award der International Semantic Web Conference)
- 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!)
- Herzlich willkommen Philipp Hanisch + (Herzlich willkommen Philipp Hanisch)
- Herzlich willkommen Rajab Aghamov + (Herzlich willkommen Rajab Aghamov)