Pages that link to Expressive Tractable Description Logics based on SROIQ Rules

From korrekt.org

> Expressive Tractable Description Logics based on SROIQ Rules

What links here

Page:  Namespace: all (Main) Talk User User talk korrekt.org korrekt.org talk Image Image talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Property Property talk Type Type talk Concept Concept talk Note Note talk

The following pages link to Expressive Tractable Description Logics based on SROIQ Rules:

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)

• DL rules (redirect page) (← links)
  • ELP: Tractable Rules for OWL 2 (← links)
• Description logic rules (redirect page) (← links)
  • Efficient OWL Reasoning with Logic Programs (← links)
  • Description logics (← links)
  • Logic programming (← links)
  • Practical Reasoning with OWL and Rules (← links)

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)