Pages that link to "Rule languages"
From korrekt.org
The following pages link to Rule languages:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Research (← links)
- Querying Formal Contexts with Answer Set Programs (← links)
- Efficient OWL Reasoning with Logic Programs (← links)
- How to reason with OWL in a logic programming system (← links)
- DLP isn't so bad after all (← links)
- Description Logic Rules (← links)
- ELP: Tractable Rules for OWL 2 (← links)
- Description Logic Reasoning with Decision Diagrams (← links)
- Approximate OWL-Reasoning with Screech (← links)
- The Largest DLP Possible (← links)
- Foundations of Semantic Web Technologies (← links)
- Towards The Largest DLP Possible (← links)
- Efficient Inferencing for OWL EL (← links)
- On the Semantic Relationship between Datalog and Description Logics (← links)
- Description Logic Rules (monograph) (← links)
- Adventures of Two Little OWLs in Rule Land (← links)
- Logic programming (redirect page) (← links)
- A Better Uncle For OWL (← links)
- Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules (← links)
- Extending Decidable Existential Rules by Joining Acyclicity and Guardedness (← links)
- Efficient Rule-Based Inferencing for OWL EL (← links)
- Nominal Schemas for Integrating Rules and Description Logics (← links)
- Second-Order Queries for Rule-Based Data Access (← links)
- Acyclicity Conditions and their Application to Query Answering in Description Logics (← links)