Suche mittels Attribut
Aus International Center for Computational Logic
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
- A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
- A Journey to the Frontiers of Query Rewritability +
- A Logical Geo-Ontology Design Pattern for Quantifying over Types +
- A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory +
- Automatic Verification of Liveness Properties of Randomized Systems +
- Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data +
- Bisimulations, logics, and trace distributions for stochastic systems with rewards +
- Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying +
- Complexities of Horn Description Logics +
- Concept Adjustment for Description Logics +
- Decidability of Quasi-Dense Modal Logics +
- Deciding Hyperproperties Combined with Functional Specifications +
- Description Logic reasoning for Semantic Web Ontologies – Extended abstract +
- Distributed wait state tracking for runtime MPI deadlock detection +
- EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning +
- Expressiveness of guarded existential rule languages +
- Flag & Check: Data Access with Monadically Defined Queries +
- From Features to Roles +
- High Throughput Indexing for Large-scale Semantic Web Data +
- Linear dynamical systems with continuous weight functions +
- Modal Logics with Composition on Finite Forests: Expressivity and Complexity +
- Probabilistic Model Checking for Energy Analysis in Software Product Lines +
- Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2012) +
- Query Matching for Report Recommendation +
- Robust and Skew-resistant Parallel Joins in Shared-nothing Systems +
- SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors +
- Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes +
- The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains +
- Towards Automated Configuration of Systems with Non-Functional Constraints +
- Trade-off Analysis Meets Probabilistic Model Checking +
- Weight Monitoring with Linear Temporal Logic: Complexity and Decidability +
- Wikidata: The Making Of +
- Wikidata: a free collaborative knowledgebase +
