Rules
From ONTOLORE
OWL-based rules
- DL Rules - Rules which can be added to many DLs without losing decidability
- Horn-SHIQ - non-trivial rule-fragment fragment of OWL
- DLP - trivial logic programming fragment of OWL
- dlpconvert - KAON2-based converter of rule fragments of OWL
- Screech - approximate reasoning with OWL using rule-based fragments
- DL-Safe Rules - decidable rule-extension of OWL
- ELP - tractable rules extension of description logics
Logic programming-based rules
- PrOWLog - hybrid Prolog/OWL system
- ontobroker - F-Logic reasoner
- Logic programming semantics
- Logic programming and concept hierarchies
Other
Facts about RulesOWL DL
