DL-Safe Rules
From ONTOLORE
DL-safe rules are a rule-extension of OWL DL and a decidable fragment of SWRL. They are supported by the KAON2 reasoner. DL-Safe Datalog is also covered by ELP.
Literature
- Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler, ELP: Tractable Rules for OWL 2. In: A Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan (eds.), The Semantic Web - ISWC 2008, 7th International Semantic Web Conference. Springer Lecture Notes in Computer Science Vol. 5318, 2008, pp. 649-664. Extended technical report.
- See the KAON2 website.
- up: <ask>DL-Safe Rules</ask>
- see also: Ontology Mappings via DL-Safe Rules, Web Service Policies via DL-Safe Rules, ELP
