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

• A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies  + (978-1-4503-0632-4)

• Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2012)  + (978-1-4503-1248-6)
• A Logical Geo-Ontology Design Pattern for Quantifying over Types  + (978-1-4503-1691-0)
• Flag & Check: Data Access with Monadically Defined Queries  + (978-1-4503-2066-5)
• Expressiveness of guarded existential rule languages  + (978-1-4503-2375-8)
• A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory  + (978-1-4503-2954-5)
• A Journey to the Frontiers of Query Rewritability  + (978-1-4503-9260-0)
• Multilevel coordination control of modular DES  + (978-1-4673-5714-2)
• On a Distributed Computation of Supervisors in Modular Supervisory Control  + (978-1-4673-7177-3)
• Relative Observability in Coordination Control  + (978-1-4673-8182-6)
• Efficiently Handling Skew in Outer Joins on Distributed Systems  + (978-1-4799-2784-5)
• A bridge between decentralized and coordination control  + (978-1-4799-3409-6)
• An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process.  + (978-1-4799-8447-3)
• Multilevel Coordination Control of Partially Observed Modular DES  + (978-1-4799-8686-6)
• Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems  + (978-1-5090-5411-4)
• Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams  + (978-1-57735-368-3)
• The Fast and the Numerous - Combining Machine and Community Intelligence  + (978-1-57735-383-6)
• Status QIO: Conjunctive Query Entailment is Decidable  + (978-1-57735-451-2)
• Efficient Rule-Based Inferencing for OWL EL  + (978-1-57735-515-1)
• Computing Stable Models for Nonmonotonic Existential Rules  + (978-1-57735-633-2)
• Exact Learning of Lightweight Description Logic Ontologies  + (978-1-57735-657-8)
• Membership Constraints in Formal Concept Analysis  + (978-1-57735-738-4)
• On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks  + (978-1-57735-738-4)
• The Combined Approach to Query Answering Beyond the OWL 2 Profiles  + (978-1-57735-738-4)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (978-1-57735-803-9)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)  + (978-1-57735-880-0)
• Solving Robust Markov Decision Processes: Generic, Reliable, Efficient  + (978-1-57735-897-8)