Nathan wrote:
Hijacking the thread a little..
Are there any documents defining how much of owl(2) is supported for
inference and reasoning in virtuoso?
No OWL2 at this point in time.
Kingsley
For example could it handle the following:
_:myfriends owl:equivalentClass [
a owl:Restriction ;
owl:hasValue <http://webr3.org/nathan#me> ;
owl:onProperty [ owl:inverseOf foaf:knows ]
] .
Best,
Nathan
Ivan Mikhailov wrote:
Hello Mark,
I'm debugging this and will report the result (patch?) before end of the
week.
Best Regards,
Ivan Mikhailov
OpenLink Software
http://virtuoso.openlinksw.com
On Fri, 2010-05-07 at 16:59 +1000, Mark James wrote:
Hi,
I can't seem to get an inference pattern match (sameAs) when combining
InverseFunctionalProperty and subPropertyOf. The first example (based
on) -
http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html#rdfsparqlruleinversefunc (I've only removed the sameAs triple).
This example produces the expected result.
ttlp ('
<john1> a <person> .
<john2> a <person> .
<mary> a <person> .
<mike> a <person> .
<john1> <name> "John" .
<john2> <name> "John" .
<john1> <address> "101 A street" .
<john2> <address> "102 B street" .
<john2> <knows> <mike> .
<mary> <knows> "John" .
<mike> <knows> <john1> .
<mike> <knows> <john2> .
<john1> <name> "Tarzan" .
<mike> <name> "Tarzan" .
', '', 'ifps');
ttlp ('
<name> a <http://www.w3.org/2002/07/owl#InverseFunctionalProperty> .
<name> <http://www.openlinksw.com/schemas/virtrdf#nullIFPValue> "Tarzan" .
', '', 'ifp_list');
rdfs_rule_set ('ifps_rule', 'ifp_list');
SPARQL define input:inference "ifps_rule" SELECT * FROM <ifps> WHERE
{<john1> ?p ?o};
p
VARCHAR
o
ANY
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
person
name
John
name
Tarzan
address
101 A street
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
person
name
John
address
102 B street
knows
mike
<John1> and <John2> attributes have been merged.
However the below (Using subPropertyOf) doesn't work.
ttlp ('
<john1> a <person> .
<john2> a <person> .
<mary> a <person> .
<mike> a <person> .
<john1> <oldname> "John" .
<john2> <oldname2> "John" .
<john1> <address> "101 A street" .
<john2> <address> "102 B street" .
<john2> <knows> <mike> .
<mary> <knows> "John" .
<mike> <knows> <john1> .
<mike> <knows> <john2> .
<john1> <oldname> "Tarzan" .
<mike> <oldname2> "Tarzan" .
', '', 'blah');
ttlp ('
<oldname> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://www.w3.org/2002/07/owl#DatatypeProperty> .
<oldname2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://www.w3.org/2002/07/owl#DatatypeProperty> .
<oldname> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf>
<name> .
<oldname2> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf>
<name> .
<name> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://www.w3.org/2002/07/owl#DatatypeProperty> .
<name> a <http://www.w3.org/2002/07/owl#InverseFunctionalProperty> .
<name> <http://www.openlinksw.com/schemas/virtrdf#nullIFPValue>
"Tarzan" .
', '', 'blah_schema');
rdfs_rule_set ('blah_rule', 'blah_schema');
SPARQL define input:inference "blah_rule" SELECT * FROM <blah> WHERE
{<john1> ?p ?o};
p
VARCHAR
o
ANY
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
person
oldname
John
name
John
address
101 A street
The query above will not link <john1> and <john2> like the first
example.
I assume the issue relates to the use of subPropertyOf as I believe
this is the only difference between the two examples. What am I doing
wrong?
Another couple of questions I have around inferencing are
1. Is there a way view the list of rdfs_rule_sets that have been
created?
2. How do I delete an rdfs_rule_set in one go rather than just
removing individual schemas from a rule set.
3. On a couple of occasions updating the rule set didn't seem to
take affect until after I'd restarted virtuoso. Is that
normal?
Thanks!
Mark
------------------------------------------------------------------------------
_______________________________________________
Virtuoso-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/virtuoso-users
------------------------------------------------------------------------------
_______________________________________________
Virtuoso-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/virtuoso-users
------------------------------------------------------------------------------
_______________________________________________
Virtuoso-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/virtuoso-users
--
Regards,
Kingsley Idehen
President & CEO
OpenLink Software
Web: http://www.openlinksw.com
Weblog: http://www.openlinksw.com/blog/~kidehen
Twitter/Identi.ca: kidehen
