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

• Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics  + (BoPe-FroCoS15.pdf)
• Consistency Reasoning in Lattice-Based Fuzzy Description Logics  + (BoPe-IJAR14.pdf)
• Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics  + (BoPe-IJAR17.pdf)
• Description Logics over Lattices with Multi-valued Ontologies  + (BoPe-IJCAI11.pdf)
• Positive Subsumption in Fuzzy EL with General t-norms  + (BoPe-IJCAI13.pdf)
• The Complexity of Lattice-Based Fuzzy Description Logics  + (BoPe-JoDS12.pdf)
• Undecidability of Fuzzy Description Logics  + (BoPe-KR12.pdf)
• Complementation and Inclusion of Weighted Automata on Infinite Trees  + (BoPe-LTCS-10-05.pdf)
• Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version  + (BoPe-LTCS-11-02.pdf)
• Undecidability of Fuzzy Description Logics  + (BoPe-LTCS-11-06.pdf)
• Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices  + (BoPe-LTCS-12-04.pdf)
• Finite Lattices Do Not Make Reasoning in ALCI Harder  + (BoPe-URSW11.pdf)
• Finite Lattices Do Not Make Reasoning in ALCOI Harder  + (BoPe-URSW3.pdf)
• A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices  + (BoPeRR12.pdf)
• Temporal Query Answering in the Description Logic EL (extended abstract)  + (BoTh-DL15.pdf)
• Temporal Query Answering in DL-Lite with Negation  + (BoTh-GCAI15.pdf)
• Temporal Query Answering in the Description Logic EL  + (BoTh-IJCAI15.pdf)
• LTL over EL Axioms  + (BoTh-LTCS-15-07.pdf)
• Temporal Query Answering in EL  + (BoTh-LTCS-15-08.pdf)
• Temporal Query Answering in DL-Lite with Negation  + (BoTh-LTCS-15-16.pdf)
• International Tele-Teaching – A Progress Report  + (Bohg:05:01.pdf)
• Expressive Non-Monotonic Description Logics Based on Circumscription  + (BonattiLutzWolter-LTCS-05-06.ps.gz)
• Expressive Non-Monotonic Description Logics Based on Circumscription  + (BonattiLutzWolter.pdf)
• Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis  + (Borc-ICFCA13.pdf)
• On Confident GCIs of Finite Interpretations  + (Borc-LTCS-12-06.pdf)

• A General Form of Attribute Exploration  + (Borc-LTCS-13-02.pdf)

• Model Exploration by Confidence with Completely Specified Counterexamples  + (Borc-LTCS-13-11.pdf)
• Exploration by Confidence  + (Borch-LTCS-13-04.pdf)
• Fuzzy DLs over Finite Lattices with Nominals  + (Borg-DL14.pdf)
• The Complexity of Fuzzy Description Logics over Finite Lattices with Nominals  + (Borg-LTCS-14-02.pdf)
• What's not in a name? Initial Explorations of a Structural Approach to Integrating Large Concept Knowledge-Bases  + (BorgidaKuesters-DCS-TR-391-1999.ps.gz)
• Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)  + (Borgwardt-et-al Horn-DL-Planning Abstract DL2022.pdf)
• Expressivity of Planning with Horn Description Logic Ontologies  + (Borgwardt-et-al Horn-DL-planning AAAI-2022 with appendix.pdf)
• The Bayesian Ontology reasoner is BORN!  + (Born.pdf)
• User Adaptation in a Web Shop System  + (Bornscheuer:00:01.pdf)
• Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals  + (Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals.pdf)
• Query Containment for Highly Expressive Datalog Fragments  + (Bourhis-Kroetzsch-Rudolph-1406.7801v1.pdf)
• How to Best Nest Regular Path Queries  + (Bourhis-Kroetzsch-Rudolph_Nesting-Regular-Path-Queries_DL2014.pdf)
• Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies  + (BrTuKu-LTCS-03-02.ps.gz)
• On Subsumption and Instance Problem in ELH w.r.t. General TBoxes  + (Brandt-DL-2004.pdf)
• Implementing Matching in ALE—First Results  + (Brandt-DL-final-2003.pdf)
• Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and—What Else?  + (Brandt-ECAI-2004.pdf)
• Reasoning in ELH w.r.t. General Concept Inclusion Axioms  + (Brandt-LTCS-04-03.pdf)
• Subsumption and Instance Problem in ELH w.r.t. General TBoxes  + (Brandt-LTCS-04-04.pdf)
• Approximating ALCN-Concept Descriptions  + (BrandtKuesters+-DL02.ps.gz)
• Approximation and Difference in Description Logics  + (BrandtKuesters+-KR-02.ps.gz)
• Approximation and Difference in Description Logics  + (BrandtKuesters+-LTCS-01-06.ps.gz)
• Implementing Matching in ALN  + (BrandtLiu-KI2004ADL.pdf)
• Subsumption in EL w.r.t. hybrid TBoxes  + (BrandtModel-KI2005.pdf)
• Extensions of Non-standard Inferences to Description Logics with transitive Roles  + (BrandtTurhan+LPAR-03.ps.gz)
• Computing least common subsumers for FLE^+  + (BrandtTurhan-DL-03.ps.gz)