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

• High Throughput Indexing for Large-scale Semantic Web Data  + (2015-High-Throughput.pdf)
• Scale-Out Processing of Large RDF Datasets  + (2015-tbd.pdf)
• Efficient Skew Handling for Outer Joins in a Cloud Computing Environment  + (2015-tcc-cheng.pdf)
• Efficient Large Outer Joins over MapReduce  + (2016-europar.pdf)
• Defeasible AceRules: A prototype  + (2017-IWCS DefeasibleAceRules.pdf)
• Practical Planning for Angry Birds  + (2017-absw-setup.pdf)
• Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract)  + (2017-ki-journal-diss-vt.pdf)
• News on Temporal Conjunctive Queries  + (2017-wsp-temporal-qa.pdf)
• A Data-Driven Graph Schema  + (2018-amw-graph-schema.pdf)
• Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase  + (2018-existential-rules.pdf)
• Preserving Constraints with the Stable Chase  + (2018-icdt-cores.pdf)
• Efficient Model Construction for Horn Logic with VLog  + (2018-ijcar-restricted-chase-implementation.pdf)
• Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis  + (20180221-www-dynamics-wikidata.pdf)
• Interactively Discovering Implicational Knowledge in Wikidata  + (2019-36c3-wikidata-implications.pdf)
• EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface  + (2019-IJAR EMIL.pdf)
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment  + (2019-aaai-hsriq-to-datalog.pdf)
• The Exploration Game  + (2019-wikimania-hms-exploration-game.pdf)
• Discovering Implicational Knowledge in Wikidata  + (2019-wikimania-hms-implications-wikidata.pdf)
• SQID 2.0 — A Data Browser for Wikidata  + (2019-wikimania-sqid.pdf)
• Categorisation, Typicality & Object-Specific Features in Spatial Referring Expressions  + (2020.splu-1.5.pdf)
• An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms  + (2022-AIJ Strong-Equivalence.pdf)
• On Composing Finite Forests with Modal Logics  + (2023-tocl.pdf)
• Representative Answer Sets: Collecting Something of Everything  + (2023BGR.pdf)
• EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization  + (2024-XLoKR-Submission-5-camera-ready.pdf)
• Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian  + (2024.lrec-main.1241.pdf)

• A rule-based ontological framework for the classification of molecules  + (2041-1480-5-17.pdf)

• Rushing and Strolling among Answer Sets - Navigation Made Easy  + (20506-Article Text-24519-1-2-20220628 (1).pdf)
• Rushing and Strolling among Answer Sets - Navigation Made Easy  + (2112.07596.pdf)
• Standpoint Linear Temporal Logic  + (2304.14243.pdf)
• Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+  + (2304.14323.pdf)
• Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features.  + (2307.09913.pdf)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (2311.07233.pdf)
• Abstract Dialectical Frameworks: Properties, Complexity, and Implementation  + (25854.pdf)
• The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard  + (510.BednarczykB.pdf)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (978-3-031-15707-3 17.pdf)
• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms  + (A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms (PrePrint).pdf)
• A Framework for Intuitionistic Grammar Logics  + (A Framework for Intuitionistic Grammar Logics - Lyon.pdf)
• A Neutral Temporal Deontic STIT Logic  + (A Neutral Temporal Deontic STIT Logic (PrePrint).pdf)
• A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata  + (A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata.pdf)
• A Note on Relative Observability in Coordination Control  + (A Note on Relative Observability in Coordination Control.pdf)
• A Note on Undecidability of Observation Consistency for Non-Regular Languages  + (A Note on Undecidability of Observation Consistency for Non-Regular Language.pdf)
• A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking  + (A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking.pdf)
• A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions  + (A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions.pdf)
• A bridge between decentralized and coordination control  + (A bridge between decentralized and coordination control.pdf)
• A note on controllability of deterministic context-free systems  + (A note on controllability of deterministic context-free systems.pdf)
• Seminar Abstract Argumentation  + (AA2014-Slides sem1.pdf)
• Seminar Abstract Argumentation  + (AA2014-Slides sem2.pdf)
• Seminar Abstract Argumentation  + (AA2014-Slides sem3.pdf)
• Seminar Abstract Argumentation  + (AA2015 L1.pdf)
• Seminar Abstract Argumentation  + (AA2015 L2.pdf)
• Seminar Abstract Argumentation  + (AA2016-L1.pdf)