Search by property
From International Center for Computational Logic
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
- 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 +
