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

• Brave and Cautious Reasoning in EL  + (274-286)
• Formalizing Ontology Alignment and its Operations with Category Theory  + (277--288)
• Hashtag Processing for Enhanced Clustering of Tweets  + (277-283)
• Planning Mathematical Proofs with Methods  + (277-291)
• Unification of Concepts Terms in Description Logics  + (277-305)
• Tempus Fugit - Towards an Ontology Update Language  + (278--292)
• Some Notes on Managing Closure Operators  + (278-291)
• Minimised Residue Hypotheses in Relevant Logic  + (278-292)
• Connecting Many-Sorted Theories  + (278-294)
• The Not-So-Easy Task of Computing Class Subsumptions in OWL RL  + (279-294)
• Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies  + (28-40)
• Mathematical Morphology Operators over Concept Lattices  + (28-43)
• Tableaux for Verification of Data-Centric Processes  + (28-43)
• Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey  + (28-63)
• Compositional Semantics of an Actor-Based Language Using Constraint Automata  + (281--297)
• Decomposing Abstract Dialectical Frameworks  + (281-292)
• Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding —  + (281-294)
• The Complexity of Subsumption in Fuzzy EL  + (2812–2818)
• Temporal Query Answering in the Description Logic EL  + (2819–2825)
• Reasonable Highly Expressive Query Languages  + (2826-2832)
• The Theory of Idempotent Semigroups is of Unification Type Zero  + (283-286)
• From Logic Programming to Human Reasoning: How to be Artificially Human (abstract)  + (283-286)
• Description Logics with Symbolic Number Restrictions  + (283-287)
• Spatial concepts - a rule exploration  + (284 -- 288)
• Towards the Complexity of Recognizing Pseudo-intents  + (284-292)

• Energy-Utility Quantiles  + (285--299)

• Detecting Cardinality Constraints in CNF  + (285-301)
• On Decision Problems for Probabilistic Büchi Automata  + (287--301)
• Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat  + (287--304)
• CEL—A Polynomial-time Reasoner for Life Science Ontologies  + (287-291)
• Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs  + (287-298)
• Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features  + (289--305)
• A general first-order solution to the ramification problem with cycles  + (289--308)
• Computing with Logic as Operator Elimination: The ToyElim System  + (289-296)
• Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents  + (28:1--28:16)
• The Orbit Problem for Parametric Linear Dynamical Systems  + (28:1--28:17)
• Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems  + (29)
• Descriptional complexity of semi-conditional grammars  + (29-31)
• Towards Knowledge-Based Assistance for Scholarly Editing  + (29-31)
• Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics  + (29-34)
• Hybrid EL-Unification is NP-Complete  + (29-40)
• Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis  + (290-303)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (291-302)
• Automated Deduction - A Basis for Applications  + (291-321)
• A Heuristic Search Algorithm for Solving First-Order MDPs  + (292-299)
• A NExpTime-complete Description Logic Strictly Contained in C^2  + (292-306)
• An Extension-Based Approach to Belief Revision in Abstract Argumentation  + (2926–2932)
• An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process.  + (293--300)
• Model Checking Markov Chains as Distribution Transformers  + (293--313)
• On restricted context-free grammars  + (293–304)
• The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept Modifiers  + (294-305)