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:

1. proposal to resolve ISSUE-141 (from pfps@research.bell-labs.com on 2008-08-20)
2. Re: ISSUE-141 (1subject): OWL-R Rules generate literals in subject position (from ivan@w3.org on 2008-08-20)
3. RE: ISSUE-141 (1subject): OWL-R Rules generate literals in subject position (from schneid@fzi.de on 2008-08-20)
4. Re: ISSUE-141 (1subject): OWL-R Rules generate literals in subject position (from ivan@w3.org on 2008-08-20)
5. Re: ISSUE-141 (1subject): OWL-R Rules generate literals in subject position (from alanruttenberg@gmail.com on 2008-08-20)
6. RE: ISSUE-141 (1subject): OWL-R Rules generate literals in subject position (from boris.motik@comlab.ox.ac.uk on 2008-08-19)
7. ISSUE-141 (1subject): OWL-R Rules generate literals in subject position (from sysbot+tracker@w3.org on 2008-08-15)

Related notes:

Display change log.