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

• Concept Lattice Orbifolds -- First Steps  + (Bernhard)
• Formal Concept Analysis  + (Bernhard)
• Explaining Data with Formal Concept Analysis  + (Bernhard)
• Hypothesis Finding with Proof Theoretical Appropriateness Criteria  + (Bertram)
• 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002  + (Bertram)
• A Probability Theoretic Analysis of Score Systems  + (Bertram)
• Minimised Residue Hypotheses in Relevant Logic  + (Bertram)
• Conjunctive Query Entailment: Decidable in Spite of O, I, and Q  + (Birte)
• Status QIO: Conjunctive Query Entailment is Decidable  + (Birte)
• Integrated Metamodeling and Diagnosis in OWL 2  + (Birte)
• Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!  + (Birte)
• Integrated Metamodeling and Diagnosis in OWL 2  + (Birte)
• OWL: Yet to arrive on the Web of Data?  + (Birte)
• SPARQL Beyond Subgraph Matching  + (Birte)
• Answering conjunctive queries in the SHIQ description logic  + (Birte)
• Answering conjunctive queries in the SHIQ description logic  + (Birte)
• Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators  + (Boontawee)
• A Modularization-based Approach to Finding All Justifications for OWL DL Entailments  + (Boontawee)
• Empirical evaluation of reasoning in lightweight DLs on life science ontologies  + (Boontawee)
• Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies  + (Boontawee)
• Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies  + (Boontawee)
• CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL  + (Boris)
• Formal Properties of Modularisation  + (Boris)
• Semantic Modularity and Module Extraction in Description Logics  + (Boris)
• Logical Difference and Module Extraction with CEX and MEX  + (Boris)
• A Model for Learning Description Logic Ontologies Based on Exact Learning  + (Boris)
• Exact Learning of Lightweight Description Logic Ontologies  + (Boris)
• Exact Learning Description Logic Ontologies from Data Retrieval Examples  + (Boris)
• Exact Learning of Lightweight Description Logic Ontologies  + (Boris)
• Model Checking Performability Properties  + (Boudewijn R.)
• Defining Relations: a general incremental approach with spatial temporal case studies  + (Brandon)
• Vagueness in Predicates and Objects  + (Brandon)

• A Database Approach for Modeling and Querying Video Data  + (C.)
• A Generic Model for Video Content Based Retrieval  + (C.)
• A New Method for Image Segmentation Based on Fuzzy Knowledge  + (C.)
• A Tableau Algorithm for the Clique Guarded Fragment  + (C.)
• A Tableau Algorithm for the Clique Guarded Fragment  + (C.)
• A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version  + (C.)
• Concrete Domains and Nominals United.  + (C.)
• Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine  + (C.)
• Knowledge Representation in a World with Vague Concepts  + (C.)
• Medical Terminology Processing for a Tutoring System  + (C.)
• Medizinische Aus- und Weiterbildung: Mit dem Computer lernen  + (C.)
• Multimedia Technology in Medical Training  + (C.)
• Propositional Dynamic Logic with Recursive Programs  + (C.)
• Queries in Fuzzy Deductive Databases Using Medical Information  + (C.)

• Fallverwaltung und Fallretrieval: Implementierungen und Tests  + (C.-H.)
• A Description Logic for Vague Knowledge  + (C.B.)
• A Description Logic for Vague Knowledge  + (C.B.)
• Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks  + (Calvin)
• Capturing Homomorphism-Closed Decidable Queries with Existential Rules  + (Camille)
• The WHILE Hierarchy of Program Schemes is Infinite  + (Can Adam)
• NExpTime-complete Description Logics with Concrete Domains  + (Carsten)
• Reasoning Support for Ontology Design  + (Carsten)
• Conservative Extensions in the Lightweight Description Logic EL  + (Carsten)
• Conservative Extensions in Expressive Description Logics  + (Carsten)
• The Complexity of Conjunctive Query Answering in Expressive Description Logics  + (Carsten)
• Two Upper Bounds for Conjunctive Query Answering in SHIQ  + (Carsten)
• Temporal Description Logics: A Survey  + (Carsten)
• A Suggestion for an n-ary Description Logic  + (Carsten)
• Complexity of Terminological Reasoning Revisited  + (Carsten)
• Reasoning with Concrete Domains  + (Carsten)
• Mary likes all Cats  + (Carsten)
• The Complexity of Reasoning with Boolean Modal Logic  + (Carsten)