Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• SPARQL Queries over Ontologies Under the Fixed-Domain Semantics  + (Abhaya C. Nayak, Alok Sharma)

• A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms  + (Abraham Bernstein et al.)

• A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem  + (Adrian-Horia DediuJan Janoušek, Carlos Martín-Vide, Bianca Truthe)
• Linear Context-Free Tree Languages and Inverse Homomorphisms  + (Adrian-Horia DediuJan Janoušek, Carlos Martín-Vide, Bianca Truthe)
• Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting  + (Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz)
• Temporal Query Answering in a Fuzzy World  + (Agata Filipowska and Ruben Verborgh and Axel Polleres)
• Visualization of Statistical Information in Concept Lattice Diagrams  + (Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber)
• Approximate Computation of Exact Association Rules  + (Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber)
• KEIM: A Toolkit for Automated Deduction  + (Alan Bundy)
• Approximated Determinisation of Weighted Tree Automata  + (Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron)
• Sequentiality of Group-Weighted Tree Automata  + (Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron)
• Terminology-based patterns for natural language definitions in ontologies  + (Aldo Gangemi, Michael Gruninger, Karl Hammar, Laurent Lefort, Valentina Presutti, Ansgar Scherp)
• Formal Concept Analysis and Resolution in Algebraic Domains  + (Aldo de Moor and Bernhard Ganter)
• The Complexity of Conjunctive Query Answering in Expressive Description Logics  + (Alessandro Armando and Peter Baumgartner and Gilles Dowek)
• Formal Properties of Modularisation  + (Alessandro Armando and Peter Baumgartner and Gilles Dowek)
• Automata-Based Axiom Pinpointing  + (Alessandro Armando and Peter Baumgartner and Gilles Dowek)
• Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics  + (Alessandro Artale, Birte Glimm and Roman Kontchakov)
• Reasoning with Attributed Description Logics  + (Alessandro Artale, Birte Glimm, Roman Kontchakov)
• Ontologies for Knowledge Graphs?  + (Alessandro Artale, Birte Glimm, Roman Kontchakov)
• Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract  + (Alessandro Artale, Birte Glimm, Roman Kontchakov)
• Second-Order Characterizations of Definientia in Formula Classes  + (Alexander Bolotov and Manfred Kerber)
• Fast Computation of Proper Premises  + (Amedeo Napoli and Vilem Vychodil)
• ELP: Tractable Rules for OWL 2  + (Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan)
• Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog  + (Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan)
• Kontraktionssätze auf verallgemeinerten metrischen Räumen  + (Anatolij Dvurecenskij and Gudrun Kalmbach)
• BCU Mathematics Contest 2001 — Problems and Solutions  + (Anatolij Dvurecenskij and Gudrun Kalmbach)
• Die zwei Kulturen  + (Andreas Blumauer and Tassilo Pellegrini)