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

• A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL  + (Franz)
• Pushing the EL Envelope  + (Franz)
• Integrating Description Logics and Action Formalisms for Reasoning about Web Services  + (Franz)
• PSPACE Automata with Blocking for Description Logics  + (Franz)
• Dismatching and local disunification in EL  + (Franz)
• Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles  + (Franz)
• Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles  + (Franz)
• Extending the Description Logic tEL(deg) with acyclic TBoxes  + (Franz)
• Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification  + (Franz)
• The Description Logic Handbook: Theory, Implementation and Applications.  + (Franz)
• Term Rewriting and All That  + (Franz)
• Decidability and Complexity of Fuzzy Description Logics  + (Franz)
• Query Rewriting for DL-Lite with n-ary Concrete Domains  + (Franz)
• Metric Temporal Description Logics with Interval-Rigid Names  + (Franz)
• Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints  + (Franz)
• Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints  + (Franz)
• Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints  + (Franz)
• On the Abstract Expressive Power of Description Logics with Concrete Domains  + (Franz)
• The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains  + (Franz)
• Description Logics That Count, and What They Can and Cannot Count  + (Franz)
• On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets  + (Franz)
• Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability  + (Franz)
• Description Logics that Count, and What They Can and Cannot Count (Extended Abstract)  + (Franz)
• On the Complexity and Expressiveness of Description Logics with Counting  + (Franz)
• On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version)  + (Franz)

• Constructible differentially finite algebraic series in several variables  + (François)

• Approximated Determinisation of Weighted Tree Automata  + (Frederic)
• Sequentiality of Group-Weighted Tree Automata  + (Frederic)
• Paraconsistent OWL and Related Logics  + (Frederick)
• Introducing Wikidata to the Linked Data Web  + (Fredo)
• Topological Entropy of Formal Languages  + (Friedrich Martin)
• Access Policy Design Supported by FCA Methods  + (Frithjof)
• BDD-Based Decision Procedures for K  + (G.)
• On the State Complexity of the Reverse of R- and J-Trivial Regular Languages  + (Galina)
• On a structural property in the state complexity of projected regular languages  + (Galina)
• On Properties and State Complexity of Deterministic State-Partition Automata  + (Galina)
• On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs  + (Galina)
• Complexity in Union-Free Regular Languages  + (Galina)
• State Complexity of Projected Languages  + (Galina)
• Complexity in Union-Free Regular Languages  + (Galina)
• Expressiveness of guarded existential rule languages  + (Georg)
• Learning Formal Definitions for Biomedical Concepts  + (George)
• Linear Deductive Planning  + (Gerd)
• Solving Advanced Argumentation Problems with Answer-Set Programming  + (Gerhard)
• Solving Advanced Argumentation Problems with Answer Set Programming  + (Gerhard)
• Solving Advanced Argumentation Problems with Answer Set Programming  + (Gerhard)
• Reactive multi-context systems: Heterogeneous reasoning in dynamic environments  + (Gerhard)
• Advanced Solving Technology for Dynamic and Reactive Applications  + (Gerhard)
• Abstract Dialectical Frameworks. An Overview  + (Gerhard)
• Abstract Dialectical Frameworks  + (Gerhard)
• Inconsistency management in reactive multi-context systems  + (Gerhard)