Hi Holger, thanks, you are correct, there is no such rule in the OWL2 spec.
I looked at chapter 4.3 for OWL2RL rules reasonin
http://www.w3.org/TR/owl2-profiles/#OWL_2_RLg. The rule that is
applicable here is cax-dw. It says:
*T(?c1, owl:disjointWith, ?c2)T(?x, rdf:type, ?c1)T(?x, rdf:type,
On 8/25/2014 17:19, Lieke Verhelst wrote:
The propositional symbol false is a special symbol denoting
contradiction: if it is derived, then the initial RDF graph was
inconsistent.
My interpretation of this is I think different from yours. I
understand that because TBC has implemented exactly
..I have to correct my own previous comment: the initial RDF graph refers
of course to just these triples:
*T(?c1, owl:disjointWith, ?c2)T(?x, rdf:type, ?c1)T(?x, rdf:type, ?c2)*
..so there is really nothing more to detect than a shared instance of a
disjoint class.
Meaning: everything in
Hi Holger,
Thanks! That worked (of course) !
I forgot that auto-complete doesn't resolve against the built-in SPARQL
functions.
Tim
On Mon, Aug 25, 2014 at 12:21 AM, Holger Knublauch hol...@topquadrant.com
wrote:
Hi Tim,
the SPARQL syntax for that function is SHA256, so try
SELECT *
Hi,
https://lh5.googleusercontent.com/-JSSyCRCrXbI/U_s2lUNIFDI/A4Q/dB7ElXBZ-zM/s1600/Unbenannt.PNG
so my question is: why? We got RDFS and OWL ontologies and want to use .owl
or .rdf to make clear which type of ontology a file contains.
Regarding the W3C recommendation
A response to part one of your question: yes, the HTML mode is a missing
feature of sml:CallCalais and I have just added this option for 4.6.
On the work-around using PostRequest, I don't think this can work
because sml:PostRequest is not able to set the request headers, but only
the