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

• The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains  + (BaBo-SAC-24.pdf)
• Metric Temporal Description Logics with Interval-Rigid Names  + (BaBoKoOzTh-FroCoS17.pdf)
• On the Complexity of Temporal Query Answering  + (BaBoLi-LTCS-13-01.pdf)
• Exploring Finite Models in the Description Logic ELgfp  + (BaDi09.pdf)
• Hybrid EL-Unification is NP-Complete  + (BaFM-DL13.pdf)
• Hybrid Unification in the Description Logic EL  + (BaFM-FroCoS13.pdf)
• Hybrid Unification in the Description Logic EL  + (BaFM-LTCS-13-7.pdf)
• Hybrid Unification in the Description Logic EL  + (BaFM-UNIF13.pdf)
• LTL over Description Logic Axioms  + (BaGhiLu-DL08.pdf)
• A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms  + (BaKP-ISWC-09.pdf)
• Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies  + (BaKP-JWS12.pdf)
• Computing Boundaries for Reasoning in Sub-Ontologies  + (BaKP-LTCS-09.pdf)
• Runtime Verification Using a Temporal Description Logic Revisited  + (BaLi-LTCS-14-01.pdf)
• Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics  + (BaLiLi-LPAR-10.pdf)
• Adding Causal Relationships to DL-based Action Formalisms  + (BaLiLi-LTCS-10-01.pdf)
• Verifying Properties of Infinite Sequences of Description Logic Actions  + (BaLiMe-ECAI10.pdf)
• Description Logic  + (BaLu-ML-Handbook-06.ps.gz)
• Integrating Description Logics and Action Formalisms: First Results  + (BaLuMiSaWo-AAAI-2005.pdf)
• A Description Logic Based Approach to Reasoning about Web Services  + (BaLuMiSaWo-WSS-2005.pdf)
• Fusions of Description Logics and Abstract Description Systems  + (BaLuStuWo-JAIR.ps.gz)
• UEL: Unification Solver for the Description Logic EL – System Description  + (BaMM-IJCAR-12.pdf)
• Matching with respect to general concept inclusions in the Description Logic EL  + (BaMo-DL14.pdf)
• Matching with respect to general concept inclusions in the Description Logic EL  + (BaMo-KI2014.pdf)
• Unification in the Description Logic EL  + (BaMo-LMCS09.pdf)
• SAT Encoding of Unification in EL  + (BaMo-LPAR-10.pdf)

• SAT Encoding of Unification in EL  + (BaMo-LTCS-10-04.pdf)

• Matching with respect to general concept inclusions in the Description Logic EL  + (BaMo-LTCS-14-3.pdf)
• Matching with respect to general concept inclusions in the Description Logic EL  + (BaMo-UNIF14.pdf)
• Unification in the Description Logic EL  + (BaMo09.pdf)
• On Language Equations with One-sided Concatenation  + (BaOk-FI13.pdf)
• Solving language equations and disequations with applications to disunification in description logics and monadic set constraints  + (BaOk-LPAR18.pdf)
• Solving Language Equations and Disequations Using Looping Tree Automata with Colors  + (BaOk-LTCS-12-01.pdf)
• GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable  + (BaPe-DL11.pdf)
• On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm  + (BaPe-FroCoS11.pdf)
• Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?  + (BaPe-FuzzIEEE11.pdf)
• Automata-Based Axiom Pinpointing  + (BaPe-IJCAR08.pdf)
• Automata-based Axiom Pinpointing  + (BaPe-JAR.pdf)
• Blocking and Pinpointing in Forest Tableaux  + (BaPe-LTCS-08-02.pdf)
• Pinpointing in Terminating Forest Tableaux  + (BaPe-LTCS-08-03.pdf)
• Description Logics as Ontology Languages for the Semantic Web  + (BaSaJS60.pdf)
• Usability Issues in Description Logic Knowledge Base Completion  + (BaSe09.pdf)
• A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics  + (BaTiGiLTCS-03-05.ps.gz)
• Verification of Golog Programs over Description Logic Actions  + (BaZa-FroCoS13.pdf)
• Verification of Golog Programs over Description Logic Actions  + (BaZa-LTCS-13-08.pdf)
• Pushing the EL Envelope Further  + (BaaBraLu-OWLEDDC.pdf)
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics  + (BaaGT-IC-06-1.pdf)
• LTL over Description Logic Axioms  + (BaaGhiLu-KR08.pdf)
• Connecting Many-Sorted Theories  + (BaaGi-JSL-07.pdf)
• From Tableaux to Automata for Description Logics  + (BaaHlaLutWol-FI-03.ps.gz)
• From Tableaux to Automata for Description Logics  + (BaaHlaLutWol-LPAR03.ps.gz)
• Blocking Automata for PSPACE DLs  + (BaaHlaPen-DL-07.pdf)