ISSUE-141
1subject
RESOLVED: OWL-R Rules generate literals in subject position
- State:
- CLOSED
- Product:
- Raised by:
- Alan Ruttenberg
- Opened on:
- 2008-08-15
- Description:
T(?p, rdfs:range, ?c), T(?x, ?p, ?y) => T(?y, rdf:type, ?c) Generate triples with a literal in the subject position. e.g. a:name rdfs:range xsd:string a:Alan a:name "Alan"^^xsd:string => "Alan"^^xsd:string rdf:type xsd:string Similar issues with any other rules that place object in the antecedent in the subject position of the consequent, e.g. T(?p, rdf:type, owl:FunctionalProperty), T(?x, ?p, ?y1), T(?x, ?p, ?y2) => T(?y1, owl:sameAs, ?y2) a:age rdf:type owl:FunctionalProperty a:Alan a:age "10"^^xsd:integer a:Alan a:age "20"^^xsd:integer => "20"^^xsd:integer owl:sameAs "10"^^xsd:integer RE1, third consequent o sameas o. Table 2 owl2:ReflexiveProperty rule (also note owl2: namespace prefix here and elsewhere in doc) owl:SymmetricProperty rule owl:inverseOf rule Table 3 last rule Also: what is owl2:inverseObjectPropertyExpression?
- Related Actions Items:
- No related actions
- Related emails:
- proposal to resolve ISSUE-141 (from pfps@research.bell-labs.com on 2008-08-20)
- Re: ISSUE-141 (1subject): OWL-R Rules generate literals in subject position (from ivan@w3.org on 2008-08-20)
- RE: ISSUE-141 (1subject): OWL-R Rules generate literals in subject position (from schneid@fzi.de on 2008-08-20)
- Re: ISSUE-141 (1subject): OWL-R Rules generate literals in subject position (from ivan@w3.org on 2008-08-20)
- Re: ISSUE-141 (1subject): OWL-R Rules generate literals in subject position (from alanruttenberg@gmail.com on 2008-08-20)
- RE: ISSUE-141 (1subject): OWL-R Rules generate literals in subject position (from boris.motik@comlab.ox.ac.uk on 2008-08-19)
- ISSUE-141 (1subject): OWL-R Rules generate literals in subject position (from sysbot+tracker@w3.org on 2008-08-15)
Related notes:
2008-09-03 17:51:57: Closed in teleconference on 3 September 2008 (as a birthday present for me). [Peter Patel-Schneider]
2008-09-03 19:39:13: See: http://www.w3.org/2007/OWL/meeting/2008-09-03#resolution_2
[Ian Horrocks]
Changelog:
2008-08-15 20:35:10: Created issue 'OWL-R Rules generate literals in subject position' nickname 1subject owned by Alan Ruttenberg on product , description 'T(?p, rdfs:range, ?c), T(?x, ?p, ?y) => T(?y, rdf:type, ?c) Generate triples with a literal in the subject position. e.g. a:name rdfs:range xsd:string a:Alan a:name "Alan"^^xsd:string => "Alan"^^xsd:string rdf:type xsd:string Similar issues with any other rules that place object in the antecedent in the subject position of the consequent, e.g. T(?p, rdf:type, owl:FunctionalProperty), T(?x, ?p, ?y1), T(?x, ?p, ?y2) => T(?y1, owl:sameAs, ?y2) a:age rdf:type owl:FunctionalProperty a:Alan a:age "10"^^xsd:integer a:Alan a:age "20"^^xsd:integer => "20"^^xsd:integer owl:sameAs "10"^^xsd:integer RE1, third consequent o sameas o. Table 2 owl2:ReflexiveProperty rule (also note owl2: namespace prefix here and elsewhere in doc) owl:SymmetricProperty rule owl:inverseOf rule Table 3 last rule Also: what is owl2:inverseObjectPropertyExpression? ' non-public [Alan Ruttenberg]
2008-08-18 14:03:24: Status changed to 'open' [Alan Ruttenberg]
2008-09-03 17:51:57: Issue dissociated from any product [Peter Patel-Schneider]
2008-09-03 17:52:07: Issue dissociated from any product [Peter Patel-Schneider]
2008-09-03 17:52:07: Status changed to 'closed' [Peter Patel-Schneider]
2008-09-03 19:39:13: title changed to 'RESOLVED: OWL-R Rules generate literals in subject position' [Ian Horrocks]
2008-09-03 19:39:13: Issue dissociated from any product [Ian Horrocks]