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 Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals  + (Bertram Ludäscher)
• Data Science Use Cases for Lifestyle Banking  + (Boontawee (Meng) Suntisrivaraporn)
• Structural Subsumption Based Similarity Measures: applications with a medical ontology and in image object recognition  + (Boontawee Suntisrivaraporn)
• Inconsistency Handling in Ontology-Mediated Query Answering  + (Camille Bourgaux)
• Automatic translation of clinical trial eligibility criteria into formal queries  + (Chao Xu)
• Faceted Answer-Set Navigation  + (Christian Al-Rabbaa)
• Extending Datalog with Sets Using an Encoding in Existential Rules  + (Christian Lewe)
• An overview of Datalog boundedness  + (Christian Lewe)
• Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog  + (Christian Lewe)
• Constraint Propagation and Pebble Games  + (Christoph Berkholz)
• Satisfiability of temporal logics with concrete domain  + (Claudia Carapelle)
• Augmenting human cognition in collaborative knowledge collections  + (Claudia Müller-Birn)
• Explaining Answer Sets using Argumentation Theory  + (Claudia Schulz)
• Causality meets Configurable Systems  + (Clemens Dubslaff)
• Body-Mind-Language: Embodied Cognition in Natural Language  + (Dagmar Gromann)
• Embodied Terminology: Language, Knowledge, and Cognition  + (Dagmar Gromann)
• Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics  + (David Carral)
• Tractable Query Answering for Expressive Ontologies and Existential Rules  + (David Carral)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (David Carral)
• Efficient Model Construction for Horn Logic with VLog: Extended Abstract  + (David Carral)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (David Carral)
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment  + (David Carral)
• Checking Chase Termination over Ontologies of Existential Rules with Equality  + (David Carral)
• Normalisations of Existential Rules: Not so Innocuous!  + (David Carral)
• Logic for Database Systems Implementation  + (David Toman)

• A Logic-based Reasoning Framework for Graph Databases  + (Davide Di Pierro)

• Restricted Chase (Non)Termination for Existential Rules with Disjunctions  + (Davil Carral)
• Visualization and navigation paradigms for triadic formal concept analysis  + (Diana Troancă)
• Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis  + (Diana Troancă)
• A proof of CSP Dichotomy conjecture  + (Dmitriy Zhuk (Lomonosov Moscow State University))
• Codifying Logical Fragments in ASP - A General Knowledge Base Approach  + (Dominic Deckert)
• Inconsistency Values for Logic Programs under Answer Set Semantics  + (Dominik Rusovac)
• Ongoing Research in the NAVAS Project  + (Dominik Rusovac)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (Dominik Rusovac)
• Answer Set Navigation alongside Quantitative Reasoning  + (Dominik Rusovac)
• Notation3 Logic: From informal to formal semantics  + (Dörthe Arndt)
• Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration  + (Dörthe Arndt)
• Notation3 as an Existential Rule Language  + (Dörthe Arndt)
• Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg  + (Elisa Böhl)
• Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy  + (Elisa Böhl)
• Representative Answer Sets: Collecting Something of Everything  + (Elisa Böhl)
• Winning Snake: Design Choices in Multi-Shot ASP  + (Elisa Böhl)
• Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium  + (Emma Reyner-Fuentes)
• Enterprise Management in the Presence of Data  + (Evellin Cardoso)
• On the Complexity of Synthesis of nop-Free Boolean Petri Nets  + (Evgeny Erofeev)
• A diamond in the rough: Theorizing column stores  + (Eyal Rozenberg)
• Epistemic Answer Set Programming  + (Ezgi Iraz Su)
• A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics  + (Faiq Miftakhul Falakh)
• Enabling Fine-grained RDF Data Completeness Assessment  + (Fariz Darari)
• Ensuring Soundness for SPARQL with Negation Using Completeness Statements  + (Fariz Darari)
• Managing and Consuming Completeness Information for RDF Data Sources  + (Fariz Darari)