OWL

From ONTOLORE

Jump to: navigation, search


OWL Reasoner

Rule extensions of OWL

Tractable fragments of OWL

  • DL Rules - rule extensions of description logics
  • ELP - tractable rules extension of description logics
  • Horn-SHIQ - data-tractable fragment of OWL
  • EL++ - tractable fragment of OWL
  • DLP - tractable logic programming fragment of OWL
  • dlpconvert - tool for handling various rule fragments of OWL

Approximate reasoning with OWL

  • Screech - approximate reasoning with OWL

Reasoning with Inconsistency

Other

Further Reading

A textbook introduction to OWL and related technologies is provided in:

Personal tools
Navigation