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
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (David)
- Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase + (David)
- Reasoning with Description Logics Ontologies and Knowledge Graphs + (David)
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning + (David)
- The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract) + (David)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (David)
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract) + (David)
- VLog: A Rule Engine for Knowledge Graphs + (David)
- Checking Chase Termination over Ontologies of Existential Rules with Equality + (David)
- Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules + (David)
- Practical Uses of Existential Rules in Knowledge Representation + (David)
- Practical Uses of Existential Rules in Knowledge Representation + (David)
- Reasoner = Logical Calculus + Rule Engine + (David)
- LTL to Deterministic Emerson-Lei Automata + (David)
- Sharing Information in Parallel Search with Search Space Partitioning + (Davide)
- Sharing Information in Parallel Search with Search Space Partitioning + (Davide)
- Pcasso -- a Parallel CooperAtive Sat SOlver + (Davide)
- Leveraging Non-Lexical Knowledge for the Linked Open Data Web + (Denny)
- D1.4.2: Knowledge leveraging and repair Demonstrator + (Denny)
- Die Zukunft der Wikis: Semantic Web + (Denny)
- Reusing Ontological Background Knowledge in Semantic Wikis + (Denny)
- Wikipedia and the Semantic Web, Part II + (Denny)
- RDF syntax normalization using XML validation + (Denny)
- Wikidata: a free collaborative knowledgebase + (Denny)
- Shortipedia: Aggregating and Curating Semantic Web Data + (Denny)
- Wikidata: The Making Of + (Denny)
- A rule-based ontological framework for the classification of molecules + (Despoina)
- Computing Stable Models for Nonmonotonic Existential Rules + (Despoina)
- Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling + (Despoina)
- Verification of Context-Sensitive Knowledge and Action Bases + (Diego)
- Answer Set Navigation: Probleme Besser Verstehen + (Dominik)
- Rushing and Strolling among Answer Sets - Navigation Made Easy + (Dominik)
- Navigating and Querying Answer Sets: How Hard Is It Really and Why? + (Dominik)
- Reasoning in ALC with Fuzzy Concrete Domains + (Dorian)
- Ontology-based Interpretation of Keywords for Semantic Search + (Duc Thanh)
- Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data + (Duc Thanh)
- The Fuzzy Linguistic Description Logic ALC_FL + (Dzung)
- The Fuzzy Linguistic Description Logic ALC_FL + (Dzung)
- Notation3 as an Existential Rule Language + (Dörthe)
- Existential Notation3 Logic + (Dörthe)
- Consistency Checking in Applications based on Fuzzy Rules + (E.)
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation + (E.)
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report + (E.)
- Multidimensional Data Models and Aggregation + (E.)
- Mona as a DL Reasoner + (E.)
- FCPlanner: A Planning Strategy for First-Order MDPs + (E.)
- Efficient Symbolic Reasoning for First-Order MDPs + (E.)
- A Heuristic Search Algorithm for Solving First-Order MDPs + (E.)
- On Indicative Conditionals + (E.-A.)
- Molekularbiologisches Verfahren zur Lösung von NP-Problemen + (E.P.)
- DNA-Computing - ein funktionales Modell im laborpraktischen Experiment + (E.P.)
- A Semantic Modeling Approach for Video Retrieval by Content + (Edoardo)
- Materializing Knowledge Bases via Trigger Graphs + (Efthymia)
