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

• Introducing the Gitlab installation on https://iccl-share.inf.tu-dresden.de  + (Lukas Schweizer)
• Fixed-Domain Reasoning for Description Logics  + (Lukas Schweizer)
• Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics  + (Lukas Schweizer)
• A SHACL primer for KR researchers  + (Magdalena Ortiz)
• Topological Clones and the Computational Complexity of Constraint Satisfaction Problems  + (Manuel Bodirsky)
• Monotone Monadic SNP 1: Classical Results and Applications  + (Manuel Bodirsky)
• ASNP: a tame fragment of existential second-order logic  + (Manuel Bodirsky and Simon Knäuer)
• Extending EL++ with Linear Constraints on the Probability of Axioms  + (Marcelo Finger)
• Blockmodelling Knowledge Graphs  + (Marcin Pietrasik)
• Statistics for Knowledge Graph Modelling  + (Marcin Pietrasik)
• SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability  + (Marcos Cramer)
• Image schemas in computational concept invention  + (Maria Hedblom)
• STEP by Step, towards Smart Services  + (Maria Maleshkova)
• Knowledge Dynamics in Social Environments  + (Maria Vanina Martinez)
• From Data to Knowledge: Extending Database Techniques for Knowledge Graphs  + (Maribel Acosta)
• Can AI explanations skew our causal intuitions about the world? If so, can we correct for that?  + (Marko Tesic)
• TE-ETH: Lower Bounds for QBFs of Bounded Treewidth  + (Markus Hecher)
• The World Avatar project – a universal digital twin  + (Markus KRAFT)
• Introducing a Semantic Web Portal for Everyone (in Logic) (at TU Dresden)  + (Markus Krötzsch)
• Reasonable Highly Expressive Query Languages  + (Markus Krötzsch)
• An Introduction to Wikidata  + (Markus Krötzsch)
• Getting the most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph  + (Markus Krötzsch)
• Ontological Modelling in Wikidata  + (Markus Krötzsch)
• The Power of the Terminating Chase  + (Markus Krötzsch)
• Knowledge Graphs for AI: Wikidata and Beyond  + (Markus Krötzsch)
• Capturing Homomorphism-Closed Decidable Queries with Existential Rules  + (Markus Krötzsch)

• A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic  + (Martin Bromberger)
• Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers  + (Martin Bromberger)

• Making sense of conflicting defeasible rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization  + (Martin Diller)
• Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation  + (Martin Diller)
• Formalizing "Formale Systeme"  + (Matthias Meißner)
• The RustBelt and its Separation Logic  + (Matthias Meißner)
• Forgetting Atoms and Arguments  + (Matti Berthold)
• Universality Results for Spiking Neural P Systems with Cooperating Rules  + (Maximilian Marx)
• Logic on MARS: Ontologies for Generalised Property Graphs  + (Maximilian Marx)
• SQID: Reasonable Wikidata  + (Maximilian Marx)
• Preserving Constraints with the Stable Chase  + (Maximilian Marx)
• Discovering Implicational Knowledge in Wikidata  + (Maximilian Marx)
• Tuple-Generating Dependencies Capture Complex Values  + (Maximilian Marx)
• Towards Conjunctive Query Answering in Defeasible EL_bot  + (Maximilian Pensel)
• Knowledge Graph Embedding  + (Michael Cochez)
• Semantic Search for Novel Information  + (Michael Färber)
• Suche struktureller Ähnlichkeiten in großen Graphen  + (Michael Günther)
• Graph Structure and Monadic Second-Order Logic  + (Michaël Thomazo)
• Characterization of the Expressivity of Existential Rule Queries  + (Michaël Thomazo)
• A Single Approach to Decide Chase Termination on Linear Existential Rules  + (Michaël Thomazo)
• Reasoning about disclosure in data integration in the presence of source constraints  + (Michaël Thomazo)
• Modeling Computational Properties of Description Logics in ASP  + (Mohamed Ibrahim)
• Algebraic Aspects of Propositional Logic, and Future Work in Defeasible Reasoning  + (Nicholas Leisegang)
• Admissibility in Probabilistic Argumentation  + (Nikolai Käfer)
• Generating molecule graphs from mass spectrometry results using Answer-Set-Programming  + (Nils Küchenmeister)
• Discovering Fine-Grained Semantics in Knowledge Graph Relations  + (Nitisha Jain)