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

• 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)
• On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata  + (4783)
• 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)

• A Multi-Dimensional Terminological Knowledge Representation Language  + (5)
• A rule-based ontological framework for the classification of molecules  + (5)
• Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies  + (5)
• Computing the Least Common Subsumer w.r.t. a Background Terminology  + (5)
• From Verification to Synthesis under Cost-Utility Constraints  + (5)
• Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language  + (5)
• Leveraging Non-Lexical Knowledge for the Linked Open Data Web  + (5)
• NExpTime-complete Description Logics with Concrete Domains  + (5)
• Semantic Wikipedia  + (5)

• Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies  + (5021)
• Intensional Question Answering using ILP: What does an answer mean?  + (5039)
• Alternating-Time Stream Logic for Multi-agent Systems  + (5052)
• The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases  + (51)
• Generating compact MTBDD-representations from Probmela specifications  + (5156)
• Refining Ontologies by Pattern-Based Completion  + (516)
• Automata-Based Axiom Pinpointing  + (5195)
• A "Converse" of the Banach Contraction Mapping Theorem  + (52)
• A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations  + (52)
• Compositional Construction of Most General Controllers  + (52)
• The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP  + (529)
• Cheap Boolean Role Constructors for Description Logics  + (5293)
• Logics in Artificial Intelligence  + (5293)
• The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies  + (53)
• Implementation and evaluation of a tableau algorithm for the Guarded Fragment  + (53)
• Automata-Theoretic Decision Procedures for Information Logics  + (53)
• Unfolding the Well-founded Semantics  + (53)
• Performance evaluation and model checking join forces  + (53)
• Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog  + (5318)
• ELP: Tractable Rules for OWL 2  + (5318)
• The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees  + (534)