W3C home > Mailing lists > Public > public-owl-wg@w3.org > August 2008

ISSUE-141 (1subject): OWL-R Rules generate literals in subject position

From: OWL Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Fri, 15 Aug 2008 20:35:10 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20080815203510.BDF8B6B62A@kent.w3.org>

ISSUE-141 (1subject): OWL-R Rules generate literals in subject position


Raised by: Alan Ruttenberg
On product: 

T(?p, rdfs:range, ?c), T(?x, ?p, ?y) =>  T(?y, rdf:type, ?c)

Generate triples with a literal in the subject position.

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?
Received on Friday, 15 August 2008 20:35:44 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:51 UTC