ISSUE-149
OWL 2 RL errors
RESOLVED: Some problems with OWL 2 RL
- State:
- CLOSED
- Product:
- Raised by:
- Boris Motik
- Opened on:
- 2008-10-19
- Description:
OWL 2 RL currently exhibits some problems. On the DL side, the Profile currently disallows the usage of SomeValuesFrom( R owl:Thing) on the left-hand side of the axioms. This is regrettable and should be fixed: just think of axioms of the form SubClassOf( SomeValuesFrom( a:hasChild owl:Thing ) a:Parent ) On the RDF side, the set of OWL 2 RL/RDF rules currently does not contain an axiomatization of the built-in entities, such as owl:Thing, owl:Nothing, and top/bottom properties.
- Related Actions Items:
- No related actions
- Related emails:
- ISSUE-149 (OWL 2 RL errors): Some problems with OWL 2 RL (from sysbot+tracker@w3.org on 2008-10-19)
Related notes:
2008-10-24 11:12:54: Close by adding rules that axiomatise built-in entities (Thing, Nothing, etc) along with a new subsection that discusses how implementations could be optimised to deal with rules that potentially introduce large numbers of triples; AND fix the profile specification to allow the usage of SomeValuesFrom( R owl:Thing) on the left-hand side of the axioms.
See: http://www.w3.org/2007/OWL/meeting/2008-10-24#resolution_6
[Ian Horrocks]
Display change log
