- 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
ISSUE-141 (1subject): OWL-R Rules generate literals in subject position http://www.w3.org/2007/OWL/tracker/issues/141 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. 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?
Received on Friday, 15 August 2008 20:35:44 UTC