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

• Wolpertinger: A Fixed-Domain Reasoner  + (Rudolph)
• Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics  + (Rudolph)
• The Triguarded Fragment of First-Order Logic  + (Rudolph)
• Künstliche Intelligenz, quo vadis?  + (Rudolph)
• SPARQL Queries over Ontologies Under the Fixed-Domain Semantics  + (Rudolph)
• Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando  + (Rudolph)
• Answer Set Navigation: Probleme Besser Verstehen  + (Rusovac)
• Rushing and Strolling among Answer Sets - Navigation Made Easy  + (Rusovac)
• Navigating and Querying Answer Sets: How Hard Is It Really and Why?  + (Rusovac)
• Fast Computation of Proper Premises  + (Ryssel)
• Fast algorithms for implication bases and attribute exploration using proper premises  + (Ryssel)
• A NExpTime-complete Description Logic Strictly Contained in C^2  + (S .Tobies)
• From Linear Proofs to Direct Logic with Exponentials  + (Sandner)
• Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems  + (Sardar)
• Modeling OWL with Rules: The ROWL Protege Plugin  + (Sarker)
• Rule-Based OWL Modeling with ROWLTab Protégé Plugin  + (Sarker)
• A Concept Language for an engeneering application with part-whole relations  + (Sattler)
• Knowledge Representation in Process Engineering  + (Sattler)
• A Concept Language Extended with Different Kinds of Transitive Roles  + (Sattler)
• Description Logics for the Representation of Aggregated Objects  + (Sattler)
• The Hybrid mu-Calculus  + (Sattler)
• Description Logics for Ontologies  + (Sattler)
• Relationship with other Formalisms  + (Sattler)
• FABEL-IDEA 2, Intelligente Designunterstützung für Architekten, Version 2: Fallretrieval  + (Schmidt-Belz)
• Modeling in OWL 2 without Restrictions  + (Schneider)
• Modeling in OWL 2 without Restriction  + (Schneider)
• Topological Entropy of Formal Languages  + (Schneider)
• QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios  + (Schrader)

• Completing Incomplete Bayesian Networks  + (Schramm)
• Completing Incomplete Bayesian Networks  + (Schramm)
• On Efficient Decision Preserving Translations of Score Systems into Probabilistic Systems.  + (Schramm)
• PIT: A System for Reasoning with Probabilities.  + (Schramm)
• Probabilistic Aspects of Score Systems  + (Schramm)
• Probabilistic Aspects of Score Systems  + (Schramm)

• Autonomous, Model-Based Diagnosis Agents  + (Schroeder)
• SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions  + (Schulz)
• Formal representation of complex SNOMED CT expressions  + (Schulz)
• SNOMED reaching its adolescence: Ontologists' and logicians' health check  + (Schulz)
• Abstract Domains for Database Manipulating Processes  + (Schüler)
• Convergence Classes and Spaces of Partial Functions  + (Seda)
• Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL  + (Sertkaya)
• Computing the hierarchy of conjunctions of concept names and their negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006)  + (Sertkaya)
• Explaining User Errors in Description Logic Knowledge Base Completion  + (Sertkaya)
• Explaining User Errors in Knowledge Base Completion  + (Sertkaya)
• OntoComP System Description  + (Sertkaya)
• Towards the Complexity of Recognizing Pseudo-intents  + (Sertkaya)
• OntoComP: A Protege Plugin for Completing OWL Ontologies  + (Sertkaya)
• Some Computational Problems Related to Pseudo-intents  + (Sertkaya)
• Some Computational Problems Related to Pseudo-intents  + (Sertkaya)
• Fixed Parameter Tractable Reasoning in DLs via Decomposition  + (Simančík)
• Compositional Semantics of an Actor-Based Language Using Constraint Automata  + (Sirjani)
• A new context-based -subsumption algorithm  + (Skvortsova)
• Say "No" to Grounding: An Inference Algorithm for First-Order MDPs  + (Skvortsova)
• A Spectrum of Approximate Probabilistic Bisimulations  + (Spork)
• Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations  + (Springer)
• The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases  + (Stefanoni)