Browse wiki

From korrekt.org

Jump to: navigation, search
Rule languages
Language code en  +
Master page Rule languages +
Modification dateThis property is a special property in this wiki. 27 November 2010 22:20:30  +
Categories Research topic
hide properties that link here 
Rule languages + Master page
A Better Uncle For OWL +, Acyclicity Conditions and their Application to Query Answering in Description Logics +, Adventures of Two Little OWLs in Rule Land +, Approximate OWL-Reasoning with Screech +, DLP isn't so bad after all +, Description Logic Reasoning with Decision Diagrams +, Description Logic Rules +, Description Logic Rules (monograph) +, ELP: Tractable Rules for OWL 2 +, Efficient Inferencing for OWL EL +, Efficient OWL Reasoning with Logic Programs +, Efficient Rule-Based Inferencing for OWL EL +, Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +, Foundations of Semantic Web Technologies +, How to reason with OWL in a logic programming system +, Nominal Schemas for Integrating Rules and Description Logics +, On the Semantic Relationship between Datalog and Description Logics +, Querying Formal Contexts with Answer Set Programs +, Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules +, Second-Order Queries for Rule-Based Data Access +, Topic
Logic programming + redirect page
 

 

Enter the name of the page to start browsing from.
Views
Personal tools
Toolbox