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

• 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)
• SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  + (BaBM-IJCAR-12.pdf)
• Extending Unification in EL Towards General TBoxes  + (BaBM-KR12.pdf)
• Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification  + (BaBM-LMCS16.pdf)
• Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes  + (BaBM-LTCS-11-05.pdf)
• SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  + (BaBM-LTCS-12-02.pdf)

• Computing Minimal EL-Unifiers is Hard  + (BaBM-LTCS-12-03.pdf)

• A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  + (BaBM-LTCS-12-05.pdf)
• Dismatching and Local Disunification in EL  + (BaBM-LTCS-15-03.pdf)
• Dismatching and local disunification in EL  + (BaBM-RTA15.pdf)
• Recent Advances in Unification for the EL Family  + (BaBM-UNIF12.pdf)
• On the Decidability Status of Fuzzy ALC with General Concept Inclusions  + (BaBP-JPL15.pdf)
• Decidability and Complexity of Fuzzy Description Logics  + (BaBP-KI16.pdf)
• Runtime Verification Using a Temporal Description Logic  + (BaBaLi-FroCoS09.pdf)
• Matching Trace Patterns with Regular Policies  + (BaBaTiu09.pdf)
• Unification in the Description Logic EL without the Top Concept  + (BaBiBoMoCADE11.pdf)
• 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)