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

• Unification in the Description Logic EL Without the Top Concept  + (BBBM-LTCS-11-01.pdf)
• Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor  + (BBBM-NDJFL15.pdf)
• Computing Local Unifiers in the Description Logic EL without the Top Concept  + (BBBM-UNIF11.pdf)
• Extending Two-Variable Logic on Trees  + (BBE-CSL17.pdf)
• Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?  + (BBE-Demri-LMCS22.pdf)
• Finite and algorithmic model theory (22/23)  + (BBE-FMT-Exercises1.pdf)
• "Most of" leads to undecidability: Failure of adding frequencies to LTL  + (BBE-FOSSACS-21.pdf)
• Modulo Counting on Words and Trees.  + (BBE-FSTTCS17.pdf)
• On the Limits of Decision: the Adjacent Fragment of First-Order Logic  + (BBE-ICALP23-Corrected.pdf)
• Data Complexity in Expressive Description Logics With Path Expressions  + (BBE-IJCAI-2024.pdf)
• Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting  + (BBE-IJCAI19.pdf)
• All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs  + (BBE-IJCAI20-Chases.pdf)
• A Framework for Reasoning about Dynamic Axioms in Description Logics  + (BBE-IJCAI20-Sep.pdf)
• Statistical EL is ExpTime-complete  + (BBE-IPL21.pdf)
• On the Complexity of Graded Modal Logics with Converse.  + (BBE-JELIA19.pdf)
• Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features  + (BBE-JELIA23-FINAL.pdf)
• Why propositional quantification makes modal logics on trees robustly hard ?  + (BBE-LICS19.pdf)
• Modal Logics with Composition on Finite Forests: Expressivity and Complexity  + (BBE-LICS20.pdf)
• Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics  + (BBE-Spoilers2021.pdf)
• One-Variable Logic Meets Presburger Arithmetic  + (BBE-TCSv2.pdf)
• A note on C2 interpreted over finite data-words  + (BBE-TIME-20.pdf)
• Completing the Picture: Complexity of Graded Modal Logics with Converse  + (BBE-TPLP.pdf)
• Database-Inspired Reasoning Problems in Description Logics With Path Expressions  + (BBE-thesis-final.pdf)
• Finite Entailment of Local Queries in the Z family of Description Logics  + (BBEKieroAAAI22.pdf)
• Towards Model Theory of Ordered Logics: Expressivity and Interpolation  + (BBEReijo22.pdf)

• How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC  + (BBESRU2023JAIR-final.pdf)

• UEL: Unification Solver for EL  + (BBMM-DL-12.pdf)
• Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints  + (BBR-DL-2019.pdf)
• Capturing Homomorphism-Closed Decidable Queries with Existential Rules  + (BCKRT-terminating-chase-KR2021.pdf)
• Admissibility in Probabilistic Argumentation  + (BDDGHK2021.pdf)
• On Logics and Homomorphism Closure  + (BFKR-LICS-2021-extended.pdf)
• Preferential Query Answering in the Semantic Web with Possibilistic Networks  + (BFL+-IJCAI16.pdf)
• Completing Description Logic Knowledge Bases using Formal Concept Analysis  + (BGSS-IJCAI07.pdf)
• Completing Description Logic Knowledge Bases using Formal Concept Analysis  + (BGSS-LTCS-06-02.pdf)
• Completing Description Logic Knowledge Bases using Formal Concept Analysis  + (BGSS-OWLED07.pdf)
• Datalog-Expressibility for Monadic and Guarded Second-Order Logic  + (BKR-ICALP2021-GSO.pdf)
• Reasonable Highly Expressive Query Languages: Extended Technical Report  + (BKR-IJCAI2015-queries.pdf)
• Integrating Description Logics and Action Formalisms for Reasoning about Web Services  + (BMLSW-LTCS-05-02.ps.gz)
• Conjunctive Query Answering with Finitely Many Truth Degrees  + (BMPT-DL15.pdf)
• Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies  + (BMPT-JoDS16.pdf)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (BMR-PODS-2023.pdf)
• Visualisierung räumlich-zeitlicher Inhalte aus Wikidata  + (BSc-Thesis-Georg-Wild-2014.pdf)
• Ontology-Based Monitoring of Dynamic Systems  + (Ba-KR-2014.pdf)
• Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles  + (BaBL-AI15.pdf)
• Temporalizing Ontology-Based Data Access  + (BaBL-CADE13.pdf)
• Query Rewriting for DL-Lite with n-ary Concrete Domains  + (BaBL-IJCAI17.pdf)
• Temporal Query Entailment in the Description Logic SHQ  + (BaBL-JWS15.pdf)
• Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles  + (BaBL-LTCS-15-17.pdf)
• A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  + (BaBM-AI12.pdf)
• Computing Minimal EL-unifiers is Hard  + (BaBM-AiML12.pdf)
• A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes  + (BaBM-DL-12.pdf)