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

• 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)