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

• Attributed Description Logics: Ontologies for Knowledge Graphs  + (Ana Ozaki)
• Notes on Computational Learning Theory and the problem of learning CNFs  + (Ana Ozaki)
• Learning Ontologies with Epistemic Reasoning: The EL Case  + (Ana Ozaki)
• Finite Base Contraction and Expansion via Models - The ALC case  + (Ana Ozaki)
• Querying Wikidata with GraphQL  + (Anas Shahab)
• On Mono- and Multilingual Word embeddings for NLP  + (Anatoly Zelenin)
• Question Answering Systems  + (Anatoly Zelenin)
• Question Answering over Real-World Knowledge Graphs  + (Anatoly Zelenin)
• From Classical to Consistent Query Answering under Existential Rules  + (Andreas Pieris)
• SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer)  + (Anouk Michelle Oudshoorn)
• A Distributed Blockchain Model of Selfish Mining  + (Ansgar Fehnker)
• Monotone Monadic SNP 2: Proof of the Universal-algebraic Dichotomy Conjecture  + (Antoine Mottet)
• Introduction to p-adic numbers and analysis  + (Anton Claußnitzer)
• Minesweeper goes Kaboom (in ASP) - and what makes it difficult  + (Antonio Hentschke)
• Finding p-indecomposable Functions  + (Artem Revenko)
• Cyclic Proof Theory  + (Bahareh Afshari (University of Gothenburg))

• "Most of" leads to undecidability: Failure of adding frequencies to LTL  + (Bartosz Bednarczyk)
• Data Complexity in Expressive Description Logics With Path Expressions  + (Bartosz Bednarczyk)
• Database-Inspired Reasoning Problems in Description Logics With Path Expressions  + (Bartosz Bednarczyk)
• Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment  + (Bartosz Bednarczyk)
• How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions.  + (Bartosz Bednarczyk)
• Modal Separation Logic: an ongoing quest for elementary complexity  + (Bartosz Bednarczyk)
• On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics  + (Bartosz Bednarczyk)
• PhD Defense of Bartosz Bednarczyk  + (Bartosz Bednarczyk)
• The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard  + (Bartosz Bednarczyk)
• Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting  + (Bartosz Bednarczyk)

• Verification of Knowledge-Based Programs over Description Logic Actions  + (Benjamin Zarrieß)
• Verification of Golog Programs over Description Logic Actions  + (Benjamin Zarrieß)
• Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic  + (Benjamin Zarrieß)
• Logical Foundations of Linked Data Anonymisation  + (Bernardo Cuenca Grau)
• 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)