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
- Foundations of Semantic Web Technologies + (SPARQL 1.1)
- Foundations of Semantic Web Technologies + (SPARQL 1.1)
- Foundations of Semantic Web Technologies + (SPARQL 1.1)
- Foundations of Semantic Web Technologies + (SPARQL 1.1)
- SPARQL Beyond Subgraph Matching + (SPARQL Beyond Subgraph Matching)
- Knowledge Graphs + (SPARQL Expressivity and Complexity)
- Knowledge Graphs + (SPARQL Limits/Datalog)
- SPARQL Queries over Ontologies Under the Fixed-Domain Semantics + (SPARQL Queries over Ontologies Under the Fixed-Domain Semantics)
- Foundations of Semantic Web Technologies + (SPARQL Semantics)
- Foundations of Semantic Web Technologies + (SPARQL Semantics)
- Foundations of Semantic Web Technologies + (SPARQL Semantics)
- Knowledge Graphs + (SPARQL and Wikidata)
- Foundations of Semantic Web Technologies + (SPARQL – Algebra)
- Foundations of Semantic Web Technologies + (SPARQL – Algebra)
- Foundations of Semantic Web Technologies + (SPARQL – Entailment Regimes)
- Foundations of Semantic Web Technologies + (SPARQL – Entailment Regimes)
- Foundations of Semantic Web Technologies + (SPARQL – Semantics)
- Foundations of Semantic Web Technologies + (SPARQL – Semantics)
- Foundations of Semantic Web Technologies + (SPARQL – Syntax and Intuition)
- Foundations of Semantic Web Technologies + (SPARQL – Syntax and Intuition)
- Knowledge Graphs + (SPARQL: Advanced Features)
- Knowledge Graphs + (SPARQL: Complexity and Expressivity)
- Foundations of Semantic Web Technologies + (SPARQL: Hands On)
- Knowledge Graphs + (SPARQL: Semantics)
- Knowledge Graphs + (SPARQL: complexity and outlook)
- SQID 2.0 — A Data Browser for Wikidata + (SQID 2.0 — A Data Browser for Wikidata)
- SQID: Towards Ontological Reasoning for Wikidata + (SQID: Towards Ontological Reasoning for Wikidata)
- SROIQ Syntax Approximation by Using Nominal Schemas + (SROIQ Syntax Approximation by Using Nominal Schemas)
- SWITSS: Computing Small Witnessing Subsystems + (SWITSS: Computing Small Witnessing Subsystems)
- SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors + (SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors)
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints + (Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints)
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints + (Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints)
- Satisfiability Testing and its Applications + (Satisfiability Testing and its Applications)
- Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints + (Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints)
- Satisfiability for MTL and TPTL over non-monotonic data words + (Satisfiability for MTL and TPTL over non-monotonic data words)
- Satisfiability of CTL* with Constraints + (Satisfiability of CTL* with Constraints)
- Satisfiability of ECTL* with Constraints + (Satisfiability of ECTL* with Constraints)
- Satisfiability of ECTL* with tree constraints + (Satisfiability of ECTL* with tree constraints)
- Theoretische Informatik und Logik + (Satz von Rice/Postsches Korrespondenzproblem)
- Say "No" to Grounding: An Inference Algorithm for First-Order MDPs + (Say "No" to Grounding: An Inference Algorithm for First-Order MDPs)
- Scalable Understanding: Navigation Approaches for Answer Sets + (Scalable Understanding: Navigation Approaches for Answer Sets)
- Scale-Out Processing of Large RDF Datasets + (Scale-Out Processing of Large RDF Datasets)
- Schema-Agnostic Query Rewriting for OWL QL + (Schema-Agnostic Query Rewriting for OWL QL)
- Schema-Agnostic Query Rewriting in SPARQL 1.1 + (Schema-Agnostic Query Rewriting in SPARQL 1.1)
- Schnittbildanatomie – Interaktives klinisch-topographisches Lernprogramm + (Schnittbildanatomie – Interaktives klinisch-topographisches Lernprogramm)
- Science of Computational Logic + (Science of Computational Logic)
- Science of Computational Logic + (Science of Computational Logic)
- Science of Computational Logic + (Science of Computational Logic)
- Science of Computational Logic + (Science of Computational Logic)
- Science of Computational Logic + (Science of Computational Logic)
- Science of Computational Logic + (Science of Computational Logic)