Search by property
From International Center for Computational Logic
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
- Some Notes on Pseudo-closed Sets + (4390)
- On the Decidability Status of Fuzzy ALC with General Concept Inclusions + (44)
- Deduktives Planen + (44)
- PDL with Intersection and Converse is 2EXP-complete + (4423)
- On a structural property in the state complexity of projected regular languages + (449)
- Automata-based Axiom Pinpointing + (45)
- Efficient OWL Reasoning with Logic Programs - Evaluations + (4524)
- 18th International Conference on Rewriting Techniques and Applications (RTA 2007) + (4533)
- Axiom Pinpointing in General Tableaux + (4548)
- Coordination Control of Distributed Discrete-Event Systems + (456)
- Supervisory Control of Discrete-Event Systems + (456)
- Conservative Extensions in the Lightweight Description Logic EL + (4603)
- Using FCA for Encoding of Closure Operators into Neural Networks + (4604)
- Supporting Lexical Ontology Learning by Relational Exploration + (4604)
- Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web + (4604)
- Reasoning in Semantic Wikis + (4636)
- Pinpointing in the Description Logic EL + (4667)
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies + (47)
- Projection and Scope-Determined Circumscription + (47)
- Conjunctive Query Entailment: Decidable in Spite of O, I, and Q + (477)
- A Matter of Principles: Towards the Largest DLP Possible + (477)
- OntoComP System Description + (477)
- Reasoning With Weighted Ontologies + (477)
- Axiom Pinpointing is Hard + (477)
- Reintroducing CEL as an OWL 2 EL Reasoner + (477)
- Data Complexity in the EL family of Description Logics + (4790)
- Supervisory control synthesis of discrete-event systems using a coordination scheme + (48)
- A note on controllability of deterministic context-free systems + (48)
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 + (4825)
- Supplementary Proceedings of ICCS'09 + (483)
- Probabilistic and Topological Semantics for Timed Automata + (4855)
- Rewrite Systems for Varieties of Semigroups + (488)
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification + (488)
- Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems + (488)
- Stochastic Game Logic + (49)
- Acquiring Generalized Domain-Range Restrictions + (4933)
- Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement + (4933)
- On the Complexity of Computing Generators of Closed Sets + (4933)
- A Finite Basis for the Set of EL-Implications Holding in a Finite Model + (4933)
- On Decision Problems for Probabilistic Büchi Automata + (4962)
- Semantic Wikipedia + (5)
- Leveraging Non-Lexical Knowledge for the Linked Open Data Web + (5)
- A rule-based ontological framework for the classification of molecules + (5)
- A Multi-Dimensional Terminological Knowledge Representation Language + (5)
- NExpTime-complete Description Logics with Concrete Domains + (5)
- Computing the Least Common Subsumer w.r.t. a Background Terminology + (5)
- Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies + (5)
- Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language + (5)
- From Verification to Synthesis under Cost-Utility Constraints + (5)
- Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies + (5021)
