Content deleted Content added
Rescuing 3 sources and tagging 0 as dead. #IABot (v1.6.5) |
No edit summary |
||
Line 11:
| url = http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2004/HoPa04a.pdf
| format = PDF
| accessdate = 2014-05-22 }}</ref><ref name="Horrocks2005">{{Cite journal
| author = Ian Horrocks |author2=Peter F. Patel-Schneider |author3=Sean Bechhofer |author4=Dmitry Tsarkov
| title = OWL Rules: A Proposal and Prototype Implementation
Line 32 ⟶ 31:
| format = PDF
| accessdate = 2006-07-29 |display-authors=etal}}</ref>
However, decidability can be regained by restricting the form of admissible rules, typically by imposing a suitable safety condition.<ref name="Motik2005">{{Cite journal
| author = Boris Motik |author2=Ulrike Sattler |author3=Rudi Studer
| title = Query Answering for OWL-DL with Rules
| |||